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
| POPL 2019 | Trace Abstraction Modulo Probability | ||||||||||||||||||||||||||||||||||||||||
| VMCAI 2019 | Program Synthesis with Equivalence Reduction | ||||||||||||||||||||||||||||||||||||||||
| Show activities from other conferences | |||||||||||||||||||||||||||||||||||||||||
POPL 2019-profile
View general profile
View general profile