SPLASH 2022 (series) / Zachary Susag
Registered user since Mon 12 Sep 2022
Name:Zachary Susag
Country:United States
Affiliation:Cornell University
Personal website:https://zacharysusag.net
Research interests:Formal Verification, Probabilistic Programs, Differential Privacy
Contributions
| SPLASH 2022 | Symbolic Execution for Randomized Programs | ||||||||||||||||||||||||||||||||||||||||
| Show activities from other conferences | |||||||||||||||||||||||||||||||||||||||||
SPLASH 2022-profile
View general profile
View general profile