Write a Blog >>
VPT 2019
Mon 1 - Thu 4 April 2019 Genoa, Italy
co-located with ‹Programming› 2019
VenueHotel Bristol Palace
Room nameVerdi
Floor1
Capacity15
Room Information

The Verdi room can accommodate up to 25 people, illuminated by natural light, is ideal for organizing business meetings, small conferences and training days for its staff.

Verdi room

Program

You're viewing the program in a time zone which is different from your device's time zone change time zone

Mon 1 Apr

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

09:00 - 10:30
ELS 2019 Keynote SlotICW at Verdi
Chair(s): Oleks Shturmov University of Oslo
09:00
90m
Other
ELS 2019 Keynote Slot
ICW
Oleks Shturmov University of Oslo
11:00 - 12:30
ICW IntroICW at Verdi
Chair(s): Eric Jul University of Oslo
11:00
15m
Day opening
Introduction to the Workshop
ICW
Eric Jul University of Oslo
11:15
20m
Talk
Interconnecting Code in 2019 — Il buono, il brutto, il cattivo
ICW
Oleks Shturmov University of Oslo
11:35
45m
Talk
Sulong: Executing Low-level Languages on TruffleICW Invited Talk
ICW
K: Manuel Rigger ETH Zurich
12:20
10m
Other
Introductory Discussion
ICW
Eric Jul University of Oslo, Oleks Shturmov University of Oslo
14:00 - 15:30
ICW Part IICW at Verdi
Chair(s): Eric Jul University of Oslo
14:00
30m
Short-paper
Towards Polyglot Adapters for the GraalVM
ICW
Fabio Niephaus Hasso Plattner Institute, University of Potsdam, Tim Felgentreff Oracle Labs, Potsdam, Robert Hirschfeld Hasso-Plattner-Institut (HPI), Germany
DOI Pre-print
14:30
30m
Short-paper
The Issue Of Source Code Repository Management In Large Enterprises
ICW
DOI Media Attached File Attached
15:00
30m
Short-paper
Factoring out Glue-code in Systems of IoT devices
ICW
Boris Magnusson Lund University, Sweden, Görel Hedin , Björn Johnsson Lund University
16:00 - 17:30
ICW Part IIICW at Verdi
Chair(s): Eric Jul University of Oslo
16:00
30m
Short-paper
Gluing Internet of Things Together
ICW
Alfred Åkesson Lund University, Sweden, Mattias Nordahl Lund University, Gorel Hedin Lund University, Boris Magnusson Lund University, Sweden
16:30
30m
Short-paper
Live GUI Development for Service-Based Systems
ICW
Boris Magnusson Lund University, Sweden, Björn Johnsson Lund University
17:00
30m
Other
Panel Discussion & Wrap Up
ICW
Eric Jul University of Oslo, Oleks Shturmov University of Oslo

Tue 2 Apr

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

08:55 - 10:30
Session 1VPT 2019 at Verdi
08:55
5m
Day opening
Welcome
VPT 2019
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 2019
10:00
30m
Talk
Polyvariant Program Specialisation with Property-Based Abstraction
VPT 2019
John P. Gallagher Roskilde University
11:00 - 12:30
Session 2VPT 2019 at Verdi
11:00
60m
Talk
Validation of Internet of Things FrameworksVPT Invited Talk
VPT 2019
Giorgio Delzanno DIBRIS, University of Genova
12:00
30m
Talk
Lemma Generation for Horn Clause Satisfiability: A Preliminary Study
VPT 2019
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 2019 at Verdi
14:00
60m
Talk
Hacking program analysis: a systematic approach to code protectionVPT Invited Talk
VPT 2019
Roberto Giacobazzi University of Verona and IMDEA Software Institute
15:00
30m
Talk
Static Program Analysis for String Manipulation Languages
VPT 2019
Vincenzo Arceri University of Verona, Italy, Isabella Mastroeni University of Verona, Italy
16:00 - 17:10
Session 4VPT 2019 at Verdi
16:00
20m
Talk
Iteratively Composing Statically Verified Traits
VPT 2019
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 2019
16:40
20m
Talk
Study of Recursion Elimination for a Class of Semi-interpreted Recursive Program Schemata
VPT 2019
Nikolay Shilov Innopolis University
17:00
10m
Day closing
Closing
VPT 2019
Alexei Lisitsa University of Liverpool , Andrei Nemytykh Program Systems Institute of RAS, Russia
18:00 - 22:00
Steering Committee Meeting‹Programming› at Verdi
18:00
4h
Meeting
Steering Committee Meeting (NOT PUBLIC)
‹Programming›

Mon 1 Apr

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

Room9:003010:003011:003012:003013:003014:003015:003016:003017:0030
Verdi

Tue 2 Apr

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

Room8:00309:003010:003011:003012:003013:003014:003015:003016:003017:003018:003019:003020:003021:0030
Verdi