Shaan Nagy

According to our database, Shaan Nagy authored at least 2 papers in 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Automating Unrealizability Logic: Hoare-Style Proof Synthesis for Infinite Sets of Programs.

Shaan Nagy, Jinwoo Kim, Thomas W. Reps, Loris D'Antoni

Proc. ACM Program. Lang., 2024

Semantics of Sets of Programs.

Jinwoo Kim, Shaan Nagy, Thomas W. Reps, Loris D'Antoni

CoRR, 2024