BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Canada
1 × Cyprus
1 × Estonia
1 × Japan
1 × Norway
1 × The Netherlands
1 × United Kingdom
4 × France
7 × USA
Collaborated with:
M.Might D.Vardoulakis D.Fisher S.A.Spoon A.J.Turon M.Wand J.Slepak P.Manolios B.Chambers J.W.Clark R.McGrath B.Ford G.Back G.Benson J.Lepreau A.Lin
Talks about:
control (7) analysi (7) flow (6) languag (3) order (3) cfa (3) retrospect (2) function (2) continu (2) static (2)

Person: Olin Shivers

DBLP DBLP: Shivers:Olin

Facilitated 1 volumes:

ICFP 2003Ed

Contributed to:

ESOP 20142014
ICFP 20112011
PEPM 20112011
ESOP 20102010
VMCAI 20072007
ICFP 20062006
PLDI 20062006
POPL 20062006
ESOP 20052005
ICFP 20052005
WCRE 20052005
ECOOP 20042004
ICFP 20042004
ICFP 19991999
ICFP 19971997
SOSP 19971997
PEPM 19911991
Best of PLDI 20041988
PLDI 19881988

Wrote 22 papers:

ESOP-2014-SlepakSM #morphism #polymorphism #rank
An Array-Oriented Language with Static Rank Polymorphism (JS, OS, PM), pp. 27–46.
ICFP-2011-ShiversT #composition #functional
Modular rollback through control logging: a pair of twin functional pearls (OS, AJT), pp. 58–68.
ICFP-2011-VardoulakisS #analysis #automaton
Pushdown flow analysis of first-class control (DV, OS), pp. 69–80.
PEPM-2011-VardoulakisS #continuation #multi #stack
Ordering multiple continuations on the stack (DV, OS), pp. 13–22.
ESOP-2010-VardoulakisS #analysis #approach #control flow #named
CFA2: A Context-Free Approach to Control-Flow Analysis (DV, OS), pp. 570–589.
VMCAI-2007-MightCS #model checking
Model Checking Via GammaCFA (MM, BC, OS), pp. 59–73.
ICFP-2006-FisherS #static analysis #syntax
Static analysis for syntax objects (DF, OS), pp. 111–121.
ICFP-2006-MightS #analysis #garbage collection
Improving flow analyses via ΓCFA: abstract garbage collection and counting (MM, OS), pp. 13–25.
PLDI-2006-ShiversM #composition #continuation #transducer
Continuations and transducer composition (OS, MM), pp. 295–307.
POPL-2006-MightS #analysis
Environment analysis via Delta CFA (MM, OS), pp. 127–140.
ESOP-2005-ShiversW #bottom-up
Bottom-Up β-Reduction: Uplinks and λ-DAGs (OS, MW), pp. 217–232.
The anatomy of a loop: a story of scope and control (OS), pp. 2–14.
WCRE-2005-SpoonS #higher-order #navigation #scalability #semantics
Semantic Navigation of Large Code Bases in Higher-Order, Dynamically Typed Languages (SAS, OS), pp. 219–228.
ECOOP-2004-SpoonS #precise #scalability #type inference
Demand-Driven Type Inference with Subgoal Pruning: Trading Precision for Scalability (SAS, OS), pp. 51–74.
ICFP-2004-ShiversF #multi
Multi-return function call (OS, DF), pp. 79–89.
ICFP-1999-ShiversCM #transaction
Atomic Heap Transactions and Fine-grain Interrupts (OS, JWC, RM), pp. 48–59.
ICFP-1997-Shivers #automation #operating system
Automatic Management of Operating System Resources (OS), pp. 274–279.
SOSP-1997-FordBBLLS #kernel #research
The Flux OSKit: A Substrate for Kernel and Language Research (BF, GB, GB, JL, AL, OS), pp. 38–51.
PEPM-1991-Shivers #analysis #control flow #semantics
The Semantics of Scheme Control-Flow Analysis (OS), pp. 190–198.
Useless-Variable Elimination (OS), pp. 197–201.
Best-of-PLDI-1988-Shivers88a #analysis #control flow #higher-order #lessons learnt
Higher-order control-flow analysis in retrospect: lessons learned, lessons abandoned (with retrospective) (OS), pp. 257–269.
PLDI-1988-Shivers #analysis #control flow
Control-Flow Analysis in Scheme (OS), pp. 164–174.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.