Brian Demsky

According to our database, Brian Demsky authored at least 59 papers between 2002 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

FlowProf: Profiling Multi-threaded Programs using Information-Flow.

Ahamed Al Nahian, Brian Demsky

Proceedings of the 33rd ACM SIGPLAN International Conference on Compiler Construction, 2024

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

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2022

Checking robustness to weak persistency models.

Hamed Gorjiara, Weiyu Luo, Alex Lee, Guoqing Harry Xu, Brian Demsky

Proceedings of the PLDI '22: 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation, San Diego, CA, USA, June 13, 2022

Yashme: detecting persistency races.

Hamed Gorjiara, Guoqing Harry Xu, Brian Demsky

Proceedings of the ASPLOS '22: 27th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Lausanne, Switzerland, 28 February 2022, 2022

2021

C11Tester: A Race Detector for C/C++ Atomics Technical Report.

Weiyu Luo, Brian Demsky

CoRR, 2021

C11Tester: a race detector for C/C++ atomics.

Weiyu Luo, Brian Demsky

Proceedings of the ASPLOS '21: 26th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, 2021

Jaaru: efficiently model checking persistent memory programs.

Hamed Gorjiara, Guoqing Harry Xu, Brian Demsky

Proceedings of the ASPLOS '21: 26th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, 2021

2020

Satune: synthesizing efficient SAT encoders.

Hamed Gorjiara, Guoqing Harry Xu, Brian Demsky

Proc. ACM Program. Lang., 2020

Securing Smart Home Edge Devices against Compromised Cloud Servers.

Rahmadi Trimananda, Ali Younis, Thomas Kwa, Brian Demsky, Harry Xu

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

Proceedings of the ESEC/FSE '20: 28th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2020

Packet-Level Signatures for Smart Home Devices.

Rahmadi Trimananda, Janus Varmarken, Athina Markopoulou, Brian Demsky

Proceedings of the 27th Annual Network and Distributed System Security Symposium, 2020

2019

PingPong: Packet-Level Signatures for Smart Home Device Events.

Rahmadi Trimananda, Janus Varmarken, Athina Markopoulou, Brian Demsky

CoRR, 2019

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

Proceedings of the 27th ACM Symposium on Operating Systems Principles, 2019

2018

Towards understanding the costs of avoiding out-of-thin-air results.

Peizhao Ou, Brian Demsky

Proc. ACM Program. Lang., 2018

Vigilia: Securing Smart Home Edge Computing.

Rahmadi Trimananda, Ali Younis, Bojun Wang, Bin Xu, Brian Demsky, Guoqing Harry Xu

Proceedings of the 2018 IEEE/ACM Symposium on Edge Computing, 2018

Skyway: Connecting Managed Heaps in Distributed Big Data Systems.

Khanh Nguyen, Lu Fang, Christian Navasca, Guoqing Xu, Brian Demsky, Shan Lu

Proceedings of the Twenty-Third International Conference on Architectural Support for Programming Languages and Operating Systems, 2018

2017

Checking Concurrent Data Structures Under the C/C++11 Memory Model.

Peizhao Ou, Brian Demsky

Proceedings of the 22nd ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2017

ZenIDS: introspective intrusion detection for PHP applications.

Byron Hawkins, Brian Demsky

Proceedings of the 39th International Conference on Software Engineering, 2017

2016

A Practical Approach for Model Checking C/C++11 Code.

Brian Norris, Brian Demsky

ACM Trans. Program. Lang. Syst., 2016

Yak: A High-Performance Big-Data-Friendly Garbage Collector.

Khanh Nguyen, Lu Fang, Guoqing Xu, Brian Demsky, Shan Lu, Sanazsadat Alamian, Onur Mutlu

Proceedings of the 12th USENIX Symposium on Operating Systems Design and Implementation, 2016

BlackBox: lightweight security monitoring for COTS binaries.

Byron Hawkins, Brian Demsky, Michael B. Taylor

Proceedings of the 2016 International Symposium on Code Generation and Optimization, 2016

2015

Speculative region-based memory management for big data systems.

Khanh Nguyen, Lu Fang, Guoqing Xu, Brian Demsky

Proceedings of the 8th Workshop on Programming Languages and Operating Systems, 2015

Interruptible tasks: treating memory pressure as interrupts for highly scalable data-parallel programs.

Lu Fang, Khanh Nguyen, Guoqing Xu, Brian Demsky, Shan Lu

Proceedings of the 25th Symposium on Operating Systems Principles, 2015

AutoMO: automatic inference of memory order parameters for C/C++11.

Peizhao Ou, Brian Demsky

Proceedings of the 2015 ACM SIGPLAN International Conference on Object-Oriented Programming, 2015

SATCheck: SAT-directed stateless model checking for SC and TSO.

Brian Demsky, Patrick Lam

Proceedings of the 2015 ACM SIGPLAN International Conference on Object-Oriented Programming, 2015

Optimizing binary translation of dynamically generated code.

Byron Hawkins, Brian Demsky, Derek Bruening, Qin Zhao

Proceedings of the 13th Annual IEEE/ACM International Symposium on Code Generation and Optimization, 2015

2014

A model counter for constraints over unbounded strings.

Loi Luu, Shweta Shinde, Prateek Saxena, Brian Demsky

Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, 2014

Outlawing ghosts: avoiding out-of-thin-air results.

Hans-Juergen Boehm, Brian Demsky

