Directed random geometric graphs. - Jesse Michel; Sushruth Reddy; Rikhav Shah; Sandeep Silwal; Ramis Movassagh (J. Complex Networks, 2019)

Sound and robust solid modeling via exact real arithmetic and continuity. - Benjamin Sherman; Jesse Michel; Michael Carbin (Proc. ACM Program. Lang., 2019)

λS: Computable semantics for differentiable programming with higher-order functions and datatypes. - Benjamin Sherman; Jesse Michel; Michael Carbin (CoRR, 2020)

𝜆ₛ: computable semantics for differentiable programming with higher-order functions and datatypes. - Benjamin Sherman; Jesse Michel; Michael Carbin (Proc. ACM Program. Lang., 2021)

Systematically differentiating parametric discontinuities. - Sai Praveen Bangaru; Jesse Michel; Kevin Mu; Gilbert Bernstein; Tzu-Mao Li; Jonathan Ragan-Kelley (ACM Trans. Graph., 2021)

Learning to Compile Programs to Neural Networks. - Logan Weber; Jesse Michel; Alex Renda; Michael Carbin (ICML, 2024)

Distributions for Compositionally Differentiating Parametric Discontinuities. - Jesse Michel; Kevin Mu; Xuanda Yang; Sai Praveen Bangaru; Elias Rojas Collins; Gilbert Bernstein; Jonathan Ragan-Kelley; Michael Carbin; Tzu-Mao Li (Proc. ACM Program. Lang., 2024)

Semantics of Integrating and Differentiating Singularities. - Jesse Michel; Wonyeol Lee 001; Hongseok Yang (Proc. ACM Program. Lang., 2025)