Positions

Selected Publications

Academic Article

Year Title Altmetric
2019 An induced pluripotent stem cell line (TRNDi010-C) from a patient carrying a homozygous p.R401X mutation in the NGLY1 geneStem Cell Research.  39. 2019
2019 Induced pluripotent stem cells for neural drug discoveryDrug Discovery Today.  24:992-999. 2019
2019 A comprehensive iterative approach is highly effective in diagnosing individuals who are exome negativeGenetics in Medicine.  21:161-172. 2019
2019 Generation of an induced pluripotent stem cell line (TRNDi002-B) from a patient carrying compound heterozygous p.Q208X and p.G310G mutations in the NGLY1 geneStem Cell Research.  34. 2019
2018 Erratum: IRF2BPL Is Associated with Neurological Phenotypes (The American Journal of Human Genetics (2018) 103(2) (245–260), (S0002929718302337) (10.1016/j.ajhg.2018.07.006))American Journal of Human Genetics.  103:456. 2018
2018 Characteristics of undiagnosed diseases network applicants: Implications for referring providersBMC Health Services Research.  18. 2018
2018 A comprehensive approach to identifying repurposed drugs to treat SCN8A epilepsyEpilepsia.  59:802-813. 2018
2018 Looking beyond the exome: A phenotype-first approach to molecular diagnostic resolution in rare and undiagnosed diseasesGenetics in Medicine.  20:464-469. 2018
2018 Plain-language medical vocabulary for precision diagnosis /692/700/478 /631/208/1516 correspondenceNature Genetics.  50:474-476. 2018
2018 Transcriptome and functional analysis in a Drosophila model of NGLY1 deficiency provides insight into therapeutic approachesHuman Molecular Genetics.  27:1055-1066. 2018
2018 Biallelic Mutations in ATP5F1D, which Encodes a Subunit of ATP Synthase, Cause a Metabolic DisorderAmerican Journal of Human Genetics.  102:494-504. 2018
2018 Abstract allocation as a unified approach to polyvariance in control-flow analysesJournal of Functional Programming2018
2017 MARRVEL: Integration of Human and Model Organism Genetic Resources to Facilitate Functional Annotation of the Human GenomeAmerican Journal of Human Genetics.  100:843-853. 2017
2017 Nebo: An efficient, parallel, and portable domain-specific language for numerically solving partial differential equationsJournal of Systems and Software.  125:389-400. 2017
2017 A Syndromic Neurodevelopmental Disorder Caused by De Novo Variants in EBF3American Journal of Human Genetics.  100:128-137. 2017
2017 Model organisms facilitate rare disease diagnosis and therapeutic researchGenetics.  207:9-27. 2017
2017 Repurposing of Proton Pump Inhibitors as first identified small molecule inhibitors of endo-β-N-acetylglucosaminidase (ENGase) for the treatment of NGLY1 deficiency, a rare genetic diseaseBioorganic and Medicinal Chemistry Letters.  27:2962-2966. 2017
2017 What happens when N = 1 and you want plus 1?Prenatal Diagnosis.  37:70-72. 2017
2016 De Novo Truncating Variants in ASXL2 Are Associated with a Unique and Recognizable Clinical PhenotypeAmerican Journal of Human Genetics.  99:991-999. 2016
2016 On the complexity and performance of parsing with derivativesProceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI).  13-17-June-2016:224-236. 2016
2016 Pushdown control-flow analysis for freeConference Record of the Annual ACM Symposium on Principles of Programming Languages.  20-22-January-2016:691-704. 2016
2015 Galois transformers and modular abstract interpreters reusable metatheory for program analysisProceedings of the Conference on Object-Oriented Programming Systems, Languages, and Applications, OOPSLA.  25-30-Oct-2015:552-571. 2015
2015 AnaDroid: Malware analysis of Android with user-supplied predicatesElectronic Notes in Theoretical Computer Science.  311:3-14. 2015
2015 Participant-Driven Matchmaking in the Genomic EraHuman Mutation.  36:965-973. 2015
2014 The shifting model in clinical diagnostics: how next-generation sequencing and families are altering the way rare diseases are discovered, studied, and treatedGenetics in Medicine.  16:736-737. 2014
2014 Deletion: The curse of the red-black treeJournal of Functional Programming.  24:423-433. 2014
2014 Pruning, pushdown exception-flow analysisProceedings - 2014 14th IEEE International Working Conference on Source Code Analysis and Manipulation, SCAM 2014.  265-274. 2014
2014 Pushdown flow analysis with abstract garbage collectionJournal of Functional Programming.  24:218-283. 2014
2013 Sound and precise malware analysis for Android via pushdown reachability and entry-point saturationProceedings of the ACM Conference on Computer and Communications Security.  21-32. 2013
2013 Optimizing abstract abstract machinesProceedings of the ACM SIGPLAN International Conference on Functional Programming, ICFP.  443-454. 2013
2012 Introspective pushdown analysis of higher-order programsACM Sigplan Notices.  47:177-188. 2012
2012 Systematic abstraction of abstract machinesJournal of Functional Programming.  22:705-746. 2012
2011 A family of abstract interpretations for static analysis of concurrent higher-order programsLecture Notes in Artificial Intelligence.  6887 LNCS:180-197. 2011
2011 Abstracting abstract machines: A systematic approach to higher-order program analysisCommunications- ACM.  54:101-109. 2011
2010 Abstracting abstract machinesACM Sigplan Notices.  45:51-62. 2010
2008 Exploiting reachability and cardinality in higher-order flow analysisJournal of Functional Programming.  18:821-864. 2008
2007 Analyzing the environment structure of higher-order languages using frame stringsTheoretical Computer Science.  375:137-168. 2007
2006 Improving flow analyses via γCFA abstract garbage collection and countingACM Sigplan Notices.  41:13-25. 2006
2006 Environment analysis via ΔCFAACM Sigplan Notices.  41:127-140. 2006

Book

Year Title Altmetric
2012 Preface.  Ed. 287.  2012

Education And Training

  • Doctor of Philosophy in Computer and Information Sciences, Georgia Institute of Technology 2007
  • Full Name

  • Matthew Might