Benjamin Sherman

13 papers A* 3Journal 8Unranked 2
YearRankTypeTitle / Venue / Authors
2023 A* conf
CCS
Benjamin Levy, Muhammad Ishaq, Benjamin Sherman, Lindsey Kennard, Ana L. Milanova, Vassilis Zikas
2023 J jnl
IACR Cryptol. ePrint Arch.
Benjamin Levy, Benjamin Sherman, Muhammad Ishaq, Lindsey Kennard, Ana L. Milanova, Vassilis Zikas
2021 J jnl
Proc. ACM Program. Lang.
Benjamin Sherman, Jesse Michel, Michael Carbin
2020 A* conf
PLDI
Guillaume Baudart, Louis Mandel, Eric Atkinson, Benjamin Sherman, Marc Pouzet, Michael Carbin
2020 J jnl
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
CoRR
Guillaume Baudart, Louis Mandel, Eric Atkinson, Benjamin Sherman, Marc Pouzet, Michael Carbin
2019 J jnl
Proc. ACM Program. Lang.
Benjamin Sherman, Jesse Michel, Michael Carbin
2018 J jnl
CoRR
Benjamin Sherman, Luke Sciarappa, Adam Chlipala, Michael Carbin
2018 A* conf
LICS
Benjamin Sherman, Luke Sciarappa, Adam Chlipala, Michael Carbin
2018 โ€” conf
ICCST
Chaofan Wang, Michael Olson, Benjamin Sherman, Nyambuu Dorjkhand, Joseph Mehr, Shailesh Singh
2018 โ€” conf
ICCST
Chaofan Wang, Michael Olson, Benjamin Sherman, Nyambuu Dorjkhand, Joseph Mehr, Shailesh Singh
2017 J jnl
Proc. ACM Program. Lang.
Joonwon Choi, Muralidaran Vijayaraghavan, Benjamin Sherman, Adam Chlipala, Arvind