| 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 | 216* | 2013 |
| Abstracting abstract machines D Van Horn, M Might Proceedings of the 15th ACM SIGPLAN international conference on Functional …, 2010 | 175 | 2010 |
| 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 | 155 | 2021 |
| 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 | 146 | 2017 |
| 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 | 133 | 2017 |
| Improving flow analyses via ΓCFA: Abstract garbage collection and counting M Might, O Shivers Proceedings of the eleventh ACM SIGPLAN international conference on …, 2006 | 129 | 2006 |
| 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 | 109 | 2010 |
| 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 | 94 | 2017 |
| 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 | 80 | 2014 |
| EigenCFA: Accelerating flow analysis with GPUs T Prabhu, S Ramalingam, M Might, M Hall ACM SIGPLAN Notices 46 (1), 511-522, 2011 | 79 | 2011 |
| Parsing with derivatives: a functional pearl M Might, D Darais, D Spiewak Acm sigplan notices 46 (9), 189-195, 2011 | 78 | 2011 |
| Environment analysis of higher-order languages M Might Georgia Institute of Technology, 2007 | 75 | 2007 |
| 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 | 68 | 2012 |
| 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 | 67 | 2018 |
| 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 | 66 | 2013 |
| 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 | 59 | 2019 |
| 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 | 59 | 2019 |
| 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 | 56 | 2016 |
| 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 | 56 | 2016 |
| 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 | 55 | 2018 |
David Van HornUniversity of MarylandVerified email at cs.umd.edu
