Publications of PLaSS and Mike Bond, excluding dissertations


PLDI 2024       IsoPredict: Dynamic Predictive Analysis for Detecting Unserializable Behaviors in Weakly Isolated Data Store Applications

Chujun Geng, Spyros Blanas, Michael D. Bond, and Yang Wang

Available by May 2024


OOPSLA 2024       Cocoon: Static Information Flow Control in Rust

Ada Lamba, Max Taylor, Vincent Beardsley, Jacob Bambeck, Michael D. Bond, and Zhiqiang Lin

PDF    Implementation    Artifact


CIDR 2023       Developer's Responsibility or Database's Responsibility? Rethinking Concurrency Control in Databases

Chaoyi Cheng, Mingzhe Han, Nuo Xu, Spyros Blanas, Michael D. Bond, and Yang Wang

PDF    Talk video    Detailed results


PLDI 2022       Mako: A Low-Pause, High-Throughput Evacuating Collector for Memory-Disaggregated Datacenters

Haoran Ma, Shi Liu, Chenxi Wang, Yifan Qiao, Michael D. Bond, Stephen M. Blackburn, Miryung Kim, and Guoqing Harry Xu

PDF    Talk video    Implementation    DOI


ISPASS 2022       Distilling the Real Cost of Production Garbage Collectors

Zixian Cai, Stephen M. Blackburn, Michael D. Bond, and Martin Maas

PDF    Talk video    Implementation    DOI


CC 2022       Cape: Compiler-Aided Program Transformation for HTM-Based Cache Side-Channel Defense

Rui Zhang, Michael D. Bond, and Yinqian Zhang

PDF    Implementation    DOI


arXiv (2021)       Neat: Low-Complexity, Efficient On-Chip Cache Coherence

Rui Zhang, Swarnendu Biswas, Vignesh Balaji, Michael D. Bond, and Brandon Lucia

PDF   


ISMM 2021       Understanding and Utilizing Hardware Transactional Memory Capacity

Zixian Cai, Stephen M. Blackburn, and Michael D. Bond

PDF    Talk video    Implementation    DOI


EuroSys 2021       Finding Heterogeneous-Unsafe Configuration Parameters in Cloud Systems

Sixiang Ma, Fang Zhou, Michael D. Bond, and Yang Wang

PDF    12-minute talk video    20-minute talk video    Implementation    DOI


OSDI 2020       Semeru: A Memory-Disaggregated Managed Runtime

Chenxi Wang, Haoran Ma, Shi Liu, Yuanqi Li, Zhenyuan Ruan, Khanh Nguyen, Michael D. Bond, Ravi Netravali, Miryung Kim, and Guoqing Harry Xu

PDF    Talk video    Talk slides    Implementation


PLDI 2020       Crafty: Efficient, HTM-Compatible Persistent Transactions

Kaan Genç, Michael D. Bond, and Guoqing Harry Xu

PDF    Talk video    Poster    Implementation


PLDI 2020       SmartTrack: Efficient Predictive Race Detection

Jake Roemer, Kaan Genç, and Michael D. Bond

PDF    Talk video    Talk slides    Poster    Implementation


ASPLOS 2020       Peacenik: Architecture Support for Not Failing under Fail-Stop Memory Consistency

Rui Zhang, Swarnendu Biswas, Vignesh Balaji, Michael D. Bond, and Brandon Lucia

PDF    Talk video    Implementation


OOPSLA 2019       Dependence-Aware, Unbounded Sound Predictive Race Detection

Kaan Genç, Jake Roemer, Yufan Xu, and Michael D. Bond

PDF (updated in 2021 with corrections to the conference version)    Corrigendum (summarizes corrections)    Talk slides    Implementation


arXiv (2019)       Online Set-Based Dynamic Analysis for Sound Predictive Race Detection

Jake Roemer and Michael D. Bond

PDF    Implementation


IPDPS 2019       Rethinking Support for Region Conflict Exceptions

Swarnendu Biswas, Rui Zhang, Michael D. Bond, and Brandon Lucia

PDF    Talk slides    Implementation


PLDI 2018       High-Coverage, Unbounded Sound Predictive Race Detection

Jake Roemer, Kaan Genç, and Michael D. Bond

PDF    Talk slides    Implementation


OOPSLA 2017       Instrumentation Bias for Dynamic Data Race Detection

