Shaan Nagy

According to our database, Shaan Nagy authored at least 3 papers between 2024 and 2026.

Collaborative distances:

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

2026

ChopChop: A Programmable Framework for Semantically Constraining the Output of Language Models.

Shaan Nagy, Timothy Zhou, Nadia Polikarpova, Loris D'Antoni

Proc. ACM Program. Lang., 2026

2025

Semantics of Sets of Programs.

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

Proc. ACM Program. Lang., 2025

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