Jesse Michel
where else to find them
no profile links on file
what they talk about
where they keep going back
no series more than once — all 3 in the filters
on a stage with
all 11 in the filters
who talks about the same things
- Tzu-Mao Li2 talks
- Gilbert Louis Bernstein9 talks
- Wonyeol Lee6 talks
- Mathieu Huot11 talks
- Michael Carbin14 talks
- Hongseok Yang9 talks
| title | conference | date |
|---|---|---|
| Semantics of Integrating and Differentiating Singularities | PLDI 2025 | 2025-06-16 |
A formal semantics for programs that evaluate and differentiate singular integrals, giving a denotational model and an operational Monte Carlo estimator that… | ||
| Distributions for Compositionally Differentiating Parametric Discontinuities | OOPSLA 2024 | 2024-10-20 |
Introduces Potto prototype as the first differentiable first-order language that soundly differentiates parametric discontinuities, gives a denotational… | ||
| λS: Computable Semantics for Diff'ble Programming with HO Functions and Datatypes | POPL 2021 | 2021-01-17 |
A new differentiable programming semantics, λS, gives computable meanings for higher-order derivatives and for nondifferentiable ops via the Clarke derivative… | ||
| nothing matches | ||