matt.might.netMatt Might

Professor of Internal Medicine and Computer Science Hugh Kaul Endowed Chair in Personalized Medicine Director, Hugh Kaul Precision Medicine Institute School of Computing -- University of Alabama at Birmingham Office: FOT 858 Twitter: @mattmight Activities · Papers · Talks · Teaching · Press · Blog · Personal I'm the Director of the Hugh Kaul Precision Medicine Institute at UAB . I'm also on the faculty in the Department of Biomedical Informatics at the Harvard Medical School (since July 2015). Frequently needed info : For scheduling/time-sensitive matters, please CC assist@might.net . For inquiries regarding a disease, please CC Tamsyn Osborn . For letters of support, please send a draft to me and assist@might.net My CV, bio (for speaking or print) and NIH biosketch . Info on having me speak at or travel to your event . A 7-minute video on my journey to precision medicine . An interview with the New York Times on what I'm doing at UAB. Previously: I was a strategist in the Executive Office of the President at the White House for both the Obama and Trump administrations (March 2016 - January 2018). I was on the faculty in Computer Science at the University of Utah (July 2008 - July 2017). I am available as an expert witness on subjects within my expertise. With respect to my reports, I am willing to be deposed and to testify. -- My son Bertrand was the first patient ever discovered with a rare disorder known as N-Glycanase deficiency . I wrote an essay about the process of scientific discovery , and the aftermath has been covered by an article in The New Yorker and in Der Spiegel . Learn more at NGLY1.org . -- If you're trying to reach me by email : due to the volume of email I receive , email has become an ineffective means of communicating with me. Please CC my executive assistant assist@might.net on all critical correspondence. If you are looking for research assistance for a disease, please CC Program Coordinator Tamsyn Osborn on all correspondence. I appreciate emails that are easy to reply to . (2-3 sentence emails preferred.) For some common requests, I have a canned or automated solution: for getting my CV, my bio or my biosketch ; or for speaking engagements and travel . Please email me again (and again) if a critical items slips through. For non-critical email, replies can take weeks or months (or years). I apologize in advance. Tweeting at me seems to get a reply more frequently than email. In medicine, my primary research area is precision medicine -- the use of data (particularly genomic data) to personalized treatments and optimize healthcare outcomes. I am particularly interested in drug repurposing. In computer science, my primary research area is static analysis of higher-order programs, although I also do work in functional programming, relational programming, parsing and purely functional data structures. My broader interests include language design, compiler implementation, security, program optimization, parallelism and program verification. I run the U Combinator software systems research group . -- If you need to contact me securely, my PGP key is available . [ Read more on how to communicate securely .] I do research in static analysis of software systems. My objectives are to design programming languages, engineer compilers, and create software analysis tools that help programmers prove or improve performance, parallelism, security, and correctness. Research themes Over time, a few themes have emerged in my research: flow analysis of higher-order languages; small-step abstract interpretation; methods that improve speed, precision and power in static analysis; taming the worst-case complexity of static analysis; and the art/science of designing/engineering a static analyzer. -- Publications CiteULike: [ my pubs ] [ my library ] ACM: [ author profile ] Proceedings papers Lisa Zhang, Gregory Rosenblatt, Ethan Fetaya, Renjie Liao, William E. Byrd, Matthew Might, Raquel Urtasun and Richard Zemel. "Neural Guided Constraint Logic Programming for Program Synthesis." Proceedings of the 32nd Conference on Neural Information Processing Systems . (NeurIPS 2018; formerly NIPS 2018). Montreal, Canada. December, 2018. Paper: [ arXiv ] Michael D. Adams and Matthew Might. "Restricting grammars with tree automata." In Object-Oriented Programming, Systems, Languages & Applications . (OOPSLA 2017). October 2017. Paper: [ pdf via ACM ] William E. Byrd, Michael Ballantyne, Greg Rosenblatt and Matthew Might. "Functional Pearl: A Unified Approach to Solving Seven Programming Problems." Proceedings of the 22nd ACM SIGPLAN International Conference on Functional Programming (ICFP 2017). Oxford, United Kingdom. September 2017. Paper: [ pdf via ACM ] 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...