The SCEAS System
Navigation Menu

Search the dblp DataBase


Olin Shivers: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

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]

Search in 0.004secs, Finished in 0.005secs
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
System created by [] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002