Benjamin Sherman

13 papers A* 3Journal 8Unranked 2

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