Follow
Michael D. Bond
Michael D. Bond
Verified email at cse.ohio-state.edu - Homepage
Title
Cited by
Cited by
Year
Pacer: Proportional detection of data races
MD Bond, KE Coons, KS McKinley
ACM Sigplan Notices 45 (6), 255-268, 2010
2992010
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
2262009
Probabilistic calling context
MD Bond, KS McKinley
Acm Sigplan Notices 42 (10), 97-112, 2007
1492007
Bell: Bit-encoding online memory leak detection
MD Bond, KS McKinley
ACM SIGARCH Computer Architecture News 34 (5), 61-72, 2006
1382006
Tolerating memory leaks
MD Bond, KS McKinley
Proceedings of the 23rd ACM SIGPLAN conference on Object-oriented …, 2008
1082008
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
1062011
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
982007
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
812020
Valor: Efficient, software-only region conflict exceptions
S Biswas, M Zhang, MD Bond, B Lucia
ACM SIGPLAN Notices 50 (10), 241-259, 2015
712015
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
692004
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
652011
Leak pruning
MD Bond, KS McKinley
ACM Sigplan Notices 44 (3), 277-288, 2009
652009
Practical path profiling for dynamic optimizers
MD Bond, KS McKinley
International Symposium on Code Generation and Optimization, 205-216, 2005
642005
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
582013
Continuous path and edge profiling
MD Bond, KS McKinley
38th Annual IEEE/ACM International Symposium on Microarchitecture (MICRO'05 …, 2005
582005
Doublechecker: Efficient sound and precise atomicity checking
S Biswas, J Huang, A Sengupta, MD Bond
ACM SIGPLAN Notices 49 (6), 28-39, 2014
512014
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
462015
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
432010
High-coverage, unbounded sound predictive race detection
J Roemer, K Genē, MD Bond
ACM SIGPLAN Notices 53 (4), 374-389, 2018
362018
Crafty: Efficient, HTM-compatible persistent transactions
K Genē, MD Bond, GH Xu
Proceedings of the 41st ACM SIGPLAN Conference on Programming Language …, 2020
332020
The system can't perform the operation now. Try again later.
Articles 1–20