A Formal Verification Tool for Ethereum VM Bytecode (ESEC/FSE 2018 - Demonstrations)

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

Who

Daejun Park, Yi Zhang, Manasvi Saxena, Philip Daian, Grigore Roşu

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

Save

When

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

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

United States

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

Display full programSpecify a time band

Save

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