BibSLEIGH — Michael_D

Travelled to:

1 × Ireland
1 × Portugal
1 × Turkey
1 × United Kingdom
2 × Canada
9 × USA

Collaborated with:

K.S.McKinley S.Biswas M.Zhang J.Huang M.Cao Kaan Genç Jake Roemer A.Sengupta S.Z.Guyer B.Lucia B.P.Wood G.Z.Baker K.E.Coons R.Joshi C.B.Zilles M.Kulkarni V.Srivastava V.Shmatikov G.(.Xu F.Qin A.Rountev B.Lee K.Resnick D.Grossman Yufan Xu I.Roy D.E.Porter E.Witchel N.Nethercote S.W.Kent R.Zhang Vignesh Balaji M.F.Salmi

Talks about:

detect (8) dynam (7) memori (6) effici (5) race (5) leak (5) context (4) control (3) profil (3) depend (3)

Person: Michael D. Bond

DBLP: Bond:Michael_D=

Facilitated 1 volumes:

Contributed to:

2015

2014

2013

2011

2010

2009

2008

2007

2006

2005

2004

2016

2017

2019

2018

2020

Wrote 25 papers:

ASPLOS-2015-SenguptaBZBK #bound #dynamic analysis #hybrid: Hybrid Static: Dynamic Analysis for Statically Bounded Region Serializability (AS, SB, MZ, MDB, MK), pp. 561–575.
OOPSLA-2015-BiswasZBL #exception #named #performance: Valor: efficient, software-only region conflict exceptions (SB, MZ, MDB, BL), pp. 241–259.
PPoPP-2015-ZhangHCB #memory management #semantics #transaction: Low-overhead software transactional memory with progress guarantees and strong semantics (MZ, JH, MC, MDB), pp. 97–108.
PLDI-2014-BiswasHSB #named #performance #precise: DoubleChecker: efficient sound and precise atomicity checking (SB, JH, AS, MDB), p. 6.
OOPSLA-2013-BondKCZSBSH #dependence #named #thread: OCTET: capturing and controlling cross-thread dependences efficiently (MDB, MK, MC, MZ, MFS, SB, AS, JH), pp. 693–712.
OOPSLA-2013-HuangB #analysis #context-sensitive grammar #memory management #performance: Efficient context sensitivity for dynamic analyses via calling context uptrees and customized memory management (JH, MDB), pp. 53–72.
PLDI-2011-SrivastavaBMS #api #detection #implementation #multi #policy #security #using: A security policy oracle: detecting security holes using multiple API implementations (VS, MDB, KSM, VS), pp. 343–354.
PLDI-2011-XuBQR #memory management #named: LeakChaser: helping programmers narrow down causes of memory leaks (G(X, MDB, FQ, AR), pp. 270–282.
PLDI-2010-BondBG #analysis #context-sensitive grammar #debugging #detection #named #performance: Breadcrumbs: efficient context sensitivity for dynamic bug detection analyses (MDB, GZB, SZG), pp. 13–24.
PLDI-2010-BondCM #detection #named: PACER: proportional detection of data races (MDB, KEC, KSM), pp. 255–268.
ASPLOS-2009-BondM: Leak pruning (MDB, KSM), pp. 277–288.
PLDI-2009-RoyPBMW #data flow #distributed #fine-grained #named: Laminar: practical fine-grained decentralized information flow control (IR, DEP, MDB, KSM, EW), pp. 63–74.
OOPSLA-2008-BondM #memory management: Tolerating memory leaks (MDB, KSM), pp. 109–126.
CC-2007-LeeRBM #constraints #control flow #graph #using: Correcting the Dynamic Call Graph Using Control-Flow Constraints (BL, KR, MDB, KSM), pp. 80–95.
OOPSLA-2007-BondM #probability: Probabilistic calling context (MDB, KSM), pp. 97–112.
OOPSLA-2007-BondNKGM #fault #null: Tracking bad apples: reporting the origin of null and undefined value errors (MDB, NN, SWK, SZG, KSM), pp. 405–422.
ASPLOS-2006-BondM #detection #encoding #memory management #named #online: Bell: bit-encoding online memory leak detection (MDB, KSM), pp. 61–72.
CGO-2005-BondM #profiling: Practical Path Profiling for Dynamic Optimizers (MDB, KSM), pp. 205–216.
CGO-2004-JoshiBZ #optimisation #profiling #staged: Targeted Path Profiling: Lower Overhead Path Profiling for Staged Dynamic Optimization Systems (RJ, MDB, CBZ), pp. 239–250.
CC-2016-ZhangBB #dependence #parallel #runtime: Relaxed dependence tracking for parallel runtime support (MZ, SB, MDB), pp. 45–55.
CC-2017-BiswasCZBW #concurrent #detection #lightweight: Lightweight data race detection for production runs (SB, MC, MZ, MDB, BPW), pp. 11–21.
OOPSLA-2017-WoodCBG #bias #concurrent #detection: Instrumentation bias for dynamic data race detection (BPW, MC, MDB, DG), p. 31.
OOPSLA-2019-GencRXB #bound #concurrent #detection #predict: Dependence-aware, unbounded sound predictive race detection (KG, JR, YX, MDB), p. 30.
PLDI-2018-RoemerGB #bound #concurrent #detection #predict: High-coverage, unbounded sound predictive race detection (JR, KG, MDB), pp. 374–389.
ASPLOS-2020-ZhangBBBL #architecture #consistency #memory management #named: Peacenik: Architecture Support for Not Failing under Fail-Stop Memory Consistency (RZ, SB, VB, MDB, BL), pp. 317–333.