Handling Scope Checks
Jan 2026POPL 2026, Rennes
From Structural Causal Models to Higher-Order Causal Probabilistic Programming
2027POPL 2027, conditionally accepted
Papers
Handling Scope Checks: A Comparative Framework for Dynamic Scope Extrusion Checks
2026POPL 2026, Proc. ACM Program. Lang. 10, Article 39
Typed Abstractions for Causal Probabilistic Programming
2026LAFI 2026, extended abstract
Predictability of Identifier Naming with Copilot: A Case Study for Mixed-Initiative Programming Tools
2024PPIG 2024
Talks
A Comparative Framework for Dynamic Scope Extrusion Checks
Oct 2025S-REPLS 17, London
Predictability of Identifier Naming with Copilot
Sep 2024PPIG 2024, Liverpool