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