Search the dblp DataBase

Publications of Author

1. Matthew Might, Olin Shivers
   Improving flow analyses via GammaCFA: abstract garbage collection and counting. [Citation Graph (0, 0)][DBLP]
   ICFP, 2006, pp:13-25 [Conf]
   
2. Olin Shivers, Matthew Might
   Continuations and transducer composition. [Citation Graph (0, 0)][DBLP]
   PLDI, 2006, pp:295-307 [Conf]
   
3. Matthew Might, Olin Shivers
   Environment analysis via Delta CFA. [Citation Graph (0, 0)][DBLP]
   POPL, 2006, pp:127-140 [Conf]
   
4. Matthew Might
   Logic-flow analysis of higher-order programs. [Citation Graph (0, 0)][DBLP]
   POPL, 2007, pp:185-198 [Conf]
   
5. Matthew Might, Olin Shivers
   Analyzing the environment structure of higher-order languages using frame strings. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 2007, v:375, n:1-3, pp:137-168 [Journal]
   
6. 
   Resolving and exploiting the k-CFA paradox: illuminating functional vs. object-oriented program analysis. [Citation Graph (, )][DBLP]
   
   
7. 
   Abstract Interpreters for Free. [Citation Graph (, )][DBLP]
   
   
8. 
   Model Checking Via GammaCFA. [Citation Graph (, )][DBLP]
   
   
9. 
   A PosterioriSoundness for Non-deterministic Abstract Interpretations. [Citation Graph (, )][DBLP]
   
   
10. 
    Shape Analysis in the Absence of Pointers and Structure. [Citation Graph (, )][DBLP]
    
    
11. 
    Pushdown Control-Flow Analysis of Higher-Order Programs [Citation Graph (, )][DBLP]
    
    
12. 
    Abstracting Abstract Machines [Citation Graph (, )][DBLP]