Benjamin Sherman

Publication Activity (10 Years)

Years Active: 2017-2023
Publications (10 Years): 12

Top Topics

Decision Making

Programming Language

Top Venues

Proc. ACM Program. Lang.

Publications

Benjamin Levy, Muhammad Ishaq, Benjamin Sherman, Lindsey Kennard, Ana L. Milanova, Vassilis Zikas
COMBINE: COMpilation and Backend-INdependent vEctorization for Multi-Party Computation. CCS (2023)
Benjamin Sherman, Jesse Michel, Michael Carbin
𝜆ₛ: computable semantics for differentiable programming with higher-order functions and datatypes. Proc. ACM Program. Lang. 5 (POPL) (2021)
Benjamin Sherman, Jesse Michel, Michael Carbin
: Computable semantics for differentiable programming with higher-order functions and datatypes. CoRR (2020)
Alexander K. Lew, Marco F. Cusumano-Towner, Benjamin Sherman, Michael Carbin, Vikash K. Mansinghka
Trace types and denotational semantics for sound programmable inference in probabilistic languages. Proc. ACM Program. Lang. 4 (POPL) (2020)
Guillaume Baudart, Louis Mandel, Eric Atkinson, Benjamin Sherman, Marc Pouzet, Michael Carbin
Reactive probabilistic programming. PLDI (2020)
Benjamin Sherman, Jesse Michel, Michael Carbin
Sound and robust solid modeling via exact real arithmetic and continuity. Proc. ACM Program. Lang. 3 (ICFP) (2019)
Guillaume Baudart, Louis Mandel, Eric Atkinson, Benjamin Sherman, Marc Pouzet, Michael Carbin
Reactive Probabilistic Programming. CoRR (2019)
Benjamin Sherman, Luke Sciarappa, Adam Chlipala, Michael Carbin
Computable decision making on the reals and other spaces: via partiality and nondeterminism. LICS (2018)
Chaofan Wang, Michael Olson, Benjamin Sherman, Nyambuu Dorjkhand, Joseph Mehr, Shailesh Singh
Reliable Leak Detection in Pipelines Using Integrated DdTS Temperature and DAS Acoustic Fiber-Optic Sensor. ICCST (2018)
Chaofan Wang, Michael Olson, Benjamin Sherman, Nyambuu Dorjkhand, Joseph Mehr, Shailesh Singh
Enhanced Buried Perimeter Protection using A Fiber-Optic Target Classification Sensor. ICCST (2018)
Benjamin Sherman, Luke Sciarappa, Adam Chlipala, Michael Carbin
Computable decision making on the reals and other spaces via partiality and nondeterminism. CoRR (2018)
Joonwon Choi, Muralidaran Vijayaraghavan, Benjamin Sherman, Adam Chlipala, Arvind
Kami: a platform for high-level parametric hardware specification and its modular verification. Proc. ACM Program. Lang. 1 (ICFP) (2017)