Follow
Benjamin Sherman
Benjamin Sherman
MIT CSAIL
Verified email at csail.mit.edu
Title
Cited by
Cited by
Year
Kami: a platform for high-level parametric hardware specification and its modular verification
J Choi, M Vijayaraghavan, B Sherman, A Chlipala, Arvind
Proceedings of the ACM on Programming Languages 1 (ICFP), 24, 2017
1292017
Trace Types and Denotational Semantics for Sound Programmable Inference in Probabilistic Languages
AK Lew, MF Cusumano-Towner, B Sherman, M Carbin, VK Mansinghka
Principles of Programming Languages (POPL), 2020
382020
Reactive probabilistic programming
G Baudart, L Mandel, E Atkinson, B Sherman, M Pouzet, M Carbin
Proceedings of the 41st ACM SIGPLAN Conference on Programming Language …, 2020
312020
𝜆ₛ: computable semantics for differentiable programming with higher-order functions and datatypes
B Sherman, J Michel, M Carbin
Proceedings of the ACM on Programming Languages 5 (POPL), 1-31, 2021
212021
Sound and robust solid modeling via exact real arithmetic and continuity
B Sherman, J Michel, M Carbin
Proceedings of the ACM on Programming Languages 3 (ICFP), 29, 2019
102019
Computable decision making on the reals and other spaces: via partiality and nondeterminism
B Sherman, L Sciarappa, A Chlipala, M Carbin
Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer …, 2018
7*2018
Programmation d'Applications Réactives Probabilistes
G Baudart, L Mandel, M Pouzet, E Atkinson, B Sherman, M Carbin
JFLA 2020-Journées Francophones des Langages Applicatifs, 2020
22020
Programming languages for sound computation with continuous values
BM Sherman
Massachusetts Institute of Technology, 2020
12020
Constructive probabilistic semantics with non-spatial locales
B Sherman, J Tramontano, M Carbin
Probabilistic Programming Languages, Semantics, and Systems (PPS 2018), 2018
12018
: Computable semantics for differentiable programming with higher-order functions and datatypes
B Sherman, J Michel, M Carbin
arXiv preprint arXiv:2007.08017, 2020
2020
Programming Reactive Probabilistic Applications
G Baudart, L Mandel, M Pouzet, E Atkinson, B Sherman, M Carbin
PROBPROG, 2020
2020
NAP: Noise-Based Sensitivity Analysis for Programs
J Michel, S Verma, B Sherman, M Carbin
Workshop on Approximate Computing, 2019
2019
Making discrete decisions based on continuous values
BM Sherman
Massachusetts Institute of Technology, 2017
2017
The system can't perform the operation now. Try again later.
Articles 1–13