Program

08:00(?)-09:00 Breakfast & Registration

09:00-09:15 Opening

09:15-10:30 Invited Talk by Alex Orso: In-house Debugging of Field Failures

Chair: Eric Bodden

10:30-11:00 Coffee Break

11:00-12:30 Testing and Verification

Chair: Danny Weyns

Evaluating Program Analysis and Testing Tools with the RUGRAT Random Benchmark Application Generator
Ishtiaque Hussain, Christoph Csallner, Mark Grechanik, Chen Fu, Qing Xie, Sangmin Park, Kunal Taneja, and B. M. Mainul Hossain
(University of Texas at Arlington, USA; University of Illinois at Chicago, USA; Accenture Technology Labs, USA; Georgia Institute of Technology, USA; North Carolina State University, USA)

Extended Program Invariants: Applications in Testing and Fault Localization
Mohammd Amin Alipour and Alex Groce
(Oregon State University, USA)

Finding Common Ground: Choose, Assert, and Assume
Alex Groce and Martin Erwig
(Oregon State University, USA)

12:30-14:30 Lunch Break

14:30-15:30 Cloud and Adaptive Systems

Chair: Alex Groce

Dynamic Cost Verification for Cloud Applications
Kevin Buell and James Collofello
(Arizona State University, USA)

Towards an Integrated Approach for Validating Qualities of Self-Adaptive Systems
Danny Weyns
(Linnaeus University, Sweden)

15:30-16:00 Coffee Break

16:00-17:00 Software and Hardware Design

Chair: Eric Bodden

Dynamic Analysis of Inefficiently-Used Containers
Shengqian Yang, Dacong Yan, Guoqing Xu, and Atanas Rountev
(Ohio State University, USA; UC Irvine, USA)

Communication-Aware HW/SW Co-design for Heterogeneous Multicore Platforms
Imran Ashraf, Arash Ostadzadeh, Roel Meeuws, and Koen Bertels
(TU Delft, Netherlands)