Google
Google Scholar
Semantic Scholar
MS Academic
CiteSeerX
ORCIDOlin Shivers
Person information
- affiliation: Georgia Institute of Technology, Atlanta, USA
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2010 – 2019
- 2019
[c28]Justin Slepak, Olin Shivers, Panagiotis Manolios:
Records with rank polymorphism. ARRAY@PLDI 2019: 80-92- [i2]Justin Slepak, Olin Shivers, Panagiotis Manolios:
The Semantics of Rank Polymorphism. CoRR abs/1907.00509 (2019) - [i1]Olin Shivers, Justin Slepak, Panagiotis Manolios:
Introduction to Rank-polymorphic Programming in Remora (Draft). CoRR abs/1912.13451 (2019) - 2018
- [c27]Justin Slepak, Panagiotis Manolios, Olin Shivers:
Rank polymorphism viewed as a constraint problem. ARRAY@PLDI 2018: 34-41 - [e2]Sven-Bodo Scholz, Olin Shivers:
Proceedings of the 5th ACM SIGPLAN International Workshop on Libraries, Languages, and Compilers for Array Programming, ARRAY@PLDI 2018, Philadelphia, PA, USA, June 19, 2018. ACM 2018 [contents] - 2017
- [j9]Milo Davis, William Meehan, Olin Shivers:
No-brainer CPS conversion (functional pearl). Proc. ACM Program. Lang. 1(ICFP): 23:1-23:25 (2017) - 2014
- [c26]Justin Slepak, Olin Shivers, Panagiotis Manolios:
An Array-Oriented Language with Static Rank Polymorphism. ESOP 2014: 27-46 - 2011
- [j8]Dimitrios Vardoulakis, Olin Shivers:
CFA2: a Context-Free Approach to Control-Flow Analysis. Log. Methods Comput. Sci. 7(2) (2011) - [c25]Olin Shivers, Aaron Joseph Turon:
Modular rollback through control logging: a pair of twin functional pearls. ICFP 2011: 58-68 - [c24]Dimitrios Vardoulakis, Olin Shivers:
Pushdown flow analysis of first-class control. ICFP 2011: 69-80 - [c23]Dimitrios Vardoulakis, Olin Shivers:
Ordering multiple continuations on the stack. PEPM 2011: 13-22 - [c22]André DeHon, Ben Karel, Thomas F. Knight Jr., Gregory Malecha, Benoît Montagu, Robin Morisset, Greg Morrisett, Benjamin C. Pierce, Randy Pollack, Sumit Ray, Olin Shivers, Jonathan M. Smith, Gregory Sullivan:
Preliminary design of the SAFE platform. PLOS@SOSP 2011: 4:1-4:5 - 2010
- [j7]Olin Shivers, Mitchell Wand:
Bottom-up beta-reduction: Uplinks and lambda-DAGs. Fundam. Informaticae 103(1-4): 247-287 (2010) - [c21]Dimitrios Vardoulakis, Olin Shivers:
CFA2: A Context-Free Approach to Control-Flow Analysis. ESOP 2010: 570-589
2000 – 2009
- 2008
- [j6]David Fisher, Olin Shivers:
Building language towers with Ziggurat. J. Funct. Program. 18(5-6): 707-780 (2008) - [j5]Matthew Might, Olin Shivers:
Exploiting reachability and cardinality in higher-order flow analysis. J. Funct. Program. 18(5-6): 821-864 (2008) - [j4]Olin Shivers:
Why teach programming languages. ACM SIGPLAN Notices 43(11): 130-132 (2008) - [c20]Konstantine Arkoudas, Olin Shivers:
Trusted Theorem Proving: A Case Study in SLD-Resolution. ISoLA 2008: 782-796 - 2007
- [j3]Matthew Might, Olin Shivers:
Analyzing the environment structure of higher-order languages using frame strings. Theor. Comput. Sci. 375(1-3): 137-168 (2007) - [c19]Matthew Might, Benjamin Chambers, Olin Shivers:
Model Checking Via GammaCFA. VMCAI 2007: 59-73 - 2006
- [j2]Olin Shivers, David Fisher:
Multi-return function call. J. Funct. Program. 16(4-5): 547-582 (2006) - [c18]Matthew Might, Olin Shivers:
Improving flow analyses via GammaCFA: abstract garbage collection and counting. ICFP 2006: 13-25 - [c17]David Fisher, Olin Shivers:
Static analysis for syntax objects. ICFP 2006: 111-121 - [c16]Olin Shivers, Matthew Might:
Continuations and transducer composition. PLDI 2006: 295-307 - [c15]Matthew Might, Olin Shivers:
Environment analysis via Delta CFA. POPL 2006: 127-140 - 2005
- [j1]Matthias Felleisen, Julia L. Lawall, Manuel Serrano, Olin Shivers:
Editorial. High. Order Symb. Comput. 18(3-4): 243-244 (2005) - [c14]S. Alexander Spoon, Olin Shivers:
Dynamic data polyvariance using source-tagged classes. DLS 2005: 35-48 - [c13]Olin Shivers, Mitchell Wand:
Bottom-Up beta-Reduction: Uplinks and lambda-DAGs. ESOP 2005: 217-232 - [c12]Olin Shivers:
The anatomy of a loop: a story of scope and control. ICFP 2005: 2-14 - [c11]S. Alexander Spoon, Olin Shivers:
Semantic Navigation of Large Code Bases in Higher-Order, Dynamically Typed Languages. WCRE 2005: 219-228 - 2004
- [c10]S. Alexander Spoon, Olin Shivers:
Demand-Driven Type Inference with Subgoal Pruning: Trading Precision for Scalability. ECOOP 2004: 51-74 - [c9]Olin Shivers, David Fisher:
Multi-return function call. ICFP 2004: 79-89 - 2003
- [e1]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, ISBN 1-58113-756-7 [contents]
1990 – 1999
- 1999
- [c8]Olin Shivers, James W. Clark, Roland McGrath:
Atomic Heap Transactions and Fine-grain Interrupts. ICFP 1999: 48-59 - 1997
- [c7]Olin Shivers:
Automatic Management of Operating System Resources. ICFP 1997: 274-279 - [c6]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
- [c5]Olin Shivers:
A Universal Scripting Framework or Lambda: The Ultimate "Little Language". ASIAN 1996: 254-265 - 1991
- [c4]Olin Shivers:
The Semantics of Scheme Control-Flow Analysis. PEPM 1991: 190-198 - [c3]Olin Shivers:
Useless-Variable Elimination. JTASPEFT/WSA 1991: 197-201
1980 – 1989
- 1988
- [c2]Olin Shivers:
Control-Flow Analysis in Scheme. PLDI 1988: 164-174 - [c1]Olin Shivers:
Higher-order control-flow analysis in retrospect: lessons learned, lessons abandoned (with retrospective). Best of PLDI 1988: 257-269
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
load content from web.archive.org
Privacy notice: By enabling the option above, your browser will contact the API of web.archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
Tweets on dblp homepage
Show tweets from 
on the dblp homepage.
Privacy notice: By enabling the option above, your browser will contact twitter.com and twimg.com to load tweets curated by our Twitter account. At the same time, Twitter will persistently store several cookies with your web browser. While we did signal Twitter to not track our users by setting the "dnt" flag, we do not have any control over how Twitter uses your data. So please proceed with care and consider checking the Twitter privacy policy.
last updated on 2020-09-19 23:59 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
the dblp computer science bibliography is funded by:
