Michael D. Bond
Michael D. Bond
Verified email at cse.ohio-state.edu - Homepage
TitleCited byYear
PACER: proportional detection of data races
MD Bond, KE Coons, KS McKinley
ACM Sigplan Notices 45 (6), 255-268, 2010
Laminar: Practical fine-grained decentralized information flow control
I Roy, DE Porter, MD Bond, KS McKinley, E Witchel
ACM Sigplan Notices 44 (6), 63-74, 2009
Probabilistic calling context
MD Bond, KS McKinley
Acm Sigplan Notices 42 (10), 97-112, 2007
Bell: bit-encoding online memory leak detection
MD Bond, KS McKinley
ACM Sigplan Notices 41 (11), 61-72, 2006
Tolerating memory leaks
MD Bond, KS McKinley
ACM Sigplan Notices 43 (10), 109-126, 2008
Tracking bad apples: reporting the origin of null and undefined value errors
MD Bond, N Nethercote, SW Kent, SZ Guyer, KS McKinley
ACM SIGPLAN Notices 42 (10), 405-422, 2007
LeakChaser: Helping programmers narrow down causes of memory leaks
G Xu, MD Bond, F Qin, A Rountev
ACM SIGPLAN Notices 46 (6), 270-282, 2011
Targeted path profiling: Lower overhead path profiling for staged dynamic optimization systems
R Joshi, MD Bond, C Zilles
Proceedings of the international symposium on Code generation and …, 2004
Leak pruning
MD Bond, KS McKinley
ACM SIGARCH Computer Architecture News 37 (1), 277-288, 2009
Practical path profiling for dynamic optimizers
MD Bond, KS McKinley
Proceedings of the international symposium on Code generation and …, 2005
Continuous path and edge profiling
MD Bond, KS McKinley
Proceedings of the 38th annual IEEE/ACM International Symposium on …, 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
Valor: efficient, software-only region conflict exceptions
S Biswas, M Zhang, MD Bond, B Lucia
ACM SIGPLAN Notices 50 (10), 241-259, 2015
DoubleChecker: efficient sound and precise atomicity checking
S Biswas, J Huang, A Sengupta, MD Bond
ACM SIGPLAN Notices 49 (6), 28-39, 2014
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
Breadcrumbs: efficient context sensitivity for dynamic bug detection analyses
MD Bond, GZ Baker, SZ Guyer
ACM Sigplan Notices 45 (6), 13-24, 2010
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
Low-overhead software transactional memory with progress guarantees and strong semantics
M Zhang, J Huang, M Cao, MD Bond
ACM SIGPLAN Notices 50 (8), 97-108, 2015
Drinking from both glasses: Adaptively combining pessimistic and optimistic synchronization for efficient parallel runtime support
M Cao, M Zhang, MD Bond
WoDet, 2014
Efficient, context-sensitive detection of real-world semantic attacks
MD Bond, V Srivastava, KS McKinley, V Shmatikov
Proceedings of the 5th ACM SIGPLAN Workshop on Programming Languages and …, 2010
The system can't perform the operation now. Try again later.
Articles 1–20