Blogs (1) >>
POPL 2019
Sun 13 - Sat 19 January 2019 Cascais, 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

POPL 2019-profile
View general profile