Matthew Might

Available identifiers

Publication	Date of Publication	Type
Relatively complete pushdown analysis of escape continuations	2020-01-23	Paper
Demand control-flow analysis	2020-01-23	Paper
Abstract allocation as a unified approach to polyvariance in control-flow analyses	2019-02-20	Paper
A posteriori environment analysis with Pushdown Delta CFA	2017-10-20	Paper
Environment analysis via ΔCFA	2017-08-21	Paper
Allocation characterizes polyvariance: a unified methodology for polyvariant control-flow analysis	2017-05-10	Paper
Pushdown control-flow analysis for free	2016-10-24	Paper
Improving flow analyses via ΓCFA	2015-08-03	Paper
Optimizing abstract abstract machines	2015-03-30	Paper
Parsing with derivatives	2015-03-05	Paper
Abstracting abstract machines	2015-03-05	Paper
Deletion: The curse of the red-black tree	2014-12-10	Paper
Logic-flow analysis of higher-order programs	2014-09-12	Paper
Pushdown flow analysis with abstract garbage collection	2014-08-14	Paper
Introspective pushdown analysis of higher-order programs	2014-07-21	Paper
Systematic abstraction of abstract machines	2012-10-29	Paper
Abstract Interpreters for Free	2010-10-01	Paper
Shape Analysis in the Absence of Pointers and Structure	2010-01-14	Paper
A Posteriori Soundness for Non-deterministic Abstract Interpretations	2009-02-10	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

This page was built for person: Matthew Might