A Framework for Computer-Aided Design of Educational Domain Models (VMCAI 2018 - 19th International Conference on Verification, Model Checking, and Abstract Interpretation)

Sun 7 - Sat 13 January 2018 Los Angeles, California, United States

Who

Eric Butler, Emina Torlak, Zoran Popovic

Track

VMCAI 2018

Time Zone

The program is currently displayed in (GMT-08:00) Tijuana, Baja California.

Use conference time zone: (GMT-08:00) Tijuana, Baja CaliforniaSelect other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.

Display full programSpecify a time band

Save

When

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

Eric Butler

University of Washington

Emina Torlak

University of Washington

United States

Zoran Popovic

University of Washington

Time Zone

The program is currently displayed in (GMT-08:00) Tijuana, Baja California.

Use conference time zone: (GMT-08:00) Tijuana, Baja CaliforniaSelect other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

Display full programSpecify a time band

Save

Session Program

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