‹Programming› 2019
Mon 1 - Thu 4 April 2019 Genoa, Italy
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
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

09:00 - 10:30
ELS 2019 Keynote SlotICW at Verdi
Chair(s): Oleks ShturmovUniversity of Oslo
09:00
90m
Other
ELS 2019 Keynote Slot
ICW
Oleks ShturmovUniversity of Oslo
11:00 - 12:30
ICW IntroICW at Verdi
Chair(s): Eric JulUniversity of Oslo
11:00
15m
Day opening
Introduction to the Workshop
ICW
Eric JulUniversity of Oslo
11:15
20m
Talk
Interconnecting Code in 2019 — Il buono, il brutto, il cattivo
ICW
Oleks ShturmovUniversity of Oslo
11:35
45m
Talk
Sulong: Executing Low-level Languages on TruffleICW Invited Talk
ICW
K: Manuel RiggerETH Zurich
12:20
10m
Other
Introductory Discussion
ICW
Eric JulUniversity of Oslo, Oleks ShturmovUniversity of Oslo
14:00 - 15:30
ICW Part IICW at Verdi
Chair(s): Eric JulUniversity of Oslo
14:00
30m
Short-paper
Towards Polyglot Adapters for the GraalVM
ICW
Fabio NiephausHasso Plattner Institute, University of Potsdam, Tim FelgentreffOracle Labs, Potsdam, Robert HirschfeldHasso-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 MagnussonLund University, Sweden, Görel Hedin, Björn JohnssonLund University
16:00 - 17:30
ICW Part IIICW at Verdi
Chair(s): Eric JulUniversity of Oslo
16:00
30m
Short-paper
Gluing Internet of Things Together
ICW
Alfred ÅkessonLund University, Sweden, Mattias NordahlLund University, Gorel HedinLund University, Boris MagnussonLund University, Sweden
16:30
30m
Short-paper
Live GUI Development for Service-Based Systems
ICW
Boris MagnussonLund University, Sweden, Björn JohnssonLund University
17:00
30m
Other
Panel Discussion & Wrap Up
ICW
Eric JulUniversity of Oslo, Oleks ShturmovUniversity of Oslo

Tue 2 Apr
Times are displayed in 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 LisitsaUniversity of Liverpool , Andrei NemytykhProgram 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. GallagherRoskilde University
11:00 - 12:30
Session 2VPT at Verdi
11:00
60m
Talk
Validation of Internet of Things FrameworksVPT Invited Talk
VPT
Giorgio DelzannoDIBRIS, University of Genova
12:00
30m
Talk
Lemma Generation for Horn Clause Satisfiability: A Preliminary Study
VPT
Emanuele De AngelisUniversity of Chieti-Pescara, Fabio FioravantiUniversity of Chieti-Pescara, Alberto PettorossiUniversity of Rome Tor Vergata, Italy, Maurizio ProiettiCNR-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 GiacobazziUniversity of Verona and IMDEA Software Institute
15:00
30m
Talk
Static Program Analysis for String Manipulation Languages
VPT
Vincenzo ArceriUniversity of Verona, Italy, Isabella MastroeniUniversity 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 ServettoVictoria University Wellington, New Zealand, Alex PotaninVictoria 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 ShilovInnopolis University
17:00
10m
Day closing
Closing
VPT
Alexei LisitsaUniversity of Liverpool , Andrei NemytykhProgram Systems Institute of RAS, Russia
18:00 - 22:00
Steering Committee Meeting at Verdi
18:00
4h
Meeting
Steering Committee Meeting (NOT PUBLIC)

Mon 1 Apr
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

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

Tue 2 Apr
Times are displayed in 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

Mon 1 Apr
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change