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
3102010
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
2322009
Probabilistic calling context
MD Bond, KS McKinley
Acm Sigplan Notices 42 (10), 97-112, 2007
1502007
Bell: Bit-encoding online memory leak detection
MD Bond, KS McKinley
ACM SIGARCH Computer Architecture News 34 (5), 61-72, 2006
1392006
Tolerating memory leaks
MD Bond, KS McKinley
Proceedings of the 23rd ACM SIGPLAN conference on Object-oriented …, 2008
1152008
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
1102020
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
1082011
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
972007
Valor: Efficient, software-only region conflict exceptions
S Biswas, M Zhang, MD Bond, B Lucia
ACM SIGPLAN Notices 50 (10), 241-259, 2015
732015
Leak pruning
MD Bond, KS McKinley
ACM Sigplan Notices 44 (3), 277-288, 2009
692009
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
682004
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
642011
Practical path profiling for dynamic optimizers
MD Bond, KS McKinley
International Symposium on Code Generation and Optimization, 205-216, 2005
642005
Continuous path and edge profiling
MD Bond, KS McKinley
38th Annual IEEE/ACM International Symposium on Microarchitecture (MICRO'05 …, 2005
602005
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
592013
Doublechecker: Efficient sound and precise atomicity checking
S Biswas, J Huang, A Sengupta, MD Bond
ACM SIGPLAN Notices 49 (6), 28-39, 2014
552014
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
412018
Smarttrack: efficient predictive race detection
J Roemer, K Genç, MD Bond
Proceedings of the 41st ACM SIGPLAN Conference on Programming Language …, 2020
352020
The system can't perform the operation now. Try again later.
Articles 1–20