Olin Shivers - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 39 from 39

2023

The Verse Calculus: A Core Calculus for Deterministic Functional Logic ProgrammingLennart Augustsson, Joachim Breitner, Koen Claessen, Ranjit Jhala, Simon Peyton Jones, Olin Shivers, Guy L. Steele Jr., Tim Sweeney. PACMPL, 7(ICFP):417-447, August 2023. [doi]

2022

Analyzing binding extent in 3CPSBenjamin Quiring, John H. Reppy, Olin Shivers. PACMPL, 6(ICFP):650-678, 2022. [doi]

2021

3CPS: The Design of an Environment-Focussed Intermediate RepresentationBenjamin Quiring, John H. Reppy, Olin Shivers. IFL 2021: 20-28 [doi]

2019

Records with rank polymorphismJustin Slepak, Olin Shivers, Panagiotis Manolios. PLDI 2019: 80-92 [doi]

2018

Rank polymorphism viewed as a constraint problemJustin Slepak, Panagiotis Manolios, Olin Shivers. PLDI 2018: 34-41 [doi]

2017

No-brainer CPS conversion (functional pearl)Milo Davis, William Meehan, Olin Shivers. PACMPL, 1(ICFP), 2017. [doi]

2014

An Array-Oriented Language with Static Rank PolymorphismJustin Slepak, Olin Shivers, Panagiotis Manolios. ESOP 2014: 27-46 [doi]

2011

2010

Bottom-up beta-reduction: Uplinks and lambda-DAGsOlin Shivers, Mitchell Wand. FUIN, 103(1-4):247-287, 2010. [doi]

CFA2: A Context-Free Approach to Control-Flow AnalysisDimitrios Vardoulakis, Olin Shivers. ESOP 2010: 570-589 [doi]

2008

Trusted Theorem Proving: A Case Study in SLD-ResolutionKonstantine Arkoudas, Olin Shivers. ISoLA 2008: 782-796 [doi]

Building language towers with ZigguratDavid Fisher, Olin Shivers. JFP, 18(5-6):707-780, 2008. [doi]

Exploiting reachability and cardinality in higher-order flow analysisMatthew Might, Olin Shivers. JFP, 18(5-6):821-864, 2008. [doi]

Why teach programming languagesOlin Shivers. SIGPLAN, 43(11):130-132, 2008. [doi]

2007

Model Checking Via GammaCFAMatthew Might, Benjamin Chambers, Olin Shivers. vmcai 2007: 59-73 [doi]

Analyzing the environment structure of higher-order languages using frame stringsMatthew Might, Olin Shivers. TCS, 375(1-3):137-168, 2007. [doi]

2006

2005

2004

Multi-return function callOlin Shivers, David Fisher. ICFP 2004: 79-89 [doi]

Demand-Driven Type Inference with Subgoal Pruning: Trading Precision for ScalabilityS. Alexander Spoon, Olin Shivers. ECOOP 2004: 51-74 [doi]

1999

Atomic Heap Transactions and Fine-grain InterruptsOlin Shivers, James W. Clark, Roland McGrath. ICFP 1999: 48-59 [doi]

1997

The Flux OSKit: A Substrate for Kernel and Language ResearchBryan Ford, Godmar Back, Greg Benson, Jay Lepreau, Albert Lin, Olin Shivers. sosp 1997: 38-51

Automatic Management of Operating System ResourcesOlin Shivers. ICFP 1997: 274-279

1996

A Universal Scripting Framework or Lambda: The Ultimate Little Language Olin Shivers. asian 1996: 254-265

1991

Useless-Variable EliminationOlin Shivers. SAS 1991: 197-201

The Semantics of Scheme Control-Flow AnalysisOlin Shivers. PEPM 1991: 190-198

1988

Higher-order control-flow analysis in retrospect: lessons learned, lessons abandoned (with retrospective)Olin Shivers. PLDI 2004: 257-269 [doi]

Control-Flow Analysis in SchemeOlin Shivers. PLDI 1988: 164-174

Sign in or sign up to see more results.

runs on WebDSL