Role-based exploration of object-oriented programs. - Brian Demsky; Martin C. Rinard (ICSE, 2002)

Static Specification Analysis for Termination of Specification-Based Data Structure Repair. - Brian Demsky; Martin C. Rinard (ISSRE, 2003)

Automatic detection and repair of errors in data structures. - Brian Demsky; Martin C. Rinard (OOPSLA, 2003)

Data structure repair using goal-directed reasoning. - Brian Demsky; Martin C. Rinard (ICSE, 2005)

Inference and enforcement of data structure consistency specifications. - Brian Demsky; Michael D. Ernst; Philip J. Guo; Stephen McCamant; Jeff H. Perkins; Martin C. Rinard (ISSTA, 2006)

Goal-Directed Reasoning for Specification-Based Data Structure Repair. - Brian Demsky; Martin C. Rinard (IEEE Trans. Software Eng., 2006)

Data structure repair using goal-directed reasoning. - Brian Demsky (2006)

Bristlecone: A Language for Robust Software Systems. - Brian Demsky; Alokika Dash (ECOOP, 2008)

AFID: an automated fault identification tool. - Alex Edwards; Sean Tucker; Sébastien Worms; Rahul Vaidya; Brian Demsky (ISSTA, 2008)

Software transactional distributed shared memory. - Alokika Dash; Brian Demsky (PPoPP, 2009)

Automatic Extraction of Heap Reference Properties in Object-Oriented Programs. - Brian Demsky; Martin C. Rinard (IEEE Trans. Software Eng., 2009)

Automatically Tuning Task-Based Programs for Multicore Processors. - Jin Zhou; Brian Demsky (Software Automatic Tuning, From Concepts to State-of-the-Art Results, 2010)

Views: object-inspired concurrency control. - Brian Demsky; Patrick Lam 001 (ICSE (1), 2010)

Automatically Generating Symbolic Prefetches for Distributed Transactional Memories. - Alokika Dash; Brian Demsky (Middleware, 2010)

Bamboo: a data-centric, object-oriented approach to many-core software. - Jin Zhou; Brian Demsky (PLDI, 2010)

Symbolic prefetching in transactional distributed shared memory. - Alokika Dash; Brian Demsky (PPoPP, 2010)

Recovery Tasks: An Automated Approach to Failure Recovery. - Brian Demsky; Jin Zhou; William Montaz (RV, 2010)

AFID: an automated approach to collecting software faults. - Alex Edwards; Sean Tucker; Brian Demsky (Autom. Softw. Eng., 2010)

Using Disjoint Reachability for Parallelization. - James Christopher Jenista; Yong Hun Eom; Brian Demsky (CC, 2011)

OoOJava: software out-of-order execution. - James Christopher Jenista; Yong Hun Eom; Brian Demsky (PPoPP, 2011)

Using Discrete Event Simulation to Analyze Contention Managers. - Brian Demsky (Int. J. Parallel Program., 2011)

Integrating file operations into transactional memory. - Brian Demsky; Navid Farri Tehrany (J. Parallel Distributed Comput., 2011)

Cross-application data provenance and policy enforcement. - Brian Demsky (ACM Trans. Inf. Syst. Secur., 2011)

Integrating Caching and Prefetching Mechanisms in a Distributed Transactional Memory. - Alokika Dash; Brian Demsky (IEEE Trans. Parallel Distributed Syst., 2011)

Bristlecone: Language Support for Robust Software Applications. - Brian Demsky; Sivaji Sundaramurthy (IEEE Trans. Software Eng., 2011)

Memory management for many-core processors with software configurable locality policies. - Jin Zhou; Brian Demsky (ISMM, 2012)

Self-stabilizing Java. - Yong Hun Eom; Brian Demsky (PLDI, 2012)

DOJ: dynamically parallelizing object-oriented programs. - Yong Hun Eom; Stephen Yang; James Christopher Jenista; Brian Demsky (PPoPP, 2012)

Sinfer: Inferring information flow lattices for checking self-stabilization. - Yong Hun Eom; Brian Demsky (ISSRE, 2013)

CDSchecker: checking concurrent data structures written with C/C++ atomics. - Brian Norris; Brian Demsky (OOPSLA, 2013)

Views: Synthesizing fine-grained concurrency control. - Brian Demsky; Patrick Lam 001 (ACM Trans. Softw. Eng. Methodol., 2013)

Outlawing ghosts: avoiding out-of-thin-air results. - Hans-Juergen Boehm; Brian Demsky (MSPC@PLDI, 2014)

A model counter for constraints over unbounded strings. - Loi Luu; Shweta Shinde; Prateek Saxena; Brian Demsky (PLDI, 2014)

Optimizing binary translation of dynamically generated code. - Byron Hawkins; Brian Demsky; Derek Bruening; Qin Zhao (CGO, 2015)

