Olin Shivers

Available identifiers

Publication	Date of Publication	Type
Environment analysis via \(\Delta\)CFA	2017-08-21	Paper
Improving flow analyses via ΓCFA	2015-08-03	Paper
Static analysis for syntax objects	2015-08-03	Paper
Multi-return function call	2015-03-09	Paper
Modular rollback through control logging: a pair of twin functional pearls	2015-03-05	Paper
Pushdown flow analysis of first-class control	2015-03-05	Paper
The anatomy of a loop: a story of scope and control	2015-01-06	Paper
An array-oriented language with static rank polymorphism	2014-04-16	Paper
CFA2: a context-free approach to control-flow analysis	2011-05-26	Paper
Bottom-up \(\beta\)-reduction: uplinks and \(\lambda\)-DAGs	2011-05-18	Paper
CFA2: A Context-Free Approach to Control-Flow Analysis	2010-05-04	Paper
Building language towers with Ziggurat	2008-12-18	Paper
Exploiting reachability and cardinality in higher-order flow analysis	2008-12-18	Paper
Model Checking Via ΓCFA	2008-04-04	Paper
Analyzing the environment structure of higher-order languages using frame strings	2007-05-11	Paper
Programming Languages and Systems	2005-09-13	Paper

This page was built for person: Olin Shivers