Olin Shivers

According to our database, Olin Shivers authored at least 40 papers between 1988 and 2023.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2023

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., August, 2023

2022

Analyzing binding extent in 3CPS.

Benjamin Quiring, John H. Reppy, Olin Shivers

Proc. ACM Program. Lang., 2022

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, Olin Grigsby Shivers, Steffi Stumpos, Alanna Tempest, Christy Warden, Shannon Yang

Proc. ACM Program. Lang., 2021

3CPS: The Design of an Environment-Focussed Intermediate Representation.

Benjamin Quiring, John H. Reppy, Olin Shivers

Proceedings of the 33rd Symposium on Implementation and Application of Functional Languages, 2021

2019

Introduction to Rank-polymorphic Programming in Remora (Draft).

Olin Shivers, Justin Slepak, Panagiotis Manolios

CoRR, 2019

The Semantics of Rank Polymorphism.

Justin Slepak, Olin Shivers, Panagiotis Manolios

CoRR, 2019

Records with rank polymorphism.

Justin Slepak, Olin Shivers, Panagiotis Manolios

Proceedings of the 6th ACM SIGPLAN International Workshop on Libraries, 2019

2018

Rank polymorphism viewed as a constraint problem.

Justin Slepak, Panagiotis Manolios, Olin Shivers

Proceedings of the 5th ACM SIGPLAN International Workshop on Libraries, 2018

2017

No-brainer CPS conversion (functional pearl).

Milo Davis, William Meehan, Olin Shivers

Proc. ACM Program. Lang., 2017

2014

An Array-Oriented Language with Static Rank Polymorphism.

Justin Slepak, Olin Shivers, Panagiotis Manolios

Proceedings of the Programming Languages and Systems, 2014

2011

CFA2: a Context-Free Approach to Control-Flow Analysis

Dimitrios Vardoulakis, Olin Shivers

Log. Methods Comput. Sci., 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, Gregory Sullivan

Proceedings of the 6th Workshop on Programming Languages and Operating Systems, 2011

Ordering multiple continuations on the stack.

Dimitrios Vardoulakis, Olin Shivers

Proceedings of the 2011 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, 2011

Pushdown flow analysis of first-class control.

Dimitrios Vardoulakis, Olin Shivers

Proceedings of the Proceeding of the 16th ACM SIGPLAN international conference on Functional Programming, 2011

Modular rollback through control logging: a pair of twin functional pearls.

Olin Shivers, Aaron Joseph Turon

Proceedings of the Proceeding of the 16th ACM SIGPLAN international conference on Functional Programming, 2011

2010

Bottom-up beta-reduction: Uplinks and lambda-DAGs.

Olin Shivers, Mitchell Wand

Fundam. Informaticae, 2010

2008

Why teach programming languages.

Olin Shivers

ACM SIGPLAN Notices, 2008

Exploiting reachability and cardinality in higher-order flow analysis.

Matthew Might, Olin Shivers

J. Funct. Program., 2008

Building language towers with Ziggurat.

David Fisher, Olin Shivers

J. Funct. Program., 2008

Trusted Theorem Proving: A Case Study in SLD-Resolution.

Konstantine Arkoudas, Olin Shivers

Proceedings of the Leveraging Applications of Formal Methods, 2008

2007

Analyzing the environment structure of higher-order languages using frame strings.

Matthew Might, Olin Shivers

Theor. Comput. Sci., 2007

Model Checking Via GammaCFA.

Matthew Might, Benjamin Chambers, Olin Shivers

Proceedings of the Verification, 2007

2006

Multi-return function call.

Olin Shivers, David Fisher

J. Funct. Program., 2006

Environment analysis via Delta CFA.

Matthew Might, Olin Shivers

Proceedings of the 33rd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2006

Continuations and transducer composition.

Olin Shivers, Matthew Might

Proceedings of the ACM SIGPLAN 2006 Conference on Programming Language Design and Implementation, 2006

Improving flow analyses via GammaCFA: abstract garbage collection and counting.

Matthew Might, Olin Shivers

Proceedings of the 11th ACM SIGPLAN International Conference on Functional Programming, 2006

Static analysis for syntax objects.

David Fisher, Olin Shivers

Proceedings of the 11th ACM SIGPLAN International Conference on Functional Programming, 2006

2005

Editorial.

Matthias Felleisen, Julia Lawall, Manuel Serrano, Olin Shivers

High. Order Symb. Comput., 2005

Semantic Navigation of Large Code Bases in Higher-Order, Dynamically Typed Languages.

Steven Alexander Spoon, Olin Shivers

Proceedings of the 12th Working Conference on Reverse Engineering, 2005

The anatomy of a loop: a story of scope and control.

Olin Shivers

Proceedings of the 10th ACM SIGPLAN International Conference on Functional Programming, 2005

Dynamic data polyvariance using source-tagged classes.

Steven Alexander Spoon, Olin Shivers

Proceedings of the 2005 Symposium on Dynamic Languages, 2005

2004

Demand-Driven Type Inference with Subgoal Pruning: Trading Precision for Scalability.

Steven Alexander Spoon, Olin Shivers

Proceedings of the ECOOP 2004, 2004

1999

Atomic Heap Transactions and Fine-grain Interrupts.

Olin Shivers, James W. Clark, Roland McGrath

Proceedings of the fourth ACM SIGPLAN International Conference on Functional Programming (ICFP '99), 1999

1997

The Flux OSKit: A Substrate for Kernel and Language Research.

Bryan Ford, Godmar Back, Greg Benson, Jay Lepreau, Albert Lin, Olin Shivers

Proceedings of the Sixteenth ACM Symposium on Operating System Principles, 1997

Automatic Management of Operating System Resources.

Olin Shivers

Proceedings of the 1997 ACM SIGPLAN International Conference on Functional Programming (ICFP '97), 1997

1996

A Universal Scripting Framework or Lambda: The Ultimate "Little Language".

Olin Shivers

Proceedings of the Concurrency and Parallelism, 1996

1991

Useless-Variable Elimination.

Olin Shivers

Proceedings of the Actes JTASPEFL'91 (Bordeaux, 1991

The Semantics of Scheme Control-Flow Analysis.

Olin Shivers

Proceedings of the Symposium on Partial Evaluation and Semantics-Based Program Manipulation, 1991

1988

Higher-order control-flow analysis in retrospect: lessons learned, lessons abandoned (with retrospective)

Olin Shivers

Proceedings of the 20 Years of the ACM SIGPLAN Conference on Programming Language Design and Implementation 1979-1999, 1988

Control-Flow Analysis in Scheme.

Olin Shivers

Proceedings of the ACM SIGPLAN'88 Conference on Programming Language Design and Implementation (PLDI), 1988