| 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 | 151 | 2010 |
| Improving flow analyses via ΓCFA: Abstract garbage collection and counting M Might, O Shivers Proceedings of the eleventh ACM SIGPLAN international conference on …, 2006 | 113 | 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 | 94 | 2010 |
| 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 | 90 | 2017 |
| 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 | 86 | 2017 |
| Environment analysis of higher-order languages MB Might Georgia Institute of Technology, 2007 | 71 | 2007 |
| EigenCFA: accelerating flow analysis with GPUs T Prabhu, S Ramalingam, M Might, M Hall ACM SIGPLAN Notices 46 (1), 511-522, 2011 | 69 | 2011 |
| Parsing with derivatives: a functional pearl M Might, D Darais, D Spiewak Acm sigplan notices 46 (9), 189-195, 2011 | 65 | 2011 |
| 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 | 61 | 2012 |
| 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 | 60 | 2014 |
| 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 | 58 | 2013 |
| 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 | 57 | 2017 |
| 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 | 47 | 2016 |
| Environment analysis via ΔCFA M Might, O Shivers ACM SIGPLAN Notices 41 (1), 127-140, 2006 | 46 | 2006 |
| Pushdown control-flow analysis of higher-order programs C Earl, M Might, D Van Horn arXiv preprint arXiv:1007.4268, 2010 | 45 | 2010 |
| Abstract interpreters for free M Might International Static Analysis Symposium, 407-421, 2010 | 42 | 2010 |
| 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 | 34 | 2017 |
| 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 | 34 | 2016 |
David Van HornUniversity of MarylandVerified email at cs.umd.edu