Proceedings of the workshop on Memory Systems Performance and Correctness, 2014

2013

Views: Synthesizing fine-grained concurrency control.

Brian Demsky, Patrick Lam

ACM Trans. Softw. Eng. Methodol., 2013

CDSchecker: checking concurrent data structures written with C/C++ atomics.

Brian Norris, Brian Demsky

Proceedings of the 2013 ACM SIGPLAN International Conference on Object Oriented Programming Systems Languages & Applications, 2013

Sinfer: Inferring information flow lattices for checking self-stabilization.

Yong Hun Eom, Brian Demsky

Proceedings of the IEEE 24th International Symposium on Software Reliability Engineering, 2013

2012

DOJ: dynamically parallelizing object-oriented programs.

Yong Hun Eom, Stephen Yang, James Christopher Jenista, Brian Demsky

Proceedings of the 17th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2012

Self-stabilizing Java.

Yong Hun Eom, Brian Demsky

Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, 2012

Memory management for many-core processors with software configurable locality policies.

Jin Zhou, Brian Demsky

Proceedings of the International Symposium on Memory Management, 2012

2011

Bristlecone: Language Support for Robust Software Applications.

Brian Demsky, Sivaji Sundaramurthy

IEEE Trans. Software Eng., 2011

Integrating Caching and Prefetching Mechanisms in a Distributed Transactional Memory.

Alokika Dash, Brian Demsky

IEEE Trans. Parallel Distributed Syst., 2011

Cross-application data provenance and policy enforcement.

Brian Demsky

ACM Trans. Inf. Syst. Secur., 2011

Integrating file operations into transactional memory.

Brian Demsky, Navid Farri Tehrany

J. Parallel Distributed Comput., 2011

Using Discrete Event Simulation to Analyze Contention Managers.

Brian Demsky

Int. J. Parallel Program., 2011

OoOJava: software out-of-order execution.

James Christopher Jenista, Yong Hun Eom, Brian Demsky

Proceedings of the 16th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2011

Using Disjoint Reachability for Parallelization.

James Christopher Jenista, Yong Hun Eom, Brian Demsky

Proceedings of the Compiler Construction - 20th International Conference, 2011

2010

AFID: an automated approach to collecting software faults.

Alex Edwards, Sean Tucker, Brian Demsky

Autom. Softw. Eng., 2010

Recovery Tasks: An Automated Approach to Failure Recovery.

Brian Demsky, Jin Zhou, William Montaz

Proceedings of the Runtime Verification - First International Conference, 2010

Symbolic prefetching in transactional distributed shared memory.

Alokika Dash, Brian Demsky

Proceedings of the 15th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2010

Bamboo: a data-centric, object-oriented approach to many-core software.

Jin Zhou, Brian Demsky

Proceedings of the 2010 ACM SIGPLAN Conference on Programming Language Design and Implementation, 2010

Automatically Generating Symbolic Prefetches for Distributed Transactional Memories.

Alokika Dash, Brian Demsky

Proceedings of the Middleware 2010 - ACM/IFIP/USENIX 11th International Middleware Conference, Bangalore, India, November 29, 2010

Views: object-inspired concurrency control.

Brian Demsky, Patrick Lam

Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering, 2010

Automatically Tuning Task-Based Programs for Multicore Processors.

Jin Zhou, Brian Demsky

Proceedings of the Software Automatic Tuning, From Concepts to State-of-the-Art Results, 2010

2009

Automatic Extraction of Heap Reference Properties in Object-Oriented Programs.

Brian Demsky, Martin C. Rinard

IEEE Trans. Software Eng., 2009

Software transactional distributed shared memory.

Alokika Dash, Brian Demsky

Proceedings of the 14th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2009

2008

AFID: an automated fault identification tool.

Alex Edwards, Sean Tucker, Sébastien Worms, Rahul Vaidya, Brian Demsky

Proceedings of the ACM/SIGSOFT International Symposium on Software Testing and Analysis, 2008

Bristlecone: A Language for Robust Software Systems.

Brian Demsky, Alokika Dash

Proceedings of the ECOOP 2008, 2008

2006

Data structure repair using goal-directed reasoning.

Brian Demsky

PhD thesis, 2006

Goal-Directed Reasoning for Specification-Based Data Structure Repair.

Brian Demsky, Martin C. Rinard

IEEE Trans. Software Eng., 2006

Inference and enforcement of data structure consistency specifications.

Brian Demsky, Michael D. Ernst, Philip J. Guo, Stephen McCamant, Jeff H. Perkins, Martin C. Rinard

Proceedings of the ACM/SIGSOFT International Symposium on Software Testing and Analysis, 2006

2005

Data structure repair using goal-directed reasoning.

Brian Demsky, Martin C. Rinard

Proceedings of the 27th International Conference on Software Engineering (ICSE 2005), 2005

2003

Automatic detection and repair of errors in data structures.

Brian Demsky, Martin C. Rinard

Proceedings of the 2003 ACM SIGPLAN Conference on Object-Oriented Programming Systems, 2003

Static Specification Analysis for Termination of Specification-Based Data Structure Repair.

Brian Demsky, Martin C. Rinard

Proceedings of the 14th International Symposium on Software Reliability Engineering (ISSRE 2003), 2003

2002

Role-based exploration of object-oriented programs.

Brian Demsky, Martin C. Rinard

Proceedings of the 24th International Conference on Software Engineering, 2002