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

Conference Day
Sun 7 Jan

Displayed time zone: Tijuana, Baja California change

10:30 - 12:00
SynthesisVMCAI at Watercourt
Chair(s): K. Rustan M. LeinoAmazon
10:30
30m
Talk
Abstraction-Based Interaction Model for Synthesis
VMCAI
Hila Peleg, Shachar ItzhakyTechnion, Israel, Sharon ShohamTel Aviv university
11:00
30m
Talk
A Framework for Computer-Aided Design of Educational Domain Models
VMCAI
Eric ButlerUniversity of Washington, Emina TorlakUniversity of Washington, Zoran PopovicUniversity of Washington
11:30
30m
Talk
Generating Tests by Example
VMCAI
Hila Peleg, Dan RasinTechnion – Israel Institute of Technology, Eran YahavTechnion