Search the dblp DataBase

Publications of Author

1. Olin Shivers
   A Universal Scripting Framework or Lambda: The Ultimate "Little Language". [Citation Graph (0, 0)][DBLP]
   ASIAN, 1996, pp:254-265 [Conf]
   
2. S. Alexander Spoon, Olin Shivers
   Demand-Driven Type Inference with Subgoal Pruning: Trading Precision for Scalability. [Citation Graph (0, 0)][DBLP]
   ECOOP, 2004, pp:51-74 [Conf]
   
3. Olin Shivers, Mitchell Wand
   Bottom-Up beta-Reduction: Uplinks and lambda-DAGs. [Citation Graph (0, 0)][DBLP]
   ESOP, 2005, pp:217-232 [Conf]
   
4. David Fisher, Olin Shivers
   Static analysis for syntax objects. [Citation Graph (0, 0)][DBLP]
   ICFP, 2006, pp:111-121 [Conf]
   
5. Matthew Might, Olin Shivers
   Improving flow analyses via GammaCFA: abstract garbage collection and counting. [Citation Graph (0, 0)][DBLP]
   ICFP, 2006, pp:13-25 [Conf]
   
6. Olin Shivers
   The anatomy of a loop: a story of scope and control. [Citation Graph (0, 0)][DBLP]
   ICFP, 2005, pp:2-14 [Conf]
   
7. Olin Shivers
   Automatic Management of Operating System Resources. [Citation Graph (0, 0)][DBLP]
   ICFP, 1997, pp:274-279 [Conf]
   
8. Olin Shivers, James W. Clark, Roland McGrath
   Atomic Heap Transactions and Fine-grain Interrupts. [Citation Graph (0, 0)][DBLP]
   ICFP, 1999, pp:48-59 [Conf]
   
9. Olin Shivers, David Fisher
   Multi-return function call. [Citation Graph (0, 0)][DBLP]
   ICFP, 2004, pp:79-89 [Conf]
   
10. Olin Shivers
    The Semantics of Scheme Control-Flow Analysis. [Citation Graph (0, 0)][DBLP]
    PEPM, 1991, pp:190-198 [Conf]
    
11. Olin Shivers
    Control-Flow Analysis in Scheme. [Citation Graph (0, 0)][DBLP]
    PLDI, 1988, pp:164-174 [Conf]
    
12. Olin Shivers
    Higher-order control-flow analysis in retrospect: lessons learned, lessons abandoned (with retrospective) [Citation Graph (0, 0)][DBLP]
    Best of PLDI, 1988, pp:257-269 [Conf]
    
13. Olin Shivers, Matthew Might
    Continuations and transducer composition. [Citation Graph (0, 0)][DBLP]
    PLDI, 2006, pp:295-307 [Conf]
    
14. Matthew Might, Olin Shivers
    Environment analysis via Delta CFA. [Citation Graph (0, 0)][DBLP]
    POPL, 2006, pp:127-140 [Conf]
    
15. Olin Shivers
    Useless-Variable Elimination. [Citation Graph (0, 0)][DBLP]
    JTASPEFT/WSA, 1991, pp:197-201 [Conf]
    
16. Bryan Ford, Godmar Back, Greg Benson, Jay Lepreau, Albert Lin, Olin Shivers
    The Flux OSKit: A Substrate for Kernel and Language Research. [Citation Graph (0, 0)][DBLP]
    SOSP, 1997, pp:38-51 [Conf]
    
17. S. Alexander Spoon, Olin Shivers
    Semantic Navigation of Large Code Bases in Higher-Order, Dynamically Typed Languages. [Citation Graph (0, 0)][DBLP]
    WCRE, 2005, pp:219-228 [Conf]
    
18. Olin Shivers, David Fisher
    Multi-return function call. [Citation Graph (0, 0)][DBLP]
    J. Funct. Program., 2006, v:16, n:4-5, pp:547-582 [Journal]
    
19. Matthias Felleisen, Julia L. Lawall, Manuel Serrano, Olin Shivers
    Editorial. [Citation Graph (0, 0)][DBLP]
    Higher-Order and Symbolic Computation, 2005, v:18, n:3-4, pp:243-244 [Journal]
    
20. Matthew Might, Olin Shivers
    Analyzing the environment structure of higher-order languages using frame strings. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2007, v:375, n:1-3, pp:137-168 [Journal]
    
21. 
    CFA2: A Context-Free Approach to Control-Flow Analysis. [Citation Graph (, )][DBLP]
    
    
22. 
    Trusted Theorem Proving: A Case Study in SLD-Resolution. [Citation Graph (, )][DBLP]
    
    
23. 
    Model Checking Via GammaCFA. [Citation Graph (, )][DBLP]
    
    
24. 
    Dynamic data polyvariance using source-tagged classes. [Citation Graph (, )][DBLP]