Benjamin P. Wood, Man Cao, Michael D. Bond, and Dan Grossman

PDF    Implementation


TOPC (2017)       Hybridizing and Relaxing Dependence Tracking for Efficient Parallel Runtime Support

Man Cao, Minjia Zhang, Aritra Sengupta, Swarnendu Biswas, and Michael D. Bond

PDF    Hybrid tracking implementation    Relaxed tracking implementation


ISMM 2017       Avoiding Consistency Exceptions Under Strong Memory Models

Minjia Zhang, Swarnendu Biswas, and Michael D. Bond

PDF    Talk slides    Implementation


CGO 2017       Legato: End-to-End Bounded Region Serializability Using Commodity Hardware Transactional Memory

Aritra Sengupta, Man Cao, Michael D. Bond, and Milind Kulkarni

PDF    Talk slides    Implementation


CC 2017       Lightweight Data Race Detection for Production Runs

Swarnendu Biswas, Man Cao, Minjia Zhang, Michael D. Bond, and Benjamin P. Wood

PDF    Talk slides    Implementation


ISMM 2016       Prescient Memory: Exposing Weak Memory Model Behavior by Looking into the Future

Man Cao, Jake Roemer, Aritra Sengupta, and Michael D. Bond

PDF    Talk slides    Implementation


CC 2016       Relaxed Dependence Tracking for Parallel Runtime Support

Minjia Zhang, Swarnendu Biswas, and Michael D. Bond

PDF    Talk slides    Implementation


PPoPP 2016       Drinking from Both Glasses: Combining Pessimistic and Optimistic Tracking of Cross-Thread Dependences

Man Cao, Minjia Zhang, Aritra Sengupta, and Michael D. Bond

PDF    Talk slides    Implementation


OOPSLA 2015       Valor: Efficient, Software-Only Region Conflict Exceptions

Swarnendu Biswas, Minjia Zhang, Michael D. Bond, and Brandon Lucia

PDF    Talk slides    Implementation

OOPSLA 2015 Distinguished Paper Award
OOPSLA 2015 Distinguished Artifact Award


PPPJ 2015       Efficient Deterministic Replay of Multithreaded Programs Based on Efficient Tracking of Cross-Thread Dependences

Michael D. Bond, Milind Kulkarni, Man Cao, Meisam Fathi Salmi, and Jipeng Huang

PDF    Talk slides    Implementation


PPPJ 2015       Toward Efficient Strong Memory Model Support for the Java Platform via Hybrid Synchronization

Aritra Sengupta, Man Cao, Michael D. Bond, and Milind Kulkarni

PDF    Talk slides    Implementation


ASPLOS 2015       Hybrid Static–Dynamic Analysis for Statically Bounded Region Serializability

Aritra Sengupta, Swarnendu Biswas, Minjia Zhang, Michael D. Bond, and Milind Kulkarni

PDF    PPTX    Implementation


PPoPP 2015       Low-Overhead Software Transactional Memory with Progress Guarantees and Strong Semantics

Minjia Zhang, Jipeng Huang, Man Cao, and Michael D. Bond

PDF    Talk slides    LarkTM implementation    Modified STAMP port


PLDI 2014       DoubleChecker: Efficient Sound and Precise Atomicity Checking

Swarnendu Biswas, Jipeng Huang, Aritra Sengupta, and Michael D. Bond

PDF    Talk slides    Implementation


TOPLAS (2014)       Practical Fine-Grained Information Flow Control Using Laminar

Donald E. Porter, Michael D. Bond, Indrajit Roy, Kathryn S. McKinley, and Emmett Witchel

PDF    Implementation


WoDet 2014       Drinking from Both Glasses: Adaptively Combining Pessimistic and Optimistic Synchronization for Efficient Parallel Runtime Support

Man Cao, Minjia Zhang, and Michael D. Bond

Not published in proceedings. Subsumed by our similarly titled PPoPP 2016 paper.


OOPSLA 2013       Octet: Capturing and Controlling Cross-Thread Dependences Efficiently

Michael D. Bond, Milind Kulkarni, Man Cao, Minjia Zhang, Meisam Fathi Salmi, Swarnendu Biswas, Aritra Sengupta, and Jipeng Huang

PDF    Talk slides    Our implementation    Implementation for C++11


OOPSLA 2013       Efficient Context Sensitivity for Dynamic Analyses via Calling Context Uptrees and Customized Memory Management

