Olin Shivers - RankMe

46 papers A* 4A 13B 1C 4Journal 15Unranked 8

Year	Rank	Type	Title / Venue / Authors
2025	J	`jnl`	Environment-Sharing Analysis and Caller-Provided Environments for Higher-Order Languages. Proc. ACM Program. Lang. J. A. Carr, Benjamin Quiring, John H. Reppy, Olin Shivers, Skye Soss, Byron Zhong
2025	J	`jnl`	Webs and Flow-Directed Well-Typedness Preserving Program Transformations. Proc. ACM Program. Lang. Benjamin Quiring, David Van Horn, John H. Reppy, Olin Shivers
2023	J	`jnl`	The Verse Calculus: A Core Calculus for Deterministic Functional Logic Programming. Proc. ACM Program. Lang. Lennart Augustsson, Joachim Breitner, Koen Claessen, Ranjit Jhala, Simon Peyton Jones, Olin Shivers, Guy L. Steele Jr., Tim Sweeney
2022	J	`jnl`	Analyzing binding extent in 3CPS. Proc. ACM Program. Lang. Benjamin Quiring, John H. Reppy, Olin Shivers
2021	—	`conf`	3CPS: The Design of an Environment-Focussed Intermediate Representation. IFL Benjamin Quiring, John H. Reppy, Olin Shivers
2019	J	`jnl`	Introduction to Rank-polymorphic Programming in Remora (Draft). CoRR Olin Shivers, Justin Slepak, Panagiotis Manolios
2019	—	`conf`	Records with rank polymorphism. ARRAY@PLDI Justin Slepak, Olin Shivers, Panagiotis Manolios
2019	J	`jnl`	The Semantics of Rank Polymorphism. CoRR Justin Slepak, Olin Shivers, Panagiotis Manolios
2018	—	`ed.`	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 ARRAY@PLDI Sven-Bodo Scholz, Olin Shivers
2018	—	`conf`	Rank polymorphism viewed as a constraint problem. ARRAY@PLDI Justin Slepak, Panagiotis Manolios, Olin Shivers
2017	J	`jnl`	No-brainer CPS conversion (functional pearl). Proc. ACM Program. Lang. Milo Davis, William Meehan, Olin Shivers
2014	A	`conf`	An Array-Oriented Language with Static Rank Polymorphism. ESOP Justin Slepak, Olin Shivers, Panagiotis Manolios
2011	J	`jnl`	CFA2: a Context-Free Approach to Control-Flow Analysis Log. Methods Comput. Sci. Dimitrios Vardoulakis, Olin Shivers
2011	A	`conf`	Modular rollback through control logging: a pair of twin functional pearls. ICFP Olin Shivers, Aaron Joseph Turon
2011	C	`conf`	Ordering multiple continuations on the stack. PEPM Dimitrios Vardoulakis, Olin Shivers
2011	—	`conf`	Preliminary design of the SAFE platform. PLOS@SOSP 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
2011	A	`conf`	Pushdown flow analysis of first-class control. ICFP Dimitrios Vardoulakis, Olin Shivers
2010	J	`jnl`	Bottom-up beta-reduction: Uplinks and lambda-DAGs. Fundam. Informaticae Olin Shivers, Mitchell Wand
2010	A	`conf`	CFA2: A Context-Free Approach to Control-Flow Analysis. ESOP Dimitrios Vardoulakis, Olin Shivers
2008	J	`jnl`	Building language towers with Ziggurat. J. Funct. Program. David Fisher, Olin Shivers
2008	J	`jnl`	Exploiting reachability and cardinality in higher-order flow analysis. J. Funct. Program. Matthew Might, Olin Shivers
2008	C	`conf`	Trusted Theorem Proving: A Case Study in SLD-Resolution. ISoLA Konstantine Arkoudas, Olin Shivers
2008	J	`jnl`	Why teach programming languages. ACM SIGPLAN Notices Olin Shivers
2007	J	`jnl`	Analyzing the environment structure of higher-order languages using frame strings. Theor. Comput. Sci. Matthew Might, Olin Shivers
2007	B	`conf`	Model Checking Via GammaCFA. VMCAI Matthew Might, Benjamin Chambers, Olin Shivers
2006	A*	`conf`	Continuations and transducer composition. PLDI Olin Shivers, Matthew Might
2006	A*	`conf`	Environment analysis via Delta CFA. POPL Matthew Might, Olin Shivers
2006	A	`conf`	Improving flow analyses via GammaCFA: abstract garbage collection and counting. ICFP Matthew Might, Olin Shivers
2006	J	`jnl`	Multi-return function call. J. Funct. Program. Olin Shivers, David Fisher
2006	A	`conf`	Static analysis for syntax objects. ICFP David Fisher, Olin Shivers
2005	A	`conf`	Bottom-Up beta-Reduction: Uplinks and lambda-DAGs. ESOP Olin Shivers, Mitchell Wand
2005	C	`conf`	Dynamic data polyvariance using source-tagged classes. DLS Steven Alexander Spoon, Olin Shivers
2005	J	`jnl`	Editorial. High. Order Symb. Comput. Matthias Felleisen, Julia Lawall, Manuel Serrano, Olin Shivers
2005	—	`conf`	Semantic Navigation of Large Code Bases in Higher-Order, Dynamically Typed Languages. WCRE Steven Alexander Spoon, Olin Shivers
2005	A	`conf`	The anatomy of a loop: a story of scope and control. ICFP Olin Shivers
2004	A	`conf`	Demand-Driven Type Inference with Subgoal Pruning: Trading Precision for Scalability. ECOOP Steven Alexander Spoon, Olin Shivers
2004	A	`conf`	Multi-return function call. ICFP Olin Shivers, David Fisher
2003	A	`ed.`	Proceedings of the Eighth ACM SIGPLAN International Conference on Functional Programming, ICFP 2003, Uppsala, Sweden, August 25-29, 2003 ICFP Colin Runciman, Olin Shivers
1999	A	`conf`	Atomic Heap Transactions and Fine-grain Interrupts. ICFP Olin Shivers, James W. Clark, Roland McGrath
1997	A	`conf`	Automatic Management of Operating System Resources. ICFP Olin Shivers
1997	A*	`conf`	The Flux OSKit: A Substrate for Kernel and Language Research. SOSP Bryan Ford, Godmar Back, Greg Benson, Jay Lepreau, Albert Lin, Olin Shivers
1996	—	`conf`	A Universal Scripting Framework or Lambda: The Ultimate "Little Language". ASIAN Olin Shivers
1991	C	`conf`	The Semantics of Scheme Control-Flow Analysis. PEPM Olin Shivers
1991	—	`conf`	Useless-Variable Elimination. JTASPEFT/WSA Olin Shivers
1988	A*	`conf`	Control-Flow Analysis in Scheme. PLDI Olin Shivers
1988	—	`conf`	Higher-order control-flow analysis in retrospect: lessons learned, lessons abandoned (with retrospective) Best of PLDI Olin Shivers