![](https://dblp.dagstuhl.de/img/logo.ua.320x120.png)
![](https://dblp.dagstuhl.de/img/dropdown.dark.16x16.png)
![](https://dblp.dagstuhl.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
![search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
default search action
Olin Shivers
Person information
- affiliation: Georgia Institute of Technology, Atlanta, USA
Refine list
![note](https://dblp.dagstuhl.de/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2023
- [j12]Lennart Augustsson
, Joachim Breitner
, Koen Claessen
, Ranjit Jhala
, Simon Peyton Jones
, Olin Shivers
, Guy L. Steele Jr.
, Tim Sweeney
:
The Verse Calculus: A Core Calculus for Deterministic Functional Logic Programming. Proc. ACM Program. Lang. 7(ICFP): 417-447 (2023) - 2022
- [j11]Benjamin Quiring
, John H. Reppy
, Olin Shivers
:
Analyzing binding extent in 3CPS. Proc. ACM Program. Lang. 6(ICFP): 650-678 (2022) - 2021
- [j10]Xipeng Shen
, Guoqiang Zhang, Irene Dea, Samantha Andow, Emilio Arroyo-Fang, Neal Gafter, Johann George, Melissa Grueter, Erik Meijer, Olin Grigsby Shivers, Steffi Stumpos, Alanna Tempest, Christy Warden, Shannon Yang:
Coarsening optimization for differentiable programming. Proc. ACM Program. Lang. 5(OOPSLA): 1-27 (2021) - [c29]Benjamin Quiring, John H. Reppy
, Olin Shivers:
3CPS: The Design of an Environment-Focussed Intermediate Representation. IFL 2021: 20-28
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 Lawall, Manuel Serrano, Olin Shivers:
Editorial. High. Order Symb. Comput. 18(3-4): 243-244 (2005) - [c14]Steven 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]Steven Alexander Spoon, Olin Shivers:
Semantic Navigation of Large Code Bases in Higher-Order, Dynamically Typed Languages. WCRE 2005: 219-228 - 2004
- [c10]Steven 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
![](https://dblp.dagstuhl.de/img/cog.dark.24x24.png)
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).
Privacy notice: By enabling the option above, your browser will contact the API of 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.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional 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 information given by OpenAlex.
last updated on 2024-05-08 20:57 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint