VT-Revolution: Interactive Programming Tutorials Made Possible (ESEC/FSE 2018 - Demonstrations) - ESEC/FSE 2018

Sun 4 - Fri 9 November 2018 Lake Buena Vista, Florida, United States

Who

Lingfeng Bao , Zhenchang Xing, Xin Xia, David Lo, Shanping Li

Track

ESEC/FSE 2018 Demonstrations

Time Zone

The program is currently displayed in (GMT-05:00) Guadalajara, Mexico City, Monterrey.

Use conference time zone: (GMT-05:00) Guadalajara, Mexico City, MonterreySelect 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

When

Wed 7 Nov 2018 16:15 - 16:37 at Spring Lake - Models Chair(s): Hamid Bagheri

Lingfeng Bao

Zhejiang University City College

Zhenchang Xing

Australia National University

Australia

Xin Xia

Monash University

Australia

David Lo

Singapore Management University

Singapore

Shanping Li

Time Zone

The program is currently displayed in (GMT-05:00) Guadalajara, Mexico City, Monterrey.

Use conference time zone: (GMT-05:00) Guadalajara, Mexico City, MonterreySelect 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

Session Program

Wed 7 Nov
Displayed time zone: Guadalajara, Mexico City, Monterrey change

	15:30 - 17:00	ModelsDemonstrations at Spring Lake Chair(s): Hamid Bagheri University of Nebraska-Lincoln, USA

	15:30 22m Talk		A Formal Verification Tool for Ethereum VM Bytecode Demonstrations Daejun Park University of Illinois at Urbana-Champaign, Yi Zhang University of Illinois at Urbana-Champaign, Manasvi Saxena Runtime Verification, Inc., Philip Daian , Grigore Roşu University of Illinois at Urbana-Champaign
	15:52 22m Talk		ASketch: A Sketching Framework for Alloy Demonstrations Kaiyuan Wang , Allison Sullivan , Darko Marinov University of Illinois at Urbana-Champaign, Sarfraz Khurshid University of Texas at Austin
	16:15 22m Talk		VT-Revolution: Interactive Programming Tutorials Made Possible Demonstrations Lingfeng Bao Zhejiang University City College, Zhenchang Xing Australia National University, Xin Xia Monash University, David Lo Singapore Management University, Shanping Li
	16:37 22m Talk		AlloyInEcore: Embedding of First-Order Relational Logic into Meta-Object Facility for Automated Model Reasoning Demonstrations Ferhat Erata UNIT Information Technologies R&D Ltd., Arda Goknil University of Luxembourg, Ivan Kurtev Altran Netherlands, Bedir Tekinerdogan Wageningen University, The Netherlands