dblp.uni-trier.dewww.uni-trier.de

Olin Shivers

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo
Home Page

2008
26EEKonstantine Arkoudas, Olin Shivers: Trusted Theorem Proving: A Case Study in SLD-Resolution. ISoLA 2008: 782-796
25EEDavid Fisher, Olin Shivers: Building language towers with Ziggurat. J. Funct. Program. 18(5-6): 707-780 (2008)
24EEMatthew Might, Olin Shivers: Exploiting reachability and cardinality in higher-order flow analysis. J. Funct. Program. 18(5-6): 821-864 (2008)
23EEOlin Shivers: Why teach programming languages. SIGPLAN Notices 43(11): 130-132 (2008)
2007
22EEMatthew Might, Benjamin Chambers, Olin Shivers: Model Checking Via GammaCFA. VMCAI 2007: 59-73
21EEMatthew Might, Olin Shivers: Analyzing the environment structure of higher-order languages using frame strings. Theor. Comput. Sci. 375(1-3): 137-168 (2007)
2006
20EEDavid Fisher, Olin Shivers: Static analysis for syntax objects. ICFP 2006: 111-121
19EEMatthew Might, Olin Shivers: Improving flow analyses via GammaCFA: abstract garbage collection and counting. ICFP 2006: 13-25
18EEOlin Shivers, Matthew Might: Continuations and transducer composition. PLDI 2006: 295-307
17EEMatthew Might, Olin Shivers: Environment analysis via Delta CFA. POPL 2006: 127-140
16EEOlin Shivers, David Fisher: Multi-return function call. J. Funct. Program. 16(4-5): 547-582 (2006)
2005
15EEOlin Shivers, Mitchell Wand: Bottom-Up beta-Reduction: Uplinks and lambda-DAGs. ESOP 2005: 217-232
14EEOlin Shivers: The anatomy of a loop: a story of scope and control. ICFP 2005: 2-14
13EES. Alexander Spoon, Olin Shivers: Semantic Navigation of Large Code Bases in Higher-Order, Dynamically Typed Languages. WCRE 2005: 219-228
12EEMatthias Felleisen, Julia L. Lawall, Manuel Serrano, Olin Shivers: Editorial. Higher-Order and Symbolic Computation 18(3-4): 243-244 (2005)
2004
11EES. Alexander Spoon, Olin Shivers: Demand-Driven Type Inference with Subgoal Pruning: Trading Precision for Scalability. ECOOP 2004: 51-74
10EEOlin 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
8EEOlin 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
2EEOlin 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

Coauthor Index

1Konstantine Arkoudas [26]
2Godmar Back [6]
3Greg Benson [6]
4Benjamin Chambers [22]
5James W. Clark [8]
6Matthias Felleisen [12]
7David Fisher [10] [16] [20] [25]
8Bryan Ford [6]
9Julia L. Lawall [12]
10Jay Lepreau [6]
11Albert Lin [6]
12Roland McGrath [8]
13Matthew Might [17] [18] [19] [21] [22] [24]
14Colin Runciman [9]
15Manuel Serrano [12]
16S. Alexander Spoon [11] [13]
17Mitchell Wand [15]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)