Michael Bond -

Registered user since Tue 22 Jul 2014

Name: Michael Bond

Affiliation: Ohio State University

Personal website: http://www.cse.ohio-state.edu/~mikebond

Contributions

PLDI 2020	Committee Member in Program Committee within the PLDI Research Papers-track
ISMM 2019	PC Member in Program Committee
SPLASH 2019	Author of Dependence-Aware, Unbounded Sound Predictive Race Detection within the OOPSLA-track
ISMM 2018	Steering Committee Member in Steering Committee Session Chair of Analyzing the Cache and Scheduling (part of ISMM 2018)
NJR 2017	Author of Discovering Empirical and Theoretical Analysis Properties from Lots of Real Executions within the NJR 2017-track
WODA 2017	Author of Pushing Predictive Data Race Detection to the Limit within the WODA 2017-track
PLDI 2018	Author of High-Coverage, Unbounded Sound Predictive Race Detection within the PLDI Research Papers-track Committee Member in External Review Committee
ISMM 2017	Committee Member in External Review Committee within the ISMM 2017-track Committee Member in Steering Committee Author of Avoiding Consistency Exceptions Under Strong Memory Consistency Models within the ISMM 2017-track Session Chair of Session 2: Clever Data Tricks (part of ISMM 2017)
CC 2017	Author of Lightweight Data Race Detection for Production Runs within the Research Papers-track
ISMM 2016	Author of Prescient Memory: Exposing Weak Memory Model Behavior by Looking into the Future within the ISMM-track Committee Member in Steering Committee
SPLASH 2017	Author of Instrumentation Bias for Dynamic Data Race Detection within the OOPSLA-track Artifact Evaluation Co-Chair in Artifact Evaluation Committee within the OOPSLA Artifacts-track Artifact Evaluation Co-Chair in Organizing Committee
PLDI 2017	Committee Member in External Program Committee
SPLASH 2016	Artifact Evaluation Co-Chair in Program Committee within the OOPSLA Artifacts-track Artifact Evaluation Co-Chair of OOPSLA Awards within the Keynotes and Awards-track Artefact Evaluation Co-Chair in Organizing Committee ERC member in External Program Committee within the OOPSLA-track
PPoPP 2016	Committee Member in Program Committee within the Main conference-track Session Chair of Language Implementation & DSL (part of Main conference) Author of Drinking from Both Glasses: Combining Pessimistic and Optimistic Tracking of Cross-Thread Dependences within the Main conference-track
ISMM 2015	Chair in Program Committee within the Research Papers-track Program Chair in Organizing Committee Committee Member in Steering Committee Session Chair of Keynote (part of Keynote) Program Chair of Closing Remarks within the Organization-track Program Chair of Opening Remarks within the Organization-track Session Chair of Tolerating Holes in Wearable Memories (part of Keynote)
SPLASH 2015	Author of Valor: Efficient, Software-Only Region Conflict Exceptions within the OOPSLA Artifacts-track Author of Valor: Efficient, Software-Only Region Conflict Exceptions within the OOPSLA-track
PLDI 2015	Committee Member in External Review Committee within the Research Papers-track
SPLASH 2013	Author of Efficient Context Sensitivity for Dynamic Analyses via Calling Context Uptrees and Customized Memory Management within the OOPSLA-track Author of Octet: Capturing and Controlling Cross-Thread Dependences Efficiently within the OOPSLA-track
SPLASH 2012	Committee Member in Program Committee within the OOPSLA Research Papers-track Committee Member in Program Committee