Distribution Theoretic Semantics for Non-Smooth Differentiable Programming. - Pedro H. Azevedo de Amorim; Christopher Lam 003 (CoRR, 2022)

Correctly Compiling Proofs About Programs Without Proving Compilers Correct. - Audrey Seo; Christopher Lam 003; Dan Grossman; Talia Ringer (ITP, 2024)