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
2832010
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
2112009
Probabilistic calling context
MD Bond, KS McKinley
Acm Sigplan Notices 42 (10), 97-112, 2007
1442007
Bell: Bit-encoding online memory leak detection
MD Bond, KS McKinley
ACM SIGARCH Computer Architecture News 34 (5), 61-72, 2006
1352006
Tolerating memory leaks
MD Bond, KS McKinley
Proceedings of the 23rd ACM SIGPLAN conference on Object-oriented …, 2008
1072008
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
972011
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
912007
Risk school: can the general public learn to evaluate risks accurately, or do authorities need to steer it towards correct decisions? Michael Bond talks to the two opposing camps
M Bond
Nature 461 (7268), 1189-1193, 2009
772009
Valor: Efficient, software-only region conflict exceptions
S Biswas, M Zhang, MD Bond, B Lucia
ACM SIGPLAN Notices 50 (10), 241-259, 2015
702015
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
Leak pruning
MD Bond, KS McKinley
ACM Sigplan Notices 44 (3), 277-288, 2009
632009
Practical path profiling for dynamic optimizers
MD Bond, KS McKinley
International Symposium on Code Generation and Optimization, 205-216, 2005
622005
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
602011
Continuous path and edge profiling
MD Bond, KS McKinley
38th Annual IEEE/ACM International Symposium on Microarchitecture (MICRO'05 …, 2005
562005
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
552013
DoubleChecker: efficient sound and precise atomicity checking
S Biswas, J Huang, A Sengupta, MD Bond
ACM SIGPLAN Notices 49 (6), 28-39, 2014
492014
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
442015
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
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
302020
Low-overhead software transactional memory with progress guarantees and strong semantics
M Zhang, J Huang, M Cao, MD Bond
Proceedings of the 20th ACM SIGPLAN Symposium on Principles and Practice of …, 2015
30*2015
The system can't perform the operation now. Try again later.
Articles 1–20