SATCheck: SAT-directed stateless model checking for SC and TSO. - Brian Demsky; Patrick Lam 001 (OOPSLA, 2015)

AutoMO: automatic inference of memory order parameters for C/C++11. - Peizhao Ou; Brian Demsky (OOPSLA, 2015)

Interruptible tasks: treating memory pressure as interrupts for highly scalable data-parallel programs. - Lu Fang 003; Khanh Nguyen 001; Guoqing Xu 001; Brian Demsky; Shan Lu 001 (SOSP, 2015)

Speculative region-based memory management for big data systems. - Khanh Nguyen 001; Lu Fang 003; Guoqing Xu 001; Brian Demsky (PLOS@SOSP, 2015)

BlackBox: lightweight security monitoring for COTS binaries. - Byron Hawkins; Brian Demsky; Michael B. Taylor (CGO, 2016)

Yak: A High-Performance Big-Data-Friendly Garbage Collector. - Khanh Nguyen 001; Lu Fang 003; Guoqing Xu 001; Brian Demsky; Shan Lu 001; Sanazsadat Alamian; Onur Mutlu (OSDI, 2016)

A Practical Approach for Model Checking C/C++11 Code. - Brian Norris; Brian Demsky (ACM Trans. Program. Lang. Syst., 2016)

ZenIDS: introspective intrusion detection for PHP applications. - Byron Hawkins; Brian Demsky (ICSE, 2017)

Checking Concurrent Data Structures Under the C/C++11 Memory Model. - Peizhao Ou; Brian Demsky (PPoPP, 2017)

Skyway: Connecting Managed Heaps in Distributed Big Data Systems. - Khanh Nguyen 001; Lu Fang 003; Christian Navasca; Guoqing Xu 001; Brian Demsky; Shan Lu 001 (ASPLOS, 2018)

Vigilia: Securing Smart Home Edge Computing. - Rahmadi Trimananda; Ali Younis; Bojun Wang; Bin Xu; Brian Demsky; Guoqing Harry Xu (SEC, 2018)

Towards understanding the costs of avoiding out-of-thin-air results. - Peizhao Ou; Brian Demsky (Proc. ACM Program. Lang., 2018)

Gerenuk: thin computation over big native data using speculative program transformation. - Christian Navasca; Cheng Cai; Khanh Nguyen 001; Brian Demsky; Shan Lu 001; Miryung Kim; Guoqing Harry Xu (SOSP, 2019)

PingPong: Packet-Level Signatures for Smart Home Device Events. - Rahmadi Trimananda; Janus Varmarken; Athina Markopoulou; Brian Demsky (CoRR, 2019)

Packet-Level Signatures for Smart Home Devices. - Rahmadi Trimananda; Janus Varmarken; Athina Markopoulou; Brian Demsky (NDSS, 2020)

Understanding and automatically detecting conflicting interactions between smart home IoT applications. - Rahmadi Trimananda; Seyed Amir Hossein Aqajari; Jason Chuang; Brian Demsky; Guoqing Harry Xu; Shan Lu 001 (ESEC/SIGSOFT FSE, 2020)

Securing Smart Home Edge Devices against Compromised Cloud Servers. - Rahmadi Trimananda; Ali Younis; Thomas Kwa; Brian Demsky; Harry Xu 001 (CoRR, 2020)

Satune: synthesizing efficient SAT encoders. - Hamed Gorjiara; Guoqing Harry Xu; Brian Demsky (Proc. ACM Program. Lang., 2020)

Jaaru: efficiently model checking persistent memory programs. - Hamed Gorjiara; Guoqing Harry Xu; Brian Demsky (ASPLOS, 2021)

C11Tester: a race detector for C/C++ atomics. - Weiyu Luo; Brian Demsky (ASPLOS, 2021)

C11Tester: A Race Detector for C/C++ Atomics Technical Report. - Weiyu Luo; Brian Demsky (CoRR, 2021)

Yashme: detecting persistency races. - Hamed Gorjiara; Guoqing Harry Xu; Brian Demsky (ASPLOS, 2022)

Checking robustness to weak persistency models. - Hamed Gorjiara; Weiyu Luo; Alex Lee; Guoqing Harry Xu; Brian Demsky (PLDI, 2022)

Stateful Dynamic Partial Order Reduction for Model Checking Event-Driven Applications that Do Not Terminate. - Rahmadi Trimananda; Weiyu Luo; Brian Demsky; Guoqing Harry Xu (VMCAI, 2022)

FlowProf: Profiling Multi-threaded Programs using Information-Flow. - Ahamed Al Nahian; Brian Demsky (CC, 2024)

GenC2Rust: Towards Generating Generic Rust Code from C. - Xiafa Wu; Brian Demsky (ICSE, 2025)