Code Analysis

Track: Technical Research
When: May 23, 2013 10:30
Location: Grand Ballroom A
Chair: Alessandro Orso

Partition-Based Regression Verification

Marcel Böhme, Bruno C. d. S. Oliveira, and Abhik Roychoudhury
National University of Singapore, Singapore

Automated Diagnosis of Software Configuration Errors

Sai Zhang and Michael D. Ernst
University of Washington, USA

Detecting Deadlock in Programs with Data-Centric Synchronization

Daniel Marino, Christian Hammer, Julian Dolby, Mandana Vaziri, Frank Tip, and Jan Vitek
Symantec Research Labs, USA; Saarland University, Germany; IBM Research, USA; University of Waterloo, Canada; Purdue University, USA