Matthew Might

Publication Activity (10 Years)

Years Active: 2006-2022
Publications (10 Years): 28

Top Venues

CoRR

J. Funct. Program.

SCAM

VMCAI

Georgia Institute of Technology, Atlanta, GA, USA (PHD)

Education History

Georgia Institute of Technology, Atlanta, GA, USA

PHD

Publications

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, John Osborne, Matthew Might
The precision medicine process for treating rare disease using the artificial intelligence tool mediKanren. Frontiers Artif. Intell. 5 (2022)
Bohdan B. Khomtchouk, Diem-Trang T. Tran, Kasra A. Vand, Matthew Might, Or Gozani, Themistocles L. Assimes
Cardioinformatics: the nexus of bioinformatics and precision cardiology. Briefings Bioinform. 21 (6) (2020)
Núria Queralt-Rosinach, Gregory S. Stupp, Tong Shu Li, Michael Mayers, Maureen E. Hoatlin, Matthew Might, Benjamin M. Good, Andrew I. Su
Structured reviews for data and knowledge-driven research. Database J. Biol. Databases Curation 2020 (2020)
Kimball Germane, Matthew Might
Relatively Complete Pushdown Analysis of Escape Continuations. VMCAI (2019)
Kimball Germane, Jay McCarthy, Michael D. Adams, Matthew Might
Demand Control-Flow Analysis. VMCAI (2019)
Matthew Might
The algorithm for precision medicine (invited talk). SPLASH (Companion Volume) (2019)
Diem-Trang T. Tran, Tian Zhang, Ryan Stutsman, Matthew Might, Umesh R. Desai, Balagurunathan Kuberan
anexVis: visual analytics framework for analysis of RNA expression. Bioinform. 34 (14) (2018)
Lisa Zhang, Gregory Rosenblatt, Ethan Fetaya, Renjie Liao, William E. Byrd, Matthew Might, Raquel Urtasun, Richard S. Zemel
Neural Guided Constraint Logic Programming for Program Synthesis. NeurIPS (2018)
Thomas Gilray, Michael D. Adams, Matthew Might
Abstract allocation as a unified approach to polyvariance in control-flow analyses. J. Funct. Program. 28 (2018)
Lisa Zhang, Gregory Rosenblatt, Ethan Fetaya, Renjie Liao, William E. Byrd, Matthew Might, Raquel Urtasun, Richard S. Zemel
Neural Guided Constraint Logic Programming for Program Synthesis. CoRR (2018)
Christopher Earl, Matthew Might, Abhishek Bagusetty, James C. Sutherland
Nebo: An efficient, parallel, and portable domain-specific language for numerically solving partial differential equations. J. Syst. Softw. 125 (2017)
William E. Byrd, A. Ballantyne, Gregory Rosenblatt, Matthew Might
A unified approach to solving seven programming problems (functional pearl). Proc. ACM Program. Lang. 1 (ICFP) (2017)
Michael D. Adams, Matthew Might
Restricting grammars with tree automata. Proc. ACM Program. Lang. 1 (OOPSLA) (2017)
Jason Hemann, Daniel P. Friedman, William E. Byrd, Matthew Might
A Simple Complete Search for Logic Programming. ICLP (Technical Communications) (2017)
Kimball Germane, Matthew Might
A posteriori environment analysis with Pushdown Delta CFA. POPL (2017)
Peter Aldous, Matthew Might
A Posteriori Taint-Tracking for Demonstrating Non-interference in Expressive Low-Level Languages. IEEE Symposium on Security and Privacy Workshops (2016)
Jason Hemann, Daniel P. Friedman, William E. Byrd, Matthew Might
A small embedding of logic programming with a simple complete search. DLS (2016)
Michael D. Adams, Celeste Hollenbeck, Matthew Might
On the Complexity and Performance of Parsing with Derivatives. CoRR (2016)
Dakota Fisher, Matthew A. Hammer, William E. Byrd, Matthew Might
miniAdapton: A Minimal Implementation of Incremental Computation in Scheme. CoRR (2016)
James King, Thomas Gilray, Robert M. Kirby, Matthew Might
Dynamic Sparse-Matrix Allocation on GPUs. ISC (2016)
Thomas Gilray, Michael D. Adams, Matthew Might
Allocation characterizes polyvariance: a unified methodology for polyvariant control-flow analysis. ICFP (2016)
Thomas Gilray, Steven Lyde, Michael D. Adams, Matthew Might, David Van Horn
Pushdown control-flow analysis for free. POPL (2016)
Michael D. Adams, Celeste Hollenbeck, Matthew Might
On the complexity and performance of parsing with derivatives. PLDI (2016)
David Darais, Matthew Might, David Van Horn
Galois transformers and modular abstract interpreters: reusable metatheory for program analysis. OOPSLA (2015)
Steven Lyde, William E. Byrd, Matthew Might
Control-flow analysis of dynamic languages via pointer analysis. DLS (2015)
Thomas Gilray, Steven Lyde, Michael D. Adams, Matthew Might, David Van Horn
Pushdown Control-Flow Analysis for Free. CoRR (2015)
Shuying Liang, Matthew Might, David Van Horn
AnaDroid: Malware Analysis of Android with User-supplied Predicates. Electron. Notes Theor. Comput. Sci. 311 (2015)
Peter Aldous, Matthew Might
Static Analysis of Non-interference in Expressive Low-Level Languages. SAS (2015)
J. Ian Johnson, Ilya Sergey, Christopher Earl, Matthew Might, David Van Horn
Pushdown flow analysis with abstract garbage collection. J. Funct. Program. 24 (2-3) (2014)
Shuying Liang, Weibin Sun, Matthew Might
Fast Flow Analysis with Godel Hashes. SCAM (2014)
David Darais, Matthew Might, David Van Horn
Galois Transformers and Modular Abstract Interpreters. CoRR (2014)
Shuying Liang, Weibin Sun, Matthew Might, Andrew W. Keep, David Van Horn
Pruning, Pushdown Exception-Flow Analysis. SCAM (2014)
Shuying Liang, Weibin Sun, Matthew Might, Andrew W. Keep, David Van Horn
Pruning, Pushdown Exception-Flow Analysis. CoRR (2014)
Kimball Germane, Matthew Might
Deletion: The curse of the red-black tree. J. Funct. Program. 24 (4) (2014)
J. Ian Johnson, Ilya Sergey, Christopher Earl, Matthew Might, David Van Horn
Pushdown flow analysis with abstract garbage collection. CoRR (2014)
Matthew Might, Yannis Smaragdakis, David Van Horn
Resolving and Exploiting the $k$-CFA Paradox. CoRR (2013)
Shuying Liang, Matthew Might, David Van Horn
AnaDroid: Malware Analysis of Android with User-supplied Predicates. CoRR (2013)
Steven Lyde, Matthew Might
Extracting Hybrid Automata from Control Code. NASA Formal Methods (2013)
Shuying Liang, Andrew W. Keep, Matthew Might, Steven Lyde, Thomas Gilray, Petey Aldous, David Van Horn
Sound and precise malware analysis for android via pushdown reachability and entry-point saturation. SPSM@CCS (2013)
J. Ian Johnson, Nicholas Labich, Matthew Might, David Van Horn
Optimizing abstract abstract machines. ICFP (2013)
Steven Lyde, Matthew Might
Control-Flow Analysis with SAT Solvers. Trends in Functional Programming (2013)
Shuying Liang, Matthew Might, Thomas Gilray, David Van Horn
Pushdown Exception-Flow Analysis of Object-Oriented Programs CoRR (2013)
Thomas Gilray, Matthew Might
A Survey of Polyvariance in Abstract Interpretations. Trends in Functional Programming (2013)
Ilya Sergey, Dominique Devriese, Matthew Might, Jan Midtgaard, David Darais, Dave Clarke, Frank Piessens
Monadic abstract interpreters. PLDI (2013)
Shuying Liang, Andrew W. Keep, Matthew Might, Steven Lyde, Thomas Gilray, Petey Aldous, David Van Horn
Sound and Precise Malware Analysis for Android via Pushdown Reachability and Entry-Point Saturation. CoRR (2013)
Shuying Liang, Matthew Might
Hash-flow taint analysis of higher-order programs. PLAS (2012)
David Van Horn, Matthew Might
Systematic abstraction of abstract machines. J. Funct. Program. 22 (4-5) (2012)
Christopher Earl, Ilya Sergey, Matthew Might, David Van Horn
Introspective Pushdown Analysis of Higher-Order Programs CoRR (2012)
Jan Midtgaard, Matthew Might
Preface. Electron. Notes Theor. Comput. Sci. 287 (2012)
Christopher Earl, Ilya Sergey, Matthew Might, David Van Horn
Introspective pushdown analysis of higher-order programs. ICFP (2012)
J. Ian Johnson, Matthew Might, David Van Horn
Optimizing Abstract Abstract Machines CoRR (2012)
Jan Midtgaard, Michael D. Adams, Matthew Might
A Structural Soundness Proof for Shivers's Escape Technique - A Case for Galois Connections. SAS (2012)
David Van Horn, Matthew Might
Systematic Abstraction of Abstract Machines CoRR (2011)
David Van Horn, Matthew Might
Abstracting Abstract Machines: A Systematic Approach to Higher-Order Program Analysis CoRR (2011)
Matthew Might, David Van Horn
A family of abstract interpretations for static analysis of concurrent higher-order programs CoRR (2011)
Matthew Might, David Van Horn
A Family of Abstract Interpretations for Static Analysis of Concurrent Higher-Order Programs. SAS (2011)
Matthew Might, David Darais, Daniel Spiewak
Parsing with derivatives: a functional pearl. ICFP (2011)
David Van Horn, Matthew Might
An Analytic Framework for JavaScript CoRR (2011)
David Van Horn, Matthew Might
Abstracting abstract machines: a systematic approach to higher-order program analysis. Commun. ACM 54 (9) (2011)
Tarun Prabhu, Shreyas Ramalingam, Matthew Might, Mary W. Hall
EigenCFA: accelerating flow analysis with GPUs. POPL (2011)
Michael D. Adams, Andrew W. Keep, Jan Midtgaard, Matthew Might, Arun Chauhan, R. Kent Dybvig
Flow-sensitive type recovery in linear-log time. OOPSLA (2011)
Christopher Earl, Matthew Might, David Van Horn
Pushdown Control-Flow Analysis of Higher-Order Programs CoRR (2010)
Matthew Might, David Darais
Yacc is dead CoRR (2010)
David Van Horn, Matthew Might
Abstracting abstract machines. ICFP (2010)
Matthew Might, Yannis Smaragdakis, David Van Horn
-CFA paradox: illuminating functional vs. object-oriented program analysis. PLDI (2010)
Matthew Might
Shape Analysis in the Absence of Pointers and Structure. VMCAI (2010)
Christopher Earl, Matthew Might, David Van Horn
Stack-Summarizing Control-Flow Analysis of Higher-Order Programs CoRR (2010)
Matthew Might
Abstract Interpreters for Free. SAS (2010)
David Van Horn, Matthew Might
Abstracting Abstract Machines CoRR (2010)
Matthew Might, Panagiotis Manolios
A PosterioriSoundness for Non-deterministic Abstract Interpretations. VMCAI (2009)
Matthew Might, Olin Shivers
Exploiting reachability and cardinality in higher-order flow analysis. J. Funct. Program. 18 (5-6) (2008)
Matthew Might, Benjamin Chambers, Olin Shivers
Model Checking Via GammaCFA. VMCAI (2007)
Matthew Might, Olin Shivers
Analyzing the environment structure of higher-order languages using frame strings. Theor. Comput. Sci. 375 (1-3) (2007)
Matthew Might
Logic-flow analysis of higher-order programs. POPL (2007)
Matthew Might, Olin Shivers
Improving flow analyses via GammaCFA: abstract garbage collection and counting. ICFP (2006)
Olin Shivers, Matthew Might
Continuations and transducer composition. PLDI (2006)
Matthew Might, Olin Shivers
Environment analysis via Delta CFA. POPL (2006)

Matthew Might.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Matthew Might