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
ISMM 2019PC Member in Program Committee
ISMM 2018Steering Committee Member in Steering Committee
Session Chair of Analyzing the Cache and Scheduling (part of ISMM 2018)
NJR 2017Author of Discovering Empirical and Theoretical Analysis Properties from Lots of Real Executions within the NJR 2017-track
WODA 2017Author of Pushing Predictive Data Race Detection to the Limit within the WODA 2017-track
PLDI 2018Author of High-Coverage, Unbounded Sound Predictive Race Detection within the PLDI Research Papers-track
Committee Member in External Review Committee
ISMM 2017Committee 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 2017Author of Lightweight Data Race Detection for Production Runs within the Research Papers-track
ISMM 2016Author of Prescient Memory: Exposing Weak Memory Model Behavior by Looking into the Future within the ISMM-track
Committee Member in Steering Committee
SPLASH 2017Author 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 2017Committee Member in External Program Committee
SPLASH 2016Artifact 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 2016Committee 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 2015Chair 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 2015Author 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 2015Committee Member in External Review Committee within the Research Papers-track
SPLASH 2013Author 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 2012Committee Member in Program Committee within the OOPSLA Research Papers-track
Committee Member in Program Committee