Matthew Might portrait
  • Research Affiliate, U.S. Department of Veterans Affairs
  • Advisor, Undiagnosed Disease Network Coordinating Center, Harvard University
  • Strategist, Executive Office of the President at the White House
  • Adjunct Associate Professor, Pharmaceutical Chemistry
  • Associate Professor, Visiting, Biomedical Informatics, Harvard Medical School

Research Statement

I research the use, the design, the analysis and the implementation of programming languages. I focus on scripting languages (such as Python, JavaScript, PHP, MATLAB, Perl, Ruby and bash) and functional languages (such as Racket, Lisp, Haskell, Scala and ML), but I have done significant research on traditional languages (such as C, C++ and Java) as well. Within in programming languages, I have three foci:

  1. Static analysis, particularly of higher-order programs: My chief interest is improving the speed, precision and power of such analyses. My goal is to use these analyses to improve the security, performance and correctness of programs.

  2. Domain-specific languages: I am particularly interested in language design, and domain-specific language design for high-performance environments in particular.

  3. Algorithm and data structure design: I enjoy discovering elegant, efficient techniques for algorithm and data structure implementation.

 

Research Keywords

  • Static Analysis
  • Social Media
  • Secure Programming
  • Scripting Languages
  • Rare Disease
  • Programming Languages
  • Precision Medicine
  • Parallel Programming
  • Orphan Rare Diseases
  • NGLY1
  • N-Glycanase
  • Meta-programing
  • Medical Robotics
  • Interpreters
  • Information Security
  • Higher-Order Programming
  • Higher-Order Program Analysis
  • Health Information Security
  • Genetics
  • Functional Programming
  • Functional Languages
  • Cyberwar
  • Cybersecurity
  • Cyberlaw
  • Compilers

