Jesse Michel

Publication Activity (10 Years)

Years Active: 2018-2024
Publications (10 Years): 8

Top Topics

Functional Language

Geometric Features

Top Venues

Proc. ACM Program. Lang.

J. Complex Networks

ACM Trans. Graph.

Publications

Logan Weber, Jesse Michel, Alex Renda, Michael Carbin
Learning to Compile Programs to Neural Networks. CoRR (2024)
Jesse Michel, Kevin Mu, Xuanda Yang, Sai Praveen Bangaru, Elias Rojas Collins, Gilbert Bernstein, Jonathan Ragan-Kelley, Michael Carbin, Tzu-Mao Li
Distributions for Compositionally Differentiating Parametric Discontinuities. Proc. ACM Program. Lang. 8 (OOPSLA1) (2024)
Sai Praveen Bangaru, Jesse Michel, Kevin Mu, Gilbert Bernstein, Tzu-Mao Li, Jonathan Ragan-Kelley
Systematically differentiating parametric discontinuities. ACM Trans. Graph. 40 (4) (2021)
Benjamin Sherman, Jesse Michel, Michael Carbin
𝜆ₛ: computable semantics for differentiable programming with higher-order functions and datatypes. Proc. ACM Program. Lang. 5 (POPL) (2021)
Benjamin Sherman, Jesse Michel, Michael Carbin
: Computable semantics for differentiable programming with higher-order functions and datatypes. CoRR (2020)
Jesse Michel, Sushruth Reddy, Rikhav Shah, Sandeep Silwal, Ramis Movassagh
Directed random geometric graphs. J. Complex Networks 7 (5) (2019)
Benjamin Sherman, Jesse Michel, Michael Carbin
Sound and robust solid modeling via exact real arithmetic and continuity. Proc. ACM Program. Lang. 3 (ICFP) (2019)
Jesse Michel, Sushruth Reddy, Rikhav Shah, Sandeep Silwal, Ramis Movassagh
Directed Random Geometric Graphs. CoRR (2018)