Olin Shivers

Professor

Olin Shivers
  • Programming languages
  • Systems and networking
  • Compilers
  • PhD in Computer Science, Carnegie Mellon University
  • BS in Computer Science and Mathematics, Yale University

Olin Shivers is a professor in the Khoury College of Computer Science at Northeastern University, based in Boston.

Shivers’ interests lie in the design of tools that assist programmers in the construction of robust, complex software artifacts. By focusing on the interaction between systems and higher-order typed programming languages, he analyzes the design and analysis of programming languages and compilers.

Prior to joining Northeastern, Shivers was a research scientist in the Artificial Intelligence Laboratory at the Massachusetts Institute of Technology, where he co-founded the Personal Information Architecture Group. He served as founder and chief technology officer of Smartleaf Corporation and taught in the College of Computing at Georgia Tech.

Shivers's research has been cited in Logistical Methods in Computer Science, Journal of Functional Programming, and Theoretical Computer Science, and has been funded by the NSF, Cisco, DARPA, and Microsoft.

  • The Verse Calculus: A Core Calculus for Deterministic Functional Logic Programming

    Citation: Lennart Augustsson, Joachim Breitner, Koen Claessen, Ranjit Jhala, Simon Peyton Jones, Olin Shivers, Guy L. Steele Jr., Tim Sweeney. (2023). The Verse Calculus: A Core Calculus for Deterministic Functional Logic Programming Proc. ACM Program. Lang., 7, 417-447. https://doi.org/10.1145/3607845

  • Analyzing binding extent in 3CPS

    Citation: Benjamin Quiring, John H. Reppy, Olin Shivers. (2022). Analyzing binding extent in 3CPS Proc. ACM Program. Lang., 6, 650-678. https://doi.org/10.1145/3547645

  • Coarsening optimization for differentiable programming

    Citation: Xipeng Shen, Guoqiang Zhang, Irene Dea, Samantha Andow, Emilio Arroyo-Fang, Neal Gafter, Johann George, Melissa Grueter, Erik Meijer , Olin Grigsby Shivers, Steffi Stumpos, Alanna Tempest, Christy Warden, Shannon Yang. (2021). Coarsening optimization for differentiable programming Proc. ACM Program. Lang., 5, 1-27. https://doi.org/10.1145/3485507

  • Records with rank polymorphism

    Citation: Justin Slepak, Olin Shivers, Panagiotis Manolios. (2019). Records with rank polymorphism ARRAY@PLDI, 80-92. https://doi.org/10.1145/3315454.3329961

Related news

Explore all news

Current PhD students

Previous PhD students

  • Justin Slepak

    PhD Student