Benjamin Sherman

According to our database, Benjamin Sherman authored at least 11 papers between 2017 and 2023.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

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

COMBINE: COMpilation and Backend-INdependent vEctorization for Multi-Party Computation.

Benjamin Levy, Muhammad Ishaq, Benjamin Sherman, Lindsey Kennard, Ana L. Milanova, Vassilis Zikas

Proceedings of the 2023 ACM SIGSAC Conference on Computer and Communications Security, 2023

2021

𝜆ₛ: computable semantics for differentiable programming with higher-order functions and datatypes.

Benjamin Sherman, Jesse Michel, Michael Carbin

Proc. ACM Program. Lang., 2021

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

λ_S: Computable semantics for differentiable programming with higher-order functions and datatypes.

Benjamin Sherman, Jesse Michel, Michael Carbin

CoRR, 2020

Reactive probabilistic programming.

Guillaume Baudart, Louis Mandel, Eric Atkinson, Benjamin Sherman, Marc Pouzet, Michael Carbin

Proceedings of the 41st ACM SIGPLAN International Conference on Programming Language Design and Implementation, 2020

2019

Sound and robust solid modeling via exact real arithmetic and continuity.

Benjamin Sherman, Jesse Michel, Michael Carbin

Proc. ACM Program. Lang., 2019

2018

Computable decision making on the reals and other spaces: via partiality and nondeterminism.

Benjamin Sherman, Luke Sciarappa, Adam Chlipala, Michael Carbin

Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science, 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

Proceedings of the 2018 International Carnahan Conference on Security Technology, 2018

Enhanced Buried Perimeter Protection using A Fiber-Optic Target Classification Sensor.

Chaofan Wang, Michael Olson, Benjamin Sherman, Nyambuu Dorjkhand, Joseph Mehr, Shailesh Singh

Proceedings of the 2018 International Carnahan Conference on Security Technology, 2018

2017

Kami: a platform for high-level parametric hardware specification and its modular verification.

Joonwon Choi, Muralidaran Vijayaraghavan, Benjamin Sherman, Adam Chlipala, Arvind

Proc. ACM Program. Lang., 2017