Matthew Might

According to our database, Matthew Might authored at least 67 papers between 2006 and 2022.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2022

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, John D. Osborne, Matthew Might

Frontiers Artif. Intell., 2022

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

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

2019

Relatively Complete Pushdown Analysis of Escape Continuations.

Kimball Germane, Matthew Might

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2019

Demand Control-Flow Analysis.

Kimball Germane, Jay McCarthy, Michael D. Adams, Matthew Might

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2019

The algorithm for precision medicine (invited talk).

Matthew Might

Proceedings of the Proceedings Companion of the 2019 ACM SIGPLAN International Conference on Systems, 2019

2018

Abstract allocation as a unified approach to polyvariance in control-flow analyses.

Thomas Gilray, Michael D. Adams, Matthew Might

J. Funct. Program., 2018

anexVis: visual analytics framework for analysis of RNA expression.

Diem-Trang T. Tran, Tian Zhang, Ryan Stutsman, Matthew Might, Umesh R. Desai, Balagurunathan Kuberan

Bioinform., 2018

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

Proceedings of the Advances in Neural Information Processing Systems 31: Annual Conference on Neural Information Processing Systems 2018, 2018

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

Restricting grammars with tree automata.

Michael D. Adams, Matthew Might

Proc. ACM Program. Lang., 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

A posteriori environment analysis with Pushdown Delta CFA.

Kimball Germane, Matthew Might

Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages, 2017

A Simple Complete Search for Logic Programming.

Jason Hemann, Daniel P. Friedman, William E. Byrd, Matthew Might

Proceedings of the Technical Communications of the 33rd International Conference on Logic Programming, 2017

2016

miniAdapton: A Minimal Implementation of Incremental Computation in Scheme.

Dakota Fisher, Matthew A. Hammer, William E. Byrd, Matthew Might

CoRR, 2016

Dynamic Sparse-Matrix Allocation on GPUs.

James King, Thomas Gilray, Robert M. Kirby, Matthew Might

Proceedings of the High Performance Computing - 31st International Conference, 2016

A Posteriori Taint-Tracking for Demonstrating Non-interference in Expressive Low-Level Languages.

Peter Aldous, Matthew Might

Proceedings of the 2016 IEEE Security and Privacy Workshops, 2016

Pushdown control-flow analysis for free.

Thomas Gilray, Steven Lyde, Michael D. Adams, Matthew Might, David Van Horn

Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2016

On the complexity and performance of parsing with derivatives.

Michael D. Adams, Celeste Hollenbeck, Matthew Might

Proceedings of the 37th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2016

Allocation characterizes polyvariance: a unified methodology for polyvariant control-flow analysis.

Thomas Gilray, Michael D. Adams, Matthew Might

Proceedings of the 21st ACM SIGPLAN International Conference on Functional Programming, 2016

A small embedding of logic programming with a simple complete search.

Jason Hemann, Daniel P. Friedman, William E. Byrd, Matthew Might

Proceedings of the 12th Symposium on Dynamic Languages, 2016

2015

Static Analysis of Non-interference in Expressive Low-Level Languages.

Peter Aldous, Matthew Might

Proceedings of the Static Analysis - 22nd International Symposium, 2015

Galois transformers and modular abstract interpreters: reusable metatheory for program analysis.

David Darais, Matthew Might, David Van Horn

Proceedings of the 2015 ACM SIGPLAN International Conference on Object-Oriented Programming, 2015

Control-flow analysis of dynamic languages via pointer analysis.

Steven Lyde, William E. Byrd, Matthew Might

Proceedings of the 11th Symposium on Dynamic Languages, 2015

2014

Pushdown flow analysis with abstract garbage collection.

J. Ian Johnson, Ilya Sergey, Christopher Earl, Matthew Might, David Van Horn

J. Funct. Program., 2014

Deletion: The curse of the red-black tree.

Kimball Germane, Matthew Might

J. Funct. Program., 2014

Galois Transformers and Modular Abstract Interpreters.

David Darais, Matthew Might, David Van Horn

CoRR, 2014

Pruning, Pushdown Exception-Flow Analysis.

Shuying Liang, Weibin Sun, Matthew Might, Andrew W. Keep, David Van Horn

Proceedings of the 14th IEEE International Working Conference on Source Code Analysis and Manipulation, 2014

Fast Flow Analysis with Godel Hashes.

Shuying Liang, Weibin Sun, Matthew Might

Proceedings of the 14th IEEE International Working Conference on Source Code Analysis and Manipulation, 2014

2013

AnaDroid: Malware Analysis of Android with User-supplied Predicates.

Shuying Liang, Matthew Might, David Van Horn

Proceedings of the Fourth Workshop on Tools for Automatic Program Analysis, 2013

Pushdown Exception-Flow Analysis of Object-Oriented Programs

Shuying Liang, Matthew Might, Thomas Gilray, David Van Horn

CoRR, 2013

Resolving and Exploiting the $k$-CFA Paradox.

Matthew Might, Yannis Smaragdakis, David Van Horn

CoRR, 2013

Control-Flow Analysis with SAT Solvers.

Steven Lyde, Matthew Might

Proceedings of the Trends in Functional Programming - 14th International Symposium, 2013

