Brian Demsky


Associate Professor
Electrical Engineering and Computer Science
University of California, Irvine

email:
office: EH 4414
phone: (949) 824-0356
fax: (949) 824-3203


I am an associate professor in the Department of Electrical Engineering and Computer Science at the University of California at Irvine. I hold a courtesy appointment in the Department of Computer Science in the Donald Bren School of Information and Computer Sciences.

Students: I am currently seeking several PhD students in my group with full GSR support. Please contact me for details. It may be possible to admit especially strong candidates for the 2014 Winter or Spring quarter.


Research Interests


My current research interests are in compilation, program analysis, and software engineering. Some of my group's ongoing research includes:

Software


Courses


EECS218 Distributed Computer Systems
Spring 09

EECS221 Compilers, Program Analysis, and Software Engineering
Spring 09

EECS114 Engineering Data Structures and Algorithms
Fall 08

EECS218 Distributed Computer Systems
Spring 08

EECS221 Compilers, Program Analysis, and Software Engineering
Spring 08

EECS114 Engineering Data Structures and Algorithms
Fall 07

EECS221 Compilers, Program Analysis, and Software Engineering
Winter 07

EECS215 Design and Analysis of Algorithms
Fall 06

EECS114 Engineering Data Structures and Algorithms
Fall 06

EECS10 Computational Methods in Electrical Engineering and Computer Engineering
Winter 06


Select Publications (Complete List)



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

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

Views: Object-Inspired Concurrency Control
Brian Demsky and Patrick Lam
Proceedings of the 2010 International Conference on Software Engineering
May 2010

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

Bristlecone: A Language for Robust Software Systems
Brian Demsky and Alokika Dash
Proceedings of the 22nd European Conference on Object-Oriented Programming
July 2008

Goal-Directed Reasoning for Specification-Based Data Structure Repair
Brian Demsky and Martin C. Rinard
IEEE Transactions on Software Engineering
December 2006

Inference and Enforcement of Data Structure Consistency Specifications
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
July 2006

Data Structure Repair Using Goal-Directed Reasoning
Brian Demsky and Martin C. Rinard
Proceedings of the 2005 International Conference on Software Engineering
May 2005
ACM SIGSOFT Distinguished Paper Award

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

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




Other


Check out my brother's mountaineering backpack company Figure Four Packs.