Program - ‹Programming› 2019

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
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

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

	09:00 - 10:30: Session 1PX/19 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 PX/19 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 PX/19 Matúš SulírTechnical University of Košice, Ján Juhár Pre-print
	10:00 - 10:30 Talk		Faster Feedback through Lexical Test Prioritization PX/19 Toni MattisHasso Plattner Institute, University of Potsdam, Falco Dürsch, Robert HirschfeldHasso-Plattner-Institut (HPI), Germany

	09:00 - 10:30: KeynoteELS at Paganini

	09:15 - 09:30 Day opening		Welcome message ELS
	09:30 - 10:30 Talk		The Lisp of the prophet for the One True EditorELS Keynote ELS K: Stefan MonnierUniversité de Montréal

	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

	10:30 - 11:00: BreakCatering at Coffee break area

	10:30 - 11:00 Coffee break		Break Catering

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

	11:00 - 11:30 Talk		Live Software Development --- Tightening the feedback loops PX/19 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 PX/19 Johan FabryRaincode Labs, Belgium
	12:00 - 12:30 Talk		PolyJuS: A Squeak/Smalltalk-based Polyglot Notebook System for the GraalVM PX/19 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

	11:00 - 12:30: Emacs Lisp & Lisp ImplementationELS at Paganini

	11:00 - 11:30 Talk		Pattern-Based S-Expression Rewriting in Emacs ELS Ryan CulpepperCzech Technical University
	11:30 - 12:00 Talk		Implementing Baker’s \| SUBTYPEP Decision Procedure ELS Léo Valais, Jim NewtonEPITA / LRDE https://www.lrde.epita.fr, Didier VernaEPITA / LRDE
	12:00 - 12:30 Talk		MAKE-METHOD-LAMBDA Revisited ELS Irène Anne Durand, Robert Strandh

	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

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

	12:30 - 14:00 Lunch		Lunch Catering

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

	14:00 - 14:40 Talk		How Artificial Intelligence Can Improve Web Development and TestingProWeb Invited Talk ProWeb Andrea StoccoUniversità della Svizzera italiana (USI)
	14:40 - 15:05 Research paper		GUI Testing in Production: Challenges and Opportunities ProWeb 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 ProWeb 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: Session 3PX/19 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 PX/19 Toyomi Ishida, Hidetake UwanoNational Institute of Technology, Nara College, Japan
	14:30 - 15:00 Talk		Projectional DSLs from the ground up PX/19 Meinte BoersmaDutch Tax and Customs Agency
	15:00 - 15:30 Talk		What can we learn from systems? PX/19 Luke Church, Mariana MarasoiuUniversity of Cambridge

	14:00 - 15:30: Meta-ProgrammingELS at Paganini

	14:30 - 15:00 Talk		Finite Automata Theory Based Optimization ELS Jim NewtonEPITA / LRDE https://www.lrde.epita.fr, Didier VernaEPITA / LRDE
	15:00 - 15:30 Talk		Lazy, Parallel Multiple Value Reductions in Common Lisp ELS Marco Heisig

	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 Nicolas BrousseAdobe 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

	15:30 - 16:00: BreakCatering at Coffee break area

	15:30 - 16:00 Coffee break		Break Catering

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

	16:00 - 16:25 Research paper		Civic Participation Powered by Ethereum: a Proposal ProWeb Maura Cerioli, Marina Ribaudo
	16:25 - 16:50 Talk		TryLinks: An interactive tutorial system for a cross-tier Web programming language ProWeb Junao Wu, Arek Mikolajczak, James CheneyUniversity of Edinburgh, UK
	16:50 - 17:20 Research paper		Web Security Training [at] UniGe: an Experience ProWeb Andrea Valenza

	16:00 - 17:00: Code as DataELS at Paganini

	16:00 - 16:30 Talk		Working with First-Order Proofs and Provers ELS Michael RaskinUniversité de Bordeaux / LaBRI
	16:30 - 17:00 Talk		Plagiarism Detection for Common Lisp ELS António Menezes LeitãoTechnical University of Lisbon, Portugal
	17:00 - 17:30 Talk		Lightning Talks I ELS

	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

	19:00 - 21:00: ReceptionSocial Events at Aula Magna

	19:00 - 21:00 Social Event		Reception Social Events