A Survey of Polyvariance in Abstract Interpretations.

Thomas Gilray, Matthew Might

Proceedings of the Trends in Functional Programming - 14th International Symposium, 2013

Monadic abstract interpreters.

Ilya Sergey, Dominique Devriese, Matthew Might, Jan Midtgaard, David Darais, Dave Clarke, Frank Piessens

Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, 2013

Extracting Hybrid Automata from Control Code.

Steven Lyde, Matthew Might

Proceedings of the NASA Formal Methods, 2013

Optimizing abstract abstract machines.

J. Ian Johnson, Nicholas Labich, Matthew Might, David Van Horn

Proceedings of the ACM SIGPLAN International Conference on Functional Programming, 2013

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

Proceedings of the SPSM'13, 2013

2012

Systematic abstraction of abstract machines.

David Van Horn, Matthew Might

J. Funct. Program., 2012

Preface.

Jan Midtgaard, Matthew Might

Proceedings of the Fourth International Workshop on Numerical and Symbolic Abstract Domains, 2012

Optimizing Abstract Abstract Machines

J. Ian Johnson, Matthew Might, David Van Horn

CoRR, 2012

A Structural Soundness Proof for Shivers's Escape Technique - A Case for Galois Connections.

Jan Midtgaard, Michael D. Adams, Matthew Might

Proceedings of the Static Analysis - 19th International Symposium, 2012

Hash-flow taint analysis of higher-order programs.

Shuying Liang, Matthew Might

Proceedings of the 2012 Workshop on Programming Languages and Analysis for Security, 2012

Introspective pushdown analysis of higher-order programs.

Christopher Earl, Ilya Sergey, Matthew Might, David Van Horn

Proceedings of the ACM SIGPLAN International Conference on Functional Programming, 2012

2011

An Analytic Framework for JavaScript

David Van Horn, Matthew Might

CoRR, 2011

Abstracting abstract machines: a systematic approach to higher-order program analysis.

David Van Horn, Matthew Might

Commun. ACM, 2011

A Family of Abstract Interpretations for Static Analysis of Concurrent Higher-Order Programs.

Matthew Might, David Van Horn

Proceedings of the Static Analysis - 18th International Symposium, 2011

EigenCFA: accelerating flow analysis with GPUs.

Tarun Prabhu, Shreyas Ramalingam, Matthew Might, Mary W. Hall

Proceedings of the 38th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2011

Flow-sensitive type recovery in linear-log time.

Michael D. Adams, Andrew W. Keep, Jan Midtgaard, Matthew Might, Arun Chauhan, R. Kent Dybvig

Proceedings of the 26th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2011

Parsing with derivatives: a functional pearl.

Matthew Might, David Darais, Daniel Spiewak

Proceedings of the Proceeding of the 16th ACM SIGPLAN international conference on Functional Programming, 2011

2010

The academic job search: How to prepare key documents.

Matt Might

XRDS, 2010

Yacc is dead

Matthew Might, David Darais

CoRR, 2010

Stack-Summarizing Control-Flow Analysis of Higher-Order Programs

Christopher Earl, Matthew Might, David Van Horn

CoRR, 2010

Pushdown Control-Flow Analysis of Higher-Order Programs

Christopher Earl, Matthew Might, David Van Horn

CoRR, 2010

Shape Analysis in the Absence of Pointers and Structure.

Matthew Might

Proceedings of the Verification, 2010

Abstract Interpreters for Free.

Matthew Might

Proceedings of the Static Analysis - 17th International Symposium, 2010

Resolving and exploiting the <i>k</i>-CFA paradox: illuminating functional vs. object-oriented program analysis.

Matthew Might, Yannis Smaragdakis, David Van Horn

Proceedings of the 2010 ACM SIGPLAN Conference on Programming Language Design and Implementation, 2010

Abstracting abstract machines.

David Van Horn, Matthew Might

Proceedings of the Proceeding of the 15th ACM SIGPLAN international conference on Functional programming, 2010

2009

A PosterioriSoundness for Non-deterministic Abstract Interpretations.

Matthew Might, Panagiotis Manolios

Proceedings of the Verification, 2009

2008

Exploiting reachability and cardinality in higher-order flow analysis.

Matthew Might, Olin Shivers

J. Funct. Program., 2008

2007

Environment Analysis of Higher-Order Languages.

Matthew Might

PhD thesis, 2007

Analyzing the environment structure of higher-order languages using frame strings.

Matthew Might, Olin Shivers

Theor. Comput. Sci., 2007

Model Checking Via GammaCFA.

Matthew Might, Benjamin Chambers, Olin Shivers

Proceedings of the Verification, 2007

Logic-flow analysis of higher-order programs.

Matthew Might

Proceedings of the 34th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2007

2006

Environment analysis via Delta CFA.

Matthew Might, Olin Shivers

Proceedings of the 33rd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2006

Continuations and transducer composition.

Olin Shivers, Matthew Might

Proceedings of the ACM SIGPLAN 2006 Conference on Programming Language Design and Implementation, 2006

Improving flow analyses via GammaCFA: abstract garbage collection and counting.

Matthew Might, Olin Shivers

Proceedings of the 11th ACM SIGPLAN International Conference on Functional Programming, 2006