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: http://matt.might.net/

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

Contributions

Scheme 2017Author of Invited Talk within the Scheme 2017-track
CurryOn 2017Author of Winning the War on Error: Solving the Halting Problem and Curing Cancer within the Curry On Talks-track
ICFP 2017Author of A Unified Approach to Solving Seven Programming Problems (Functional Pearl) within the Research Papers-track
POPL 2018Committee Member in Program Committee within the Research Papers-track
Scheme 2016Author of miniAdapton: A Minimal Implementation of Incremental Computation in Scheme within the Scheme-track
Committee Member in Program Committee within the Scheme-track
PLMW@PLDISpeaker in Organizing Committee within the PLMW@PLDI 2016-track
Speaker of Professional Communication within the PLMW@PLDI 2016-track
POPL 2017Author of A Posteriori Environment Analysis with Pushdown Delta CFA within the POPL-track
SPLASH 2017Author of Restricting Grammars with Tree Automata within the OOPSLA-track
ICFP 2016Author 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
PLMWAuthor of Grad School: A Survival Guide within the PLMW-track
PLDI 2016Author of On the Complexity and Performance of Parsing with Derivatives within the Research Papers-track
POPL 2016Author of Pushdown Control-flow Analysis for Free within the Research Papers-track
DLS 2015Author of Control-Flow Analysis of Dynamic Languages via Pointer Analysis within the DLS-track
SEPSAuthor of Nebo: An efficient, parallel, and portable domain-specific language for numerically solving partial differential equations within the SEPS-track
SPLASH 2015Author of Galois Transformers and Modular Abstract Interpreters: Reusable Metatheory for Program Analysis within the OOPSLA-track
SPLASH 2012Committee Member in Program Committee within the OOPSLA Research Papers-track
Committee Member in Program Committee