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] |