| 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 | 136 | 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 | 43 | 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 | 34 | 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 | 22 | 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 |
| : 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 |
Michael CarbinMassachusetts Institute of Technology在 csail.mit.edu 的电子邮件经过验证
