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
167*2013
Abstracting abstract machines
D Van Horn, M Might
Proceedings of the 15th ACM SIGPLAN international conference on Functional …, 2010
1512010
Improving flow analyses via ΓCFA: Abstract garbage collection and counting
M Might, O Shivers
Proceedings of the eleventh ACM SIGPLAN international conference on …, 2006
1132006
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
942010
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
902017
Competitor analysis and its defenses in the e-marketplace
YP Sheng, PP Mykytyn Jr, CR Litecky
Communications of the ACM 48 (8), 107-112, 2005
89*2005
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
862017
Environment analysis of higher-order languages
MB Might
Georgia Institute of Technology, 2007
712007
EigenCFA: accelerating flow analysis with GPUs
T Prabhu, S Ramalingam, M Might, M Hall
ACM SIGPLAN Notices 46 (1), 511-522, 2011
692011
Parsing with derivatives: a functional pearl
M Might, D Darais, D Spiewak
Acm sigplan notices 46 (9), 189-195, 2011
652011
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
612012
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
602014
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
582013
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
572017
Pushdown control-flow analysis for free
T Gilray, S Lyde, MD Adams, M Might, D Van Horn
Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of …, 2016
472016
Environment analysis via ΔCFA
M Might, O Shivers
ACM SIGPLAN Notices 41 (1), 127-140, 2006
462006
Pushdown control-flow analysis of higher-order programs
C Earl, M Might, D Van Horn
arXiv preprint arXiv:1007.4268, 2010
452010
Abstract interpreters for free
M Might
International Static Analysis Symposium, 407-421, 2010
422010
A unified approach to solving seven programming problems (functional pearl)
WE Byrd, M Ballantyne, G Rosenblatt, M Might
Proceedings of the ACM on Programming Languages 1 (ICFP), 1-26, 2017
342017
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
342016
The system can't perform the operation now. Try again later.
Articles 1–20