Michael D. Bond

Registered user since Tue 22 Jul 2014

Name:Michael D. Bond
Affiliation:Ohio State University, USA

Contributions

PLDI 2023 Committee Member in PLDI Review Committee within the PLDI Research Papers-track
ISMM 2023 Committee Member in Program Committee within the ISMM 2023-track
PPoPP 2023 PC Member in Program Committee within the Main Conference-track
PLDI 2022 Author of Mako: A Low-Pause, High-Throughput Evacuating Collector for Memory-Disaggregated Datacenters within the PLDI-track
CC 2022 Author of Cape: Compiler-Aided Program Transformation for HTM-Based Cache Side-Channel Defense within the CC Research Papers-track
SPLASH 2021 Session Chair of PLDI 2021 Papers 2 (part of SIGPLAN Papers)
Author of Crafty: Efficient, HTM-Compatible Persistent Transactions within the SIGPLAN Papers-track
Committee Member in Review Committee within the OOPSLA-track
PLDI 2021 Committee Member in Program Committee within the PLDI-track
ISMM 2021 Author of Understanding and Utilizing Hardware Transactional Memory Capacity within the ISMM 2021-track
Committee Member in External Review Committee within the ISMM 2021-track
PPoPP 2021 Committee Member in External Review Committee
SPLASH 2020 Committee Member in External Review Committee within the OOPSLA-track
PLDI 2020 Author of Crafty: Efficient, HTM-Compatible Persistent Transactions within the PLDI Research Papers-track
Committee Member in Program Committee within the PLDI Research Papers-track
Committee Member in SRC Committee within the Student Research Competition-track
Author of SmartTrack: Efficient Predictive Race Detection within the PLDI Research Papers-track
SPLASH 2019 Author of Dependence-Aware, Unbounded Sound Predictive Race Detection within the OOPSLA-track
Author of Dependence-Aware, Unbounded Sound Predictive Race Detection within the Posters-track
ISMM 2019 PC Member in Program Committee
ISMM 2018 Steering Committee Member in Steering Committee
Session Chair of Analyzing the Cache and Scheduling (part of ISMM 2018)
PLDI 2018 Author of High-Coverage, Unbounded Sound Predictive Race Detection within the PLDI Research Papers-track
Committee Member in External Review Committee
NJR 2017 Author of Discovering Empirical and Theoretical Analysis Properties from Lots of Real Executions within the NJR 2017-track
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
WODA 2017 Author of Pushing Predictive Data Race Detection to the Limit within the WODA 2017-track
PLDI 2017 Committee Member in External Program 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
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
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
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
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
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 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
SPLASH 2011 Committee Member in Doctoral Symposium Committee within the Doctoral Symposium-track