Olin Shivers
From MaRDI portal
Person:879360
Available identifiers
zbMath Open shivers.olinMaRDI QIDQ879360
List of research outcomes
| Publication | Date of Publication | Type |
|---|---|---|
| Environment analysis via Δ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 | 2015-03-05 | Paper |
| Pushdown flow analysis of first-class control | 2015-03-05 | Paper |
| The anatomy of a loop | 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 β-reduction: Uplinks and λ-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 |
Research outcomes over time
Doctoral students
No records found.
Known relations from the MaRDI Knowledge Graph
| Property | Value |
|---|---|
| MaRDI profile type | MaRDI person profile |
| instance of | human |
This page was built for person: Olin Shivers
