Michael D. Bond

Citado por

	Todos	Desde 2020
Citações	2393	752
Índice h	24	16
Índice i10	36	24

200

100

150

20052006200720082009201020112012201320142015201620172018201920202021202220232024202514 16 28 38 58 88 101 108 152 165 184 192 196 119 134 146 136 127 153 176 14

Acesso público

Ver todos

24 artigos

0 artigo

disponível

não disponível

Com base nas autorizações de financiamento

Coautores

Kathryn S McKinleyGoogleE-mail confirmado em cs.utexas.edu
Minjia ZhangUniversity of Illinois at Urbana-ChampaginE-mail confirmado em illinois.edu
Swarnendu BiswasAssistant Professor, IIT KanpurE-mail confirmado em cse.iitk.ac.in
Man CaoGoogle, Ohio State UniversityE-mail confirmado em google.com
Aritra SenguptaAutomated Reasoning Group, AWS.E-mail confirmado em cse.ohio-state.edu
Jipeng HuangGoogleE-mail confirmado em cse.ohio-state.edu
Milind KulkarniAssociate Professor of Electrical and Computer Engineering, Purdue UniversityE-mail confirmado em purdue.edu
Harry XuProfessor of Computer Science, University of California, Los AngelesE-mail confirmado em cs.ucla.edu
Brandon LuciaCarnegie Mellon UniversityE-mail confirmado em ece.cmu.edu
Emmett WitchelProfessor of Computer Science, The University of Texas at AustinE-mail confirmado em cs.utexas.edu
Donald E. PorterProfessor of Computer Science, University of North Carolina at Chapel HillE-mail confirmado em cs.unc.edu
Indrajit RoyEngineering Leader, GoogleE-mail confirmado em google.com
Varun SrivastavawalmartlabsE-mail confirmado em walmartlabs.com
Samuel Z. GuyerTufts UniversityE-mail confirmado em cs.tufts.edu
Feng QinThe Ohio State UniversityE-mail confirmado em cse.ohio-state.edu
Atanas RountevProfessor of Computer ScienceE-mail confirmado em cse.ohio-state.edu
Craig ZillesProfessor of Computer Science, University of Illinois at Urbana-ChampaignE-mail confirmado em illinois.edu

Seguir

Michael D. Bond

Ohio State University

E-mail confirmado em cse.ohio-state.edu - Página inicial

Programming languages software systems


Título Ordenar por citações Ordenar por ano Ordenar por título	Citado por Citado por	Ano
Pacer: Proportional detection of data races MD Bond, KE Coons, KS McKinley ACM Sigplan Notices 45 (6), 255-268, 2010	306	2010
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	227	2009
Probabilistic calling context MD Bond, KS McKinley Acm Sigplan Notices 42 (10), 97-112, 2007	155	2007
Bell: Bit-encoding online memory leak detection MD Bond, KS McKinley ACM SIGARCH Computer Architecture News 34 (5), 61-72, 2006	140	2006
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	123	2020
Tolerating memory leaks MD Bond, KS McKinley Proceedings of the 23rd ACM SIGPLAN conference on Object-oriented …, 2008	115	2008
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	106	2011
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	96	2007
Valor: Efficient, software-only region conflict exceptions S Biswas, M Zhang, MD Bond, B Lucia ACM SIGPLAN Notices 50 (10), 241-259, 2015	72	2015
Leak pruning MD Bond, KS McKinley ACM Sigplan Notices 44 (3), 277-288, 2009	70	2009
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	69	2004
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	66	2011
Practical path profiling for dynamic optimizers MD Bond, KS McKinley International Symposium on Code Generation and Optimization, 205-216, 2005	64	2005
Continuous path and edge profiling MD Bond, KS McKinley 38th Annual IEEE/ACM International Symposium on Microarchitecture (MICRO'05 …, 2005	61	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	58	2013
DoubleChecker: efficient sound and precise atomicity checking S Biswas, J Huang, A Sengupta, MD Bond ACM SIGPLAN Notices 49 (6), 28-39, 2014	57	2014
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	47	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	45	2015
High-coverage, unbounded sound predictive race detection J Roemer, K Genç, MD Bond ACM SIGPLAN Notices 53 (4), 374-389, 2018	43	2018
Crafty: Efficient, htm-compatible persistent transactions K Genç, MD Bond, GH Xu Proceedings of the 41st ACM SIGPLAN Conference on Programming Language …, 2020	39	2020

O sistema não pode executar a operação agora. Tente novamente mais tarde.

Artigos 1–20

Citações por ano

Citações duplicadas

Citações mescladas

Adicionar coautoresCoautores

Seguir

Citado por

Coautores