Matthew Might

Registered user since Thu 16 Oct 2014

Name: Matthew Might

Bio: Professor of Internal Medicine and Computer Science, UAB

Hugh Kaul Endowed Chair in Personalized Medicine

Director, Hugh Kaul Precision Medicine Institute

Senior Lecturer, Harvard Medical School

Country: United States

Affiliation: University of Alabama at Birmingham | Harvard Medical School

Personal website:

Research interests: programming languages; security; high-performance computing


miniKanren 2020 Author of mediKanren: A System for Bio-medical Reasoning within the miniKanren 2020-track
Author of A Relational Interpreter for Synthesizing JavaScript within the miniKanren 2020-track
Author of The Pill is in The Proof: Saving Lives with Logic within the miniKanren 2020-track
miniKanren 2019 Author of First-order miniKanren representation: Great for tooling and search within the miniKanren 2019-track
SPLASH 2019 Keynote Speaker of The Algorithm for Precision Medicine within the Keynotes-track
VMCAI 2019 Author of Demand Control-Flow Analysis within the VMCAI 2019-track
Author of Relatively Complete Pushdown Analysis of Escape Continuations within the VMCAI 2019-track
Scheme 2017 Author of Invited Talk within the Scheme 2017-track
CurryOn 2017 Author of Winning the War on Error: Solving the Halting Problem and Curing Cancer within the Curry On Talks-track
ICFP 2017 Author of A Unified Approach to Solving Seven Programming Problems (Functional Pearl) within the Research Papers-track
POPL 2018 Committee Member in Program Committee within the Research Papers-track
Scheme 2016 Author of miniAdapton: A Minimal Implementation of Incremental Computation in Scheme within the Scheme-track
Committee Member in Program Committee within the Scheme-track
PLMW@PLDI Speaker in Organizing Committee within the PLMW@PLDI 2016-track
Speaker of Professional Communication within the PLMW@PLDI 2016-track
POPL 2017 Author of A Posteriori Environment Analysis with Pushdown Delta CFA within the POPL-track
SPLASH 2017 Author of Restricting Grammars with Tree Automata within the OOPSLA-track
ICFP 2016 Author of Allocation Characterizes Polyvariance: A Unified Methodology for Polyvariant Control-Flow Analysis within the Research Papers-track
Committee Member in External Review Committee within the Research Papers-track
PLMW Author of Grad School: A Survival Guide within the PLMW-track
PLDI 2016 Author of On the Complexity and Performance of Parsing with Derivatives within the Research Papers-track
POPL 2016 Author of Pushdown Control-flow Analysis for Free within the Research Papers-track
DLS 2015 Author of Control-Flow Analysis of Dynamic Languages via Pointer Analysis within the DLS-track
SEPS Author of Nebo: An efficient, parallel, and portable domain-specific language for numerically solving partial differential equations within the SEPS-track
SPLASH 2015 Author of Galois Transformers and Modular Abstract Interpreters: Reusable Metatheory for Program Analysis within the OOPSLA-track
SPLASH 2012 Committee Member in Program Committee within the OOPSLA Research Papers-track
Committee Member in Program Committee
SPLASH 2011 Author of Flow-Sensitive Type Recovery in Linear-Log Time within the OOPSLA-track