Brian Demsky - RankMe

65 papers A* 17A 12B 9C 1Misc 1Journal 18Unranked 5

Year	Rank	Type	Title / Venue / Authors
2026	—	`conf`	CXLMC: Model Checking CXL Shared Memory Programs. ASPLOS (2) Simon Guo, Conan Truong, Brian Demsky
2025	A*	`conf`	Automated Insertion of Flushes and Fences for Persistency. ASE Yutong Guo, Weiyu Luo, Brian Demsky
2025	J	`jnl`	Automated Insertion of Flushes and Fences for Persistency. CoRR Yutong Guo, Weiyu Luo, Brian Demsky
2025	A*	`conf`	GenC2Rust: Towards Generating Generic Rust Code from C. ICSE Xiafa Wu, Brian Demsky
2025	J	`jnl`	Towards Verifying Crash Consistency. Proc. ACM Program. Lang. Keonho Lee, Conan Truong, Brian Demsky
2024	B	`conf`	FlowProf: Profiling Multi-threaded Programs using Information-Flow. CC Ahamed Al Nahian, Brian Demsky
2022	A*	`conf`	Checking robustness to weak persistency models. PLDI Hamed Gorjiara, Weiyu Luo, Alex Lee, Guoqing Harry Xu, Brian Demsky
2022	B	`conf`	Stateful Dynamic Partial Order Reduction for Model Checking Event-Driven Applications that Do Not Terminate. VMCAI Rahmadi Trimananda, Weiyu Luo, Brian Demsky, Guoqing Harry Xu
2022	A*	`conf`	Yashme: detecting persistency races. ASPLOS Hamed Gorjiara, Guoqing Harry Xu, Brian Demsky
2021	J	`jnl`	C11Tester: A Race Detector for C/C++ Atomics Technical Report. CoRR Weiyu Luo, Brian Demsky
2021	A*	`conf`	C11Tester: a race detector for C/C++ atomics. ASPLOS Weiyu Luo, Brian Demsky
2021	A*	`conf`	Jaaru: efficiently model checking persistent memory programs. ASPLOS Hamed Gorjiara, Guoqing Harry Xu, Brian Demsky
2021	J	`jnl`	Stateful Dynamic Partial Order Reduction for Model Checking Event-Driven Applications that Do Not Terminate. CoRR Rahmadi Trimananda, Weiyu Luo, Brian Demsky, Guoqing Harry Xu
2020	A*	`conf`	Packet-Level Signatures for Smart Home Devices. NDSS Rahmadi Trimananda, Janus Varmarken, Athina Markopoulou, Brian Demsky
2020	J	`jnl`	Satune: synthesizing efficient SAT encoders. Proc. ACM Program. Lang. Hamed Gorjiara, Guoqing Harry Xu, Brian Demsky
2020	J	`jnl`	Securing Smart Home Edge Devices against Compromised Cloud Servers. CoRR Rahmadi Trimananda, Ali Younis, Thomas Kwa, Brian Demsky, Harry Xu
2020	—	`conf`	Understanding and automatically detecting conflicting interactions between smart home IoT applications. ESEC/SIGSOFT FSE Rahmadi Trimananda, Seyed Amir Hossein Aqajari, Jason Chuang, Brian Demsky, Guoqing Harry Xu, Shan Lu
2019	A*	`conf`	Gerenuk: thin computation over big native data using speculative program transformation. SOSP Christian Navasca, Cheng Cai, Khanh Nguyen, Brian Demsky, Shan Lu, Miryung Kim, Guoqing Harry Xu
2019	J	`jnl`	PingPong: Packet-Level Signatures for Smart Home Device Events. CoRR Rahmadi Trimananda, Janus Varmarken, Athina Markopoulou, Brian Demsky
2018	A*	`conf`	Skyway: Connecting Managed Heaps in Distributed Big Data Systems. ASPLOS Khanh Nguyen, Lu Fang, Christian Navasca, Guoqing Xu, Brian Demsky, Shan Lu
2018	J	`jnl`	Towards understanding the costs of avoiding out-of-thin-air results. Proc. ACM Program. Lang. Peizhao Ou, Brian Demsky
2018	Misc	`conf`	Vigilia: Securing Smart Home Edge Computing. SEC Rahmadi Trimananda, Ali Younis, Bojun Wang, Bin Xu, Brian Demsky, Guoqing Harry Xu
2017	B	`conf`	Checking Concurrent Data Structures Under the C/C++11 Memory Model. PPoPP Peizhao Ou, Brian Demsky
2017	A*	`conf`	ZenIDS: introspective intrusion detection for PHP applications. ICSE Byron Hawkins, Brian Demsky
2016	J	`jnl`	A Practical Approach for Model Checking C/C++11 Code. ACM Trans. Program. Lang. Syst. Brian Norris, Brian Demsky
2016	A	`conf`	BlackBox: lightweight security monitoring for COTS binaries. CGO Byron Hawkins, Brian Demsky, Michael B. Taylor
2016	A*	`conf`	Yak: A High-Performance Big-Data-Friendly Garbage Collector. OSDI Khanh Nguyen, Lu Fang, Guoqing Xu, Brian Demsky, Shan Lu, Sanazsadat Alamian, Onur Mutlu
2015	A	`conf`	AutoMO: automatic inference of memory order parameters for C/C++11. OOPSLA Peizhao Ou, Brian Demsky
2015	A*	`conf`	Interruptible tasks: treating memory pressure as interrupts for highly scalable data-parallel programs. SOSP Lu Fang, Khanh Nguyen, Guoqing Xu, Brian Demsky, Shan Lu
2015	A	`conf`	Optimizing binary translation of dynamically generated code. CGO Byron Hawkins, Brian Demsky, Derek Bruening, Qin Zhao
2015	A	`conf`	SATCheck: SAT-directed stateless model checking for SC and TSO. OOPSLA Brian Demsky, Patrick Lam
2015	—	`conf`	Speculative region-based memory management for big data systems. PLOS@SOSP Khanh Nguyen, Lu Fang, Guoqing Xu, Brian Demsky
2014	A*	`conf`	A model counter for constraints over unbounded strings. PLDI Loi Luu, Shweta Shinde, Prateek Saxena, Brian Demsky
2014	—	`conf`	Outlawing ghosts: avoiding out-of-thin-air results. MSPC@PLDI Hans-Juergen Boehm, Brian Demsky
2013	A	`conf`	CDSchecker: checking concurrent data structures written with C/C++ atomics. OOPSLA Brian Norris, Brian Demsky
2013	A	`conf`	Sinfer: Inferring information flow lattices for checking self-stabilization. ISSRE Yong Hun Eom, Brian Demsky
2013	J	`jnl`	Views: Synthesizing fine-grained concurrency control. ACM Trans. Softw. Eng. Methodol. Brian Demsky, Patrick Lam
2012	B	`conf`	DOJ: dynamically parallelizing object-oriented programs. PPoPP Yong Hun Eom, Stephen Yang, James Christopher Jenista, Brian Demsky
2012	C	`conf`	Memory management for many-core processors with software configurable locality policies. ISMM Jin Zhou, Brian Demsky
2012	A*	`conf`	Self-stabilizing Java. PLDI Yong Hun Eom, Brian Demsky
2011	J	`jnl`	Bristlecone: Language Support for Robust Software Applications. IEEE Trans. Software Eng. Brian Demsky, Sivaji Sundaramurthy
2011	J	`jnl`	Cross-application data provenance and policy enforcement. ACM Trans. Inf. Syst. Secur. Brian Demsky
2011	J	`jnl`	Integrating Caching and Prefetching Mechanisms in a Distributed Transactional Memory. IEEE Trans. Parallel Distributed Syst. Alokika Dash, Brian Demsky
2011	J	`jnl`	Integrating file operations into transactional memory. J. Parallel Distributed Comput. Brian Demsky, Navid Farri Tehrany
2011	B	`conf`	OoOJava: software out-of-order execution. PPoPP James Christopher Jenista, Yong Hun Eom, Brian Demsky
2011	J	`jnl`	Using Discrete Event Simulation to Analyze Contention Managers. Int. J. Parallel Program. Brian Demsky
2011	B	`conf`	Using Disjoint Reachability for Parallelization. CC James Christopher Jenista, Yong Hun Eom, Brian Demsky
2010	J	`jnl`	AFID: an automated approach to collecting software faults. Autom. Softw. Eng. Alex Edwards, Sean Tucker, Brian Demsky
2010	A	`conf`	Automatically Generating Symbolic Prefetches for Distributed Transactional Memories. Middleware Alokika Dash, Brian Demsky
2010	—	`ch.`	Automatically Tuning Task-Based Programs for Multicore Processors. Software Automatic Tuning, From Concepts to State-of-the-Art Results Jin Zhou, Brian Demsky
2010	A*	`conf`	Bamboo: a data-centric, object-oriented approach to many-core software. PLDI Jin Zhou, Brian Demsky
2010	B	`conf`	Recovery Tasks: An Automated Approach to Failure Recovery. RV Brian Demsky, Jin Zhou, William Montaz
2010	B	`conf`	Symbolic prefetching in transactional distributed shared memory. PPoPP Alokika Dash, Brian Demsky
2010	—	`conf`	Views: object-inspired concurrency control. ICSE (1) Brian Demsky, Patrick Lam
2009	J	`jnl`	Automatic Extraction of Heap Reference Properties in Object-Oriented Programs. IEEE Trans. Software Eng. Brian Demsky, Martin C. Rinard
2009	B	`conf`	Software transactional distributed shared memory. PPoPP Alokika Dash, Brian Demsky
2008	A	`conf`	AFID: an automated fault identification tool. ISSTA Alex Edwards, Sean Tucker, Sébastien Worms, Rahul Vaidya, Brian Demsky
2008	A	`conf`	Bristlecone: A Language for Robust Software Systems. ECOOP Brian Demsky, Alokika Dash
2006	—	`—`	Data structure repair using goal-directed reasoning. Brian Demsky
2006	J	`jnl`	Goal-Directed Reasoning for Specification-Based Data Structure Repair. IEEE Trans. Software Eng. Brian Demsky, Martin C. Rinard
2006	A	`conf`	Inference and enforcement of data structure consistency specifications. ISSTA Brian Demsky, Michael D. Ernst, Philip J. Guo, Stephen McCamant, Jeff H. Perkins, Martin C. Rinard
2005	A*	`conf`	Data structure repair using goal-directed reasoning. ICSE Brian Demsky, Martin C. Rinard
2003	A	`conf`	Automatic detection and repair of errors in data structures. OOPSLA Brian Demsky, Martin C. Rinard
2003	A	`conf`	Static Specification Analysis for Termination of Specification-Based Data Structure Repair. ISSRE Brian Demsky, Martin C. Rinard
2002	A*	`conf`	Role-based exploration of object-oriented programs. ICSE Brian Demsky, Martin C. Rinard