Sun 7 Jan 2018 11:00 - 11:30 at Watercourt - Synthesis Chair(s): K. Rustan M. Leino

Sun 7 Jan

Displayed time zone: Tijuana, Baja California change

10:30 - 12:00
SynthesisVMCAI at Watercourt
Chair(s): K. Rustan M. Leino Amazon
10:30
30m
Talk
Abstraction-Based Interaction Model for Synthesis
VMCAI
Hila Peleg , Shachar Itzhaky Technion, Israel, Sharon Shoham Tel Aviv university
11:00
30m
Talk
A Framework for Computer-Aided Design of Educational Domain Models
VMCAI
Eric Butler University of Washington, Emina Torlak University of Washington, Zoran Popovic University of Washington
11:30
30m
Talk
Generating Tests by Example
VMCAI
Hila Peleg , Dan Rasin Technion – Israel Institute of Technology, Eran Yahav Technion