Tue 2 Apr
Times are displayed in time zone: 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: Just-in-Time CompilationMoreVMs at Michelangelo Chair(s): Stefan MarrUniversity of Kent, Edd BarrettKing's College London

	08:50 - 09:00 Day opening		Welcome MoreVMs Edd BarrettKing's College London, Stefan MarrUniversity of Kent
	09:00 - 10:00 Talk		Region-Based Compilation in the HHVM JIT CompilerMoreVMs Invited Talk MoreVMs I: Guilherme OttoniFacebook
	10:00 - 10:30 Talk		Extending a Meta-Tracing Compiler to Mix Method and Tracing Compilation MoreVMs Yusuke IzawaTokyo Institute of Technology, Hidehiko MasuharaTokyo Institute of Technology, Tomoyuki AotaniTokyo Institute of Technology DOI Pre-print Media Attached

	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 Massimo Bartoletti
	10:00 - 10:30 Talk		Polyvariant Program Specialisation with Property-Based Abstraction VPT John P. GallagherRoskilde University

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

	09:00 - 09:20 Day opening		Welcome to Salon des Refusés 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 Salon des Refusés 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 Salon des Refusés Antranig Basman
	10:10 - 10:30 Talk		Panel Discussion on the Boundaries of Computational Artifacts Salon des Refusés

	09:00 - 10:30: Opening TalkCoCoDo at Colombo

	09:00 - 10:30 Talk		Scrap your DSL Boilerplate with a Universe of Syntaxes, their Programs and Proofs CoCoDo Guillaume AllaisUniversity of Strathclyde

	09:00 - 10:30: KeynoteELS at Paganini

	09:00 - 10:00 Talk		20 more years of bootstrapping ELS Keynote ELS K: Christophe RhodesGoldsmiths, University of London
	10:00 - 10:30 Talk		Bootstrapping Common Lisp Using Common Lisp ELS Irène Anne Durand, Robert Strandh

	10:30 - 11:00: BreakCatering at Coffee break area

	10:30 - 11:00 Coffee break		Break Catering

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

	11:00 - 11:30 Talk		Visual Denotative Programming Salon des Refusés Steven Krouse
	11:30 - 11:50 Talk		Critique presentation - Visual Denotative Programming Salon des Refusés Tomas PetricekUniversity of Kent, Philip TchernavskijEx Situ \| Université Paris-Sud
	11:50 - 12:30 Other		Panel Discussion on How to Use Formalisms in Programming Salon des Refusés

	11:00 - 12:30: Hands-on SessionCoCoDo at Colombo

	11:00 - 12:30 Tutorial		Language Engineering with Rascal CoCoDo Tijs van der StormCWI, Netherlands

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

	11:00 - 11:30 Talk		Efficient Implementation of Smalltalk Activation Records in Language Implementation Frameworks MoreVMs 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 MoreVMs 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! MoreVMs Shoaib AkramGhent University

	11:00 - 12:30: Lisp in ActionELS at Paganini

	11:00 - 11:45 Talk		Shader Pipeline and Effect Encapsulation using CLOS ELS Nicolas HafnerShirakumo.org
	11:45 - 12:30 Talk		Hierarchical Task Network Planning in Common Lisp ELS Robert Goldman

	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

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

	12:30 - 14:00 Poster		RML: Runtime monitoring language Student Research Competition Luca FranceschiniDIBRIS, University of Genova, Italy
	12:30 - 14:00 Poster		Automatic test case generation from UML state machine diagrams Student Research Competition Dario Olianas
	12:30 - 14:00 Poster		Reading logic as code or as natural language text Student Research Competition Patrick ReinHasso Plattner Institute, Germany
	12:30 - 14:00 Poster		Cantor pairing in a reversible programming language Student Research Competition Francesco RossiniUniversity of Turin, Italy
	12:30 - 14:00 Poster		Exploring example-driven migration Student Research Competition Manuel Leuenberger
	12:30 - 14:00 Poster		Magritte: A modern shell language Student Research Competition Jeanine Miller AdkissonTokyo Institute of Technology
	12:30 - 14:00 Poster		BacCaml: The Meta-Hybrid Just-In-Time Compiler Student Research Competition Yusuke IzawaTokyo Institute of Technology
	12:30 - 14:00 Poster		A framework for big-step semantics Student Research Competition Francesco DagninoDIBRIS, University of Genova, Italy

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

	12:30 - 14:00 Lunch		Lunch Catering

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

	14:00 - 14:40 Talk		Presentation and Panel Discussion - Minimal Viable Revolution Salon des Refusés Luke Church, Antranig Basman
	14:40 - 15:10 Talk		Why Can’t Programming Be Like Sketching? Salon des Refusés Clayton LewisUniversity of Colorado Boulder
	15:10 - 15:30 Talk		Critique presentation - Why Can't Programming Be Like Sketching? Salon des Refusés Luke Church

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

	14:00 - 14:45 Talk		SmaCC CoCoDo Jason LecerfCEA LIST, France
	14:45 - 15:30 Talk		PetitParser CoCoDo Andrei Chişfeenk, Switzerland

	14:00 - 15:30: VMs and an Ideal WorldMoreVMs 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 MoreVMs I: Lukas StadlerOracle Labs, Austria
	15:00 - 15:30 Talk		VM Support for Live Typing MoreVMs Hernan Wilkinson10Pines Pre-print

	14:00 - 15:30: RacketELS at Paganini

	14:30 - 15:30 Talk		Rebooting RacketELS Special Guest ELS S: Matthew FlattUniversity of Utah

	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

	15:30 - 16:00: BreakCatering at Coffee break area

	15:30 - 16:00 Coffee break		Break Catering

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

	16:00 - 16:30 Talk		Computing beyond pencils Salon des Refusés Mariana MarasoiuUniversity of Cambridge, Luke Church
	16:30 - 16:50 Talk		Critique presentation - Computing beyond pencils Salon des Refusés Clayton LewisUniversity of Colorado Boulder
	16:50 - 17:30 Day closing		Panel Discussion on Craft Values in Computing Salon des Refusés

	16:00 - 17:00: Lightning TalksCoCoDo at Colombo

	16:00 - 17:30: Programming Across the System StackMoreVMs at Michelangelo Chair(s): Shoaib AkramGhent University

	16:00 - 16:30 Talk		A Shell-like Model for General Purpose Programming MoreVMs 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 MoreVMs 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 MoreVMs Aditya OakTechnische Universität Darmstadt, Mira MeziniTU Darmstadt, Germany, Guido SalvaneschiTU Darmstadt

	16:00 - 17:00: EcosystemELS at Paganini

	16:00 - 16:30 Talk		Symbols as Namespaces in Common Lisp ELS Alessio Stalla
	16:30 - 16:59 Talk		Parallelizing Quickref ELS Didier VernaEPITA / LRDE
	16:59 - 17:00 Talk		Lightning Talks II ELS

	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 Antonina Nepeivoda
	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)

