Text Size
FacebookTwitterStumbleuponyoutubeflickr

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