Riding the Design Wave I

Technical/Research Track
When: Wednesday, May 25 4:00PM
Location: Coral Ballroom 5
Chair: Mauro Pezzè
LIME: A Framework for Debugging Load Imbalance in Multi-threaded Execution
Jungju Oh, Christopher J. Hughes, Guru Venkataramani, and Milos Prvulovic
Synthesis of Live Behaviour Models for Fallible Domains
Nicolás D'Ippolito, Victor Braberman, Nir Piterman, and Sebastián Uchitel
Coverage Guided Systematic Concurrency Testing
Chao Wang, Mahmoud Said, and Aarti Gupta