Wed 3 Apr
Times are displayed in time zone: 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 - 11:00: Oral PresentationStudent Research Competition 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) Student Research Competition Francesco RossiniUniversity of Turin, Italy
	09:45 - 10:00 Talk		Reading logic as code or as natural language text (short presentation) Student Research Competition Patrick ReinHasso Plattner Institute, Germany
	10:00 - 10:15 Talk		A framework for big-step semantics (short presentation) Student Research Competition Francesco DagninoDIBRIS, University of Genova, Italy
	10:15 - 10:30 Talk		RML: Runtime monitoring language (short presentation) Student Research Competition Luca FranceschiniDIBRIS, University of Genova, Italy
	10:30 - 10:45 Talk		BacCaml: The Meta-Hybrid Just-In-Time Compiler (short presentation) Student Research Competition Yusuke IzawaTokyo Institute of Technology
	10:45 - 11:00 Talk		Magritte: A modern shell language (short presentation) Student Research Competition Jeanine Miller AdkissonTokyo Institute of Technology

	09:30 - 10:30: KeynoteKeynotes at Paganini

	09:30 - 10:30 Talk		Keynote: Turning IoT Devices into Robust and Safe Computers‹Programming› Keynote Keynotes K: Lars BakToitware Aps

	10:30 - 11:00: BreakCatering at Coffee break area

	10:30 - 11:00 Coffee break		Break Catering

	11:00 - 12:30: DemosDemos at Bellini

	11:00 - 11:45 Talk		Another Decade of SOM Language Implementation: Virtual Machines for Research and Teaching Demos Stefan MarrUniversity of Kent
	11:45 - 12:30 Talk		LiveTyping in Action - Automatic Type Annotation for Dynamically Typed Languages Demos Hernan Wilkinson10Pines

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

	11:00 - 11:30 Talk		Separating Use and Reuse to Improve Both Research Papers 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 Research Papers 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 Research Papers 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: Poster SessionPosters at Second floor hall

	12:30 - 14:30 Poster		Distributed Software on Mobile Robot Posters Jakub Przygodzki, Konrad Aleksiejuk, Adam Świderski
	12:30 - 14:30 Talk		Developing Distributed Systems with ScalaLoci Posters Pascal WeisenburgerTechnische Universität Darmstadt, Guido SalvaneschiTU Darmstadt
	12:30 - 14:30 Poster		Proving Inequational Propositions about Haskell Programs in Coq Posters 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 Posters Christopher SchusterUniversity of California, Santa Cruz, Cormac FlanaganUniversity of California, Santa Cruz

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

	12:40 - 14:30 Lunch		Lunch Catering

	13:45 - 15:30: DemosDemos at Bellini

	13:45 - 14:15 Talk		A Language-Parametric Toolchain for Mining Idiomatic Code Patterns Demos 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 Demos Didier VernaEPITA / LRDE
	14:45 - 15:30 Talk		Programming Experiences with a Live Programming Environment for Data Structures Demos Hidehiko MasuharaTokyo Institute of Technology, Akio OkaTokyo Institute of Technology, Tomoki OgushiTokyo Tech

	14:30 - 15:30: Live ProgrammingResearch Papers 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 Research Papers 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 Research Papers 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: BreakCatering at Coffee break area

	15:30 - 16:00 Coffee break		Break Catering

	16:00 - 17:30: DemosDemos at Bellini

	16:00 - 16:30 Talk		Developing Distributed Systems with ScalaLoci Demos Pascal WeisenburgerTechnische Universität Darmstadt
	16:30 - 17:00 Talk		Static Verification of JavaScript: IDE Support for Debugging Verification Issues Demos Christopher SchusterUniversity of California, Santa Cruz, Cormac FlanaganUniversity of California, Santa Cruz
	17:00 - 17:30 Talk		Tooling for live big data applications Demos Matteo MarraVrije Universiteit Brussel

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

	16:00 - 16:30 Talk		Out-Of-Place Debugging: a Debugging Architecture to Reduce Debugging Interference Research Papers 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 Research Papers 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: BanquetSocial Events at Palazzo della Meridiana

	20:00 - 23:00 Social Event		Banquet Social Events

