Verdi - VPT 2019

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

Time Zone

The program is currently displayed in (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna.

Use conference time zone: (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, ViennaSelect 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

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 Nicolas Brousse Adobe 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 Massimo Bartoletti
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 Antonina Nepeivoda
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


Room	9:00						30						10:00						30						11:00						30						12:00						30						13:00						30						14:00						30						15:00						30						16:00						30						17:00						30
Verdi	ICW ELS 2019 Keynote Slot																								ICW ICW Intro																																				ICW ICW Part I																								ICW ICW Part II

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


Room	8:00						30						9:00						30						10:00						30						11:00						30						12:00						30						13:00						30						14:00						30						15:00						30						16:00						30						17:00						30						18:00						30						19:00						30						20:00						30						21:00						30
Verdi												VPT 2019 Session 1																									VPT 2019 Session 2																																				VPT 2019 Session 3																								VPT 2019 Session 4																								‹Programming› Steering Committee Meeting

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


Room	9:00			15			30			45			10:00			15			30			45			11:00			15			30			45			12:00			15			30			45			13:00			15			30			45			14:00			15			30			45			15:00			15			30			45			16:00			15			30			45			17:00			15			30			45
Verdi	ICW ELS 2019 Keynote Slot 09:00 - 10:30																								ICW Introduction to the Workshop 11:00 - 11:15			ICW Interconnecting Code in 2019 — Il buono, il brutto, il cattivo 11:15 - 11:35				ICWICW Invited Talk Sulong: Executing Low-level Languages on Truffle 11:35 - 12:20									ICW Introductory Discussion 12:20 - 12:30																				ICW Towards Polyglot Adapters for the GraalVM 14:00 - 14:30						ICW The Issue Of Source Code Repository Management In Large Enterprises 14:30 - 15:00						ICW Factoring out Glue-code in Systems of IoT devices 15:00 - 15:30												ICW Gluing Internet of Things Together 16:00 - 16:30						ICW Live GUI Development for Service-Based Systems 16:30 - 17:00						ICW Panel Discussion & Wrap Up 17:00 - 17:30

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


Room	8:00			15			30			45			9:00			15			30			45			10:00			15			30			45			11:00			15			30			45			12:00			15			30			45			13:00			15			30			45			14:00			15			30			45			15:00			15			30			45			16:00			15			30			45			17:00			15			30			45			18:00			15			30			45			19:00			15			30			45			20:00			15			30			45			21:00			15			30			45
Verdi												VPT Welcome 08:55 - 09:00	VPTVPT Invited Talk Modelling and verifying Bitcoin contracts. 09:00 - 10:00												VPT Polyvariant Program Specialisation with Property-Based Abstraction 10:00 - 10:30												VPTVPT Invited Talk Validation of Internet of Things Frameworks 11:00 - 12:00												VPT Lemma Generation for Horn Clause Satisfiability: A Preliminary Study 12:00 - 12:30																								VPTVPT Invited Talk Hacking program analysis: a systematic approach to code protection 14:00 - 15:00												VPT Static Program Analysis for String Manipulation Languages 15:00 - 15:30												VPT Iteratively Composing Statically Verified Traits 16:00 - 16:20				VPT Verifying String Replacing Procedures by Supercompilation 16:20 - 16:40				VPT Study of Recursion Elimination for a Class of Semi-interpreted Recursiv ... 16:40 - 17:00				VPT Closing 17:00 - 17:10												‹Programming› Steering Committee Meeting (NOT PUBLIC) 18:00 - 22:00

Room information: Verdi

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

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

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

ICW

ICW

ICW

ICW

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

VPT 2019

VPT 2019

VPT 2019

VPT 2019

‹Programming›

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

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

Tracks

Room information: Verdi

Program Display Configuration

Mon 1 AprDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Tue 2 AprDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Mon 1 AprDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

ICW

ICW

ICW

ICW

Tue 2 AprDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

VPT 2019

VPT 2019

VPT 2019

VPT 2019

‹Programming›

Mon 1 AprDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Tue 2 AprDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

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

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

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

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

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

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