Seguir
Michael D. Bond
Michael D. Bond
Dirección de correo verificada de cse.ohio-state.edu - Página principal
Título
Citado por
Citado por
Año
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
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20