Presentations

  • "The Promise of Precision Medicine." Understand Your Genome. Illumina. San Diego, California. March 2, 2016. Invited Talk/Keynote, Presented, 03/02/2016.
  • "NGLY1: A success story?" Retrophin Pharmaceuticals. San Diego, California. February 29, 2016. Invited Talk/Keynote, Presented, 02/29/2016.
  • "Treatment strategies for congenital disorders of glycosylation." CDG Conference. San Diego, California. February 28, 2016. Invited Talk/Keynote, Presented, 02/28/2016.
  • "Natural allies: Precision medicine and rare disease." Sanford-Burnham-Prebys Rare Disease Day Summit. San Diego, California. February 27, 2016. Invited Talk/Keynote, Presented, 02/27/2016.
  • "Hunting down my son's killer and the future of precision medicine." Opened for the President of the United States. The White House: Precision Medicine Summit. Washington, D.C. February 25, 2016. Invited Talk/Keynote, Presented, 02/25/2016.
    https://www.youtube.com/watch?v=3AMq759psUM&featur...
  • "An algorithm for precision medicine." Applied genomics. University of Utah, College of Pharmacy. Salt Lake City, Utah. February 22, 2016. Invited Talk/Keynote, Presented, 02/22/2016.
  • "An algorithm for precision medicine." Harvard Medical School. Executive Leadership Education Program. Boston, MA. February 3, 2016. Invited Talk/Keynote, Presented, 02/03/2016.
  • "Applying precision medicine when n=1." Tufts Medical School. Grand Rounds. Boston, MA. January 27, 2016. Invited Talk/Keynote, Presented, 01/27/2016.
  • Keynote. "Grad School: A Survival Guide." Programming languages mentoring workshop (PLMW). St. Petersburg, FL. January 19, 2016. Invited Talk/Keynote, Presented, 01/19/2016.
  • "Patient-driven precision medicine." University of Utah School of Medicine. Precision medicine symposium. Salt Lake City, Utah. December 3, 2015. Invited Talk/Keynote, Presented, 12/03/2015.
  • "Beyond the Diagnosis." Art exhibit opening. Harvard Medical School. Boston, MA. November 12, 2015. Invited Talk/Keynote, Presented, 11/12/2015.
  • "The War on Undecidability." Harvard University, Department of Computer Science. November 11, 2015. Invited Talk/Keynote, Presented, 11/11/2015.
  • "Pediatric Precision Medicine." Panel participant. Boston Children's Hospital Innovation Summit. November 10, 2015. Other, Presented, 11/10/2015.
  • Congressional briefing. "Precision Medicine: Unifying Rare and Common." Congressional Rare Disease Caucus. Capitol Hill. November 5, 2015. Invited Talk/Keynote, Presented, 11/05/2015.
  • "Public Policy: Expanded Access." EveryLife Community Congress. American Academy for the Advancement of Science, Washington, D.C. November 4, 2015. Invited Talk/Keynote, Presented, 11/04/2015.
  • "A Precision Medicine Algorithm." Microsoft Research New England. Cambridge, MA. September 30, 2015. Invited Talk/Keynote, Presented, 09/30/2015.
  • "Patient-centered outcomes." NIH Workshop on Clinical Sequencing Exploratory Research. Bethesda, Maryland. September 28, 2015. Invited Talk/Keynote, Presented, 09/28/2015.
  • "Saving black swans: What do you do when you're the first?" Stanford Medicine X. Stanford University. September 26, 2015. Invited Talk/Keynote, Presented, 09/26/2015.
  • Main stage invited talk. "Unlocking treatments for rare disease." Stanford Medicine X. Stanford University. September 25, 2015. Invited Talk/Keynote, Presented, 09/25/2015.
  • Panel on Precision Medicine. Stanford Medicine X. September 25 2015. Other, Presented, 09/25/2015.
  • Keynote. "The Promise of Precision Medicine and a Plan." Mayo Clinic Leadership Retreat on Genomic Medicine. Rochester, Minnesota. September 20, 2015. Invited Talk/Keynote, Presented, 09/20/2015.
  • Keynote. "Treating the rarest of diseases." Cambridge Rare Disease Conference. Cambridge University, UK. September 15, 2015. Invited Talk/Keynote, Presented, 09/15/2015.
  • "NGLY1-CDG: Actions." World Conference on Congenital Disorders of Glycosylation. Lyon, France. August 29, 2015. Invited Talk/Keynote, Presented, 08/29/2015.
  • "A post-evaluation plan." NIH-Undiagnosed Disease Network PI Meeting. Washington, D.C. July 28, 2015. Invited Talk/Keynote, Presented, 07/28/2015.
  • "A Precision Medicine Algorithm." Retrophin Pharmaceuticals. Cambridge, Massachusetts. July 13, 2015. Invited Talk/Keynote, Presented, 07/13/2015.
  • "A Precision Medicine Algorithm." Seven Bridges Genomics. Cambridge, Massachusetts. July 10, 2015. Invited Talk/Keynote, Presented, 07/10/2015.
  • Moderator. "Champions of Change: Precision Medicine." Livestreamed from The White House. Washington, D.C. July 8, 2015. Other, Presented, 07/08/2015.
    https://www.youtube.com/watch?v=yi1Tw1narVo
  • Special invited lecture. "A Precision Medicine Algorithm." The White House: Office of Science and Technology Policy (OSTP). Washington, D.C. July 2, 2015. Invited Talk/Keynote, Presented, 07/02/2015.
  • "The Algorithm: What do you do when n=1?" Harvard Medical School. Boston, MA. June 24, 2015. Invited Talk/Keynote, Presented, 06/24/2015.
  • "One of a kind: What do you do when you're the first?" GeneDX Symposium. Gaithersburg, Maryland. June 10, 2015. Invited Talk/Keynote, Presented, 06/10/2015.
  • "Domain-specific languages: Embedded versus standalone." NSF Workshop on Exploiting Parallelism and Scalability. Washington, D.C. June 2, 2015. Invited Talk/Keynote, Presented, 06/02/2015.
  • "Patient-driven discovery." ClinGen/DECIPHER. Washington, D.C. May 28, 2015. Invited Talk/Keynote, Presented, 05/28/2015.
  • "Harnessing the net." Stanford Big Data in Medicine. Stanford University. May 21, 2015. Invited Talk/Keynote, Presented, 05/21/2015.
  • Keynote. "One of a kind: What do you do when you're the first?" Gold Lab Symposium. Boulder, Colorado. May 16, 2015. Invited Talk/Keynote, Presented, 05/16/2015.
  • "When the Rx is science." World Orphan Drug Congress - Rare Disease Advocacy. Washington, D.C. April 22, 2015. Invited Talk/Keynote, Presented, 04/22/2015.
  • "P2G2P: Patient to Gene to Patient." NIH-Undiagnosed Disease Network PI Meeting. Washington, D.C. April 13, 2015. Invited Talk/Keynote, Presented, 04/13/2015.
  • Keynote. "Gene to community; community to action." Ultragenyx Pharmaceuticals. Novato, California. April 11, 2015. Invited Talk/Keynote, Presented, 04/11/2015.
  • Keynote. "Cybersecurity: Why are we still losing?" URTA Annual Conference. St. George, Utah. March 18, 2015. Invited Talk/Keynote, Accepted, 03/18/2015.
  • "One of a kind: What do you do when you're the first?" University of Utah Medical School Session on Neurometabolic Disorders. Salt Lake City, Utah. March 18, 2015. Invited Talk/Keynote, Presented, 03/18/2015.
  • "Community: What do you do when you're the first?" Utah Rare Disease Symposium. University of Utah. February 28, 2015. Invited Talk/Keynote, Presented, 02/28/2015.
  • "Community: What do you do when you're the first?" NIH Rare Disease Symposium. NIH. February 27, 2015. Invited Talk/Keynote, Presented, 02/27/2015.
  • "Wikipedia for undiagnosed disease discovery: n++ made easy." NIH-Undiagnosed Disease Network PI Meeting. Stanford University. January 25, 2015. Invited Talk/Keynote, Presented, 01/25/2015.
    http://matt.might.net/papers/might2015udn-wikipedi...
  • "An End to Silly Vulnerabilities." NSF SaTC PI meeting. Washington, D.C. July 6, 2015. Invited Talk/Keynote, Presented, 01/06/2015.
  • "Lambda." Hacker School. New York, New York. December 1, 2014. Invited Talk/Keynote, Presented, 12/01/2014.
    http://matt.might.net/papers/might2014lambda-slide...
  • "NGLY1: Bench to Bedside." Society for Glycobiology Annual Meeting. Waikiki, Hawaii. November 18, 2014. Invited Talk/Keynote, Presented, 11/18/2014.
    https://www.youtube.com/watch?v=4eWYt77PWPE
  • "Ultra-rare drug development." EveryLife Foundation Community Congress. Washington, D.C. November 12, 2014. Invited Talk/Keynote, Presented, 11/12/2014.
    http://matt.might.net/papers/might2014everylife-sl...
  • "Analyzing Android." Java PathFinder Workshop Keynote. Salt Lake City, Utah. November 7, 2014. Invited Talk/Keynote, Presented, 11/07/2014.
    http://matt.might.net/papers/might2014jpf-slides.p...
  • "Patient Engagement; Patient Experience." NIH-Undiagnosed Disease Network PI Meeting. Washington, D.C. November 6, 2014. Invited Talk/Keynote, Presented, 11/06/2014.
    http://matt.might.net/papers/might2014udn-slides.p...
  • "One of a kind: Making the impossible possible." Sanford Burnham Gala. San Diego, California. November 1, 2014. Invited Talk/Keynote, Presented, 11/01/2014.
    http://matt.might.net/papers/might2014gala-slides....
  • "Research and Education: The Utah Advantage." University of Utah National Advisory Council Meeting. Salt Lake City, Utah. October 24, 2014. Invited Talk/Keynote, Presented, 10/24/2014.
  • "Partners in Research: Parents Accelerating Rare Disease Discoveries." Sanford Burnham Board of Trustees Meeting. San Diego, California. September 18, 2014. Invited Talk/Keynote, Presented, 09/18/2014.
    http://matt.might.net/papers/might2014board-slides...
  • "Deletion from Okasaki's Red-Black Trees: A Functional Pearl." IFIP WG 2.8 Meeting on Functional Programming. Estes Park, Colorado. August 11, 2014. Invited Talk/Keynote, Presented, 08/11/2014.
    http://matt.might.net/papers/might2014redblack-tal...
  • "What is static analysis?" Lambda Lounge Utah. Salt Lake City, Utah. July 8, 2014. Invited Talk/Keynote, Presented, 07/08/2014.
    https://www.youtube.com/watch?v=POvX4hYIoxg
  • "Accelerating rare disease." Rare Disease Symposium. Sanford-Burnham Medical Research Institute. San Diego, California. February 28, 2014. Invited Talk/Keynote, Presented, 02/28/2014.
    http://matt.might.net/papers/might2014ngly1-slides...
  • "Gödel Hashing: Accelerating Static Analyzers." IFIP WG 2.4 Meeting on Software Systems. Pacific Grove, California. February 4, 2014. Invited Talk/Keynote, Presented, 02/04/2014.
  • "Cybersecurity." Korean Diplomatic Delegation. Salt Lake City, Utah. December 13, 2013. (Internal talk to delegation visiting U of U.). Invited Talk/Keynote, Presented, 10/2013.
  • "Why there's no such thing as cybersecurity." 2013 Broadband Tech Summit. Provo, Utah. October 24, 2013. Invited Talk/Keynote, Presented, 10/2013.
  • "Gödel Hashing." IFIP WG 2.8 Meeting on Functional Programming. Aussois, France. October 15, 2013. Invited Talk/Keynote, Presented, 10/2013.
  • "Why there's no such thing as cybersecurity." National Classification Management Society. Park City, Utah. September 20, 2013. Invited Talk/Keynote, Presented, 09/2013.
  • "The Inventrixxes: Women scientists who've changed the world." Panel discussion. The Leonardo. Salt Lake City, Utah. July 19, 2013. Other, Presented, 07/2013.
    http://www.innovationutah.com/blog/leonardo-after-...
  • "Control-flow Analysis for Scheme" Dagstuhl Seminar on Pointer Analysis. 13162. Dagstuhl Castle, Germany. April 17, 2013. Invited Talk/Keynote, Presented, 04/2013.
    http://www.dagstuhl.de/en/program/calendar/semhp/?...
  • "Why there's no such thing as cybersecurity." Utah Governor's Economic Summit. Salt Lake City, Utah. April 11, 2013. Invited Talk/Keynote, Presented, 04/2013.
    http://utahsummit.com/
  • "Reasoning About Software." UC Riverside Colloquium Series. Riverside, California. Feb 8, 2013. Invited Talk/Keynote, Presented, 02/2013.
  • "What is a Ph.D.? What is research? And, tips for success." Programming Languages Mentoring Workshop 2013 (co-located with POPL 2013). Rome, Italy. Jan 22, 2013. Invited Talk/Keynote, Presented, 01/2013.
  • Christopher Earl, Ilya Sergey, Matthew Might, David Van Horn. "Introspective Pushdown Analysis of Higher-Order Programs." International Conference on Functional Programming 2012 (ICFP 2012). Copenhagen, Denmark. September, 2012. pages 177--188. Conference Paper, Refereed, Presented, 09/2012.
    http://www.youtube.com/watch?v=HaPsYmOmgcI
  • "Software Analysis for Security." DHS Infosec Technology Transition Council Meeting. SRI International. Menlo Park, California. June 7, 2012. Invited Talk/Keynote, Presented, 06/2012.
    http://matt.might.net/papers/might2013ittc.pdf
  • "Cybersecurity: What business needs to know." Utah Cybersecurity Summit. Salt Lake City, Utah. June 1, 2012. Panel discussion. Other, Presented, 06/2012.
  • "Failing Upward: How to Succeed in Modern Science." Engineering Research Symposium Keynote. Pennsylvania State University. April 5, 2012. Invited Talk/Keynote, Presented, 04/2012.
    http://matt.might.net/papers/might2012failure-talk...
  • "Parsing with Derivatives." BRICS Graduate School. Aarhus, Denmark. December 5, 2011. Invited Talk/Keynote, Presented, 12/05/2011.
  • "Deriving Abstract Interpreters." University of Aarhus. Aarhus, Denmark. December 5, 2011. Invited Talk/Keynote, Presented, 12/05/2011.
  • "Parsing with Derivatives." University of Maryland. College Park, Maryland. October 2, 2011. Invited Talk/Keynote, Presented, 10/02/2011.
  • "Abstract interpretation of concurrent, higher-order programs." NII Shonan Meeting on Higher-Order Program Analysis. Shonan Village, Japan. September 26, 2011. Invited Talk/Keynote, Presented, 09/26/2011.
  • "Tutorial: Small-step CFA." NII Shonan Meeting on Higher-Order Program Analysis. Shonan Village, Japan. September 23, 2011. Invited Talk/Keynote, Presented, 09/23/2011.
  • "Developing reasonable programs." University of Iowa. February 18, 2011. Distinguished junior faculty lecture series. Invited Talk/Keynote, Presented, 02/18/2011.
  • "Parsing with Derivatives (Yacc is Dead)." Stanford University. Stanford, California. February 9, 2011. Invited Talk/Keynote, Presented, 02/09/2011.
  • "An Illustrated Guide to Hacking." The Leonardo. Salt Lake City, Utah. December 7, 2010. Invited Talk/Keynote, Presented, 12/07/2010.
  • "Static analysis in small steps." Purdue University. Lafayette, Indiana. October 5, 2010. Invited Talk/Keynote, Presented, 10/05/2010.
  • Matthew Might. ``Abstract interpreters for free.'' Accepted to Static Analysis Symposium 2010 (SAS 2010). Perpignan, France. September, 2010. Conference Paper, Refereed, Presented, 09/2010.
  • Matthew Might. ``Shape analysis in the absence of pointers and structure.'' Proceedings of the 11th International Conference on Verification, Model Checking and Abstract Interpretation (VMCAI 2010). Madrid, Spain. January, 2010. Conference Paper, Refereed, Other, 2010.
    http://matt.might.net/papers/might2010shape.pdf
  • "Static analysis of modern software systems: Taming control-flow." Brigham Young University. Provo, Utah. September 10 2009. Invited Talk/Keynote, Presented, 09/10/2009.
    http://matt.might.net/papers/might2009whycfa-talk....
  • Matthew Might and Tarun Prabhu. ``Interprocedural dependence analysis of higher-order programs via stack reachability.'' Proceedings of the 2009 Workshop on Scheme and Functional Programming. (Scheme 2009). Boston, Massachussetts, MA. August, 2009. Conference Paper, Refereed, Other, 08/29/2009.
    http://matt.might.net/papers/might2009dependence.p...
  • "Control-flow analysis of higher-order programs." NSF/ACM-sponsored Ph.D. Summer School on Theory and Practice of Language Implementation. Eugene, Oregon. July 23-27 2009. (A 4-hour lecture series.). Invited Talk/Keynote, Presented, 07/23/2009.
  • "Push-down control-flow analysis of higher-order programs." International Conference on Functional Programming Program Committee Workshop. Portland, Oregon. 30 April 2009. Invited Talk/Keynote, Presented, 04/30/2009.
  • Matthew Might and Panagiotis Manolios. "A posteriori soundness for non-deterministic abstract interpretations.". Conference Paper, Other, 01/13/2009.
    http://matt.might.net/papers/might2009aposteriori....
  • "Static analysis of higher-order programs." Brandeis University. Waltham, MA. Invited Talk/Keynote, Presented, 03/22/2008.
  • "Static analysis of higher-order programs." Northwestern University. Evanston, IL. Invited Talk/Keynote, Presented, 03/12/2008.
  • "Static analysis of higher-order programs." Max Planck Institute. Saarbrucken, Germany. Invited Talk/Keynote, Presented, 03/05/2008.

