| 2008 |
|---|
| 26 | EE | Konstantine Arkoudas,
Olin Shivers:
Trusted Theorem Proving: A Case Study in SLD-Resolution.
ISoLA 2008: 782-796 |
| 25 | EE | David Fisher,
Olin Shivers:
Building language towers with Ziggurat.
J. Funct. Program. 18(5-6): 707-780 (2008) |
| 24 | EE | Matthew Might,
Olin Shivers:
Exploiting reachability and cardinality in higher-order flow analysis.
J. Funct. Program. 18(5-6): 821-864 (2008) |
| 23 | EE | Olin Shivers:
Why teach programming languages.
SIGPLAN Notices 43(11): 130-132 (2008) |
| 2007 |
|---|
| 22 | EE | Matthew Might,
Benjamin Chambers,
Olin Shivers:
Model Checking Via GammaCFA.
VMCAI 2007: 59-73 |
| 21 | EE | Matthew Might,
Olin Shivers:
Analyzing the environment structure of higher-order languages using frame strings.
Theor. Comput. Sci. 375(1-3): 137-168 (2007) |
| 2006 |
|---|
| 20 | EE | David Fisher,
Olin Shivers:
Static analysis for syntax objects.
ICFP 2006: 111-121 |
| 19 | EE | Matthew Might,
Olin Shivers:
Improving flow analyses via GammaCFA: abstract garbage collection and counting.
ICFP 2006: 13-25 |
| 18 | EE | Olin Shivers,
Matthew Might:
Continuations and transducer composition.
PLDI 2006: 295-307 |
| 17 | EE | Matthew Might,
Olin Shivers:
Environment analysis via Delta CFA.
POPL 2006: 127-140 |
| 16 | EE | Olin Shivers,
David Fisher:
Multi-return function call.
J. Funct. Program. 16(4-5): 547-582 (2006) |
| 2005 |
|---|
| 15 | EE | Olin Shivers,
Mitchell Wand:
Bottom-Up beta-Reduction: Uplinks and lambda-DAGs.
ESOP 2005: 217-232 |
| 14 | EE | Olin Shivers:
The anatomy of a loop: a story of scope and control.
ICFP 2005: 2-14 |
| 13 | EE | S. Alexander Spoon,
Olin Shivers:
Semantic Navigation of Large Code Bases in Higher-Order, Dynamically Typed Languages.
WCRE 2005: 219-228 |
| 12 | EE | Matthias Felleisen,
Julia L. Lawall,
Manuel Serrano,
Olin Shivers:
Editorial.
Higher-Order and Symbolic Computation 18(3-4): 243-244 (2005) |
| 2004 |
|---|
| 11 | EE | S. Alexander Spoon,
Olin Shivers:
Demand-Driven Type Inference with Subgoal Pruning: Trading Precision for Scalability.
ECOOP 2004: 51-74 |
| 10 | EE | Olin Shivers,
David Fisher:
Multi-return function call.
ICFP 2004: 79-89 |
| 2003 |
|---|
| 9 | | Colin Runciman,
Olin Shivers:
Proceedings of the Eighth ACM SIGPLAN International Conference on Functional Programming, ICFP 2003, Uppsala, Sweden, August 25-29, 2003
ACM 2003 |
| 1999 |
|---|
| 8 | EE | Olin Shivers,
James W. Clark,
Roland McGrath:
Atomic Heap Transactions and Fine-grain Interrupts.
ICFP 1999: 48-59 |
| 1997 |
|---|
| 7 | | Olin Shivers:
Automatic Management of Operating System Resources.
ICFP 1997: 274-279 |
| 6 | | Bryan Ford,
Godmar Back,
Greg Benson,
Jay Lepreau,
Albert Lin,
Olin Shivers:
The Flux OSKit: A Substrate for Kernel and Language Research.
SOSP 1997: 38-51 |
| 1996 |
|---|
| 5 | | Olin Shivers:
A Universal Scripting Framework or Lambda: The Ultimate "Little Language".
ASIAN 1996: 254-265 |
| 1991 |
|---|
| 4 | | Olin Shivers:
Useless-Variable Elimination.
JTASPEFT/WSA 1991: 197-201 |
| 3 | | Olin Shivers:
The Semantics of Scheme Control-Flow Analysis.
PEPM 1991: 190-198 |
| 1988 |
|---|
| 2 | EE | Olin Shivers:
Higher-order control-flow analysis in retrospect: lessons learned, lessons abandoned (with retrospective)
Best of PLDI 1988: 257-269 |
| 1 | | Olin Shivers:
Control-Flow Analysis in Scheme.
PLDI 1988: 164-174 |
