Improving flow analyses via GammaCFA: abstract garbage collection and counting. - Matthew Might; Olin Shivers (ICFP, 2006)

Continuations and transducer composition. - Olin Shivers; Matthew Might (PLDI, 2006)

Environment analysis via Delta CFA. - Matthew Might; Olin Shivers (POPL, 2006)

Logic-flow analysis of higher-order programs. - Matthew Might (POPL, 2007)

Model Checking Via GammaCFA. - Matthew Might; Benjamin Chambers; Olin Shivers (VMCAI, 2007)

Analyzing the environment structure of higher-order languages using frame strings. - Matthew Might; Olin Shivers (Theor. Comput. Sci., 2007)

Environment Analysis of Higher-Order Languages. - Matthew Might (2007)

Exploiting reachability and cardinality in higher-order flow analysis. - Matthew Might; Olin Shivers (J. Funct. Program., 2008)

A PosterioriSoundness for Non-deterministic Abstract Interpretations. - Matthew Might; Panagiotis Manolios (VMCAI, 2009)

Abstracting abstract machines. - David Van Horn; Matthew Might (ICFP, 2010)

Resolving and exploiting the k-CFA paradox: illuminating functional vs. object-oriented program analysis. - Matthew Might; Yannis Smaragdakis; David Van Horn (PLDI, 2010)

Abstract Interpreters for Free. - Matthew Might (SAS, 2010)

Shape Analysis in the Absence of Pointers and Structure. - Matthew Might (VMCAI, 2010)

Pushdown Control-Flow Analysis of Higher-Order Programs - Christopher Earl; Matthew Might; David Van Horn (CoRR, 2010)

Stack-Summarizing Control-Flow Analysis of Higher-Order Programs - Christopher Earl; Matthew Might; David Van Horn (CoRR, 2010)

Yacc is dead - Matthew Might; David Darais (CoRR, 2010)

The academic job search: How to prepare key documents. - Matt Might (XRDS, 2010)

Parsing with derivatives: a functional pearl. - Matthew Might; David Darais; Daniel Spiewak (ICFP, 2011)

Flow-sensitive type recovery in linear-log time. - Michael D. Adams 001; Andrew W. Keep; Jan Midtgaard; Matthew Might; Arun Chauhan 001; R. Kent Dybvig (OOPSLA, 2011)

EigenCFA: accelerating flow analysis with GPUs. - Tarun Prabhu; Shreyas Ramalingam; Matthew Might; Mary W. Hall (POPL, 2011)

A Family of Abstract Interpretations for Static Analysis of Concurrent Higher-Order Programs. - Matthew Might; David Van Horn (SAS, 2011)

Abstracting abstract machines: a systematic approach to higher-order program analysis. - David Van Horn; Matthew Might (Commun. ACM, 2011)

An Analytic Framework for JavaScript - David Van Horn; Matthew Might (CoRR, 2011)

Introspective pushdown analysis of higher-order programs. - Christopher Earl; Ilya Sergey; Matthew Might; David Van Horn (ICFP, 2012)

Hash-flow taint analysis of higher-order programs. - Shuying Liang; Matthew Might (PLAS, 2012)

A Structural Soundness Proof for Shivers's Escape Technique - A Case for Galois Connections. - Jan Midtgaard; Michael D. Adams 001; Matthew Might (SAS, 2012)

Optimizing Abstract Abstract Machines - Dionna Amalie Glaze; Matthew Might; David Van Horn (CoRR, 2012)

Preface. - Jan Midtgaard; Matthew Might (NSAD@SAS, 2012)

Systematic abstraction of abstract machines. - David Van Horn; Matthew Might (J. Funct. Program., 2012)

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 (SPSM@CCS, 2013)

Optimizing abstract abstract machines. - Dionna Amalie Glaze; Nicholas Labich; Matthew Might; David Van Horn (ICFP, 2013)

Extracting Hybrid Automata from Control Code. - Steven Lyde; Matthew Might (NASA Formal Methods, 2013)

Monadic abstract interpreters. - Ilya Sergey; Dominique Devriese; Matthew Might; Jan Midtgaard; David Darais; Dave Clarke 001; Frank Piessens (PLDI, 2013)

A Survey of Polyvariance in Abstract Interpretations. - Thomas Gilray; Matthew Might (Trends in Functional Programming, 2013)

Control-Flow Analysis with SAT Solvers. - Steven Lyde; Matthew Might (Trends in Functional Programming, 2013)

Resolving and Exploiting the $k$-CFA Paradox. - Matthew Might; Yannis Smaragdakis; David Van Horn (CoRR, 2013)

Pushdown Exception-Flow Analysis of Object-Oriented Programs - Shuying Liang; Matthew Might; Thomas Gilray; David Van Horn (CoRR, 2013)

AnaDroid: Malware Analysis of Android with User-supplied Predicates. - Shuying Liang; Matthew Might; David Van Horn (TAPAS@SAS, 2013)

Fast Flow Analysis with Godel Hashes. - Shuying Liang; Weibin Sun; Matthew Might (SCAM, 2014)

Pruning, Pushdown Exception-Flow Analysis. - Shuying Liang; Weibin Sun; Matthew Might; Andrew W. Keep; David Van Horn (SCAM, 2014)

Galois Transformers and Modular Abstract Interpreters. - David Darais; Matthew Might; David Van Horn (CoRR, 2014)