Research Groups

  • Sahana Sandeep, Graduate Student. 08/2014 - present.
  • Christopher Earl, Postdoc. School of Computing. 08/2013 - 11/2014.
  • Michael Brown, Undergraduate Student. 01/2013 - present.
  • Mayur Mahareshi, Graduate Student. 08/2012 - 12/2013.
  • Christopher Earl, Graduate Student. School of Computing. 08/01/2008 - 08/01/2013. http://www.cwearl.com/.

Grants, Contracts & Research Gifts

  • XPS: EXTREME SCALE FRAMEWORKS. PI: MIGHT,MATTHEW BRENDON. Co-PI(s): BERZINS,MARTIN. NATIONAL SCIENCE FOUNDATION, 09/15/2013 - 08/31/2016. Total project budget to date: $365,866.00
  • DARPA Cybersecurity Supplement. PI: Matthew Might. Co-PI(s): David Van Horn (Northeastern University). DARPA, 08/2013 - 02/2015. Total project budget to date: $350,000.00
  • EAGER: Platform-Agnostic Supercomputing from Scientific Metaprogramming. PI: Matthew Might. Co-PI(s): James Sutherland, Martin Berzins. NSF, 09/2012 - 08/2014. Total project budget to date: $200,000.00
  • DISCOURSE PROGRAMMING SYSTEMS. PI: MIGHT,MATTHEW BRENDON. Co-PI(s): FLATT,MATT. NORTHEASTERN UNIVERSITY, 10/01/2010 - 03/31/2015. Total project budget to date: $1,592,450.00
  • CAREER 2013. PI: MIGHT,MATTHEW BRENDON. NATIONAL SCIENCE FOUNDATION, 02/01/2014 - 01/31/2019. Total project budget to date: $85,136.00
  • ASPLOS2014. PI: MIGHT,MATTHEW BRENDON. NATIONAL SCIENCE FOUNDATION, 01/15/2014 - 12/31/2014. Total project budget to date: $15,000.00
  • XPS: EXTREME SCALE FRAMEWORKS. PI: BERZINS,MARTIN. Co-PI(s): MIGHT,MATTHEW BRENDON. NATIONAL SCIENCE FOUNDATION, 09/15/2013 - 08/31/2016. Total project budget to date: $155,459.00
  • EAGER-PASSM. PI: MIGHT,MATTHEW BRENDON. Co-PI(s): BERZINS,MARTIN; SUTHERLAND,JAMES. NATIONAL SCIENCE FOUNDATION, 09/01/2012 - 08/31/2015. Total project budget to date: $200,000.00
  • REU SUPPLEMENT FOR 58501776. PI: MIGHT,MATTHEW BRENDON. Co-PI(s): BERZINS,MARTIN; SUTHERLAND,JAMES. NATIONAL SCIENCE FOUNDATION, 09/01/2012 - 08/31/2015. Total project budget to date: $17,000.00
  • APAC: Automated Program Analysis for Cybersecurity. PI: MIGHT,MATTHEW BRENDON. DOD DEFENSE ADVANCED RESRCH PR, 02/03/2012 - 08/03/2013. Total project budget to date: $397,811.00
  • DISCOURSE PROGRAMMING SYSTEMS. PI: MIGHT,MATTHEW BRENDON. Co-PI(s): MIGHT,Matthew Brendon (67.0%); FLATT,Matt (33.0%). NORTHEASTERN UNIVERSITY, 10/01/2010 - 09/30/2012. Total project budget to date: $392,853.00
  • CPS2010. PI: MIGHT,MATTHEW BRENDON. Co-PI(s): GOPALAKRISHNAN,GANESH; HOLLERBACH,JOHN M; PARKER,DENNIS L. NATIONAL SCIENCE FOUNDATION, 09/15/2010 - 02/28/2014. Total project budget to date: $379,257.00
  • REU SUPP FOR 58501561. PI: MIGHT,MATTHEW BRENDON. NATIONAL SCIENCE FOUNDATION, 09/15/2010 - 02/28/2014. Total project budget to date: $32,000.00
  • PART SUPP FOR 58501561. PI: MIGHT,MATTHEW BRENDON. NATIONAL SCIENCE FOUNDATION, 09/15/2010 - 02/28/2014. Total project budget to date: $17,000.00
  • C02 PREDICTIVITY-VECTOR PARALL. PI: MIGHT,MATTHEW BRENDON. DOE NATIONAL NUCLEAR SECURITY, 07/01/2010 - 09/30/2011. Total project budget to date: $92,050.00

