Programming Languages Research Group

Conferences and Workshops

A Model Counter For Constraints Over Unbounded Strings (bibtex)
Loi Luu, Shweta Shinde, Prateek Saxena, and Brian Demsky
Proceedings of the 35th Annual ACM SIGPLAN Conference on Programming Language Design and Implementation
Edinburgh, United Kingdom June 2014

SInfer: Inferring Information Flow Lattices for Checking Self-Stabilization (bibtex)
Yong hun Eom and Brian Demsky
Proceedings of the 24th IEEE International Symposium on Software Reliability Engineering
Pasadena, California November 2013

CDSChecker: Checking Concurrent Data Structures Written with C/C++ Atomics (bibtex)
Brian Norris and Brian Demsky
Proceedings of the 2013 Conference on Object-Oriented Programming, Systems, Languages, and Applications
Indianapolis, Indiana October 2013

Memory Management for Many-Core Processors (bibtex)
Jin Zhou and Brian Demsky
Proceedings of the 2012 Internation Symposium on Memory Management
Beijing, China June 2012

Self-Stabilizing Java (bibtex)
Yong hun Eom and Brian Demsky
Proceedings of the 2012 Conference on Programming Language Design and Implementation
Beijing, China June 2012

DOJ: Dynamically Parallelizing Object-Oriented Programs (bibtex)
Yong hun Eom, Stephen Yang, James C. Jenista, and Brian Demsky
Proceedings of the ACM SIGPLAN Annual Symposium on Principles and Practice of Parallel Programming
New Orleans, Louisiana February 2012

Using Disjoint Reachability for Parallelization (bibtex)
James C. Jenista, Yong hun Eom, and Brian Demsky
Proceedings of the 20th International Conference on Compiler Construction
Saarbr├╝cken, Germany April 2011

OoOJava: Software Out-of-Order Execution (Draft) (bibtex)
James C. Jenista, Yong hun Eom, and Brian Demsky
Proceedings of the ACM SIGPLAN Annual Symposium on Principles and Practice of Parallel Programming
San Antonio, TX February 2011

Automatically Generating Symbolic Prefetches for Distributed Transactional Memories (bibtex)
Alokika Dash and Brian Demsky
Proceedings of the ACM/IFIP/USENIX 11th International Middleware Conference
Bangalore, India November 2010

Recovery Tasks: An Automated Approach to Failure Recovery (bibtex)
Brian Demsky, Jin Zhou, and William Montaz
Proceedings on the First International Conference on Runtime Verification
Malta November 2010

OoOJava: An Out-of-Order Approach to Parallel Programming (bibtex)
James C. Jenista, Yonghun Eom, and Brian Demsky
Proceedings of the Second USENIX Workshop on Hot Topics in Parallelism
Berkeley, California June 2010

Bamboo: A Data-Centric, Object-Oriented Approach to Multi-core Software (bibtex)
Jin Zhou and Brian Demsky
Proceedings of the 2010 Conference on Programming Language Design and Implementation
Toronto, Canada June 2010

Views: Object-Inspired Concurrency Control (bibtex)
Brian Demsky and Patrick Lam
Proceedings of the 2010 International Conference on Software Engineering
Cape Town, South Africa May 2010

Evaluating Contention Management Using Discrete Event Simulation (bibtex)
Brian Demsky and Alokika Dash
Fifth ACM SIGPLAN Workshop on Transactional Computing
Paris, France April 2010

Automatically Tuning Task-Based Programs for Multi-core Processors (bibtex)
Jin Zhou and Brian Demsky
The 4th International Workshop on Automatic Performance Tuning
Tokyo, Japan October 2009
Slides

Garm: Cross Application Data Provenance and Policy Enforcement (bibtex)
Brian Demsky
4th USENIX Workshop on Hot Topics in Security
Montreal, Canada August 2009

AFID: An Automated Fault Identification Tool (bibtex)
Alex Edwards, Sean Tucker, Sebastien Worms, Rahul Vaidya, and Brian Demsky
Proceedings of the 2008 International Symposium on Software Testing and Analysis
Seattle, Washington July 2008
Slides

Bristlecone: A Language for Robust Software Systems (bibtex)
Brian Demsky and Alokika Dash
Proceedings of the 22nd European Conference on Object-Oriented Programming (Lecture Notes in Computer Science)
Paphos, Cyprus July 2008
Slides

Inference and Enforcement of Data Structure Consistency Specifications (bibtex)
Brian Demsky, Michael D. Ernst, Philip J. Guo, Stephen McCamant, Jeff H. Perkins, and Martin Rinard
Proceedings of the 2006 International Symposium on Software Testing and Analysis
Portland, Maine July 2006

Data Structure Repair Using Goal-Directed Reasoning (bibtex)
Brian Demsky and Martin C. Rinard
Proceedings of the 2005 International Conference on Software Engineering
St. Louis, Missouri May 2005
ACM SIGSOFT Distinguished Paper Award
Slides

Efficient Specification-Assisted Error Localization (bibtex)
Brian Demsky, Cristian Cadar, Daniel Roy, and Martin C. Rinard
Proceedings of the Second International Workshop on Dynamic Analysis
Edinburgh, Scotland May 2004
Slides

