Control-Flow Analysis in Scheme. - Olin Shivers (PLDI, 1988)

Higher-order control-flow analysis in retrospect: lessons learned, lessons abandoned (with retrospective) - Olin Shivers (Best of PLDI, 1988)

The Semantics of Scheme Control-Flow Analysis. - Olin Shivers (PEPM, 1991)

Useless-Variable Elimination. - Olin Shivers (JTASPEFT/WSA, 1991)

A Universal Scripting Framework or Lambda: The Ultimate "Little Language". - Olin Shivers (ASIAN, 1996)

Automatic Management of Operating System Resources. - Olin Shivers (ICFP, 1997)

The Flux OSKit: A Substrate for Kernel and Language Research. - Bryan Ford; Godmar Back; Greg Benson; Jay Lepreau; Albert Lin; Olin Shivers (SOSP, 1997)

Atomic Heap Transactions and Fine-grain Interrupts. - Olin Shivers; James W. Clark; Roland McGrath (ICFP, 1999)

Demand-Driven Type Inference with Subgoal Pruning: Trading Precision for Scalability. - Steven Alexander Spoon; Olin Shivers (ECOOP, 2004)

Dynamic data polyvariance using source-tagged classes. - Steven Alexander Spoon; Olin Shivers (DLS, 2005)

The anatomy of a loop: a story of scope and control. - Olin Shivers (ICFP, 2005)

Semantic Navigation of Large Code Bases in Higher-Order, Dynamically Typed Languages. - Steven Alexander Spoon; Olin Shivers (WCRE, 2005)

Editorial. - Matthias Felleisen; Julia Lawall; Manuel Serrano; Olin Shivers (High. Order Symb. Comput., 2005)

Static analysis for syntax objects. - David Fisher; Olin Shivers (ICFP, 2006)

Improving flow analyses via GammaCFA: abstract garbage collection and counting. - Matthew Might; Olin Shivers (ICFP, 2006)

Continuations and transducer composition. - Olin Shivers; Matthew Might (PLDI, 2006)

Environment analysis via Delta CFA. - Matthew Might; Olin Shivers (POPL, 2006)

Multi-return function call. - Olin Shivers; David Fisher (J. Funct. Program., 2006)

Model Checking Via GammaCFA. - Matthew Might; Benjamin Chambers; Olin Shivers (VMCAI, 2007)

Analyzing the environment structure of higher-order languages using frame strings. - Matthew Might; Olin Shivers (Theor. Comput. Sci., 2007)

Trusted Theorem Proving: A Case Study in SLD-Resolution. - Konstantine Arkoudas; Olin Shivers (ISoLA, 2008)

Building language towers with Ziggurat. - David Fisher; Olin Shivers (J. Funct. Program., 2008)

Exploiting reachability and cardinality in higher-order flow analysis. - Matthew Might; Olin Shivers (J. Funct. Program., 2008)

Why teach programming languages. - Olin Shivers (ACM SIGPLAN Notices, 2008)

Bottom-up beta-reduction: Uplinks and lambda-DAGs. - Olin Shivers; Mitchell Wand (Fundam. Informaticae, 2010)

Modular rollback through control logging: a pair of twin functional pearls. - Olin Shivers; Aaron Joseph Turon (ICFP, 2011)

Pushdown flow analysis of first-class control. - Dimitrios Vardoulakis; Olin Shivers (ICFP, 2011)

Ordering multiple continuations on the stack. - Dimitrios Vardoulakis; Olin Shivers (PEPM, 2011)

Preliminary design of the SAFE platform. - André DeHon; Ben Karel; Thomas F. Knight Jr.; Gregory Malecha; Benoît Montagu; Robin Morisset; Greg Morrisett; Benjamin C. Pierce; Randy Pollack; Sumit Ray; Olin Shivers; Jonathan M. Smith; et al. (PLOS@SOSP, 2011)

CFA2: a Context-Free Approach to Control-Flow Analysis - Dimitrios Vardoulakis; Olin Shivers (Log. Methods Comput. Sci., 2011)

An Array-Oriented Language with Static Rank Polymorphism. - Justin Slepak; Olin Shivers; Panagiotis Manolios (ESOP, 2014)

No-brainer CPS conversion (functional pearl). - Milo Davis; William Meehan; Olin Shivers (Proc. ACM Program. Lang., 2017)

Rank polymorphism viewed as a constraint problem. - Justin Slepak; Panagiotis Manolios; Olin Shivers (ARRAY@PLDI, 2018)

Records with rank polymorphism. - Justin Slepak; Olin Shivers; Panagiotis Manolios (ARRAY@PLDI, 2019)

The Semantics of Rank Polymorphism. - Justin Slepak; Olin Shivers; Panagiotis Manolios (CoRR, 2019)

Introduction to Rank-polymorphic Programming in Remora (Draft). - Olin Shivers; Justin Slepak; Panagiotis Manolios (CoRR, 2019)

3CPS: The Design of an Environment-Focussed Intermediate Representation. - Benjamin Quiring; John H. Reppy; Olin Shivers (IFL, 2021)

Coarsening optimization for differentiable programming. - Xipeng Shen; Guoqiang Zhang; Irene Dea; Samantha Andow; Emilio Arroyo-Fang; Neal Gafter; Johann George; Melissa Grueter; Erik Meijer 001; Olin Grigsby Shivers; Steffi Stumpos; Alanna Tempest; et al. (Proc. ACM Program. Lang., 2021)

Analyzing binding extent in 3CPS. - Benjamin Quiring; John H. Reppy; Olin Shivers (Proc. ACM Program. Lang., 2022)

The Verse Calculus: A Core Calculus for Deterministic Functional Logic Programming. - Lennart Augustsson; Joachim Breitner; Koen Claessen; Ranjit Jhala; Simon Peyton Jones; Olin Shivers; Guy L. Steele Jr.; Tim Sweeney (Proc. ACM Program. Lang., 2023)

Webs and Flow-Directed Well-Typedness Preserving Program Transformations. - Benjamin Quiring; David Van Horn; John H. Reppy; Olin Shivers (Proc. ACM Program. Lang., 2025)