Publications

• Sound and robust solid modeling via exact real arithmetic and continuity. Benjamin Sherman, Jesse Michel, and Michael Carbin. International Conference on Functional Programming (ICFP) 2019. August 2019.

  • Abstract and preprint

• Computable decision making on the reals and other spaces via partiality and nondeterminism. Benjamin Sherman, Luke Sciarappa, Adam Chlipala, and Michael Carbin. Logic in Computer Science (LICS) 2018. July 2018.

  • Paper (PDF)
  • Extended version (arXiv)

• Constructive probabilistic semantics with non-spatial locales. Benjamin Sherman, Jared Tramontano, and Michael Carbin. Probabilistic Programming Semantics (PPS) Workshop 2018. January 2018.

  • Extended abstract
  • Poster (PDF)

• Kami: A Platform for High-Level Parametric Hardware Specification and its Modular Verification. Joonwon Choi, Muralidaran Vijayaraghavan, Benjamin Sherman, Adam Chlipala, Arvind. Proceedings of the 22nd ACM SIGPLAN International Conference on Functional Programming (ICFP'17). September 2017.

  • Paper (ACM Digital Library)

• Making discrete decisions based on continuous values. Benjamin Sherman. MIT SM Thesis. May 2017.

  • Thesis (PDF)