Michael D. Bond

59 papers A* 16A 12B 8C 5Journal 15Unranked 3

Year	Rank	Type	Title / Venue / Authors
2025	J	`jnl`	Carapace: Static-Dynamic Information Flow Control in Rust. Proc. ACM Program. Lang. Vincent Beardsley, Chris Xiong, Ada Lamba, Michael D. Bond
2024	J	`jnl`	Cocoon: Static Information Flow Control in Rust. Proc. ACM Program. Lang. Ada Lamba, Max Taylor, Vincent Beardsley, Jacob Bambeck, Michael D. Bond, Zhiqiang Lin
2024	J	`jnl`	IsoPredict: Dynamic Predictive Analysis for Detecting Unserializable Behaviors in Weakly Isolated Data Store Applications. CoRR Chujun Geng, Spyros Blanas, Michael D. Bond, Yang Wang
2024	J	`jnl`	IsoPredict: Dynamic Predictive Analysis for Detecting Unserializable Behaviors in Weakly Isolated Data Store Applications. Proc. ACM Program. Lang. Chujun Geng, Spyros Blanas, Michael D. Bond, Yang Wang
2024	C	`ed.`	Proceedings of the 2024 ACM SIGPLAN International Symposium on Memory Management, ISMM 2024, Copenhagen, Denmark, 25 June 2024 ISMM Michael D. Bond, Jae W. Lee, Hannes Payer
2023	J	`jnl`	Cocoon: Static Information Flow Control in Rust. CoRR Ada Barach, Maxwell Taylor, Vincent Beardsley, Jacob Bambeck, Michael D. Bond, Zhiqiang Lin
2023	A	`conf`	Developer's Responsibility or Database's Responsibility? Rethinking Concurrency Control in Databases. CIDR Chaoyi Cheng, Mingzhe Han, Nuo Xu, Spyros Blanas, Michael D. Bond, Yang Wang
2022	B	`conf`	Cape: compiler-aided program transformation for HTM-based cache side-channel defense. CC Rui Zhang, Michael D. Bond, Yinqian Zhang
2022	B	`conf`	Distilling the Real Cost of Production Garbage Collectors. ISPASS Zixian Cai, Stephen M. Blackburn, Michael D. Bond, Martin Maas
2022	A*	`conf`	Mako: a low-pause, high-throughput evacuating collector for memory-disaggregated datacenters. PLDI Haoran Ma, Shi Liu, Chenxi Wang, Yifan Qiao, Michael D. Bond, Stephen M. Blackburn, Miryung Kim, Guoqing Harry Xu
2021	J	`jnl`	Distilling the Real Cost of Production Garbage Collectors. CoRR Zixian Cai, Stephen M. Blackburn, Michael D. Bond, Martin Maas
2021	A	`conf`	Finding heterogeneous-unsafe configuration parameters in cloud systems. EuroSys Sixiang Ma, Fang Zhou, Michael D. Bond, Yang Wang
2021	J	`jnl`	Neat: Low-Complexity, Efficient On-Chip Cache Coherence. CoRR Rui Zhang, Swarnendu Biswas, Vignesh Balaji, Michael D. Bond, Brandon Lucia
2021	C	`conf`	Understanding and utilizing hardware transactional memory capacity. ISMM Zixian Cai, Stephen M. Blackburn, Michael D. Bond
2020	J	`jnl`	Crafty: Efficient, HTM-Compatible Persistent Transactions. CoRR Kaan Genç, Michael D. Bond, Guoqing Harry Xu
2020	A*	`conf`	Crafty: efficient, HTM-compatible persistent transactions. PLDI Kaan Genç, Michael D. Bond, Guoqing Harry Xu
2020	A*	`conf`	Peacenik: Architecture Support for Not Failing under Fail-Stop Memory Consistency. ASPLOS Rui Zhang, Swarnendu Biswas, Vignesh Balaji, Michael D. Bond, Brandon Lucia
2020	A*	`conf`	Semeru: A Memory-Disaggregated Managed Runtime. OSDI Chenxi Wang, Haoran Ma, Shi Liu, Yuanqi Li, Zhenyuan Ruan, Khanh Nguyen, Michael D. Bond, Ravi Netravali, Miryung Kim, Guoqing Harry Xu
2020	A*	`conf`	SmartTrack: efficient predictive race detection. PLDI Jake Roemer, Kaan Genç, Michael D. Bond
2019	J	`jnl`	Dependence-Aware, Unbounded Sound Predictive Race Detection. CoRR Kaan Genç, Jake Roemer, Yufan Xu, Michael D. Bond
2019	J	`jnl`	Dependence-aware, unbounded sound predictive race detection. Proc. ACM Program. Lang. Kaan Genç, Jake Roemer, Yufan Xu, Michael D. Bond
2019	J	`jnl`	Online Set-Based Dynamic Analysis for Sound Predictive Race Detection. CoRR Jake Roemer, Michael D. Bond
2019	J	`jnl`	Practical Predictive Race Detection. CoRR Jake Roemer, Kaan Genç, Michael D. Bond
2019	A	`conf`	Rethinking Support for Region Conflict Exceptions. IPDPS Swarnendu Biswas, Rui Zhang, Michael D. Bond, Brandon Lucia
2018	A*	`conf`	High-coverage, unbounded sound predictive race detection. PLDI Jake Roemer, Kaan Genç, Michael D. Bond
2017	C	`conf`	Avoiding consistency exceptions under strong memory models. ISMM Minjia Zhang, Swarnendu Biswas, Michael D. Bond
2017	J	`jnl`	Hybridizing and Relaxing Dependence Tracking for Efficient Parallel Runtime Support. ACM Trans. Parallel Comput. Man Cao, Minjia Zhang, Aritra Sengupta, Swarnendu Biswas, Michael D. Bond
2017	J	`jnl`	Instrumentation bias for dynamic data race detection. Proc. ACM Program. Lang. Benjamin P. Wood, Man Cao, Michael D. Bond, Dan Grossman
2017	A	`conf`	Legato: end-to-end bounded region serializability using commodity hardware transactional memory. CGO Aritra Sengupta, Man Cao, Michael D. Bond, Milind Kulkarni
2017	B	`conf`	Lightweight data race detection for production runs. CC Swarnendu Biswas, Man Cao, Minjia Zhang, Michael D. Bond, Benjamin P. Wood
2017	B	`conf`	POSTER: On the Problem of Consistency Exceptions in the Context of Strong Memory Models. PPoPP Minjia Zhang, Swarnendu Biswas, Michael D. Bond
2016	B	`conf`	Drinking from both glasses: combining pessimistic and optimistic tracking of cross-thread dependences. PPoPP Man Cao, Minjia Zhang, Aritra Sengupta, Michael D. Bond
2016	C	`conf`	Prescient memory: exposing weak memory model behavior by looking into the future. ISMM Man Cao, Jake Roemer, Aritra Sengupta, Michael D. Bond
2016	B	`conf`	Relaxed dependence tracking for parallel runtime support. CC Minjia Zhang, Swarnendu Biswas, Michael D. Bond
2015	—	`conf`	Efficient Deterministic Replay of Multithreaded Executions in a Managed Language Virtual Machine. PPPJ Michael D. Bond, Milind Kulkarni, Man Cao, Meisam Fathi Salmi, Jipeng Huang
2015	A*	`conf`	Hybrid Static: Dynamic Analysis for Statically Bounded Region Serializability. ASPLOS Aritra Sengupta, Swarnendu Biswas, Minjia Zhang, Michael D. Bond, Milind Kulkarni
2015	B	`conf`	Low-overhead software transactional memory with progress guarantees and strong semantics. PPoPP Minjia Zhang, Jipeng Huang, Man Cao, Michael D. Bond
2015	C	`ed.`	Proceedings of the 2015 ACM SIGPLAN International Symposium on Memory Management, ISMM 2015, Portland, OR, USA, June 13-14, 2015 ISMM Antony L. Hosking, Michael D. Bond
2015	—	`conf`	Toward Efficient Strong Memory Model Support for the Java Platform via Hybrid Synchronization. PPPJ Aritra Sengupta, Man Cao, Michael D. Bond, Milind Kulkarni
2015	A	`conf`	Valor: efficient, software-only region conflict exceptions. OOPSLA Swarnendu Biswas, Minjia Zhang, Michael D. Bond, Brandon Lucia
2014	A*	`conf`	DoubleChecker: efficient sound and precise atomicity checking. PLDI Swarnendu Biswas, Jipeng Huang, Aritra Sengupta, Michael D. Bond
2014	J	`jnl`	Practical Fine-Grained Information Flow Control Using Laminar. ACM Trans. Program. Lang. Syst. Donald E. Porter, Michael D. Bond, Indrajit Roy, Kathryn S. McKinley, Emmett Witchel
2013	A	`conf`	Efficient context sensitivity for dynamic analyses via calling context uptrees and customized memory management. OOPSLA Jipeng Huang, Michael D. Bond
2013	A	`conf`	OCTET: capturing and controlling cross-thread dependences efficiently. OOPSLA Michael D. Bond, Milind Kulkarni, Man Cao, Minjia Zhang, Meisam Fathi Salmi, Swarnendu Biswas, Aritra Sengupta, Jipeng Huang
2011	A*	`conf`	A security policy oracle: detecting security holes using multiple API implementations. PLDI Varun Srivastava, Michael D. Bond, Kathryn S. McKinley, Vitaly Shmatikov
2011	A*	`conf`	LeakChaser: helping programmers narrow down causes of memory leaks. PLDI Guoqing Xu, Michael D. Bond, Feng Qin, Atanas Rountev
2010	A*	`conf`	Breadcrumbs: efficient context sensitivity for dynamic bug detection analyses. PLDI Michael D. Bond, Graham Z. Baker, Samuel Z. Guyer
2010	—	`conf`	Efficient, context-sensitive detection of real-world semantic attacks. PLAS Michael D. Bond, Varun Srivastava, Kathryn S. McKinley, Vitaly Shmatikov
2010	A*	`conf`	PACER: proportional detection of data races. PLDI Michael D. Bond, Katherine E. Coons, Kathryn S. McKinley
2009	A*	`conf`	Laminar: practical fine-grained decentralized information flow control. PLDI Indrajit Roy, Donald E. Porter, Michael D. Bond, Kathryn S. McKinley, Emmett Witchel
2009	A*	`conf`	Leak pruning. ASPLOS Michael D. Bond, Kathryn S. McKinley
2008	A	`conf`	Tolerating memory leaks. OOPSLA Michael D. Bond, Kathryn S. McKinley
2007	B	`conf`	Correcting the Dynamic Call Graph Using Control-Flow Constraints. CC ByeongCheol Lee, Kevin Resnick, Michael D. Bond, Kathryn S. McKinley
2007	A	`conf`	Probabilistic calling context. OOPSLA Michael D. Bond, Kathryn S. McKinley
2007	A	`conf`	Tracking bad apples: reporting the origin of null and undefined value errors. OOPSLA Michael D. Bond, Nicholas Nethercote, Stephen W. Kent, Samuel Z. Guyer, Kathryn S. McKinley
2006	A*	`conf`	Bell: bit-encoding online memory leak detection. ASPLOS Michael D. Bond, Kathryn S. McKinley
2005	A*	`conf`	Continuous Path and Edge Profiling. MICRO Michael D. Bond, Kathryn S. McKinley
2005	A	`conf`	Practical Path Profiling for Dynamic Optimizers. CGO Michael D. Bond, Kathryn S. McKinley
2004	A	`conf`	Targeted Path Profiling: Lower Overhead Path Profiling for Staged Dynamic Optimization Systems. CGO Rahul Joshi, Michael D. Bond, Craig B. Zilles