Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Jesse Michel
conf.researchr.org general profile
ICFP 2019 profile
PLDI 2019 profile
POPL 2021 profile
Registered user since Thu 6 Jun 2019
Name:
Jesse Michel
Affiliation:
Massachusetts Institute of Technology
Contributions
POPL 2021
Author of λS: Computable Semantics for Differentiable Programming with Higher-Order Functions and Datatypes within the POPL-track
ICFP 2019
Author of Sound and robust solid modeling via exact real arithmetic and continuity within the Research Papers-track
WAX 2019
Author of NAP: Noise-Based Sensitivity Analysis for Programs. within the WAX 2019-track
Share
x
Sat 1 Apr 09:03