Write a Blog >>
POPL 2019
Sun 13 - Sat 19 January 2019 Cascais/Lisbon, Portugal
Calvin Smith

Registered user since Thu 8 Nov 2018

Name: Calvin Smith

Bio: 5th-year graduate student at UW-Madison.

Country: United States

Affiliation: University of Wisconsin - Madison

Personal website: http://pages.cs.wisc.edu/~cjsmith/

Research interests: Program Synthesis, Privacy

Contributions

VMCAI 2019Author of Program Synthesis with Equivalence Reduction within the VMCAI 2019-track
POPL 2019Author of Trace Abstraction Modulo Probability within the Research Papers-track
Show activities from other conferences

Using general profile