Brian Demsky

ORCID

Publication Activity (10 Years)

Years Active: 2002-2024
Publications (10 Years): 22

Top Venues

Massachusetts Institute of Technology, Cambridge, MA, USA (PHD)

Education History

Massachusetts Institute of Technology, Cambridge, MA, USA

PHD

Publications

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

Brian Demsky.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Brian Demsky