Program Surfing II

Technical/Research Track
When: Friday, May 27 10:30AM
Location: Coral Ballroom 4
Chair: Harold Ossher
Interface Decomposition for Service Compositions
Domenico Bianculli, Dimitra Giannakopoulou, and Corina S. Păsăreanu
Unifying Execution of Imperative and Declarative Code
Aleksandar Milicevic, Derek Rayside, Kuat Yessenov, and Daniel Jackson
Always-available Static and Dynamic Feedback
Michael Bayne, Richard Cook, and Michael D. Ernst