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

Wed 7 Nov
Times are displayed in time zone: Guadalajara, Mexico City, Monterrey change

15:30 - 17:00
ModelsDemonstrations at Spring Lake
Chair(s): Hamid BagheriUniversity of Nebraska-Lincoln, USA
15:30
22m
Talk
A Formal Verification Tool for Ethereum VM Bytecode
Demonstrations
Daejun ParkUniversity of Illinois at Urbana-Champaign, Yi ZhangUniversity of Illinois at Urbana-Champaign, Manasvi SaxenaRuntime Verification, Inc., Philip Daian, Grigore Ro┼čuUniversity of Illinois at Urbana-Champaign
15:52
22m
Talk
ASketch: A Sketching Framework for Alloy
Demonstrations
Kaiyuan Wang, Allison Sullivan, Darko MarinovUniversity of Illinois at Urbana-Champaign, Sarfraz KhurshidUniversity of Texas at Austin
16:15
22m
Talk
VT-Revolution: Interactive Programming Tutorials Made Possible
Demonstrations
Lingfeng Bao Zhejiang University City College, Zhenchang XingAustralia National University, Xin XiaMonash University, David LoSingapore 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 ErataUNIT Information Technologies R&D Ltd., Arda GoknilUniversity of Luxembourg, Ivan KurtevAltran Netherlands, Bedir TekinerdoganWageningen University, The Netherlands