Deletion: The curse of the red-black tree. - Kimball Germane; Matthew Might (J. Funct. Program., 2014)

Pushdown flow analysis with abstract garbage collection. - Dionna Amalie Glaze; Ilya Sergey; Christopher Earl; Matthew Might; David Van Horn (J. Funct. Program., 2014)

Control-flow analysis of dynamic languages via pointer analysis. - Steven Lyde; William E. Byrd; Matthew Might (DLS, 2015)

Galois transformers and modular abstract interpreters: reusable metatheory for program analysis. - David Darais; Matthew Might; David Van Horn (OOPSLA, 2015)

Static Analysis of Non-interference in Expressive Low-Level Languages. - Peter Aldous; Matthew Might (SAS, 2015)

A small embedding of logic programming with a simple complete search. - Jason Hemann; Daniel P. Friedman; William E. Byrd; Matthew Might (DLS, 2016)

Allocation characterizes polyvariance: a unified methodology for polyvariant control-flow analysis. - Thomas Gilray; Michael D. Adams 001; Matthew Might (ICFP, 2016)

On the complexity and performance of parsing with derivatives. - Michael D. Adams 001; Celeste Hollenbeck; Matthew Might (PLDI, 2016)

Pushdown control-flow analysis for free. - Thomas Gilray; Steven Lyde; Michael D. Adams 001; Matthew Might; David Van Horn (POPL, 2016)

A Posteriori Taint-Tracking for Demonstrating Non-interference in Expressive Low-Level Languages. - Peter Aldous; Matthew Might (IEEE Symposium on Security and Privacy Workshops, 2016)

Dynamic Sparse-Matrix Allocation on GPUs. - James King 007; Thomas Gilray; Robert M. Kirby; Matthew Might (ISC, 2016)

miniAdapton: A Minimal Implementation of Incremental Computation in Scheme. - Dakota Fisher; Matthew A. Hammer; William E. Byrd; Matthew Might (CoRR, 2016)

A Simple Complete Search for Logic Programming. - Jason Hemann; Daniel P. Friedman; William E. Byrd; Matthew Might (ICLP (Technical Communications), 2017)

A posteriori environment analysis with Pushdown Delta CFA. - Kimball Germane; Matthew Might (POPL, 2017)

Nebo: An efficient, parallel, and portable domain-specific language for numerically solving partial differential equations. - Christopher Earl; Matthew Might; Abhishek Bagusetty; James C. Sutherland (J. Syst. Softw., 2017)

Restricting grammars with tree automata. - Michael D. Adams 001; Matthew Might (Proc. ACM Program. Lang., 2017)

A unified approach to solving seven programming problems (functional pearl). - William E. Byrd; A. Ballantyne; Gregory Rosenblatt; Matthew Might (Proc. ACM Program. Lang., 2017)

Neural Guided Constraint Logic Programming for Program Synthesis. - Lisa Zhang; Gregory Rosenblatt; Ethan Fetaya; Renjie Liao; William E. Byrd; Matthew Might; Raquel Urtasun; Richard S. Zemel (NeurIPS, 2018)

anexVis: visual analytics framework for analysis of RNA expression. - Diem-Trang T. Tran; Tian Zhang 005; Ryan Stutsman; Matthew Might; Umesh R. Desai; Balagurunathan Kuberan (Bioinform., 2018)

Abstract allocation as a unified approach to polyvariance in control-flow analyses. - Thomas Gilray; Michael D. Adams 001; Matthew Might (J. Funct. Program., 2018)

The algorithm for precision medicine (invited talk). - Matthew Might (SPLASH (Companion Volume), 2019)

Demand Control-Flow Analysis. - Kimball Germane; Jay McCarthy; Michael D. Adams 001; Matthew Might (VMCAI, 2019)

Relatively Complete Pushdown Analysis of Escape Continuations. - Kimball Germane; Matthew Might (VMCAI, 2019)

Cardioinformatics: the nexus of bioinformatics and precision cardiology. - Bohdan B. Khomtchouk; Diem-Trang T. Tran; Kasra A. Vand; Matthew Might; Or Gozani; Themistocles L. Assimes (Briefings Bioinform., 2020)

Structured reviews for data and knowledge-driven research. - Núria Queralt-Rosinach; Gregory S. Stupp; Tong Shu Li; Michael Mayers; Maureen E. Hoatlin; Matthew Might; Benjamin M. Good; Andrew I. Su (Database J. Biol. Databases Curation, 2020)

The precision medicine process for treating rare disease using the artificial intelligence tool mediKanren. - Aleksandra Foksinska; Camerron M. Crowder; Andrew B. Crouse; Jeff Henrikson; William E. Byrd; Gregory Rosenblatt; Michael J. Patton; Kaiwen He; Thi K. Tran-Nguyen; Marissa Zheng; Stephen A. Ramsey; Nada Amin; et al. (Frontiers Artif. Intell., 2022)

Enriched phenotypes in rare variant carriers suggest pathogenic mechanisms in rare disease patients. - Lane Fitzsimmons; Maria T. Acosta; David R. Adams; Ben Afzali; Ali Al-Beshri; Eric Allenspach; Aimee Allworth; Raquel L. Alvarez; Justin Alvey; Ashley Andrews; Euan A. Ashley; Carlos A. Bacino; et al. (BioData Min., 2025)