| 2026 | ASPLOS | CXLMC: Model Checking CXL Shared Memory Programs. | Simon Guo, Conan Truong, Brian Demsky |
| 2025 | ICSE | GenC2Rust: Towards Generating Generic Rust Code from C. | Xiafa Wu, Brian Demsky |
| 2024 | CC | FlowProf: Profiling Multi-threaded Programs using Information-Flow. | Ahamed Al Nahian, Brian Demsky |
| 2022 | ASPLOS | Yashme: detecting persistency races. | Hamed Gorjiara, Guoqing Harry Xu, Brian Demsky |
| 2022 | PLDI | Checking robustness to weak persistency models. | Hamed Gorjiara, Weiyu Luo, Alex Lee, Guoqing Harry Xu, Brian Demsky |
| 2022 | VMCAI | Stateful Dynamic Partial Order Reduction for Model Checking Event-Driven Applications that Do Not Terminate. | Rahmadi Trimananda, Weiyu Luo, Brian Demsky, Guoqing Harry Xu |
| 2021 | ASPLOS | Jaaru: efficiently model checking persistent memory programs. | Hamed Gorjiara, Guoqing Harry Xu, Brian Demsky |
| 2021 | ASPLOS | C11Tester: a race detector for C/C++ atomics. | Weiyu Luo, Brian Demsky |
| 2020 | NDSS | Packet-Level Signatures for Smart Home Devices. | Rahmadi Trimananda, Janus Varmarken, Athina Markopoulou, Brian Demsky |
| 2019 | SOSP | Gerenuk: thin computation over big native data using speculative program transformation. | Christian Navasca, Cheng Cai, Khanh Nguyen, Brian Demsky, Shan Lu, Miryung Kim, Guoqing Harry Xu |
| 2018 | ASPLOS | Skyway: Connecting Managed Heaps in Distributed Big Data Systems. | Khanh Nguyen, Lu Fang, Christian Navasca, Guoqing Xu, Brian Demsky, Shan Lu |
| 2017 | ICSE | ZenIDS: introspective intrusion detection for PHP applications. | Byron Hawkins, Brian Demsky |
| 2017 | PPoPP | Checking Concurrent Data Structures Under the C/C++11 Memory Model. | Peizhao Ou, Brian Demsky |
| 2016 | CGO | BlackBox: lightweight security monitoring for COTS binaries. | Byron Hawkins, Brian Demsky, Michael B. Taylor |
| 2016 | OSDI | Yak: A High-Performance Big-Data-Friendly Garbage Collector. | Khanh Nguyen, Lu Fang, Guoqing Xu, Brian Demsky, Shan Lu, Sanazsadat Alamian, Onur Mutlu |
| 2015 | CGO | Optimizing binary translation of dynamically generated code. | Byron Hawkins, Brian Demsky, Derek Bruening, Qin Zhao |
| 2015 | OOPSLA | SATCheck: SAT-directed stateless model checking for SC and TSO. | Brian Demsky, Patrick Lam |
| 2015 | OOPSLA | AutoMO: automatic inference of memory order parameters for C/C++11. | Peizhao Ou, Brian Demsky |
| 2015 | SOSP | Interruptible tasks: treating memory pressure as interrupts for highly scalable data-parallel programs. | Lu Fang, Khanh Nguyen, Guoqing Xu, Brian Demsky, Shan Lu |
| 2015 | SOSP | Speculative region-based memory management for big data systems. | Khanh Nguyen, Lu Fang, Guoqing Xu, Brian Demsky |
| 2014 | PLDI | Outlawing ghosts: avoiding out-of-thin-air results. | Hans-Juergen Boehm, Brian Demsky |
| 2014 | PLDI | A model counter for constraints over unbounded strings. | Loi Luu, Shweta Shinde, Prateek Saxena, Brian Demsky |
| 2013 | ISSRE | Sinfer: Inferring information flow lattices for checking self-stabilization. | Yong Hun Eom, Brian Demsky |
| 2013 | OOPSLA | CDSchecker: checking concurrent data structures written with C/C++ atomics. | Brian Norris, Brian Demsky |
| 2012 | PLDI | Self-stabilizing Java. | Yong Hun Eom, Brian Demsky |
| 2012 | PPoPP | DOJ: dynamically parallelizing object-oriented programs. | Yong Hun Eom, Stephen Yang, James Christopher Jenista, Brian Demsky |
| 2011 | CC | Using Disjoint Reachability for Parallelization. | James Christopher Jenista, Yong Hun Eom, Brian Demsky |
| 2011 | PPoPP | OoOJava: software out-of-order execution. | James Christopher Jenista, Yong Hun Eom, Brian Demsky |
| 2010 | ICSE | Views: object-inspired concurrency control. | Brian Demsky, Patrick Lam |
| 2010 | Middleware | Automatically Generating Symbolic Prefetches for Distributed Transactional Memories. | Alokika Dash, Brian Demsky |
| 2010 | PLDI | Bamboo: a data-centric, object-oriented approach to many-core software. | Jin Zhou, Brian Demsky |
| 2010 | PPoPP | Symbolic prefetching in transactional distributed shared memory. | Alokika Dash, Brian Demsky |
| 2010 | RV | Recovery Tasks: An Automated Approach to Failure Recovery. | Brian Demsky, Jin Zhou, William Montaz |
| 2009 | PPoPP | Software transactional distributed shared memory. | Alokika Dash, Brian Demsky |
| 2008 | ECOOP | Bristlecone: A Language for Robust Software Systems. | Brian Demsky, Alokika Dash |
| 2008 | ISSTA | AFID: an automated fault identification tool. | Alex Edwards, Sean Tucker, Sbastien Worms, Rahul Vaidya, Brian Demsky |
| 2006 | ISSTA | Inference and enforcement of data structure consistency specifications. | Brian Demsky, Michael D. Ernst, Philip J. Guo, Stephen McCamant, Jeff H. Perkins, Martin C. Rinard |
| 2005 | ICSE | Data structure repair using goal-directed reasoning. | Brian Demsky, Martin C. Rinard |
| 2003 | ISSRE | Static Specification Analysis for Termination of Specification-Based Data Structure Repair. | Brian Demsky, Martin C. Rinard |
| 2003 | OOPSLA | Automatic detection and repair of errors in data structures. | Brian Demsky, Martin C. Rinard |
| 2002 | ICSE | Role-based exploration of object-oriented programs. | Brian Demsky, Martin C. Rinard |