‹Programming› 2019
Mon 1 - Thu 4 April 2019 Genoa, Italy
VenueHotel Bristol Palace
Room nameVerdi
Floor1
Capacity15
Additional 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 - 10:30
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 - 11:15
Day opening
Introduction to the Workshop
ICW
Eric JulUniversity of Oslo
11:15 - 11:35
Talk
Interconnecting Code in 2019 — Il buono, il brutto, il cattivo
ICW
Oleks ShturmovUniversity of Oslo
11:35 - 12:20
Talk
Sulong: Executing Low-level Languages on TruffleICW Invited Talk
ICW
K: Manuel RiggerETH Zurich
12:20 - 12:30
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 - 14:30
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 - 15:00
Short-paper
The Issue Of Source Code Repository Management In Large Enterprises
ICW
DOI Media Attached File Attached
15:00 - 15:30
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 - 16:30
Short-paper
Gluing Internet of Things Together
ICW
Alfred ÅkessonLund University, Sweden, Mattias NordahlLund University, Gorel HedinLund University, Boris MagnussonLund University, Sweden
16:30 - 17:00
Short-paper
Live GUI Development for Service-Based Systems
ICW
Boris MagnussonLund University, Sweden, Björn JohnssonLund University
17:00 - 17:30
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 - 09:00
Day opening
Welcome
VPT
Alexei LisitsaUniversity of Liverpool , Andrei NemytykhProgram Systems Institute of RAS, Russia
09:00 - 10:00
Talk
Modelling and verifying Bitcoin contracts.VPT Invited Talk
VPT
10:00 - 10:30
Talk
Polyvariant Program Specialisation with Property-Based Abstraction
VPT
John P. GallagherRoskilde University
11:00 - 12:30: Session 2VPT at Verdi
11:00 - 12:00
Talk
Validation of Internet of Things FrameworksVPT Invited Talk
VPT
Giorgio DelzannoDIBRIS, University of Genova
12:00 - 12:30
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 - 15:00
Talk
Hacking program analysis: a systematic approach to code protectionVPT Invited Talk
VPT
Roberto GiacobazziUniversity of Verona and IMDEA Software Institute
15:00 - 15:30
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 - 16:20
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 - 16:40
Talk
Verifying String Replacing Procedures by Supercompilation
VPT
16:40 - 17:00
Talk
Study of Recursion Elimination for a Class of Semi-interpreted Recursive Program Schemata
VPT
Nikolay ShilovInnopolis University
17:00 - 17:10
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 - 22:00
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