| |
| 2009 | ||
|---|---|---|
| 8 | EE | Matthew Might, Panagiotis Manolios: A PosterioriSoundness for Non-deterministic Abstract Interpretations. VMCAI 2009: 260-274 |
| 2008 | ||
| 7 | EE | Matthew Might, Olin Shivers: Exploiting reachability and cardinality in higher-order flow analysis. J. Funct. Program. 18(5-6): 821-864 (2008) |
| 2007 | ||
| 6 | EE | Matthew Might: Logic-flow analysis of higher-order programs. POPL 2007: 185-198 |
| 5 | EE | Matthew Might, Benjamin Chambers, Olin Shivers: Model Checking Via GammaCFA. VMCAI 2007: 59-73 |
| 4 | EE | Matthew Might, Olin Shivers: Analyzing the environment structure of higher-order languages using frame strings. Theor. Comput. Sci. 375(1-3): 137-168 (2007) |
| 2006 | ||
| 3 | EE | Matthew Might, Olin Shivers: Improving flow analyses via GammaCFA: abstract garbage collection and counting. ICFP 2006: 13-25 |
| 2 | EE | Olin Shivers, Matthew Might: Continuations and transducer composition. PLDI 2006: 295-307 |
| 1 | EE | Matthew Might, Olin Shivers: Environment analysis via Delta CFA. POPL 2006: 127-140 |
| 1 | Benjamin Chambers | [5] |
| 2 | Panagiotis Manolios | [8] |
| 3 | Olin Shivers | [1] [2] [3] [4] [5] [7] |