Brandon M. Lucia
Graduate Student
Dept. of Computer Science
University of Washington
PO Box 352350
Seattle, WA 98195
Paul Allen Center, rm. 602

Email: [first initial + last name] [ at ] gmail [ dot ] com

I am currently working with Luis Ceze here at UW on research in Computer Architecture. The focus of my research is on making software more reliable, and in particular, making concurrent programs more reliable. We can do this in two ways: the first way is to enable people to more easily create concurrent programs; the second way is to take broken things that people have created, and make them run as correctly as we can. I think that we can accomplish these goals with good, new bug detection tools and programming and execution models, in combination with bug avoidance and software error tolerance mechanisms. I think by adding minor architectural support to our solutions, we can make them effective not just during software development, but rather for the lifetime of software (from soup, to nuts).

Finding Concurrency Bugs with Context-Aware Communication Graphs
Brandon Lucia, Luis Ceze
MICRO 2009[paper]

The Case for System Support for Concurrency Exceptions
Luis Ceze, Joseph Devietti, Brandon Lucia, Shaz Qadeer
USENIX HotPar 200[paper]

DMP: Deterministic shared-memory MultiProcessing
Joseph Devietti, Brandon Lucia, Mark Oskin, Luis Ceze
ASPLOS '09 [paper]

Atom-Aid: Surviving and Detecting Atomicity Violations
Brandon Lucia, Joseph Devietti, Karin Strauss, Luis Ceze
ISCA 2008 [paper][paper-alt-link][slides(.key),(.ppt)]
Selected for IEEE Micro Top Picks '09

Explicitly Parallel Programming with Shared-Memory is Insane: At Least Make it Deterministic!
Joe Devietti, Brandon Lucia, Luis Ceze and Mark Oskin
Workshop on Software and Hardware Challenges of Manycore Platforms '08 [paper ]