matt.might.netMatt Might

FAQ About Speaking Blog Publications Professor, Internal Medicine and Computer Science Director, Hugh Kaul Precision Medicine Institute Co-Director, Center for Precision Animal Modeling Heersink School of Medicine University of Alabama at Birmingham Senior Lecturer Department of Biomedical Informatics Harvard Medical School Frequently needed/requested info You can email me at . (Short emails preferred.) Information on having me speak at or travel to your event . An interactive bio generator for me . Headshot photos . If you are a patient or caregiver seeking diagnosis or treatment, please see The Algorithm for Precision Medicine and feel free to reach out to me. Twitter: @mattmight Instagram: @mattmight LinkedIn: matthewmight Mastodon: @mattmight@mathstodon.xyz About me [If you need a formal bio for me, please see my bio generator .] I’m a computer scientist that became passionate about precision medicine in a quest to diagnose my son Bertrand . Finding he was the first case of a novel genetic disorder, I pivoted to finding treatments. I’ve ended up applying and generalizing much of what I learned from him to help others, and helping patients facing complex medical challenges has become my life’s mission. I’ve spent most of my career in academia, but I have had major parallel stints in government (The White House, 2016-2018) and industry (co-founder at Pairnomix, LLC and [by acquisition] Q State Biosciences, Inc). Most of my personal research brings together data science, artificial intelligence, machine learning and formal reasoning to accelerate biomedical science in the service of patients. As Director of the Precision Medicine Institute, I oversee a faculty and research staff with a comprehensive research portfolio that includes significant bench science targeted at tailoring therapeutics to individual patients. My broader interests include oligonucleotide therapeutics, model organisms, drug screening and medicinal chemistry. Here are some short external summaries of my work: A 7-minute video on my journey into precision medicine . NY Times article on my approach to rare disease . Publications Proceedings papers [ show all conference papers ] Kimball Germane and Matthew Might. "A Posteriori Environment Analysis with Pushdown Delta CFA." Proceedings of the 44th Annual ACM Symposium on the Principles of Programming Languages (POPL 2017). Paris, France. January 2017. Paper: [ pdf ] Dakota Fisher, Matthew Hammer, William E. Byrd, Matthew Might. "miniAdapton: A Minimal Implementation of Incremental Computation in Scheme." Proceedings of the 2016 Workshop on Scheme and Functional Programming (Scheme 2016). Nara, Japan. September 2016. Thomas Gilray, Michael Adams and Matthew Might. "Allocation Characterizes Polyvariance." Proceedings of the International Conference on Functional Programming (ICFP 2016). Nara, Japan. September 2016. Jason Hemann, William Byrd, Daniel Friedman and Matthew Might. "A Small Embedding of Logic Programming with a Simple Complete Search." Proceedings of the Dynamic Languages Symposium . (DLS 2016). October 2016. James King, Thomas Gilray, Robert M. Kirby, and Matthew Might "Dynamic Sparse-Matrix Allocation on GPUs." Proceedings of the International Supercomputing Conference (ISC 2016). Istanbul, Turkey. June 2016. [ Winner of PRACE ISC Best Paper Award .] Michael Adams, Celeste Hollenbeck and Matthew Might. "On the Complexity and Performance of Parsing with Derivatives." Proceedings of the 37th Annual Conference of Programming Language Design and Implementation (PLDI 2016). Santa Barbara, California. June 2016. Thomas Gilray, Steven Lyde, Michael D. Adams, Matthew Might and David Van Horn. "Pushdown Control-Flow Analysis for Free." Proceedings of the 43rd Annual ACM Symposium on the Principles of Programming Languages (POPL 2016). St. Petersburgh, Florida. January 2016. Paper: [ pdf ] [ arXiv ] David Darais, Matthew Might and David Van Horn. "Galois Transformers and Modular Abstract Interpreters: Reusable Metatheory for Program Analysis." In Object-Oriented Programming, Systems, Languages & Applications (OOSLA 2015). Pittsburgh, Pennsylvania. October 2015. Paper: [ pdf ] [ arXiv ] Steven Lyde, William E. Byrd and Matthew Might. "Control-Flow Analysis of Dynamic Languages via Pointer Analysis." Proceedings of the 11th ACM Symposium on Dynamic Languages (DLS 2015). Pittsburgh, Pennsylvania. October 2015. Paper: [ pdf ] Steven Lyde and Matthew Might. "State Exploration Choices in a Small-Step Abstract Interpreter." Proceedings of the 2015 Workshop on Scheme and Functional Programming . (SFP 2015). Vancouver, Canada. September 2015. Paper: [ pdf ] Peter Aldous and Matthew Might. "Static analysis of non-interference in expressive low-level languages." Static Analysis Symposium (SAS 2015) . Saint-Malo, France. September, 2015. Paper: [ pdf ] Maria Jenkins, Leif Andersen, Thomas Gilray and Matthew Might. "Concrete and Abstract Interpretation: Better Together." Proceedings of the 2014 Workshop on Scheme and Functional Programming . Washington, D.C. 19 November 2014. Paper: [ pdf ] Steven Lyde, Thomas Gilray and Matthew Might. "A Linear Encoding of Pushdown Control-Flow Analysis." Proceedings of the 2014 Workshop on Scheme and Functional Programming . Washington, D.C. 19 November 2014. Paper: [ pdf ] Michael Ballantyne, Christopher Earl and Matthew Might. "Meta-Meta-Programming: Generating C++ Template Metaprograms with Racket Macros." Proceedings of the 2014 Workshop on Scheme and Functional Programming . Washington, D.C. 19 November 2014. Paper: [ pdf ] ( Best Paper Award ) Shuying Liang, Weibin Sun and Matthew Might. "Fast Flow Analysis with Gödel Hashes." 14th IEEE International Working Conference on Source Code Analysis and Manipulation (SCAM 2014). Victoria, BC, Canada. 29 September 2014. Paper: [ pdf ] Shuying Liang, Weibin Sun, Matthew Might, Andrew Keep and David Van Horn. "Pruning, Pushdown Exception-Flow Analysis." 14th IEEE International Working Conference on Source Code Analysis and Manipulation (SCAM 2014). Victoria, BC, Canada. 29 September 2014. Paper: [ pdf ] Thomas Gilray, James King, and Matthew Might. "Partitioning 0-CFA for the GPU." Workshop on Functional and (constraint) Logic Programming. Wittenberg, Germany. 15 September 2014. Paper: [ pdf ] Steven Lyde and Matthew Might. "Environment Unrolling." Workshop on Higher-Order Program Analysis 2014 (HOPA 2014). Vienna, Austria. 18 July 2014. Paper: [ pdf ] Steven Lyde and Matthew Might. "Strong Function Call." Workshop on Higher-Order Program Analysis 2014 (HOPA 2014). Vienna, Austria. 18 July 2014. Paper: [ pdf ] Shuying Liang, Andrew W. Keep, Matthew Might, David Van Horn, Steven Lyde, Thomas Gilray and Petey Aldous. "Sound and Precise Malware Analysis for Android via Pushdown Reachability and Entry-Point Saturation." Proceedings of the 3rd Annual ACM CCS Workshop on Security and Privacy in Smartphones and Mobile Devices (SPSM 2013). Long paper category. Berlin, Germany. November 2013. Paper: [ pdf ] Shuying Liang and Matthew Might. "Entangled Abstract Domains for Higher-order Programs." Proceedings of the 2013 Workshop on Scheme and Functional Programming. Washington, D.C. 13 November 2013. Paper: [ pdf ] Leif Andersen and Matthew Might. "Multi-core Parallelization of Abstracted Abstract Machines." Proceedings of the 2013 Workshop on Scheme and Functional Programming. Washington, D.C. 13 November 2013. Paper: [ pdf ] Thomas Gilray and Matthew Might. "A Unified Approach to Polyvariance in Abstract Interpretations." Proceedings of the 2013 Workshop on Scheme and Functional Programming. Washington, D.C. 13 November 2013. Paper: [ pdf ] J. Ian Johnson, Nicholas Labich, Matthew Might, David Van Horn. "Optimizing Abstract Abstract Machines." Proceedings of the International Conference on Functional Programming 2013 (ICFP 2013). Boston, Massachusetts. September, 2013. Paper: [ pdf ] [ arXiv ] Shuying Liang, Matthew Might, David Van Horn. "AnaDroid: Malware Analysis...