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
133 2017 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
39 2020 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
31 2020 𝜆ₛ: 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
21 2021 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
10 2019 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
2 2020 Programming languages for sound computation with continuous values BM Sherman
Massachusetts Institute of Technology, 2020
1 2020 Constructive probabilistic semantics with non-spatial locales B Sherman, J Tramontano, M Carbin
Probabilistic Programming Languages, Semantics, and Systems (PPS 2018), 2018
1 2018 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 
Michael CarbinMassachusetts Institute of TechnologyE-mail confirmado em csail.mit.edu