Thu 4 Apr
Times are displayed in time zone: 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: KeynoteKeynotes 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 Keynotes K: Heather MillerCarnegie Mellon University File Attached

	10:30 - 11:00: BreakCatering at Coffee break area

	10:30 - 11:00 Coffee break		Break Catering

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

	11:00 - 11:30 Talk		Comprehensive Multiparty Session Types Research Papers 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 Research Papers 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 Research Papers 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: LunchCatering at Lunch area

	12:30 - 14:00 Lunch		Lunch Catering

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

	14:00 - 14:30 Talk		Distributed Reactive Programming for Reactive Distributed Systems Research Papers 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 Research Papers 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 Research Papers Tucker TaftAdaCore, United States Link to publication DOI Pre-print

	15:30 - 16:00: BreakCatering at Coffee break area

	15:30 - 16:00 Coffee break		Break Catering

	16:00 - 17:00: Examining ProgramsResearch Papers at Paganini

	16:00 - 16:30 Talk		Applications of Multi-view Learning Approaches for Software Comprehension Research Papers 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 Research Papers 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: 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
Aula Magna												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						Catering Break												Catering Break
Lunch area										Catering Lunch
Registration (Lobby)		Registration

Tue 2 Apr
Times are displayed in 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
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												Student Research Competition Poster Session
Verdi				VPT Session 1					VPT Session 2						VPT Session 3				VPT Session 4				Steering Committee Meeting
Coffee break area								Catering Break										Catering Break
Lunch area												Catering Lunch
Registration (Lobby)		Registration

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

Thu 4 Apr
Times are displayed in 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
Paganini				Keynotes Keynote			Research Papers Language Design, Types, and Monads						Research Papers Language Design and Reactivity				Research Papers Examining Programs
Coffee break area						Catering Break										Catering Break
Lunch area										Catering Lunch
Registration (Lobby)		Registration

Mon 1 Apr
Times are displayed in 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
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: 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
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: 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								‹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: 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
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

‹Programming› 2019 Program

Filter Program

Program Display Configuration

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

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

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

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

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

Social Events

ProWeb

ProWeb

PX/19

PX/19

PX/19

PX/19

ELS

ELS

ELS

ELS

ICW

ICW

ICW

ICW

Catering

Catering

Catering

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

Student Research Competition

VPT

VPT

VPT

VPT

Catering

Catering

Catering

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

Student Research Competition

Demos

Demos

Demos

Keynotes

Research Papers

Research Papers

Research Papers

Social Events

Posters

Catering

Catering

Catering

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

Keynotes

Research Papers

Research Papers

Research Papers

Catering

Catering

Catering

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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