dblp.uni-trier.dewww.uni-trier.de

Matthew Might

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

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

Coauthor Index

1Benjamin Chambers [5]
2Panagiotis Manolios [8]
3Olin Shivers [1] [2] [3] [4] [5] [7]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)