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

All Activities

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