| 2019 | OOPSLA | The algorithm for precision medicine (invited talk). | Matthew Might |
| 2019 | VMCAI | Demand Control-Flow Analysis. | Kimball Germane, Jay McCarthy, Michael D. Adams, Matthew Might |
| 2019 | VMCAI | Relatively Complete Pushdown Analysis of Escape Continuations. | Kimball Germane, Matthew Might |
| 2017 | ICLP | A Simple Complete Search for Logic Programming. | Jason Hemann, Daniel P. Friedman, William E. Byrd, Matthew Might |
| 2017 | POPL | A posteriori environment analysis with Pushdown Delta CFA. | Kimball Germane, Matthew Might |
| 2016 | DLS | A small embedding of logic programming with a simple complete search. | Jason Hemann, Daniel P. Friedman, William E. Byrd, Matthew Might |
| 2016 | ICFP | Allocation characterizes polyvariance: a unified methodology for polyvariant control-flow analysis. | Thomas Gilray, Michael D. Adams, Matthew Might |
| 2016 | PLDI | On the complexity and performance of parsing with derivatives. | Michael D. Adams, Celeste Hollenbeck, Matthew Might |
| 2016 | POPL | Pushdown control-flow analysis for free. | Thomas Gilray, Steven Lyde, Michael D. Adams, Matthew Might, David Van Horn |
| 2016 | SP | A Posteriori Taint-Tracking for Demonstrating Non-interference in Expressive Low-Level Languages. | Peter Aldous, Matthew Might |
| 2015 | DLS | Control-flow analysis of dynamic languages via pointer analysis. | Steven Lyde, William E. Byrd, Matthew Might |
| 2015 | OOPSLA | Galois transformers and modular abstract interpreters: reusable metatheory for program analysis. | David Darais, Matthew Might, David Van Horn |
| 2015 | SAS | Static Analysis of Non-interference in Expressive Low-Level Languages. | Peter Aldous, Matthew Might |
| 2014 | SCAM | Fast Flow Analysis with Godel Hashes. | Shuying Liang, Weibin Sun, Matthew Might |
| 2014 | SCAM | Pruning, Pushdown Exception-Flow Analysis. | Shuying Liang, Weibin Sun, Matthew Might, Andrew W. Keep, David Van Horn |
| 2013 | CCS | Sound and precise malware analysis for android via pushdown reachability and entry-point saturation. | Shuying Liang, Andrew W. Keep, Matthew Might, Steven Lyde, Thomas Gilray, Petey Aldous, David Van Horn |
| 2013 | ICFP | Optimizing abstract abstract machines. | Dionna Amalie Glaze, Nicholas Labich, Matthew Might, David Van Horn |
| 2013 | PLDI | Monadic abstract interpreters. | Ilya Sergey, Dominique Devriese, Matthew Might, Jan Midtgaard, David Darais, Dave Clarke, Frank Piessens |
| 2012 | ICFP | Introspective pushdown analysis of higher-order programs. | Christopher Earl, Ilya Sergey, Matthew Might, David Van Horn |
| 2012 | PLDI | Hash-flow taint analysis of higher-order programs. | Shuying Liang, Matthew Might |
| 2012 | SAS | A Structural Soundness Proof for Shivers's Escape Technique - A Case for Galois Connections. | Jan Midtgaard, Michael D. Adams, Matthew Might |
| 2011 | ICFP | Parsing with derivatives: a functional pearl. | Matthew Might, David Darais, Daniel Spiewak |
| 2011 | OOPSLA | Flow-sensitive type recovery in linear-log time. | Michael D. Adams, Andrew W. Keep, Jan Midtgaard, Matthew Might, Arun Chauhan, R. Kent Dybvig |
| 2011 | POPL | EigenCFA: accelerating flow analysis with GPUs. | Tarun Prabhu, Shreyas Ramalingam, Matthew Might, Mary W. Hall |
| 2011 | SAS | A Family of Abstract Interpretations for Static Analysis of Concurrent Higher-Order Programs. | Matthew Might, David Van Horn |
| 2010 | ICFP | Abstracting abstract machines. | David Van Horn, Matthew Might |
| 2010 | PLDI | Resolving and exploiting the | Matthew Might, Yannis Smaragdakis, David Van Horn |
| 2010 | SAS | Abstract Interpreters for Free. | Matthew Might |
| 2010 | VMCAI | Shape Analysis in the Absence of Pointers and Structure. | Matthew Might |
| 2009 | VMCAI | A PosterioriSoundness for Non-deterministic Abstract Interpretations. | Matthew Might, Panagiotis Manolios |
| 2007 | POPL | Logic-flow analysis of higher-order programs. | Matthew Might |
| 2007 | VMCAI | Model Checking Via GammaCFA. | Matthew Might, Benjamin Chambers, Olin Shivers |
| 2006 | ICFP | Improving flow analyses via GammaCFA: abstract garbage collection and counting. | Matthew Might, Olin Shivers |
| 2006 | PLDI | Continuations and transducer composition. | Olin Shivers, Matthew Might |
| 2006 | POPL | Environment analysis via Delta CFA. | Matthew Might, Olin Shivers |