CHAIR: Satish Chandra, IBM Research, USA
Efficient and precise Typestate Analysis by determining Continuation-equivalent States, Eric Bodden (Technische Universitaet Darmstadt, Germany)
Online Inference and Enforcement of Temporal Properties, Mark Gabel and Zhendong Su (University of California, Davis, USA)