Publications of PLaSS and Mike Bond


Publications excluding dissertations

OSDI 2020
(to appear)
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
PLDI 2020 Crafty: Efficient, HTM-Compatible Persistent Transactions
Kaan Genç, Michael D. Bond, and Guoqing Harry Xu
PLDI 2020 SmartTrack: Efficient Predictive Race Detection
Jake Roemer, Kaan Genç, and Michael D. Bond
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
OOPSLA 2019 Dependence-Aware, Unbounded Sound Predictive Race Detection
Kaan Genç, Jake Roemer, Yufan Xu, and Michael D. Bond
arXiv (2019)    Online Set-Based Dynamic Analysis for Sound Predictive Race Detection
Jake Roemer and Michael D. Bond
IPDPS 2019 Rethinking Support for Region Conflict Exceptions
Swarnendu Biswas, Rui Zhang, Michael D. Bond, and Brandon Lucia
PLDI 2018 High-Coverage, Unbounded Sound Predictive Race Detection
Jake Roemer, Kaan Genç, and Michael D. Bond
OOPSLA 2017 Instrumentation Bias for Dynamic Data Race Detection
Benjamin P. Wood, Man Cao, Michael D. Bond, and Dan Grossman
TOPC (2017) Hybridizing and Relaxing Dependence Tracking for Efficient Parallel Runtime Support
Man Cao, Minjia Zhang, Aritra Sengupta, Swarnendu Biswas, and Michael D. Bond
ISMM 2017 Avoiding Consistency Exceptions Under Strong Memory Models
Minjia Zhang, Swarnendu Biswas, and Michael D. Bond
CGO 2017 Legato: End-to-End Bounded Region Serializability Using Commodity Hardware Transactional Memory
Aritra Sengupta, Man Cao, Michael D. Bond, and Milind Kulkarni
CC 2017 Lightweight Data Race Detection for Production Runs
Swarnendu Biswas, Man Cao, Minjia Zhang, Michael D. Bond, and Benjamin P. Wood
ISMM 2016 Prescient Memory: Exposing Weak Memory Model Behavior by Looking into the Future
Man Cao, Jake Roemer, Aritra Sengupta, and Michael D. Bond
CC 2016 Relaxed Dependence Tracking for Parallel Runtime Support
Minjia Zhang, Swarnendu Biswas, and Michael D. Bond
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
OOPSLA 2015 Valor: Efficient, Software-Only Region Conflict Exceptions
Swarnendu Biswas, Minjia Zhang, Michael D. Bond, and Brandon Lucia
PPPJ 2015 Efficient Deterministic Replay of Multithreaded Executions in a Managed Language Virtual Machine
Michael D. Bond, Milind Kulkarni, Man Cao, Meisam Fathi Salmi, and Jipeng Huang
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
ASPLOS 2015 Hybrid Static–Dynamic Analysis for Statically Bounded Region Serializability
Aritra Sengupta, Swarnendu Biswas, Minjia Zhang, Michael D. Bond, and Milind Kulkarni
PPoPP 2015 Low-Overhead Software Transactional Memory with Progress Guarantees and Strong Semantics
Minjia Zhang, Jipeng Huang, Man Cao, and Michael D. Bond
PLDI 2014 DoubleChecker: Efficient Sound and Precise Atomicity Checking
Swarnendu Biswas, Jipeng Huang, Aritra Sengupta, and Michael D. Bond
TOPLAS (2014)   Practical Fine-Grained Information Flow Control Using Laminar
Donald E. Porter, Michael D. Bond, Indrajit Roy, Kathryn S. McKinley, and Emmett Witchel
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
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
OOPSLA 2013 Efficient Context Sensitivity for Dynamic Analyses via Calling Context Uptrees and Customized Memory Management
Jipeng Huang and Michael D. Bond
PLDI 2011 LeakChaser: Helping Programmers Narrow Down Causes of Memory Leaks
Guoqing "Harry" Xu, Michael D. Bond, Feng Qin, and Atanas Rountev
PLDI 2011 A Security Policy Oracle: Detecting Security Holes Using Multiple API Implementations
Varun Srivastava, Michael D. Bond, Kathryn S. McKinley, and Vitaly Shmatikov
PLDI 2010 Pacer: Proportional Detection of Data Races
Michael D. Bond, Katherine E. Coons, and Kathryn S. McKinley
PLDI 2010 Breadcrumbs: Efficient Context Sensitivity for Dynamic Bug Detection Analyses
Michael D. Bond, Graham Z. Baker, and Samuel Z. Guyer
PLAS 2010 Efficient, Context-Sensitive Detection of Real-World Semantic Attacks
Michael D. Bond, Varun Srivastava, Kathryn S. McKinley, and Vitaly Shmatikov
ASPLOS 2009 Leak Pruning
Michael D. Bond and Kathryn S. McKinley
PLDI 2009 Laminar: Practical Fine-Grained Decentralized Information Flow Control
Indrajit Roy, Donald E. Porter, Michael D. Bond, Kathryn S. McKinley, and Emmett Witchel
OOPSLA 2008 Tolerating Memory Leaks
Michael D. Bond and Kathryn S. McKinley
OOPSLA 2007 Probabilistic Calling Context
Michael D. Bond and Kathryn S. McKinley
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
CC 2007 Correcting the Dynamic Call Graph Using Control Flow Constraints
Byeongcheol Lee, Kevin Resnick, Michael D. Bond, and Kathryn S. McKinley
ASPLOS 2006 Bell: Bit-Encoding Online Memory Leak Detection
Michael D. Bond and Kathryn S. McKinley
MICRO 2005 Continuous Path and Edge Profiling
Michael D. Bond and Kathryn S. McKinley
CGO 2005 Practical Path Profiling for Dynamic Optimizers
Michael D. Bond and Kathryn S. McKinley
CGO 2004 Targeted Path Profiling: Lower Overhead Path Profiling for Staged Dynamic Optimization Systems
Rahul Joshi, Michael D. Bond, and Craig Zilles

Dissertations and theses

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