Publications of PLaSS and Mike Bond


Recent / In-Progress Work, Published as Technical Reports

Tech report (2017)    Efficient Architecture Support for Region-Serializability-Based Consistency
Swarnendu Biswas, Rui Zhang, Michael D. Bond, and Brandon Lucia
Tech report (2016)    An Online Dynamic Analysis for Sound Predictive Data Race Detection
Jake Roemer and Michael D. Bond

Refereed Publications

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 (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