Follow
Matthew Might
Title
Cited by
Cited by
Year
Taming compiler fuzzers
Y Chen, A Groce, C Zhang, WK Wong, X Fern, E Eide, J Regehr
ACM SIGPLAN Notices 48 (6), 197-208, 2013
203*2013
Abstracting abstract machines
D Van Horn, M Might
Proceedings of the 15th ACM SIGPLAN international conference on Functional …, 2010
1702010
MARRVEL: integration of human and model organism genetic resources to facilitate functional annotation of the human genome
J Wang, R Al-Ouran, Y Hu, SY Kim, YW Wan, MF Wangler, S Yamamoto, ...
The American Journal of Human Genetics 100 (6), 843-853, 2017
1322017
Improving flow analyses via ΓCFA: Abstract garbage collection and counting
M Might, O Shivers
Proceedings of the eleventh ACM SIGPLAN international conference on …, 2006
1252006
The undiagnosed diseases network: accelerating discovery about health and disease
RB Ramoni, JJ Mulvihill, DR Adams, P Allard, EA Ashley, JA Bernstein, ...
The American Journal of Human Genetics 100 (2), 185-192, 2017
1242017
Metformin use is associated with reduced mortality in a diverse population with COVID-19 and diabetes
AB Crouse, T Grimes, P Li, M Might, F Ovalle, A Shalev
Frontiers in endocrinology 11, 600439, 2021
1232021
Resolving and exploiting the k-CFA paradox: illuminating functional vs. object-oriented program analysis
M Might, Y Smaragdakis, D Van Horn
Proceedings of the 31st ACM SIGPLAN Conference on Programming Language …, 2010
1072010
A syndromic neurodevelopmental disorder caused by de novo variants in EBF3
HT Chao, M Davids, E Burke, JG Pappas, JA Rosenfeld, AJ McCarty, ...
The American Journal of Human Genetics 100 (1), 128-137, 2017
912017
The shifting model in clinical diagnostics: how next-generation sequencing and families are altering the way rare diseases are discovered, studied, and treated
M Might, M Wilsey
Genetics in Medicine 16 (10), 736-737, 2014
772014
Parsing with derivatives: a functional pearl
M Might, D Darais, D Spiewak
Acm sigplan notices 46 (9), 189-195, 2011
762011
EigenCFA: Accelerating flow analysis with GPUs
T Prabhu, S Ramalingam, M Might, M Hall
ACM SIGPLAN Notices 46 (1), 511-522, 2011
752011
Environment analysis of higher-order languages
M Might
Georgia Institute of Technology, 2007
732007
Introspective pushdown analysis of higher-order programs
C Earl, I Sergey, M Might, D Van Horn
Proceedings of the 17th ACM SIGPLAN international conference on Functional …, 2012
692012
Sound and precise malware analysis for Android via pushdown reachability and entry-point saturation
S Liang, AW Keep, M Might, S Lyde, T Gilray, P Aldous, D Van Horn
Proceedings of the Third ACM workshop on Security and privacy in smartphones …, 2013
662013
A comprehensive iterative approach is highly effective in diagnosing individuals who are exome negative
V Shashi, K Schoch, R Spillmann, H Cope, QKG Tan, N Walley, L Pena, ...
Genetics in Medicine 21 (1), 161-172, 2019
572019
IRF2BPL is associated with neurological phenotypes
PC Marcogliese, V Shashi, RC Spillmann, N Stong, JA Rosenfeld, ...
The American Journal of Human Genetics 103 (2), 245-260, 2018
562018
Induced pluripotent stem cells for neural drug discovery
A Farkhondeh, R Li, K Gorshkov, KG Chen, M Might, S Rodems, DC Lo, ...
Drug discovery today 24 (4), 992-999, 2019
552019
Transcriptome and functional analysis in a Drosophila model of NGLY1 deficiency provides insight into therapeutic approaches
KG Owings, JB Lowry, Y Bi, M Might, CY Chow
Human molecular genetics 27 (6), 1055-1066, 2018
542018
De novo truncating variants in ASXL2 are associated with a unique and recognizable clinical phenotype
V Shashi, LDM Pena, K Kim, B Burton, M Hempel, K Schoch, ...
The American Journal of Human Genetics 99 (4), 991-999, 2016
532016
Biallelic mutations in ATP5F1D, which encodes a subunit of ATP synthase, cause a metabolic disorder
M Oláhová, WH Yoon, K Thompson, S Jangam, L Fernandez, ...
The American Journal of Human Genetics 102 (3), 494-504, 2018
522018
The system can't perform the operation now. Try again later.
Articles 1–20