Program - ‹Programming› 2019

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

Apply

Filter

Badges

Your 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: (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

08:30 - 17:00: - Registration at Registration (Lobby)

09:00 - 10:30: ICW 2019 - ELS 2019 Keynote Slot at Verdi
Chair(s): Oleks ShturmovUniversity of Oslo

09:00 - 10:30
Other

ELS 2019 Keynote Slot

Oleks ShturmovUniversity of Oslo

09:00 - 10:30: ELS 2019 - Keynote at Paganini

09:15 - 09:30
Day opening

Welcome message

09:30 - 10:30
Talk

The Lisp of the prophet for the One True EditorELS Keynote

Stefan MonnierUniversité de Montréal

09:00 - 10:30: PX/19 - Session 1 at Michelangelo
Chair(s): Jens LinckeHasso Plattner Institute, University of Potsdam, Germany

09:00 - 09:30
Talk

IDVE: an Integrated Development and Verification Environment for JavaScript

Christopher SchusterUniversity of California, Santa Cruz, Cormac FlanaganUniversity of California, Santa Cruz

09:30 - 10:00
Talk

Draw This Object: A Study of Debugging Representations

Matúš SulírTechnical University of Košice, Ján Juhár

Pre-print

10:00 - 10:30
Talk

Faster Feedback through Lexical Test Prioritization

Toni MattisHasso Plattner Institute, University of Potsdam, Falco Dürsch, Robert HirschfeldHasso-Plattner-Institut (HPI), Germany

10:30 - 11:00: Catering - Break at Coffee break area

10:30 - 11:00
Coffee break

Break

11:00 - 12:30: ELS 2019 - Emacs Lisp & Lisp Implementation at Paganini

11:00 - 11:30
Talk

Pattern-Based S-Expression Rewriting in Emacs

Ryan CulpepperCzech Technical University

11:30 - 12:00
Talk

Implementing Baker’s | SUBTYPEP Decision Procedure

Léo Valais, Jim NewtonEPITA / LRDE https://www.lrde.epita.fr, Didier VernaEPITA / LRDE

12:00 - 12:30
Talk

MAKE-METHOD-LAMBDA Revisited

Irène Anne Durand, Robert Strandh

11:00 - 12:30: ICW 2019 - ICW Intro at Verdi
Chair(s): Eric JulUniversity of Oslo

11:00 - 11:15
Day opening

Introduction to the Workshop

Eric JulUniversity of Oslo

11:15 - 11:35
Talk

Interconnecting Code in 2019 — Il buono, il brutto, il cattivo

Oleks ShturmovUniversity of Oslo

11:35 - 12:20
Talk

Sulong: Executing Low-level Languages on TruffleICW Invited Talk

Manuel RiggerETH Zurich

12:20 - 12:30
Other

Introductory Discussion

Eric JulUniversity of Oslo, Oleks ShturmovUniversity of Oslo

11:00 - 12:30: PX/19 - Session 2 at Michelangelo
Chair(s): Tobias PapeHasso Plattner Institute, Germany

11:00 - 11:30
Talk

Live Software Development --- Tightening the feedback loops

Ademar AguiarFEUP, Universidade do Porto, André RestivoLIACC, Universidade do Porto, Porto, Portugal, Filipe Figueiredo CorreiaUniversity of Porto, Hugo Sereno FerreiraFEUP, Universidade do Porto, João Pedro DiasINESC TEC, Porto

11:30 - 12:00
Talk

The Meager Validation of Live Programming

Johan FabryRaincode Labs, Belgium

12:00 - 12:30
Talk

PolyJuS: A Squeak/Smalltalk-based Polyglot Notebook System for the GraalVM

Fabio NiephausHasso Plattner Institute, University of Potsdam, Eva Krebs, Christian FlachHasso Plattner Institute, University of Potsdam, Germany, Robert HirschfeldHasso-Plattner-Institut (HPI), Germany, Jens LinckeHasso Plattner Institute, University of Potsdam, Germany

DOI Pre-print

12:30 - 14:00: Catering - Lunch at Lunch area

12:30 - 14:00
Lunch

Lunch

14:00 - 15:30: ICW 2019 - ICW Part I at Verdi
Chair(s): Eric JulUniversity of Oslo

14:00 - 14:30
Short-paper

Towards Polyglot Adapters for the GraalVM

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

Nicolas BrousseAdobe

DOI Media Attached File Attached

15:00 - 15:30
Short-paper

Factoring out Glue-code in Systems of IoT devices

Boris MagnussonLund University, Sweden, Görel Hedin, Björn JohnssonLund University

14:00 - 15:30: ELS 2019 - Meta-Programming at Paganini

14:30 - 15:00
Talk

Finite Automata Theory Based Optimization

Jim NewtonEPITA / LRDE https://www.lrde.epita.fr, Didier VernaEPITA / LRDE

15:00 - 15:30
Talk

Lazy, Parallel Multiple Value Reductions in Common Lisp

Marco Heisig

14:00 - 15:30: ProWeb'19 - ProWeb Session 1 at Bellini

14:00 - 14:40
Talk

How Artificial Intelligence Can Improve Web Development and TestingProWeb Invited Talk

Andrea StoccoUniversità della Svizzera italiana (USI)

14:40 - 15:05
Research paper

GUI Testing in Production: Challenges and Opportunities

Giovanni DenaroUniversity of Milano-Bicocca, Italy, Luca Guglielmo, Leonardo MarianiUniversity of Milano Bicocca, Oliviero Riganelli

15:05 - 15:30
Research paper

Orchestrated Crowdsourced Testing of a Mobile Web Application: A Case Study

Maurizio LeottaDIBRIS, University of Genova, Italy, Vincenzo Petito, Luca Gelati, Giorgio DelzannoDIBRIS, University of Genova, Giovanna Guerrini, Viviana MascardiDIBRIS, University of Genova, Italy

14:00 - 15:30: PX/19 - Session 3 at Michelangelo
Chair(s): Ademar AguiarFEUP, Universidade do Porto

14:00 - 14:30
Talk

Time Series Analysis of Programmer’s EEG for Debug State Classifcation

Toyomi Ishida, Hidetake UwanoNational Institute of Technology, Nara College, Japan

14:30 - 15:00
Talk

Projectional DSLs from the ground up

Meinte BoersmaDutch Tax and Customs Agency

15:00 - 15:30
Talk

What can we learn from systems?

Luke Church, Mariana MarasoiuUniversity of Cambridge

15:30 - 16:00: Catering - Break at Coffee break area

15:30 - 16:00
Coffee break

Break

16:00 - 17:00: ELS 2019 - Code as Data at Paganini

16:00 - 16:30
Talk

Working with First-Order Proofs and Provers

Michael RaskinUniversité de Bordeaux / LaBRI

16:30 - 17:00
Talk

Plagiarism Detection for Common Lisp

António Menezes LeitãoTechnical University of Lisbon, Portugal

17:00 - 17:30
Talk

Lightning Talks I

16:00 - 17:30: ICW 2019 - ICW Part II at Verdi
Chair(s): Eric JulUniversity of Oslo

16:00 - 16:30
Short-paper

Gluing Internet of Things Together

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

Boris MagnussonLund University, Sweden, Björn JohnssonLund University

17:00 - 17:30
Other

Panel Discussion & Wrap Up

Eric JulUniversity of Oslo, Oleks ShturmovUniversity of Oslo

16:00 - 17:30: ProWeb'19 - ProWeb Session 2 at Bellini

16:00 - 16:25
Research paper

Civic Participation Powered by Ethereum: a Proposal

Maura Cerioli, Marina Ribaudo

16:25 - 16:50
Talk

TryLinks: An interactive tutorial system for a cross-tier Web programming language

Junao Wu, Arek Mikolajczak, James CheneyUniversity of Edinburgh, UK

16:50 - 17:20
Research paper

Web Security Training [at] UniGe: an Experience

Andrea Valenza

19:00 - 21:00: Social Events - Reception at Aula Magna

19:00 - 21:00
Social Event

Reception

Tue 2 Apr
Times are displayed in time zone: (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

08:30 - 17:00: - Registration at Registration (Lobby)

08:30 - 17:00
Registration

Registration

08:50 - 10:30: MoreVMs'19 - Just-in-Time Compilation at Michelangelo
Chair(s): Stefan MarrUniversity of Kent, Edd BarrettKing's College London

08:50 - 09:00
Day opening

Welcome

Edd BarrettKing's College London, Stefan MarrUniversity of Kent

09:00 - 10:00
Talk

Region-Based Compilation in the HHVM JIT CompilerMoreVMs Invited Talk

Guilherme OttoniFacebook

10:00 - 10:30
Talk

Extending a Meta-Tracing Compiler to Mix Method and Tracing Compilation

Yusuke IzawaTokyo Institute of Technology, Hidehiko MasuharaTokyo Institute of Technology, Tomoyuki AotaniTokyo Institute of Technology

DOI Pre-print Media Attached

08:55 - 10:30: VPT 2019 - Session 1 at Verdi

08:55 - 09:00
Day opening

Welcome

Alexei LisitsaUniversity of Liverpool , Andrei NemytykhProgram Systems Institute of RAS, Russia

09:00 - 10:00
Talk

Modelling and verifying Bitcoin contracts.VPT Invited Talk

Massimo Bartoletti

10:00 - 10:30
Talk

Polyvariant Program Specialisation with Property-Based Abstraction

John P. GallagherRoskilde University

09:00 - 10:30: ELS 2019 - Keynote at Paganini

09:00 - 10:00
Talk

20 more years of bootstrapping ELS Keynote

Christophe RhodesGoldsmiths, University of London

10:00 - 10:30
Talk

Bootstrapping Common Lisp Using Common Lisp

Irène Anne Durand, Robert Strandh

09:00 - 10:30: CoCoDo 2019 - Opening Talk at Colombo

09:00 - 10:30
Talk

Scrap your DSL Boilerplate with a Universe of Syntaxes, their Programs and Proofs

Guillaume AllaisUniversity of Strathclyde

09:00 - 10:30: Salon des Refusés 2019 - Salon des Refusés - Morning session at Bellini
Chair(s): Luke Church, Philip TchernavskijEx Situ | Université Paris-Sud

09:00 - 09:20
Day opening

Welcome to Salon des Refusés

Philip TchernavskijEx Situ | Université Paris-Sud

09:20 - 09:50
Talk

Let Them Fail: Towards VM built-in behaviour that falls back to the program

Tobias PapeHasso Plattner Institute, Germany, Tim FelgentreffOracle Labs, Potsdam, Fabio NiephausHasso Plattner Institute, University of Potsdam, Robert HirschfeldHasso-Plattner-Institut (HPI), Germany

09:50 - 10:10
Talk

Critique presentation - Let Them Fail

Antranig Basman

10:10 - 10:30
Talk

Panel Discussion on the Boundaries of Computational Artifacts

10:30 - 11:00: Catering - Break at Coffee break area

10:30 - 11:00
Coffee break

Break

11:00 - 12:30: CoCoDo 2019 - Hands-on Session at Colombo

11:00 - 12:30
Tutorial

Language Engineering with Rascal

Tijs van der StormCWI, Netherlands

11:00 - 12:30: MoreVMs'19 - Implementation Aspects at Michelangelo
Chair(s): Edd BarrettKing's College London

11:00 - 11:30
Talk

Efficient Implementation of Smalltalk Activation Records in Language Implementation Frameworks

Fabio NiephausHasso Plattner Institute, University of Potsdam, Tim FelgentreffOracle Labs, Potsdam, Tobias PapeHasso Plattner Institute, Germany, Robert HirschfeldHasso-Plattner-Institut (HPI), Germany

DOI Pre-print

11:30 - 12:00
Talk

Optimization Coaching for Fork/Join Applications on the Java Virtual Machine

Eduardo RosalesUniversity of Lugano, Switzerland, Andrea RosàUniversity of Lugano, Switzerland, Walter BinderUniversity of Lugano, Switzerland

12:00 - 12:30
Talk

To expose, or not to expose, hardware heterogeneity to runtimes!

Shoaib AkramGhent University

11:00 - 12:30: ELS 2019 - Lisp in Action at Paganini

11:00 - 11:45
Talk

Shader Pipeline and Effect Encapsulation using CLOS

Nicolas HafnerShirakumo.org

11:45 - 12:30
Talk

Hierarchical Task Network Planning in Common Lisp

Robert Goldman

11:00 - 12:30: Salon des Refusés 2019 - Salon des Refusés - Second session at Bellini

11:00 - 11:30
Talk

Visual Denotative Programming

Steven Krouse

11:30 - 11:50
Talk

Critique presentation - Visual Denotative Programming

Tomas PetricekUniversity of Kent, Philip TchernavskijEx Situ | Université Paris-Sud

11:50 - 12:30
Other

Panel Discussion on How to Use Formalisms in Programming

11:00 - 12:30: VPT 2019 - Session 2 at Verdi

11:00 - 12:00
Talk

Validation of Internet of Things FrameworksVPT Invited Talk

Giorgio DelzannoDIBRIS, University of Genova

12:00 - 12:30
Talk

Lemma Generation for Horn Clause Satisfiability: A Preliminary Study

Emanuele De AngelisUniversity of Chieti-Pescara, Fabio FioravantiUniversity of Chieti-Pescara, Alberto PettorossiUniversity of Rome Tor Vergata, Italy, Maurizio ProiettiCNR-IASI

12:30 - 14:00: Catering - Lunch at Lunch area

12:30 - 14:00
Lunch

Lunch

12:30 - 14:00: Student Research Competition - Poster Session at Second floor hall
Chair(s): Philipp HallerKTH Royal Institute of Technology, Sweden

12:30 - 14:00
Poster

RML: Runtime monitoring language

Luca FranceschiniDIBRIS, University of Genova, Italy

12:30 - 14:00
Poster

Automatic test case generation from UML state machine diagrams

Dario Olianas

12:30 - 14:00
Poster

Reading logic as code or as natural language text

Patrick ReinHasso Plattner Institute, Germany

12:30 - 14:00
Poster

Cantor pairing in a reversible programming language

Francesco RossiniUniversity of Turin, Italy

12:30 - 14:00
Poster

Exploring example-driven migration

Manuel Leuenberger

12:30 - 14:00
Poster

Magritte: A modern shell language

Jeanine Miller AdkissonTokyo Institute of Technology

12:30 - 14:00
Poster

BacCaml: The Meta-Hybrid Just-In-Time Compiler

Yusuke IzawaTokyo Institute of Technology

12:30 - 14:00
Poster

A framework for big-step semantics

Francesco DagninoDIBRIS, University of Genova, Italy

14:00 - 15:30: ELS 2019 - Racket at Paganini

14:30 - 15:30
Talk

Rebooting RacketELS Special Guest

Matthew FlattUniversity of Utah

14:00 - 15:30: Salon des Refusés 2019 - Salon des Refusés - Third session at Bellini

14:00 - 14:40
Talk

Presentation and Panel Discussion - Minimal Viable Revolution

Luke Church, Antranig Basman

14:40 - 15:10
Talk

Why Can’t Programming Be Like Sketching?

Clayton LewisUniversity of Colorado Boulder

15:10 - 15:30
Talk

Critique presentation - Why Can't Programming Be Like Sketching?

Luke Church

14:00 - 15:30: VPT 2019 - Session 3 at Verdi

14:00 - 15:00
Talk

Hacking program analysis: a systematic approach to code protectionVPT Invited Talk

Roberto GiacobazziUniversity of Verona and IMDEA Software Institute

15:00 - 15:30
Talk

Static Program Analysis for String Manipulation Languages

Vincenzo ArceriUniversity of Verona, Italy, Isabella MastroeniUniversity of Verona, Italy

14:00 - 15:30: CoCoDo 2019 - Tool Battle: 1 Infrastructure, 2 Parser Generators! at Colombo
Chair(s): Johan FabryRaincode Labs, Belgium

14:00 - 14:45
Talk

SmaCC

Jason LecerfCEA LIST, France

14:45 - 15:30
Talk

PetitParser

Andrei Chişfeenk, Switzerland

14:00 - 15:30: MoreVMs'19 - VMs and an Ideal World at Michelangelo
Chair(s): Stefan MarrUniversity of Kent

14:00 - 15:00
Talk

VM design in an Ideal World vs. VM design in the Real WorldMoreVMs Invited Talk

Lukas StadlerOracle Labs, Austria

15:00 - 15:30
Talk

VM Support for Live Typing

Hernan Wilkinson10Pines

Pre-print

15:30 - 16:00: Catering - Break at Coffee break area

15:30 - 16:00
Coffee break

Break

16:00 - 17:00: ELS 2019 - Ecosystem at Paganini

16:00 - 16:30
Talk

Symbols as Namespaces in Common Lisp

Alessio Stalla

16:30 - 16:59
Talk

Parallelizing Quickref

Didier VernaEPITA / LRDE

16:59 - 17:00
Talk

Lightning Talks II

16:00 - 17:00: CoCoDo 2019 - Lightning Talks at Colombo

16:00 - 17:30: MoreVMs'19 - Programming Across the System Stack at Michelangelo
Chair(s): Shoaib AkramGhent University

16:00 - 16:30
Talk

A Shell-like Model for General Purpose Programming

Jeanine Miller AdkissonTokyo Institute of Technology, Johannes WestlundTokyo Institute of Technology, Japan / KTH Royal Institute of Technology, Sweden, Hidehiko MasuharaTokyo Institute of Technology

Pre-print

16:30 - 17:00
Talk

Toward a Language Design for Energy Prediction

Anthony CaninoSUNY Binghamton, Yu David LiuState University of New York (SUNY) Binghamton

Pre-print

17:00 - 17:30
Talk

Language Support for Multiple Privacy Enhancing Technologies

Aditya OakTechnische Universität Darmstadt, Mira MeziniTU Darmstadt, Germany, Guido SalvaneschiTU Darmstadt

16:00 - 17:30: Salon des Refusés 2019 - Salon des Refusés Fourth session at Bellini

16:00 - 16:30
Talk

Computing beyond pencils

Mariana MarasoiuUniversity of Cambridge, Luke Church

16:30 - 16:50
Talk

Critique presentation - Computing beyond pencils

Clayton LewisUniversity of Colorado Boulder

16:50 - 17:30
Day closing

Panel Discussion on Craft Values in Computing

16:00 - 17:10: VPT 2019 - Session 4 at Verdi

16:00 - 16:20
Talk

Iteratively Composing Statically Verified Traits

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

Antonina Nepeivoda

16:40 - 17:00
Talk

Study of Recursion Elimination for a Class of Semi-interpreted Recursive Program Schemata

Nikolay ShilovInnopolis University

17:00 - 17:10
Day closing

Closing

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)

Wed 3 Apr
Times are displayed in time zone: (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

08:30 - 17:00: - Registration at Registration (Lobby)

08:30 - 17:00
Registration

Registration

09:20 - 09:30: - Conference Opening at Paganini

09:20 - 09:30
Other

Conferences Opening

09:30 - 10:30: Keynotes - Keynote at Paganini

09:30 - 10:30
Talk

Keynote: Turning IoT Devices into Robust and Safe Computers‹Programming› Keynote

Lars BakToitware Aps

09:30 - 11:00: Student Research Competition - Oral Presentation at Bellini
Chair(s): Philipp HallerKTH Royal Institute of Technology, Sweden

09:30 - 09:45
Talk

Cantor pairing in a reversible programming language (short presentation)

Francesco RossiniUniversity of Turin, Italy

09:45 - 10:00
Talk

Reading logic as code or as natural language text (short presentation)

Patrick ReinHasso Plattner Institute, Germany

10:00 - 10:15
Talk

A framework for big-step semantics (short presentation)

Francesco DagninoDIBRIS, University of Genova, Italy

10:15 - 10:30
Talk

RML: Runtime monitoring language (short presentation)

Luca FranceschiniDIBRIS, University of Genova, Italy

10:30 - 10:45
Talk

BacCaml: The Meta-Hybrid Just-In-Time Compiler (short presentation)

Yusuke IzawaTokyo Institute of Technology

10:45 - 11:00
Talk

Magritte: A modern shell language (short presentation)

Jeanine Miller AdkissonTokyo Institute of Technology

10:30 - 11:00: Catering - Break at Coffee break area

10:30 - 11:00
Coffee break

Break

11:00 - 12:30: Demos - Demos at Bellini

11:00 - 11:45
Talk

Another Decade of SOM Language Implementation: Virtual Machines for Research and Teaching

Stefan MarrUniversity of Kent

11:45 - 12:30
Talk

LiveTyping in Action - Automatic Type Annotation for Dynamically Typed Languages

Hernan Wilkinson10Pines

11:00 - 12:30: Research Papers - Modularity and Modeling at Paganini
Chair(s): Walter Cazzola Università degli Studi di Milano

11:00 - 11:30
Talk

Separating Use and Reuse to Improve Both

Hrshikesh Arora, Marco ServettoVictoria University Wellington, New Zealand, Bruno C. d. S. OliveiraThe University of Hong Kong, Hong Kong

Link to publication DOI Pre-print

11:30 - 12:00
Talk

Clafer: Lightweight Modeling of Structure, Behaviour, and Variability

Paulius JuodisiusIT University of Copenhagen, Denmark, Atrisha SarkarUniversity of Waterloo, Canada, Raghava Rao MukkamalaDepartment of Technology, Kristiania University College, Norway, Michal AntkiewiczUniversity of Waterloo, Canada, Krzysztof CzarneckiUniversity of Waterloo, Canada, Andrzej WąsowskiIT University of Copenhagen, Denmark

Link to publication DOI Pre-print

12:00 - 12:30
Talk

Shallow EDSLs and Object-Oriented Programming: Beyond Simple Compositionality

Weixin ZhangThe University of Hong Kong, Hong Kong, Bruno C. d. S. OliveiraThe University of Hong Kong, Hong Kong

Link to publication DOI Pre-print

12:30 - 12:40: - Awards at Paganini

12:30 - 12:35
Awards

Awards

12:35 - 12:40
Awards

SRC awards

12:30 - 14:30: Posters - Poster Session at Second floor hall

12:30 - 14:30
Poster

Distributed Software on Mobile Robot

Jakub Przygodzki, Konrad Aleksiejuk, Adam Świderski

12:30 - 14:30
Talk

Developing Distributed Systems with ScalaLoci

Pascal WeisenburgerTechnische Universität Darmstadt, Guido SalvaneschiTU Darmstadt

12:30 - 14:30
Poster

Proving Inequational Propositions about Haskell Programs in Coq

Jan ChristiansenFlensburg University of Applied Sciences, Germany, Sandra DylusUniversity of Kiel, Germany

12:30 - 14:30
Poster

IDVE: an Integrated Development and Verification Environment for JavaScript

Christopher SchusterUniversity of California, Santa Cruz, Cormac FlanaganUniversity of California, Santa Cruz

12:40 - 14:30: Catering - Lunch at Lunch area

12:40 - 14:30
Lunch

Lunch

13:45 - 15:30: Demos - Demos at Bellini

13:45 - 14:15
Talk

A Language-Parametric Toolchain for Mining Idiomatic Code Patterns

Johan FabryRaincode Labs, Belgium, Vadim ZaytsevRaincode Labs, Belgium, Kim MensUniversité Catholique de Louvain, Belgium, Siegfried Nijssen UC Louvain, Hoang Son PhamUC Louvain, Coen De RooverVrije Universiteit Brussel, Dario Di NucciVrije Universiteit Brussel, Tim MolderezVrije Universiteit Brussel

14:15 - 14:45
Talk

Quickref: Auto-Documenting the Common Lisp Ecosystem

Didier VernaEPITA / LRDE

14:45 - 15:30
Talk

Programming Experiences with a Live Programming Environment for Data Structures

Hidehiko MasuharaTokyo Institute of Technology, Akio OkaTokyo Institute of Technology, Tomoki OgushiTokyo Tech

14:30 - 15:30: Research Papers - Live Programming at Paganini
Chair(s): Manuel SerranoInria, France

14:30 - 15:00
Talk

Exploratory and Live, Programming and Coding: A Literature Study Comparing Perspectives on Liveness

Patrick ReinHasso Plattner Institute, Germany, Stefan RamsonHasso Plattner Institute, Germany, Jens LinckeHasso Plattner Institute, University of Potsdam, Germany, Robert HirschfeldHasso-Plattner-Institut (HPI), Germany, Tobias PapeHasso Plattner Institute, Germany

Link to publication DOI Pre-print

15:00 - 15:30
Talk

Babylonian-Style Programming: Design and Implementation of an Integration of Live Examples into General-purpose Source Code

David RauchHasso Plattner Institute, Germany, Patrick ReinHasso Plattner Institute, Germany, Stefan RamsonHasso Plattner Institute, Germany, Jens LinckeHasso Plattner Institute, University of Potsdam, Germany, Robert HirschfeldHasso-Plattner-Institut (HPI), Germany

Link to publication DOI Pre-print

15:30 - 16:00: Catering - Break at Coffee break area

15:30 - 16:00
Coffee break

Break

16:00 - 17:30: Demos - Demos at Bellini

16:00 - 16:30
Talk

Developing Distributed Systems with ScalaLoci

Pascal WeisenburgerTechnische Universität Darmstadt

16:30 - 17:00
Talk

Static Verification of JavaScript: IDE Support for Debugging Verification Issues

Christopher SchusterUniversity of California, Santa Cruz, Cormac FlanaganUniversity of California, Santa Cruz

17:00 - 17:30
Talk

Tooling for live big data applications

Matteo MarraVrije Universiteit Brussel

16:00 - 17:00: Research Papers - Tools at Paganini
Chair(s): Stefan MarrUniversity of Kent

16:00 - 16:30
Talk

Out-Of-Place Debugging: a Debugging Architecture to Reduce Debugging Interference

Matteo MarraVrije Universiteit Brussel, Guillermo PolitoUniv. Lille, CNRS, Centrale Lille, Inria, UMR 9189 - CRIStAL - Centre de Recherche en Informatique Signal et Automatique de Lille, Elisa Gonzalez BoixVrije Universiteit Brussel, Belgium

Link to publication DOI Pre-print

16:30 - 17:00
Talk

Concrete Syntax with Black Box Parsers

Rodin AarssenCWI, Netherlands, Jurgen VinjuCWI, Netherlands, Tijs van der StormCWI, Netherlands

Link to publication DOI Pre-print

17:00 - 17:30: - ‹Programming› 2020 Announcement at Paganini

17:00 - 17:30
Other

‹Programming› 2020 Announcement

20:00 - 23:00: Social Events - Banquet at Palazzo della Meridiana

20:00 - 23:00
Social Event

Banquet

Thu 4 Apr
Times are displayed in time zone: (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

08:30 - 17:00: - Registration at Registration (Lobby)

08:30 - 17:00
Registration

Registration

09:30 - 10:30: Keynotes - Keynote at Paganini

09:30 - 10:30
Talk

Keynote: We're Building On Hollowed Foundations: Worrying Trends in Open Source and What We Can Do About It‹Programming› Keynote

Heather MillerCarnegie Mellon University

File Attached

10:30 - 11:00: Catering - Break at Coffee break area

10:30 - 11:00
Coffee break

Break

11:00 - 12:30: Research Papers - Language Design, Types, and Monads at Paganini
Chair(s): Philipp HallerKTH Royal Institute of Technology, Sweden

11:00 - 11:30
Talk

Comprehensive Multiparty Session Types

Andi BejleriIBM GBS, Frankfurt, Germany, Elton DomnoriCanadian Institute of Technology, Tirana, Albania, Malte VieringTU Darmstadt, Germany, Patrick EugsterUniversita della Svizzera Italiana, Switzerland, Mira MeziniTU Darmstadt, Germany

Link to publication DOI Pre-print

11:30 - 12:00
Talk

Semantic Query Integration With Reason

Philipp SeiferUniversity of Koblenz-Landau, Germany, Martin LeinbergerUniversity of Koblenz-Landau, Germany, Ralf LämmelUniversity of Koblenz-Landau, Germany, Steffen StaabUniversity of Koblenz-Landau and University of Southampton, Germany

Link to publication DOI Pre-print

12:00 - 12:30
Talk

One Monad to Prove Them All

Sandra DylusUniversity of Kiel, Germany, Jan ChristiansenFlensburg University of Applied Sciences, Germany, Finn TeegenUniversity of Kiel, Germany

Link to publication DOI Pre-print

12:30 - 14:00: Catering - Lunch at Lunch area

12:30 - 14:00
Lunch

Lunch

14:00 - 15:30: Research Papers - Language Design and Reactivity at Paganini
Chair(s): Guido SalvaneschiTU Darmstadt

14:00 - 14:30
Talk

Distributed Reactive Programming for Reactive Distributed Systems

Florian MyterVrije Universiteit Brussel, Belgium, Christophe ScholliersUniversiteit Gent, Belgium, Wolfgang De MeuterVrije Universiteit Brussel

Link to publication DOI Pre-print

14:30 - 15:00
Talk

Event Loops as First-Class Values: A Case Study in Pedagogic Language Design

Joe Gibbs PolitzUniversity of California San Diego, United States, Benjamin LernerNortheastern University, United States, Sorawee PorncharoenwaseBrown University, United States, Shriram KrishnamurthiBrown University, United States

Link to publication DOI Pre-print

15:00 - 15:30
Talk

ParaSail: A Pointer-Free Pervasively-Parallel Language for Irregular Computations

Tucker TaftAdaCore, United States

Link to publication DOI Pre-print

15:30 - 16:00: Catering - Break at Coffee break area

15:30 - 16:00
Coffee break

Break

16:00 - 17:00: Research Papers - Examining Programs at Paganini

16:00 - 16:30
Talk

Applications of Multi-view Learning Approaches for Software Comprehension

Amir SaeidiUtrecht University, Netherlands, Jurriaan HageUtrecht University, Netherlands, Ravi KhadkaUtrecht University, Netherlands, Slinger JansenUtrecht University, Netherlands

Link to publication DOI Pre-print

16:30 - 17:00
Talk

Entombed: An Archaeological Examination of an Atari 2600 Game

John AycockUniversity of Calgary, Canada, Tara CopplestoneUniversity of York, United Kingdom

Link to publication DOI Pre-print

Mon 1 Apr
Times are displayed in time zone: (GMT+02:00) 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
Aula Magna												‹Programming› Social Events Reception
Bellini												ProWeb ProWeb Session 1					ProWeb ProWeb Session 2
Michelangelo			PX/19 Session 1				PX/19 Session 2							PX/19 Session 3					PX/19
Paganini			ELS Keynote				ELS Emacs Lisp & Lisp Implementation							ELS Meta-Programming					ELS Code as Data
Verdi			ICW ELS 2019 Keynote Slot				ICW ICW Intro							ICW ICW Part I					ICW ICW Part II
Coffee break area						‹Programming› Catering Break												‹Programming› Catering Break
Lunch area										‹Programming› Catering Lunch
Registration (Lobby)		‹Programming› Registration

Tue 2 Apr
Times are displayed in time zone: (GMT+02:00) 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	22:00	30
Bellini					Salon des Refusés Salon des Refusés - Morning session				Salon des Refusés Salon des Refusés - Second session						Salon des Refusés Salon des Refusés - Third session				Salon des Refusés Salon des Refusés Fourth session
Colombo					CoCoDo Opening Talk				CoCoDo Hands-on Session						CoCoDo Tool Battle: 1 Infrastructure, 2 Parser Generators!				CoCoDo Lightning Talks
Michelangelo			MoreVMs Just-in-Time Compilation						MoreVMs Implementation Aspects						MoreVMs VMs and an Ideal World				MoreVMs Programming Across the System Stack
Paganini					ELS Keynote				ELS Lisp in Action						ELS Racket				ELS Ecosystem
Second floor hall												‹Programming› Student Research Competition Poster Session
Verdi				VPT Session 1					VPT Session 2						VPT Session 3				VPT Session 4				‹Programming› Steering Committee Meeting
Coffee break area								‹Programming› Catering Break										‹Programming› Catering Break
Lunch area												‹Programming› Catering Lunch
Registration (Lobby)		‹Programming› Registration

Wed 3 Apr
Times are displayed in time zone: (GMT+02:00) 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	22:00	30	23:00	30
Bellini					‹Programming› Student Research Competition Oral Presentation			‹Programming› Demos Demos								‹Programming› Demos Demos					‹Programming› Demos Demos
Paganini				‹Programming› Conference Opening	‹Programming› Keynotes Keynote			‹Programming› Research Papers Modularity and Modeling			‹Programming› Awards							‹Programming› Research Papers Live Programming			‹Programming› Research Papers Tools		‹Programming› ‹Programming› 2020 Announcement
Palazzo della Meridiana														‹Programming› Social Events Banquet
Second floor hall											‹Programming› Posters Poster Session
Coffee break area							‹Programming› Catering Break													‹Programming› Catering Break
Lunch area												‹Programming› Catering Lunch
Registration (Lobby)		‹Programming› Registration

Thu 4 Apr
Times are displayed in time zone: (GMT+02:00) 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
Paganini				‹Programming› Keynotes Keynote			‹Programming› Research Papers Language Design, Types, and Monads						‹Programming› Research Papers Language Design and Reactivity				‹Programming› Research Papers Examining Programs
Coffee break area						‹Programming› Catering Break										‹Programming› Catering Break
Lunch area										‹Programming› Catering Lunch
Registration (Lobby)		‹Programming› Registration

Mon 1 Apr
Times are displayed in time zone: (GMT+02:00) 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	18:00	15	30	45	19:00	15	30	45	20:00	15	30	45	21:00	15	30	45
Aula Magna																									‹Programming› Social Events Reception 19:00 - 21:00
Bellini																							ProWebProWeb Invited Talk How Artificial Intelligence Can Improve Web Development and Testing 14:00 - 14:40				ProWeb GUI Testing in Production: Challenges and Opportunities 14:40 - 15:05			ProWeb Orchestrated Crowdsourced Testing of a Mobile Web Application: A Case S ... 15:05 - 15:30				ProWeb Civic Participation Powered by Ethereum: a Proposal 16:00 - 16:25		ProWeb TryLinks: An interactive tutorial system for a cross-tier Web programmi ... 16:25 - 16:50			ProWeb Web Security Training [at] UniGe: an Experience 16:50 - 17:20
Michelangelo	PX/19 IDVE: an Integrated Development and Verification Environment for JavaScript 09:00 - 09:30		PX/19 Draw This Object: A Study of Debugging Representations 09:30 - 10:00		PX/19 Faster Feedback through Lexical Test Prioritization 10:00 - 10:30				PX/19 Live Software Development --- Tightening the feedback loops 11:00 - 11:30		PX/19 The Meager Validation of Live Programming 11:30 - 12:00			PX/19 PolyJuS: A Squeak/Smalltalk-based Polyglot Notebook System for the GraalVM 12:00 - 12:30									PX/19 Time Series Analysis of Programmer’s EEG for Debug State Classifcation 14:00 - 14:30			PX/19 Projectional DSLs from the ground up 14:30 - 15:00			PX/19 What can we learn from systems? 15:00 - 15:30
Paganini		ELS Welcome message 09:15 - 09:30	ELSELS Keynote The Lisp of the prophet for the One True Editor 09:30 - 10:30						ELS Pattern-Based S-Expression Rewriting in Emacs 11:00 - 11:30		ELS Implementing Baker’s \| SUBTYPEP Decision Procedure 11:30 - 12:00			ELS MAKE-METHOD-LAMBDA Revisited 12:00 - 12:30												ELS Finite Automata Theory Based Optimization 14:30 - 15:00			ELS Lazy, Parallel Multiple Value Reductions in Common Lisp 15:00 - 15:30					ELS Working with First-Order Proofs and Provers 16:00 - 16:30			ELS Plagiarism Detection for Common Lisp 16:30 - 17:00			ELS Lightning Talks I 17:00 - 17:30
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
Coffee break area							‹Programming› Catering Break 10:30 - 11:00																									‹Programming› Catering Break 15:30 - 16:00
Lunch area																	‹Programming› Catering Lunch 12:30 - 14:00

Tue 2 Apr
Times are displayed in time zone: (GMT+02:00) 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	22:00	15	30	45
Bellini							Salon des Refusés Welcome to Salon des Refusés 09:00 - 09:20		Salon des Refusés Let Them Fail: Towards VM built-in behaviour that falls back to the program 09:20 - 09:50			Salon des Refusés Critique presentation - Let Them Fail 09:50 - 10:10		Salon des Refusés Panel Discussion on the Boundaries of Computational Artifacts 10:10 - 10:30				Salon des Refusés Visual Denotative Programming 11:00 - 11:30		Salon des Refusés Critique presentation - Visual Denotative Programming 11:30 - 11:50		Salon des Refusés Panel Discussion on How to Use Formalisms in Programming 11:50 - 12:30									Salon des Refusés Presentation and Panel Discussion - Minimal Viable Revolution 14:00 - 14:40			Salon des Refusés Why Can’t Programming Be Like Sketching? 14:40 - 15:10			Salon des Refusés Critique presentation - Why Can't Programming Be Like Sketching? 15:10 - 15:30				Salon des Refusés Computing beyond pencils 16:00 - 16:30			Salon des Refusés Critique presentation - Computing beyond pencils 16:30 - 16:50			Salon des Refusés Panel Discussion on Craft Values in Computing 16:50 - 17:30
Colombo							CoCoDo Scrap your DSL Boilerplate with a Universe of Syntaxes, their Programs ... 09:00 - 10:30											CoCoDo Language Engineering with Rascal 11:00 - 12:30													CoCoDo SmaCC 14:00 - 14:45				CoCoDo PetitParser 14:45 - 15:30
Michelangelo					MoreVMs Welcome 08:50 - 09:00		MoreVMsMoreVMs Invited Talk Region-Based Compilation in the HHVM JIT Compiler 09:00 - 10:00						MoreVMs Extending a Meta-Tracing Compiler to Mix Method and Tracing Compilation 10:00 - 10:30					MoreVMs Efficient Implementation of Smalltalk Activation Records in Language Im ... 11:00 - 11:30		MoreVMs Optimization Coaching for Fork/Join Applications on the Java Virtual Ma ... 11:30 - 12:00			MoreVMs To expose, or not to expose, hardware heterogeneity to runtimes! 12:00 - 12:30								MoreVMsMoreVMs Invited Talk VM design in an Ideal World vs. VM design in the Real World 14:00 - 15:00					MoreVMs VM Support for Live Typing 15:00 - 15:30					MoreVMs A Shell-like Model for General Purpose Programming 16:00 - 16:30			MoreVMs Toward a Language Design for Energy Prediction 16:30 - 17:00				MoreVMs Language Support for Multiple Privacy Enhancing Technologies 17:00 - 17:30
Paganini							ELSELS Keynote 20 more years of bootstrapping 09:00 - 10:00						ELS Bootstrapping Common Lisp Using Common Lisp 10:00 - 10:30					ELS Shader Pipeline and Effect Encapsulation using CLOS 11:00 - 11:45			ELS Hierarchical Task Network Planning in Common Lisp 11:45 - 12:30												ELSELS Special Guest Rebooting Racket 14:30 - 15:30								ELS Symbols as Namespaces in Common Lisp 16:00 - 16:30			ELS Parallelizing Quickref 16:30 - 16:59				ELS Lightning Talks II 16:59 - 17:00
Second floor hall																									‹Programming› Student Research Competition RML: Runtime monitoring language 12:30 - 14:00 Automatic test case generation from UML state machine diagrams 12:30 - 14:00 Reading logic as code or as natural language text 12:30 - 14:00 Cantor pairing in a reversible programming language 12:30 - 14:00 Exploring example-driven migration 12:30 - 14:00 Magritte: A modern shell language 12:30 - 14:00 BacCaml: The Meta-Hybrid Just-In-Time Compiler 12:30 - 14:00 A framework for big-step semantics 12:30 - 14:00
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
Coffee break area																‹Programming› Catering Break 10:30 - 11:00																							‹Programming› Catering Break 15:30 - 16:00
Lunch area																									‹Programming› Catering Lunch 12:30 - 14:00
Registration (Lobby)			‹Programming› Registration 08:30 - 17:00

Wed 3 Apr
Times are displayed in time zone: (GMT+02:00) 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	22:00	15	30	45	23:00	15	30	45
Bellini								‹Programming› Student Research Competition Cantor pairing in a reversible programming language (short presentation) 09:30 - 09:45	‹Programming› Student Research Competition Reading logic as code or as natural language text (short presentation) 09:45 - 10:00	‹Programming› Student Research Competition A framework for big-step semantics (short presentation) 10:00 - 10:15	‹Programming› Student Research Competition RML: Runtime monitoring language (short presentation) 10:15 - 10:30	‹Programming› Student Research Competition BacCaml: The Meta-Hybrid Just-In-Time Compiler (short presentation) 10:30 - 10:45	‹Programming› Student Research Competition Magritte: A modern shell language (short presentation) 10:45 - 11:00	‹Programming› Demos Another Decade of SOM Language Implementation: Virtual Machines for Res ... 11:00 - 11:45			‹Programming› Demos LiveTyping in Action - Automatic Type Annotation for Dynamically Typed ... 11:45 - 12:30											‹Programming› Demos A Language-Parametric Toolchain for Mining Idiomatic Code Patterns 13:45 - 14:15		‹Programming› Demos Quickref: Auto-Documenting the Common Lisp Ecosystem 14:15 - 14:45		‹Programming› Demos Programming Experiences with a Live Programming Environment for Data St ... 14:45 - 15:30					‹Programming› Demos Developing Distributed Systems with ScalaLoci 16:00 - 16:30		‹Programming› Demos Static Verification of JavaScript: IDE Support for Debugging Verificati ... 16:30 - 17:00		‹Programming› Demos Tooling for live big data applications 17:00 - 17:30
Paganini							‹Programming› Conferences Opening 09:20 - 09:30	‹Programming› Keynotes‹Programming› Keynote Keynote: Turning IoT Devices into Robust and Safe Computers 09:30 - 10:30						‹Programming› Research Papers Separating Use and Reuse to Improve Both 11:00 - 11:30		‹Programming› Research Papers Clafer: Lightweight Modeling of Structure, Behaviour, and Variability 11:30 - 12:00		‹Programming› Research Papers Shallow EDSLs and Object-Oriented Programming: Beyond Simple Compositio ... 12:00 - 12:30		‹Programming› Awards 12:30 - 12:35	‹Programming› SRC awards 12:35 - 12:40										‹Programming› Research Papers Exploratory and Live, Programming and Coding: A Literature Study Compar ... 14:30 - 15:00		‹Programming› Research Papers Babylonian-Style Programming: Design and Implementation of an Integrati ... 15:00 - 15:30				‹Programming› Research Papers Out-Of-Place Debugging: a Debugging Architecture to Reduce Debugging In ... 16:00 - 16:30		‹Programming› Research Papers Concrete Syntax with Black Box Parsers 16:30 - 17:00		‹Programming› ‹Programming› 2020 Announcement 17:00 - 17:30
Palazzo della Meridiana																										‹Programming› Social Events Banquet 20:00 - 23:00
Second floor hall																				‹Programming› Posters Distributed Software on Mobile Robot 12:30 - 14:30 Developing Distributed Systems with ScalaLoci 12:30 - 14:30 Proving Inequational Propositions about Haskell Programs in Coq 12:30 - 14:30 IDVE: an Integrated Development and Verification Environment for JavaScript 12:30 - 14:30
Coffee break area												‹Programming› Catering Break 10:30 - 11:00																							‹Programming› Catering Break 15:30 - 16:00
Lunch area																						‹Programming› Catering Lunch 12:40 - 14:30
Registration (Lobby)			‹Programming› Registration 08:30 - 17:00

Thu 4 Apr
Times are displayed in time zone: (GMT+02:00) 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
Paganini							‹Programming› Keynotes‹Programming› Keynote Keynote: We're Building On Hollowed Foundations: Worrying Trends in Ope ... 09:30 - 10:30						‹Programming› Research Papers Comprehensive Multiparty Session Types 11:00 - 11:30		‹Programming› Research Papers Semantic Query Integration With Reason 11:30 - 12:00		‹Programming› Research Papers One Monad to Prove Them All 12:00 - 12:30								‹Programming› Research Papers Distributed Reactive Programming for Reactive Distributed Systems 14:00 - 14:30		‹Programming› Research Papers Event Loops as First-Class Values: A Case Study in Pedagogic Language D ... 14:30 - 15:00		‹Programming› Research Papers ParaSail: A Pointer-Free Pervasively-Parallel Language for Irregular Co ... 15:00 - 15:30				‹Programming› Research Papers Applications of Multi-view Learning Approaches for Software Comprehension 16:00 - 16:30		‹Programming› Research Papers Entombed: An Archaeological Examination of an Atari 2600 Game 16:30 - 17:00
Coffee break area											‹Programming› Catering Break 10:30 - 11:00																				‹Programming› Catering Break 15:30 - 16:00
Lunch area																			‹Programming› Catering Lunch 12:30 - 14:00
Registration (Lobby)			‹Programming› Registration 08:30 - 17:00

iCalendar subscription service for your personal schedule

You first need to have starred events () in order to use the iCalendar subscription service.

Currently Viewed Program

Downloads the currently viewed program (with filters applied) in iCal format

Display in different time zone

‹Programming› 2019 Program

Mon 1 Apr Times are displayed in time zone: (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Tue 2 Apr Times are displayed in time zone: (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Wed 3 Apr Times are displayed in time zone: (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Thu 4 Apr Times are displayed in time zone: (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Mon 1 Apr Times are displayed in time zone: (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

‹Programming› Social Events

ProWeb

ProWeb

PX/19

PX/19

PX/19

PX/19

ELS

ELS

ELS

ELS

ICW

ICW

ICW

ICW

‹Programming› Catering

‹Programming› Catering

‹Programming› Catering

‹Programming›

Tue 2 Apr Times are displayed in time zone: (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Salon des Refusés

Salon des Refusés

Salon des Refusés

Salon des Refusés

CoCoDo

CoCoDo

CoCoDo

CoCoDo

MoreVMs

MoreVMs

MoreVMs

MoreVMs

ELS

ELS

ELS

ELS

‹Programming› Student Research Competition

VPT

VPT

VPT

VPT

‹Programming›

‹Programming› Catering

‹Programming› Catering

‹Programming› Catering

‹Programming›

Wed 3 Apr Times are displayed in time zone: (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

‹Programming› Student Research Competition

‹Programming› Demos

‹Programming› Demos

‹Programming› Demos

‹Programming›

‹Programming› Keynotes

‹Programming› Research Papers

‹Programming›

‹Programming› Research Papers

‹Programming› Research Papers

‹Programming›

‹Programming› Social Events

‹Programming› Posters

‹Programming› Catering

‹Programming› Catering

‹Programming› Catering

‹Programming›

Thu 4 Apr Times are displayed in time zone: (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

‹Programming› Keynotes

‹Programming› Research Papers

‹Programming› Research Papers

‹Programming› Research Papers

‹Programming› Catering

‹Programming› Catering

‹Programming› Catering

‹Programming›

Mon 1 Apr
Times are displayed in time zone: (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Tue 2 Apr
Times are displayed in time zone: (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Wed 3 Apr
Times are displayed in time zone: (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Thu 4 Apr
Times are displayed in time zone: (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Mon 1 Apr
Times are displayed in time zone: (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Tue 2 Apr
Times are displayed in time zone: (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Wed 3 Apr
Times are displayed in time zone: (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Thu 4 Apr
Times are displayed in time zone: (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Mon 1 Apr
Times are displayed in time zone: (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Tue 2 Apr
Times are displayed in time zone: (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Wed 3 Apr
Times are displayed in time zone: (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Thu 4 Apr
Times are displayed in time zone: (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change