‹Programming› 2019 (series) / VPT 2019 (series) /
VPT 2019 Program
This is the VPT 2019 program - see the full program for ‹Programming› 2019 and all affiliated events.
Filter Program
Dates
Rooms
Tracks
Badges
Your Program
Tue 2 AprDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
Tue 2 Apr
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
08:55 - 10:30 | |||
08:55 5mDay opening | Welcome VPT | ||
09:00 60mTalk | Modelling and verifying Bitcoin contracts.VPT Invited Talk VPT | ||
10:00 30mTalk | Polyvariant Program Specialisation with Property-Based Abstraction VPT John P. Gallagher Roskilde University |
11:00 - 12:30 | |||
11:00 60mTalk | Validation of Internet of Things FrameworksVPT Invited Talk VPT Giorgio Delzanno DIBRIS, University of Genova | ||
12:00 30mTalk | 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 | |||
14:00 60mTalk | Hacking program analysis: a systematic approach to code protectionVPT Invited Talk VPT Roberto Giacobazzi University of Verona and IMDEA Software Institute | ||
15:00 30mTalk | Static Program Analysis for String Manipulation Languages VPT |
16:00 - 17:10 | |||
16:00 20mTalk | 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 20mTalk | Verifying String Replacing Procedures by Supercompilation VPT | ||
16:40 20mTalk | Study of Recursion Elimination for a Class of Semi-interpreted Recursive Program Schemata VPT Nikolay Shilov Innopolis University | ||
17:00 10mDay closing | Closing VPT |