Static Specification Analysis for Termination of Specification-Based Data Structure Repair (bibtex)
Brian Demsky and Martin C. Rinard
Proceedings of the 14th IEEE International Symposium on Software Reliability Engineering
Denver, Colorado November 2003
Slides

Automatic Detection and Repair of Errors in Data Structures (bibtex)
Brian Demsky and Martin C. Rinard
Proceedings of the 18th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications
Anaheim, California October 2003
Slides

Automatic Data Structure Repair for Self-Healing Systems (bibtex)
Brian Demsky and Martin C. Rinard
First Workshop on Algorithms and Architectures for Self-Managing Systems
San Diego, California June 2003
Slides

Role-Based Exploration of Object-Oriented Programs (bibtex)
Brian Demsky and Martin C. Rinard
Proceedings of the 2002 International Conference on Software Engineering
Orlando, Florida May 2002
Slides

Journals

Integrating File Operations into Transactional Memory (bibtex)
Brian Demsky and Navid Farri Tehrany
Journal of Parallel and Distributed Computing
Volume 71, Number 10, October 2011

Views: Synthesizing Fine-Grained Concurrency Control (bibtex)
Brian Demsky and Patrick Lam
To Appear In the Transactions on Software Engineering and Methodology
Volume , Number ,

Using Discrete Event Simulation to Analyze Contention Managers (bibtex)
Brian Demsky
International Journal of Parallel Programming
Volume 39, Number 6, December 2011

Integrating Caching and Prefetching Mechanisms in a Distributed Transactional Memory (bibtex)
Alokika Dash and Brian Demsky
IEEE Transactions on Parallel and Distributed Systems
Volume 22, Number 8, August 2011

AFID: An Automated Approach to Collecting Software Faults (bibtex)
Alex Edwards, Sean Tucker, and Brian Demsky
Automated Software Engineering Journal
Volume 17, Number 3, September 2010

Cross Application Data Provenance and Policy Enforcement (bibtex)
Brian Demsky
ACM Transactions on Information and System Security
Volume 14, Number 1, May 2011

Bristlecone: Language Support for Robust Software Applications (bibtex)
Brian Demsky and Sivaji Sundaramurthy
IEEE Transactions on Software Engineering
Volume 37, Number 1, Jan-Feb 2011

Automatic Extraction of Heap Reference Properties in Object-Oriented Programs (bibtex)
Brian Demsky and Martin Rinard
IEEE Transactions on Software Engineering
Volume 35, Number 3, May-June 2009

Goal-Directed Reasoning for Specification-Based Data Structure Repair (bibtex)
Brian Demsky and Martin C. Rinard
IEEE Transactions on Software Engineering
Volume 32, Number 12, December 2006

Cavity dark states for quantum computing (bibtex)
M.S. Shahriar, J.A. Bowers, B. Demsky, P.S. Bhatia, S. Lloyd, P.R. Hemmer, and A.E. Craig
Optics Communications
Volume 195, Number 5-6, August 2001

Technical Reports

Disjoint Reachability Analysis (bibtex)
James C Jenista, Yong hun Eom, and Brian Demsky
Technical Report UCI-ISR-10-4
June 2010

Disjointness Analysis for Java-Like Languages (bibtex)
James C. Jenista and Brian Demsky
Technical Report UCI-ISR-09-1 REVISED
April 2009

Software Transactional Distributed Shared Memory (bibtex)
Alokika Dash and Brian Demsky
Technical Report UCI-ISR-09-2
February 2009

Disjointness Analysis for Java-Like Languages (bibtex)
James C. Jenista and Brian Demsky
Technical Report UCI-ISR-09-1
February 2009

Static Analysis of Task Interactions in Bristlecone for Program Understanding (bibtex)
Brian Demsky and Sivaji Sundaramurthy
Technical Report UCI-ISR-07-7
October 2007

Bristlecone: A Language for Robust Software Systems (bibtex)
Brian Demsky and Alokika Dash
Technical Report UCI-ISR-07-6
October 2007

Data Structure Repair Using Goal-Directed Reasoning (bibtex)
Brian Demsky and Martin C. Rinard
MIT LCS Technical Report 950
May 2004

Efficient Specification-Assisted Error Localization and Correction (bibtex)
Brian Demsky, Cristian Cadar, Daniel Roy, and Martin C. Rinard
MIT CSAIL Technical Report 927
November 2003

Automatic Detection and Repair of Errors in Data Structures (bibtex)
Brian Demsky and Martin C. Rinard
MIT LCS Technical Report 875
December 2002

Other

Symbolic Prefetching in Transaction Distributed Shared Memory (bibtex)
Alokika Dash and Brian Demsky
Poster at the 2010 ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming
Bangalore, India January 2010

Software Transactional Distributed Shared Memory (bibtex)
Alokika Dash and Brian Demsky
Poster at the 2009 ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming
Raleigh, North Carolina February 2009

Data Structure Repair Using Goal-Directed Reasoning (bibtex)
Brian Demsky
Ph.D. Thesis, MIT
January 2006
Slides

An Empirical Study of Technologies to Implement Servers in Java (bibtex)
Brian C. Demsky
M.S. Thesis, MIT
May 2001