• Sign in
  • Sign up
conf.researchr.org / Calvin Smith
  • ICFP 2019 profile
  • ICFP/SPLASH 2025 profile
  • PLDI 2016 profile
  • PLDI 2021 profile
  • PLDI 2022 profile
  • POPL 2016 profile
  • POPL 2019 profile
  • POPL 2020 profile
  • SPLASH 2022 profile
Calvin Smith

Registered user since Thu 8 Nov 2018

Name:Calvin Smith
Bio:

Post-doc working in UT Austin’s Trishul lab.

Country:United States
Affiliation:University of Texas Austin
Personal website: https://cjsmith.io
Research interests:Program Synthesis, Neurosymbolic Program Synthesis, Logic Programming

Contributions

2025

SPLASH

  • Committee Member in Committee within the Student Research Competition-track

2022

SPLASH

  • Committee Member in Artifact Evaluation Committee within the OOPSLA Artifacts-track
  • Committee Member in External Review / Artifact Evaluation Committee within the OOPSLA-track

PLDI

  • Committee Member in PLDI within the PLDI-track

2021

MAPS

  • Committee Member in Program Committee within the MAPS 2021-track

2020

POPL

  • Committee Member in Artifact Evaluation Committee within the Artifact Evaluation-track

2019

ICFP

  • Author of Synthesizing Differentially Private Programs within the Research Papers-track

POPL

  • Author of Trace Abstraction Modulo Probability within the Research Papers-track

VMCAI

  • Author of Program Synthesis with Equivalence Reduction within the VMCAI 2019-track

2016

PLDI

  • Author of MapReduce Program Synthesis within the Research Papers-track

POPL

  • Author of Synthesis with Respect to Normality within the SRC-track
Share
xThu 12 Jun 03:57
using conf.researchr.org (v1.69.0)
Support page
Sign Up