Jipeng Huang and Michael D. Bond

PDF    Talk slides    Implementation


PLDI 2011       LeakChaser: Helping Programmers Narrow Down Causes of Memory Leaks

Guoqing (Harry) Xu, Michael D. Bond, Feng Qin, and Atanas Rountev

PDF    Talk slides    Implementation


PLDI 2011       A Security Policy Oracle: Detecting Security Holes Using Multiple API Implementations

Varun Srivastava, Michael D. Bond, Kathryn S. McKinley, and Vitaly Shmatikov

PDF


PLDI 2010       Pacer: Proportional Detection of Data Races

Michael D. Bond, Katherine E. Coons, and Kathryn S. McKinley

PDF    Talk slides    Implementation.


PLDI 2010       Breadcrumbs: Efficient Context Sensitivity for Dynamic Bug Detection Analyses

Michael D. Bond, Graham Z. Baker, and Samuel Z. Guyer

PDF    Talk slides    Implementation


PLAS 2010       Efficient, Context-Sensitive Detection of Real-World Semantic Attacks

Michael D. Bond, Varun Srivastava, Kathryn S. McKinley, and Vitaly Shmatikov

PDF    Talk slides    Implementation


ASPLOS 2009       Leak Pruning

Michael D. Bond and Kathryn S. McKinley

PDF    Talk slides    Implementation


PLDI 2009       Laminar: Practical Fine-Grained Decentralized Information Flow Control

Indrajit Roy, Donald E. Porter, Michael D. Bond, Kathryn S. McKinley, and Emmett Witchel

PDF    Talk slides    Implementation


OOPSLA 2008       Tolerating Memory Leaks

Michael D. Bond and Kathryn S. McKinley

PDF    Talk slides    Implementation


OOPSLA 2007       Probabilistic Calling Context

Michael D. Bond and Kathryn S. McKinley

PDF    Talk slides    Implementation.


OOPSLA 2007       Tracking Bad Apples: Reporting the Origin of Null and Undefined Value Errors

Michael D. Bond, Nicholas Nethercote, Stephen W. Kent, Samuel Z. Guyer, and Kathryn S. McKinley

PDF    Talk slides    Origin tracking in JVM    Origin tracking in Valgrind    Bad Apples Suite.


CC 2007       Correcting the Dynamic Call Graph Using Control Flow Constraints

Byeongcheol Lee, Kevin Resnick, Michael D. Bond, and Kathryn S. McKinley

PDF    Talk slides    Implementation


ASPLOS 2006       Bell: Bit-Encoding Online Memory Leak Detection

Michael D. Bond and Kathryn S. McKinley

PDF    Talk slides    Implementation


MICRO 2005       Continuous Path and Edge Profiling

Michael D. Bond and Kathryn S. McKinley

PDF    Talk slides    Implementation


CGO 2005       Practical Path Profiling for Dynamic Optimizers

Michael D. Bond and Kathryn S. McKinley

PDF    Talk slides    Implementation


CGO 2004       Targeted Path Profiling: Lower Overhead Path Profiling for Staged Dynamic Optimization Systems

Rahul Joshi, Michael D. Bond, and Craig Zilles

PDF    Talk slides

Best student presenter



Dissertations and theses


PhD dissertation (2020)       Architecture and Compiler Support for Parallel Consistency, Coherence, and Security

Rui Zhang


PhD dissertation (2019)       Practical High-Coverage Sound Predictive Race Detection

Jake Roemer


PhD dissertation (2017)       Efficient, Practical Dynamic Program Analyses for Concurrency Correctness

Man Cao


PhD dissertation (2017)       Efficient Compiler and Runtime Support for Serializability and Strong Semantics on Commodity Hardware

Aritra Sengupta


PhD dissertation (2016)       Practical Support for Strong, Serializability-Based Memory Consistency

Swarnendu Biswas


PhD dissertation (2016)       Efficient Runtime Support for Reliable and Scalable Parallelism

Minjia Zhang


Master's thesis (2014)          Efficient Context Sensitivity for Dynamic Analyses via Calling Context Uptrees and Customized Memory Management

Jipeng Huang


PhD dissertation (2008)       Diagnosing and Tolerating Bugs in Deployed Systems

Michael David Bond

ACM SIGPLAN Outstanding Doctoral Dissertation Award