Matt Might
#28,782
Most Influential Person Now
Computer scientist and biologist
Matt Might's AcademicInfluence.com Rankings
Matt Mightcomputer-science Degrees
Computer Science
#1553
World Rank
#1607
Historical Rank
Informatics
#11
World Rank
#12
Historical Rank
Data Science
#322
World Rank
#329
Historical Rank
Machine Learning
#5481
World Rank
#5554
Historical Rank
Download Badge
Computer Science
Matt Might's Degrees
- PhD Computer Science Georgia Tech
- Doctorate Biomedical Informatics Harvard University
Similar Degrees You Can Earn
Why Is Matt Might Influential?
(Suggest an Edit or Addition)According to Wikipedia, Matthew Might is a computer scientist, biologist, educator, and public health administrator. Might serves as the director of the Hugh Kaul Precision Medicine Institute at the University of Alabama Birmingham.
Matt Might's Published Works
Number of citations in a given year to any of this author's works
Total number of citations to an author for the works they published in a given year. This highlights publication of the most important work(s) by the author
Published Works
- Improving flow analyses via ΓCFA: abstract garbage collection and counting (2006) (108)
- Abstracting abstract machines (2010) (105)
- Resolving and exploiting the k-CFA paradox: illuminating functional vs. object-oriented program analysis (2010) (95)
- METFORMIN USE IS ASSOCIATED WITH REDUCED MORTALITY IN A DIVERSE POPULATION WITH COVID-19 AND DIABETES (2020) (83)
- The shifting model in clinical diagnostics: how next-generation sequencing and families are altering the way rare diseases are discovered, studied, and treated (2014) (71)
- Metformin Use Is Associated With Reduced Mortality in a Diverse Population With COVID-19 and Diabetes (2021) (68)
- Environment Analysis of Higher-Order Languages (2007) (63)
- Parsing with derivatives: a functional pearl (2011) (63)
- EigenCFA: accelerating flow analysis with GPUs (2011) (59)
- Introspective pushdown analysis of higher-order programs (2012) (54)
- Induced pluripotent stem cells for neural drug discovery. (2019) (53)
- Biallelic Mutations in ATP5F1D, which Encodes a Subunit of ATP Synthase, Cause a Metabolic Disorder (2018) (51)
- Transcriptome and functional analysis in a Drosophila model of NGLY1 deficiency provides insight into therapeutic approaches (2018) (50)
- Pushdown Control-Flow Analysis of Higher-Order Programs (2010) (47)
- Sound and precise malware analysis for android via pushdown reachability and entry-point saturation (2013) (46)
- Pushdown control-flow analysis for free (2015) (44)
- A window into living with an undiagnosed disease: illness narratives from the Undiagnosed Diseases Network (2017) (44)
- Abstract Interpreters for Free (2010) (43)
- Environment analysis via ΔCFA (2006) (41)
- 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 disease. (2017) (40)
- Partial Loss of USP9X Function Leads to a Male Neurodevelopmental and Behavioral Disorder Converging on Transforming Growth Factor β Signaling (2020) (33)
- A unified approach to solving seven programming problems (functional pearl) (2017) (32)
- Optimizing abstract abstract machines (2012) (32)
- Monadic abstract interpreters (2013) (31)
- Participant‐Driven Matchmaking in the Genomic Era (2015) (31)
- Model organisms contribute to diagnosis and discovery in the undiagnosed diseases network: current state and a future vision (2021) (29)
- A comprehensive approach to identifying repurposed drugs to treat SCN8A epilepsy (2018) (29)
- The case for open science: rare diseases. (2020) (28)
- Continuations and transducer composition (2006) (27)
- Dynamic Sparse-Matrix Allocation on GPUs (2016) (27)
- Pushdown flow analysis with abstract garbage collection (2014) (27)
- Plain-language medical vocabulary for precision diagnosis (2018) (26)
- A PosterioriSoundness for Non-deterministic Abstract Interpretations (2008) (25)
- Neural Guided Constraint Logic Programming for Program Synthesis (2018) (25)
- Allocation characterizes polyvariance: a unified methodology for polyvariant control-flow analysis (2016) (24)
- On the complexity and performance of parsing with derivatives (2016) (23)
- Exploiting reachability and cardinality in higher-order flow analysis (2008) (21)
- Galois transformers and modular abstract interpreters: reusable metatheory for program analysis (2014) (21)
- Logic-flow analysis of higher-order programs (2007) (21)
- A Family of Abstract Interpretations for Static Analysis of Concurrent Higher-Order Programs (2011) (19)
- Characteristics of undiagnosed diseases network applicants: implications for referring providers (2018) (19)
- Systematic abstraction of abstract machines (2011) (19)
- Shape Analysis in the Absence of Pointers and Structure (2010) (18)
- An autosomal dominant neurological disorder caused by de novo variants in FAR1 resulting in uncontrolled synthesis of ether lipids (2020) (18)
- A small embedding of logic programming with a simple complete search (2016) (18)
- AnaDroid: Malware Analysis of Android with User-supplied Predicates (2013) (17)
- Flow-sensitive type recovery in linear-log time (2011) (15)
- Abstracting abstract machines (2011) (14)
- Analyzing the environment structure of higher-order languages using frame strings (2007) (13)
- Fast Flow Analysis with Godel Hashes (2014) (12)
- Commonalities across computational workflows for uncovering explanatory variants in undiagnosed cases (2021) (12)
- Clinical sites of the Undiagnosed Diseases Network: Unique contributions to genomic medicine and science (2020) (12)
- Nebo: An efficient, parallel, and portable domain-specific language for numerically solving partial differential equations (2017) (12)
- Galois Transformers and Modular Abstract Interpreters (2014) (11)
- Environment analysis via Delta CFA (2006) (11)
- Model Checking Via GammaCFA (2007) (10)
- Cardioinformatics: the nexus of bioinformatics and precision cardiology (2019) (10)
- Biallelic MADD variants cause a phenotypic spectrum ranging from developmental delay to a multisystem disorder. (2020) (9)
- What happens when N = 1 and you want plus 1? (2017) (9)
- Hash-flow taint analysis of higher-order programs (2012) (9)
- Genotype–phenotype correlations and novel molecular insights into the DHX30-associated neurodevelopmental disorders (2020) (9)
- Improving flow analyses via GammaCFA: abstract garbage collection and counting (2006) (9)
- A state-based approach to genomics for rare disease and population screening (2020) (9)
- Interprocedural Dependence Analysis of Higher-Order Programs via Stack Reachability (2009) (9)
- Yacc is dead (2010) (8)
- A Survey of Polyvariance in Abstract Interpretations (2013) (8)
- A Structural Soundness Proof for Shivers's Escape Technique - A Case for Galois Connections (2012) (8)
- Variants in PRKAR1B cause a neurodevelopmental disorder with autism spectrum disorder, apraxia, and insensitivity to pain (2020) (7)
- 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 gene (2018) (7)
- Restricting grammars with tree automata (2017) (7)
- An Analytic Framework for JavaScript (2011) (6)
- Loss of IRF2BPL impairs neuronal maintenance through excess Wnt signaling (2022) (6)
- Static Analysis of Non-interference in Expressive Low-Level Languages (2015) (6)
- Water-soluble tocopherol derivatives inhibit SARS-CoV-2 RNA-dependent RNA polymerase (2021) (6)
- A posteriori environment analysis with Pushdown Delta CFA (2017) (6)
- Pruning, Pushdown Exception-Flow Analysis (2014) (6)
- Deletion: The curse of the red-black tree (2014) (6)
- Extracting Hybrid Automata from Control Code (2013) (6)
- Structured reviews for data and knowledge-driven research (2019) (5)
- Magnetic Resonance Imaging characteristics in case of TOR1AIP1 muscular dystrophy. (2019) (5)
- Hormonal intervention for the treatment of veterans with COVID-19 requiring hospitalization (HITCH): a multicenter, phase 2 randomized controlled trial of best supportive care vs best supportive care plus degarelix: study protocol for a randomized controlled trial (2021) (5)
- Correction: Phenotypic expansion of CACNA1C-associated disorders to include isolated neurological manifestations (2021) (5)
- A Similarity-Based Machine Learning Approach for Detecting Adversarial Android Malware (2014) (5)
- An open-label study evaluating the safety, behavioral, and electrophysiological outcomes of low-dose ketamine in children with ADNP syndrome (2022) (5)
- One is the loneliest number: genotypic matchmaking using the electronic health record (2021) (4)
- Partitioning 0-CFA for the GPU (2014) (4)
- Demand Control-Flow Analysis (2019) (4)
- Identification of rare-disease genes using blood transcriptome sequencing and large control cohorts (2019) (3)
- Erratum: De Novo Variants in WDR37 Are Associated with Epilepsy, Colobomas, Dysmorphism, Developmental Delay, Intellectual Disability, and Cerebellar Hypoplasia (The American Journal of Human Genetics (2019) 105(2) (413–424), (S0002929719302393), (10.1016/j.ajhg.2019.06.014)) (2019) (3)
- Are we prepared to deliver gene‐targeted therapies for rare diseases? (2023) (3)
- Control-flow analysis of dynamic languages via pointer analysis (2015) (3)
- Rare disease patient matchmaking: development and outcomes of an internet case-finding strategy in the Undiagnosed Diseases Network (2021) (3)
- Why rare disease needs precision medicine—and precision medicine needs rare disease (2022) (3)
- Megakaryocytes are a Novel SARS-CoV-2 Infection Target and Risk Factor for Mortality and Multi-Organ Failure (2021) (2)
- Abstract allocation as a unified approach to polyvariance in control-flow analyses (2018) (2)
- A graph-based algorithm for RNA-seq data normalization (2018) (2)
- The precision medicine process for treating rare disease using the artificial intelligence tool mediKanren (2022) (2)
- Dynamic-CSR : A Format for Dynamic Sparse-Matrix Updates (2016) (2)
- A Linear Encoding of Pushdown Control-Flow Analysis (2014) (2)
- High-throughput protein modification quantitation analysis using intact protein MRM and its application on hENGase inhibitor screening. (2021) (2)
- Correction to: An autosomal dominant neurological disorder caused by de novo variants in FAR1 resulting in uncontrolled synthesis of ether lipids (2021) (1)
- Pushdown Abstractions of JavaScript (2011) (1)
- A resource of lipidomics and metabolomics data from individuals with undiagnosed diseases (2021) (1)
- Correctly Optimizing Abstract Abstract Machines (2013) (1)
- A Posteriori Taint-Tracking for Demonstrating Non-interference in Expressive Low-Level Languages (2016) (1)
- Generation of two gene corrected human isogenic iPSC lines (NCATS-CL6104 and NCATS-CL6105) from a patient line (NCATS-CL6103) carrying a homozygous p.R401X mutation in the NGLY1 gene using CRISPR/Cas9. (2021) (1)
- anexVis: visual analytics framework for analysis of RNA expression (2018) (1)
- cdev: a ground-truth based measure to evaluate RNA-seq normalization performance (2021) (1)
- An induced pluripotent stem cell line (TRNDi010-C) from a patient carrying a homozygous p.R401X mutation in the NGLY1 gene (2019) (1)
- Phenotypic expansion of CACNA1C-associated disorders to include isolated neurological manifestations (2021) (1)
- eP494: Integration of genomics into primary care via the Alabama Genomic Health Initiative (2022) (0)
- Bi-allelic ATG4D variants are associated with a neurodevelopmental disorder characterized by speech and motor impairment (2023) (0)
- Review The case for open science: rare diseases (2020) (0)
- COVID-19 bacteremic co-infection is a major risk factor for mortality, ICU admission, and mechanical ventilation (2023) (0)
- Relatively Complete Pushdown Analysis of Escape Continuations (2019) (0)
- An induced pluripotent stem cell line (NCATS-CL9075) from a patient carrying compound heterozygote mutations, p.R390P and p.L318P, in the NGLY1 gene (2021) (0)
- Identification and Assessment of FDA-Approved Drugs for Repurposing as Single and Combination Therapies Against SARS-CoV-2 Infection (2021) (0)
- A Simple Complete Search for Logic Programming (2017) (0)
- An Induced Pluripotent Stem Cell‐Derived Neuromuscular Junction Platform for Study of the NGLY1‐Congenital Disorder of Deglycosylation (2022) (0)
- Functional characterization and potential therapeutic avenues for variants in the NTRK2 gene causing developmental and epileptic encephalopathies (2021) (0)
- Demand Control-Flow Analysis Technical Report (2019) (0)
- AnaDroid: Malware Analysis of Android with (2013) (0)
- Generation and characterization of NGLY1 patient-derived midbrain organoids (2023) (0)
- Preface (2012) (0)
- Control-Flow Analysis with SAT Solvers (2013) (0)
- Pushdown Exception-Flow Analysis of Object-Oriented Programs (2013) (0)
- The academic job searchHow to prepare key documents (2010) (0)
- Genotype–phenotype correlations and novel molecular insights into the DHX30-associated neurodevelopmental disorders (2021) (0)
- Stack-Summarizing Control-Flow Analysis of Higher-Order Programs (2010) (0)
- N-of-1 Precision Medicine and Research Oversight (2019) (0)
- Precision Medicine and Informatics (2021) (0)
- Participation in a national diagnostic research study: assessing the patient experience (2023) (0)
- The UAB Center for Precision Animal Modeling (C-PAM) (2021) (0)
- Flow-Sensitive Sub-Zero Control-Flow Analysis in Linear-Log Time (2010) (0)
- A comprehensive iterative approach is highly effective in diagnosing individuals who are exome negative (2018) (0)
- Repurposing of Proton Pump Inhibitors as First Identified Small Molecule Inhibitors of Endo- β - N -acetylglucosaminidase (ENGase) for the Treatment of Rare NGLY1 Genetic Disease (2017) (0)
- Identification of FDA Approved Antiviral Drugs for COVID-19 Treatment using Unbiased Virtual Screening (2021) (0)
- A Primer in Precision Nephrology: Optimizing Outcomes in Kidney Health and Disease via Data-Driven Medicine. (2023) (0)
- P392: Genomic medicine and primary care: The Alabama Genomic Health Initiative* (2023) (0)
- Corrigendum to “Generation of two gene corrected human isogenic iPSC lines (NCATS-CL6104 and NCATS-CL6105) from a patient line (NCATS-CL6103) carrying a homozygous p.R401X mutation in the NGLY1 gene using CRISPR/Cas9” [Stem Cell Res. 56 (2021) 102554] (2021) (0)
- Bi-allelic variants in INTS11 are associated with a complex neurological disorder. (2023) (0)
- Circulating SARS-CoV-2+ Megakaryocytes Associate with Severe Viral Infection in COVID-19 (2023) (0)
- The algorithm for precision medicine (invited talk) (2019) (0)
- Scalable and Precise Abstraction of Programs for Trustworthy Software (2017) (0)
- Introspective pushdown analysis (2013) (0)
- Proceedings of the 7th Workshop on Programming languages meets program verification, PLPV 2013, Rome, Italy, January 22, 2013 (2013) (0)
- In This Issue (2014) (0)
- miniAdapton: A Minimal Implementation of Incremental Computation in Scheme (2016) (0)
- VarSight: prioritizing clinically reported variants with binary classification algorithms (2019) (0)
This paper list is powered by the following services:
Other Resources About Matt Might
What Schools Are Affiliated With Matt Might?
Matt Might is affiliated with the following schools:
