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

miniKanren 2022	Author of Fail Fast and Profile On: Towards a miniKanren Profiler within the miniKanren 2022-track
miniKanren 2021	Author of Universal Quantification and Implication in miniKanren within the miniKanren 2021-track
PLMW@PLDI 2021	Speaker of Grad School: A Survival Guide within the PLMW@PLDI 2021-track
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
SPLASH 2019	Keynote Speaker of The Algorithm for Precision Medicine within the Keynotes-track
miniKanren 2019	Author of First-order miniKanren representation: Great for tooling and search within the miniKanren 2019-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
POPL 2018	Committee Member in Program Committee within the Research Papers-track
SPLASH 2017	Author of Restricting Grammars with Tree Automata within the OOPSLA-track
ICFP 2017	Author of A Unified Approach to Solving Seven Programming Problems (Functional Pearl) within the Research Papers-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
POPL 2017	Author of A Posteriori Environment Analysis with Pushdown Delta CFA within the POPL-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
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
PLDI 2016	Author of On the Complexity and Performance of Parsing with Derivatives within the Research Papers-track
PLMW@PLDI	Speaker in Organizing Committee within the PLMW@PLDI 2016-track Speaker of Professional Communication within the PLMW@PLDI 2016-track
POPL 2016	Author of Pushdown Control-flow Analysis for Free within the Research Papers-track
PLMW	Author of Grad School: A Survival Guide within the PLMW-track
SPLASH 2015	Author of Galois Transformers and Modular Abstract Interpreters: Reusable Metatheory for Program Analysis within the OOPSLA-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 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