Text Size

Demonstrations: Authoring and Synthesis


Authoring and Synthesis

May 21st, Thursday, 02:00 pm - 03:30 pm
Session Chair: Christian Kästner, Carnegie Mellon University
Room: F1b

02:00 - 02:10




Yu Pei; Carlo A. Furia; Martin Nordio; Bertrand Meyer

ETH Zurich, Switzerland


02:10 - 02:20




Dustin Wüest; Norbert Seyff; Martin Glinz

University of Zurich, Switzerland


02:20 - 02:30




Tihomir Gvero; Viktor Kuncak

EPFL, Switzerland


02:30 - 02:40




Hung Viet Nguyen; Christian Kaestner; Tien N. Nguyen

Iowa State University, USA; Carnegie Mellon University, USA


02:40 - 02:50




Michalis Famelis; Naama Ben-David; Alessio Di Sandro; Rick Salay; Marsha Chechik

University of Toronto, Canada


02:50 - 03:00




Sumit Gulwani; Mikaël Mayer; Filip Niksic; Ruzica Piskac

Microsoft Research Redmond, USA; EPFL, Switzerland; MPI-SWS, Germany; Yale University, USA


03:00 - 03:10




Christine Franks; Zhaopeng Tu; Premkumar Devanbu; Vincent Hellendoorn

University of California at Davis, USA; Huawei Noah’s Ark Lab, Hong Kong; Delft University of Technology, Netherlands


03:10 - 03:20




Mario Linares-Vásquez; Luis Fernando Cortes-Coy; Jairo Aponte; Denys Poshyvanyk

College of William and Mary, USA; Universidad Nacional de Colombia, Colombia

NOTE! This site uses cookies and similar technologies.

If you not change browser settings, you agree to it. Learn more

I understand