‹Programming› 2019
Mon 1 - Thu 4 April 2019 Genoa, Italy
You're viewing the program in a time zone which is different from your device's time zone change time zone

Tue 2 Apr

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

08:55 - 10:30
Session 1VPT at Verdi
08:55
5m
Day opening
Welcome
VPT
Alexei Lisitsa University of Liverpool , Andrei Nemytykh Program Systems Institute of RAS, Russia
09:00
60m
Talk
Modelling and verifying Bitcoin contracts.VPT Invited Talk
VPT
10:00
30m
Talk
Polyvariant Program Specialisation with Property-Based Abstraction
VPT
John P. Gallagher Roskilde University
11:00 - 12:30
Session 2VPT at Verdi
11:00
60m
Talk
Validation of Internet of Things FrameworksVPT Invited Talk
VPT
Giorgio Delzanno DIBRIS, University of Genova
12:00
30m
Talk
Lemma Generation for Horn Clause Satisfiability: A Preliminary Study
VPT
Emanuele De Angelis University of Chieti-Pescara, Fabio Fioravanti University of Chieti-Pescara, Alberto Pettorossi University of Rome Tor Vergata, Italy, Maurizio Proietti CNR-IASI
14:00 - 15:30
Session 3VPT at Verdi
14:00
60m
Talk
Hacking program analysis: a systematic approach to code protectionVPT Invited Talk
VPT
Roberto Giacobazzi University of Verona and IMDEA Software Institute
15:00
30m
Talk
Static Program Analysis for String Manipulation Languages
VPT
Vincenzo Arceri University of Verona, Italy, Isabella Mastroeni University of Verona, Italy
16:00 - 17:10
Session 4VPT at Verdi
16:00
20m
Talk
Iteratively Composing Statically Verified Traits
VPT
Isaac Oscar Gariano , Marco Servetto Victoria University Wellington, New Zealand, Alex Potanin Victoria University of Wellington, Hrshikesh Arora
16:20
20m
Talk
Verifying String Replacing Procedures by Supercompilation
VPT
16:40
20m
Talk
Study of Recursion Elimination for a Class of Semi-interpreted Recursive Program Schemata
VPT
Nikolay Shilov Innopolis University
17:00
10m
Day closing
Closing
VPT
Alexei Lisitsa University of Liverpool , Andrei Nemytykh Program Systems Institute of RAS, Russia