Kami: a platform for high-level parametric hardware specification and its modular verification. - Joonwon Choi; Muralidaran Vijayaraghavan; Benjamin Sherman; Adam Chlipala; Arvind 001 (Proc. ACM Program. Lang., 2017)

Enhanced Buried Perimeter Protection using A Fiber-Optic Target Classification Sensor. - Chaofan Wang; Michael Olson; Benjamin Sherman; Nyambuu Dorjkhand; Joseph Mehr; Shailesh Singh (ICCST, 2018)

Reliable Leak Detection in Pipelines Using Integrated DdTS Temperature and DAS Acoustic Fiber-Optic Sensor. - Chaofan Wang; Michael Olson; Benjamin Sherman; Nyambuu Dorjkhand; Joseph Mehr; Shailesh Singh (ICCST, 2018)

Computable decision making on the reals and other spaces: via partiality and nondeterminism. - Benjamin Sherman; Luke Sciarappa; Adam Chlipala; Michael Carbin (LICS, 2018)

Sound and robust solid modeling via exact real arithmetic and continuity. - Benjamin Sherman; Jesse Michel; Michael Carbin (Proc. ACM Program. Lang., 2019)

Reactive probabilistic programming. - Guillaume Baudart; Louis Mandel; Eric Atkinson; Benjamin Sherman; Marc Pouzet; Michael Carbin (PLDI, 2020)

λS: Computable semantics for differentiable programming with higher-order functions and datatypes. - Benjamin Sherman; Jesse Michel; Michael Carbin (CoRR, 2020)

Trace types and denotational semantics for sound programmable inference in probabilistic languages. - Alexander K. Lew; Marco F. Cusumano-Towner; Benjamin Sherman; Michael Carbin; Vikash K. Mansinghka (Proc. ACM Program. Lang., 2020)

𝜆ₛ: computable semantics for differentiable programming with higher-order functions and datatypes. - Benjamin Sherman; Jesse Michel; Michael Carbin (Proc. ACM Program. Lang., 2021)

COMBINE: COMpilation and Backend-INdependent vEctorization for Multi-Party Computation. - Benjamin Levy; Muhammad Ishaq; Benjamin Sherman; Lindsey Kennard; Ana L. Milanova; Vassilis Zikas (CCS, 2023)

Compilation and Backend-Independent Vectorization for Multi-Party Computation. - Benjamin Levy; Benjamin Sherman; Muhammad Ishaq; Lindsey Kennard; Ana L. Milanova; Vassilis Zikas (IACR Cryptol. ePrint Arch., 2023)