Shaan Nagy -

Not registered as user yet

Name:Shaan Nagy

Affiliation:University of Wisconsin-Madison

Contributions

2024

SPLASH

Author of Automating Unrealizability Logic: Hoare-style Proof Synthesis for Infinite Sets of Programs within the OOPSLA 2024-track