| 2019 | PLDI | Records with rank polymorphism. | Justin Slepak, Olin Shivers, Panagiotis Manolios |
| 2018 | PLDI | Rank polymorphism viewed as a constraint problem. | Justin Slepak, Panagiotis Manolios, Olin Shivers |
| 2014 | ESOP | An Array-Oriented Language with Static Rank Polymorphism. | Justin Slepak, Olin Shivers, Panagiotis Manolios |
| 2011 | ICFP | Modular rollback through control logging: a pair of twin functional pearls. | Olin Shivers, Aaron Joseph Turon |
| 2011 | ICFP | Pushdown flow analysis of first-class control. | Dimitrios Vardoulakis, Olin Shivers |
| 2011 | PEPM | Ordering multiple continuations on the stack. | Dimitrios Vardoulakis, Olin Shivers |
| 2011 | SOSP | Preliminary design of the SAFE platform. | Andr DeHon, Ben Karel, Thomas F. Knight Jr., Gregory Malecha, Benot Montagu, Robin Morisset, Greg Morrisett, Benjamin C. Pierce, Randy Pollack, Sumit Ray, Olin Shivers, Jonathan M. Smith, Gregory Sullivan |
| 2010 | ESOP | CFA2: A Context-Free Approach to Control-Flow Analysis. | Dimitrios Vardoulakis, Olin Shivers |
| 2008 | ISoLA | Trusted Theorem Proving: A Case Study in SLD-Resolution. | Konstantine Arkoudas, Olin Shivers |
| 2007 | VMCAI | Model Checking Via GammaCFA. | Matthew Might, Benjamin Chambers, Olin Shivers |
| 2006 | ICFP | Static analysis for syntax objects. | David Fisher, Olin Shivers |
| 2006 | ICFP | Improving flow analyses via GammaCFA: abstract garbage collection and counting. | Matthew Might, Olin Shivers |
| 2006 | PLDI | Continuations and transducer composition. | Olin Shivers, Matthew Might |
| 2006 | POPL | Environment analysis via Delta CFA. | Matthew Might, Olin Shivers |
| 2005 | DLS | Dynamic data polyvariance using source-tagged classes. | Steven Alexander Spoon, Olin Shivers |
| 2005 | ESOP | Bottom-Up beta-Reduction: Uplinks and lambda-DAGs. | Olin Shivers, Mitchell Wand |
| 2005 | ICFP | The anatomy of a loop: a story of scope and control. | Olin Shivers |
| 2004 | ECOOP | Demand-Driven Type Inference with Subgoal Pruning: Trading Precision for Scalability. | Steven Alexander Spoon, Olin Shivers |
| 2004 | ICFP | Multi-return function call. | Olin Shivers, David Fisher |
| 1999 | ICFP | Atomic Heap Transactions and Fine-grain Interrupts. | Olin Shivers, James W. Clark, Roland McGrath |
| 1997 | ICFP | Automatic Management of Operating System Resources. | Olin Shivers |
| 1997 | SOSP | The Flux OSKit: A Substrate for Kernel and Language Research. | Bryan Ford, Godmar Back, Greg Benson, Jay Lepreau, Albert Lin, Olin Shivers |
| 1991 | PEPM | The Semantics of Scheme Control-Flow Analysis. | Olin Shivers |
| 1991 | SAS | Useless-Variable Elimination. | Olin Shivers |
| 1988 | PLDI | Control-Flow Analysis in Scheme. | Olin Shivers |
| 1988 | PLDI | Higher-order control-flow analysis in retrospect: lessons learned, lessons abandoned (with retrospective) | Olin Shivers |