Olin Shivers

Publication Activity (10 Years)

Years Active: 1988-2023
Publications (10 Years): 8

Top Topics

Intermediate Representation

Logic Programming

Pseudo Boolean Constraints

Top Venues

Proc. ACM Program. Lang.

Publications

Lennart Augustsson, Joachim Breitner, Koen Claessen, Ranjit Jhala, Simon Peyton Jones, Olin Shivers, Guy L. Steele Jr., Tim Sweeney
The Verse Calculus: A Core Calculus for Deterministic Functional Logic Programming. Proc. ACM Program. Lang. 7 (ICFP) (2023)
Benjamin Quiring, John H. Reppy, Olin Shivers
Analyzing binding extent in 3CPS. Proc. ACM Program. Lang. 6 (ICFP) (2022)
Benjamin Quiring, John H. Reppy, Olin Shivers
3CPS: The Design of an Environment-Focussed Intermediate Representation. IFL (2021)
Justin Slepak, Olin Shivers, Panagiotis Manolios
The Semantics of Rank Polymorphism. CoRR (2019)
Olin Shivers, Justin Slepak, Panagiotis Manolios
Introduction to Rank-polymorphic Programming in Remora (Draft). CoRR (2019)
Justin Slepak, Olin Shivers, Panagiotis Manolios
Records with rank polymorphism. ARRAY@PLDI (2019)
Justin Slepak, Panagiotis Manolios, Olin Shivers
Rank polymorphism viewed as a constraint problem. ARRAY@PLDI (2018)
Milo Davis, William Meehan, Olin Shivers
No-brainer CPS conversion (functional pearl). Proc. ACM Program. Lang. 1 (ICFP) (2017)
Justin Slepak, Olin Shivers, Panagiotis Manolios
An Array-Oriented Language with Static Rank Polymorphism. ESOP (2014)
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, Gregory Sullivan
Preliminary design of the SAFE platform. PLOS@SOSP (2011)
Dimitrios Vardoulakis, Olin Shivers
CFA2: a Context-Free Approach to Control-Flow Analysis Log. Methods Comput. Sci. 7 (2) (2011)
Olin Shivers, Aaron Joseph Turon
Modular rollback through control logging: a pair of twin functional pearls. ICFP (2011)
Dimitrios Vardoulakis, Olin Shivers
Pushdown flow analysis of first-class control. ICFP (2011)
Dimitrios Vardoulakis, Olin Shivers
Ordering multiple continuations on the stack. PEPM (2011)
Dimitrios Vardoulakis, Olin Shivers
CFA2: A Context-Free Approach to Control-Flow Analysis. ESOP (2010)
Olin Shivers, Mitchell Wand
Bottom-up beta-reduction: Uplinks and lambda-DAGs. Fundam. Informaticae 103 (1-4) (2010)
Konstantine Arkoudas, Olin Shivers
Trusted Theorem Proving: A Case Study in SLD-Resolution. ISoLA (2008)
Olin Shivers
Why teach programming languages. ACM SIGPLAN Notices 43 (11) (2008)
Matthew Might, Olin Shivers
Exploiting reachability and cardinality in higher-order flow analysis. J. Funct. Program. 18 (5-6) (2008)
David Fisher, Olin Shivers
Building language towers with Ziggurat. J. Funct. Program. 18 (5-6) (2008)
Matthew Might, Benjamin Chambers, Olin Shivers
Model Checking Via GammaCFA. VMCAI (2007)
Matthew Might, Olin Shivers
Analyzing the environment structure of higher-order languages using frame strings. Theor. Comput. Sci. 375 (1-3) (2007)
Matthew Might, Olin Shivers
Improving flow analyses via GammaCFA: abstract garbage collection and counting. ICFP (2006)
David Fisher, Olin Shivers
Static analysis for syntax objects. ICFP (2006)
Olin Shivers, Matthew Might
Continuations and transducer composition. PLDI (2006)
Olin Shivers, David Fisher
Multi-return function call. J. Funct. Program. 16 (4-5) (2006)
Matthew Might, Olin Shivers
Environment analysis via Delta CFA. POPL (2006)
Steven Alexander Spoon, Olin Shivers
Semantic Navigation of Large Code Bases in Higher-Order, Dynamically Typed Languages. WCRE (2005)
Steven Alexander Spoon, Olin Shivers
Dynamic data polyvariance using source-tagged classes. DLS (2005)
Matthias Felleisen, Julia Lawall, Manuel Serrano, Olin Shivers
Editorial. High. Order Symb. Comput. 18 (3-4) (2005)
Olin Shivers
The anatomy of a loop: a story of scope and control. ICFP (2005)
Olin Shivers, Mitchell Wand
Bottom-Up beta-Reduction: Uplinks and lambda-DAGs. ESOP (2005)
Steven Alexander Spoon, Olin Shivers
Demand-Driven Type Inference with Subgoal Pruning: Trading Precision for Scalability. ECOOP (2004)
Olin Shivers, David Fisher
Multi-return function call. ICFP (2004)
Olin Shivers, James W. Clark, Roland McGrath
Atomic Heap Transactions and Fine-grain Interrupts. ICFP (1999)
Bryan Ford, Godmar Back, Greg Benson, Jay Lepreau, Albert Lin, Olin Shivers
The Flux OSKit: A Substrate for Kernel and Language Research. SOSP (1997)
Olin Shivers
Automatic Management of Operating System Resources. ICFP (1997)
Olin Shivers
A Universal Scripting Framework or Lambda: The Ultimate "Little Language". ASIAN (1996)
Olin Shivers
The Semantics of Scheme Control-Flow Analysis. PEPM (1991)
Olin Shivers
Useless-Variable Elimination. JTASPEFT/WSA (1991)
Olin Shivers
Control-Flow Analysis in Scheme. PLDI (1988)
Olin Shivers
Higher-order control-flow analysis in retrospect: lessons learned, lessons abandoned (with retrospective) Best of PLDI (1988)