| Pacer: Proportional detection of data races MD Bond, KE Coons, KS McKinley ACM Sigplan Notices 45 (6), 255-268, 2010 | 297 | 2010 |
| Laminar: Practical fine-grained decentralized information flow control I Roy, DE Porter, MD Bond, KS McKinley, E Witchel Proceedings of the 30th ACM SIGPLAN Conference on Programming Language …, 2009 | 222 | 2009 |
| Probabilistic calling context MD Bond, KS McKinley Acm Sigplan Notices 42 (10), 97-112, 2007 | 149 | 2007 |
| Bell: Bit-encoding online memory leak detection MD Bond, KS McKinley ACM SIGARCH Computer Architecture News 34 (5), 61-72, 2006 | 137 | 2006 |
| Tolerating memory leaks MD Bond, KS McKinley Proceedings of the 23rd ACM SIGPLAN conference on Object-oriented …, 2008 | 108 | 2008 |
| LeakChaser: Helping programmers narrow down causes of memory leaks G Xu, MD Bond, F Qin, A Rountev Proceedings of the 32nd ACM SIGPLAN conference on Programming language …, 2011 | 106 | 2011 |
| Tracking bad apples: reporting the origin of null and undefined value errors MD Bond, N Nethercote, SW Kent, SZ Guyer, KS McKinley Proceedings of the 22nd annual ACM SIGPLAN conference on Object-oriented …, 2007 | 95 | 2007 |
| Semeru: A {Memory-Disaggregated} Managed Runtime C Wang, H Ma, S Liu, Y Li, Z Ruan, K Nguyen, MD Bond, R Netravali, ... 14th USENIX Symposium on Operating Systems Design and Implementation (OSDI …, 2020 | 74 | 2020 |
| Valor: Efficient, software-only region conflict exceptions S Biswas, M Zhang, MD Bond, B Lucia ACM SIGPLAN Notices 50 (10), 241-259, 2015 | 70 | 2015 |
| Targeted path profiling: Lower overhead path profiling for staged dynamic optimization systems R Joshi, MD Bond, C Zilles International Symposium on Code Generation and Optimization, 2004. CGO 2004 …, 2004 | 69 | 2004 |
| A security policy oracle: Detecting security holes using multiple API implementations V Srivastava, MD Bond, KS McKinley, V Shmatikov ACM SIGPLAN Notices 46 (6), 343-354, 2011 | 65 | 2011 |
| Leak pruning MD Bond, KS McKinley ACM Sigplan Notices 44 (3), 277-288, 2009 | 65 | 2009 |
| Practical path profiling for dynamic optimizers MD Bond, KS McKinley International Symposium on Code Generation and Optimization, 205-216, 2005 | 64 | 2005 |
| Octet: Capturing and controlling cross-thread dependences efficiently MD Bond, M Kulkarni, M Cao, M Zhang, M Fathi Salmi, S Biswas, ... ACM SIGPLAN Notices 48 (10), 693-712, 2013 | 58 | 2013 |
| Continuous path and edge profiling MD Bond, KS McKinley 38th Annual IEEE/ACM International Symposium on Microarchitecture (MICRO'05 …, 2005 | 58 | 2005 |
| Doublechecker: Efficient sound and precise atomicity checking S Biswas, J Huang, A Sengupta, MD Bond ACM SIGPLAN Notices 49 (6), 28-39, 2014 | 50 | 2014 |
| Hybrid Static–Dynamic Analysis for Statically Bounded Region Serializability A Sengupta, S Biswas, M Zhang, MD Bond, M Kulkarni ACM International Conference on Architectural Support for Programming …, 2015 | 46 | 2015 |
| Breadcrumbs: efficient context sensitivity for dynamic bug detection analyses MD Bond, GZ Baker, SZ Guyer Proceedings of the 31st ACM SIGPLAN Conference on Programming Language …, 2010 | 43 | 2010 |
| High-coverage, unbounded sound predictive race detection J Roemer, K Genç, MD Bond ACM SIGPLAN Notices 53 (4), 374-389, 2018 | 34 | 2018 |
| Crafty: Efficient, HTM-compatible persistent transactions K Genç, MD Bond, GH Xu Proceedings of the 41st ACM SIGPLAN Conference on Programming Language …, 2020 | 32 | 2020 |
Kathryn S McKinleyGoogleVerified email at cs.utexas.edu