Patents

  • Cryptographic container security system (#7,443,293). Status: Issued. Inventors: Matthew Might, Mark Ferderer, Gary Bowser. File date 10/24/2005; Issue date 10/28/2008. Assignee: ScanTech Holdings, LLC.
  • Angled-beam detection system for container inspection (#7,356,118). Status: Issued. Inventors: Matthew Might, Mark Ferderer, Gary Bowser. File date 10/24/2005; Issue date 04/08/2008. Assignee: ScanTech Holdings, LLC.

Software Titles

  • Tapas. Malware detection tool for Android. Release Date: 12/2013. Inventors: Andrew Keep, Matthew Might.
  • Anadroid. Malware detection tool for Android. Release Date: 02/2013. Inventors: Shuying Liang, Matthew Might.
  • DERP. DERP is a derivative-based parsing tool. Release Date: 09/2011. Inventors: Matthew Might.

Languages

  • Spanish, functional.
  • Standard Arabic, basic.

Geographical Regions of Interest

  • Denmark
  • Puerto Rico
  • United Kingdom of Great Britain and Northern Ireland

Publications

  • Thomas Gilray, Steven Lyde, Michael D. Adams, Matthew Might and David Van Horn. "Pushdown Control-Flow Analysis for Free." 43rd Annual ACM Symposium on the Principles of Programming Languages (POPL 2016). St. Petersburgh, Florida. January 2016. Published, 01/2016.
    http://matt.might.net/papers/gilray2016pushdown.pd...
  • 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 (OOPSLA). Pittsburgh, Pennsylvania. October 2015. Published, 10/2015.
  • Katherine F. Lambertson, Stephen A. Damiani, Matthew Might, Robert Shelton and Sharon F. Terry. "Participant-Driven Matchmaking in the Genomic Era." Journal of Human Mutation. Volume 36. Issue 10. pages 965--973. October 2015. Published, 10/2015.
  • 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. Published, 10/2015.
    http://matt.might.net/papers/lyde2015control.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. Published, 09/2015.
    http://matt.might.net/papers/lyde2015state.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. Published, 09/2015.
    http://matt.might.net/papers/aldous2015noninterfer...
  • Dixie Baker, Matthew Might, Pearl O'Rourke, Laura Lyman Rodriguez, Tania Simoncelli, John Wilbanks. "Participant Engagement, Data Privacy, and Novel Ways of Returning Information to Participants." NIH Precision Medicine Working Group, NIH Large Cohort Precision Medicine Workshop. White House/Presidential Initiative. 11 Feb 2015. Bethesda, Maryland. Published, 02/11/2015.
    http://matt.might.net/papers/baker2015participant....
  • 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. Published, 11/19/2014.
    http://matt.might.net/papers/lyde2014linear.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. Published, 11/19/2014.
    http://matt.might.net/papers/jenkins2014concrete.p...
  • 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. Published, 11/19/2014.
    http://matt.might.net/papers/ballantyne2014metamet...
  • (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. Published, 09/29/2014.
    http://matt.might.net/papers/liang2014godel.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. Published, 09/29/2014.
    http://matt.might.net/papers/liang2014pdxfa.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. Published, 09/15/2014.
    http://matt.might.net/papers/gilray2014partitionin...
  • Steven Lyde and Matthew Might. "Strong Function Call." Workshop on Higher-Order Program Analysis 2014 (HOPA 2014). Vienna, Austria. 18 July 2014. Published, 07/18/2014.
    http://matt.might.net/papers/lyde2014strong.pdf
  • Steven Lyde and Matthew Might. "Environment Unrolling." Workshop on Higher-Order Program Analysis 2014 (HOPA 2014). Vienna, Austria. 18 July 2014. Published, 07/18/2014.
    http://matt.might.net/papers/lyde2014environment.p...
  • Kimball Germane and Matthew Might (2014). "Deletion: The curse of the red-black tree." Journal of Functional Programming, 24(4), pp 423-433. July 2014. Published, 07/01/2014.
    http://matt.might.net/papers/germane2014deletion.p...
  • J. Ian Johnson, Ilya Sergey, Christopher Earl, Matthew Might and David Van Horn (2014). Pushdown flow analysis with abstract garbage collection. Journal of Functional Programming, 24, pp 218-283. doi:10.1017/S0956796814000100. Published, 05/2014.
    http://matt.might.net/papers/johnson2014ipdcfa.pdf
  • Matthew Might and Matt Wilsey. "The shifting model in clinical diagnostics: how next-generation sequencing and families are altering the way rare diseases are discovered, studied, and treated." Genetics in Medicine. 20 March 2014. Published, 03/20/2014.
    http://www.nature.com/gim/journal/vaop/ncurrent/fu...
  • Shuying Liang and Matthew Might. “Entangled Abstract Domains for Higher-order Programs.” Proceedings of the 2013 Workshop on Scheme and Functional Programming. 13 November 2013. Published, 11/2013.
  • Shuying Liang and Andrew W. Keep and Matthew Might and David Van Horn and Steven Lyde and 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. Published, 11/2013.
  • Thomas Gilray and Matthew Might. “A Unified Approach to Polyvariance in Abstract Interpretations.” Proceedings of the 2013 Workshop on Scheme and Functional Programming. 13 November 2013. Published, 11/2013.
  • Leif Andersen and Matthew Might. “Multi-core Parallelization of Abstract Abstract Machines.” Proceedings of the 2013 Workshop on Scheme and Functional Programming. 13 November 2013. Published, 11/2013.
  • 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. Published, 09/2013.
    http://arxiv.org/pdf/1211.3722v4.pdf
  • Ilya Sergey, Dominique Devriese, Matthew Might, Jan Midtgaard, David Darais, Dave Clark, Frank Piessens. “Monadic Abstract Interpreters.” Proceedings of the 34th Annual Conference of Programming Language Design and Implementation (PLDI 2013). Seattle, Washington. June, 2013. Published, 06/2013.
  • Steven Lyde, Matthew Might. “Extracting Hybrid Automata from Control Code.” Proceedings of the 5th Annual NASA Formal Methods Symposium (NFM 2013). Short paper category. Moffet Field, CA. May, 2013. Published, 05/2013.
    http://matt.might.net/papers/lyde2013hybrid.pdf
  • Steven Lyde and Matthew Might. “Control Flow Analysis with SAT Solvers.” Trends in Functional Programming (TFP 2013). Provo, Utah. May 2013. Published, 05/2013.
  • Thomas Gilray and Matthew Might. “A Survey of Polyvariance in Control-Flow Analyses.” Trends in Functional Programming (TFP 2013). Provo, Utah. May 2013. Published, 05/2013.
  • Christopher Earl, Ilya Sergey, Matthew Might, David Van Horn. "Introspective Pushdown Analysis of Higher-Order Programs." International Conference on Functional Programming 2012 (ICFP 2012). Copenhagen, Denmark. September, 2012. pages 177--188. Published, 09/2012.
    http://matt.might.net/papers/earl2012ipdcfa.pdf
  • Jan Midtgaard, Michael D. Adams, Matthew Might. "A Structural Soundness Proof for Shivers's Escape Technique: A Case for Galois Connections." Static Analysis Symposium 2012 (SAS 2012). Deauville, France. September, 2012. pages 352--369. Published, 09/2012.
    http://matt.might.net/papers/midtgaard2012shivers....
  • Jan Midtgaard and Matthew Might, Editors. 2012 Proceedings of the Workshop on Numeric and Symbolic Abstract Domains (NSAD 2012). Electronic Notes in Theoretical Computer Science. Elsevier. Volume 287, pages 1-100. Deauville, France. 10 September 2012. Published, 09/2012.
    http://www.sciencedirect.com/science/journal/15710...
  • Shuying Liang, Matthew Might. "Hash-Flow Taint Analysis of Higher-Order Programs." Programming Languages and Security 2012 (PLAS 2012). Beijing, China. June, 2012. Published, 06/2012.
    http://matt.might.net/papers/liang2012taint.pdf
  • Michael D. Adams, Andrew W. Keep, Jan Midtgaard, Matthew Might, Arun Chauhan and R. Kent Dybvig. "Flow-Sensitive Type Recovery in Linear-Log Time." Accepted to Conference on Object-Oriented Programming, Systems, Languages and Applications (OOPSLA 2011). Portland, Oregon. October, 2011. Published, 10/2011.
  • Matthew Might and David Van Horn. "A family of abstract interpretations for static analysis of concurrent higher-order programs." Static Analysis Symposium 2011 (SAS 2011). Venice, Italy. September, 2011. Published, 09/2011.
  • Matthew Might, David Darais and Daniel Spiewak. "Functional Pearl: Parsing with Derivatives." International Conference on Functional Programming 2011 (ICFP 2011). Tokyo, Japan. September, 2011. pages 189--195. Published, 09/2011.
  • David Van Horn and Matthew Might. "Abstracting Abstract Machines: A Systematic Approach to Higher-Order Program Analysis." Communications of the ACM. (Research Highlights) September, 2011. Published, 09/2011.
  • Tarun Prabhu, Shreyas Ramalingam, Matthew Might and Mary Hall. ``EigenCFA: Accelerating flow analysis with GPUs.'' 38th Annual ACM Symposium on the Principles of Programming Languages. (POPL 2011). Austin, Texas, USA. January, 2011. Published, 01/2011.
  • David Van Horn and Matthew Might. ``Abstracting Abstract Machines.'' International Conference on Functional Programming 2010 (ICFP 2010). Baltimore, Maryland. September, 2010. Published, 09/2010.
  • Matthew Might. ``Abstract interpreters for free.'' Accepted to Static Analysis Symposium 2010 (SAS 2010). Perpignan, France. September, 2010. Published, 09/2010.
  • Matthew Might, Yannis Smaragdakis and David Van Horn. ``Resolving and exploiting the k-CFA paradox: Illuminating functional vs. object-oriented program analysis.'' Programming Language Design and Implementation 2010 (PLDI 2010). Toronto, Canada. June, 2010. pages 305--315. Published, 06/2010.
  • Matthew Might. ``Shape analysis in the absence of pointers and structure.'' 11th International Conference on Verification, Model Checking and Abstract Interpretation (VMCAI 2010). Madrid, Spain. January, 2010. pages 263--278. Published, 01/2010.
  • Matthew Might and Olin Shivers. ``Exploiting reachability and cardinality in higher-order flow analysis.'' Journal of Functional Programming. Volume 18, Issues 5-6. 2008. pages 821-864. Published, 08/12/2008.
    http://matt.might.net/papers/might2008exploiting.p...