‹Programming› 2019
Mon 1 - Thu 4 April 2019 Genoa, Italy
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
09:00 - 10:30
Session 1PX/19 at Michelangelo
Chair(s): Jens LinckeHasso Plattner Institute, University of Potsdam, Germany
09:00
30m
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
30m
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
30m
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
15m
Day opening
Welcome message
ELS
09:30
60m
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
90m
Other
ELS 2019 Keynote Slot
ICW
Oleks ShturmovUniversity of Oslo
10:30 - 11:00
10:30
30m
Coffee break
Break
Catering
11:00 - 12:30
Session 2PX/19 at Michelangelo
Chair(s): Tobias PapeHasso Plattner Institute, Germany
11:00
30m
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
30m
Talk
The Meager Validation of Live Programming
PX/19
Johan FabryRaincode Labs, Belgium
12:00
30m
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
30m
Talk
Pattern-Based S-Expression Rewriting in Emacs
ELS
Ryan CulpepperCzech Technical University
11:30
30m
Talk
Implementing Baker’s | SUBTYPEP Decision Procedure
ELS
Léo Valais, Jim NewtonEPITA / LRDE https://www.lrde.epita.fr, Didier VernaEPITA / LRDE
12:00
30m
Talk
MAKE-METHOD-LAMBDA Revisited
ELS
11:00 - 12:30
ICW IntroICW at Verdi
Chair(s): Eric JulUniversity of Oslo
11:00
15m
Day opening
Introduction to the Workshop
ICW
Eric JulUniversity of Oslo
11:15
20m
Talk
Interconnecting Code in 2019 — Il buono, il brutto, il cattivo
ICW
Oleks ShturmovUniversity of Oslo
11:35
45m
Talk
Sulong: Executing Low-level Languages on TruffleICW Invited Talk
ICW
K: Manuel RiggerETH Zurich
12:20
10m
Other
Introductory Discussion
ICW
Eric JulUniversity of Oslo, Oleks ShturmovUniversity of Oslo
12:30 - 14:00
12:30
90m
Lunch
Lunch
Catering
14:00 - 15:30
ProWeb Session 1ProWeb at Bellini
14:00
40m
Talk
How Artificial Intelligence Can Improve Web Development and TestingProWeb Invited Talk
ProWeb
Andrea StoccoUniversità della Svizzera italiana (USI)
14:40
25m
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
25m
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
30m
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
30m
Talk
Projectional DSLs from the ground up
PX/19
Meinte BoersmaDutch Tax and Customs Agency
15:00
30m
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
30m
Talk
Finite Automata Theory Based Optimization
ELS
Jim NewtonEPITA / LRDE https://www.lrde.epita.fr, Didier VernaEPITA / LRDE
15:00
30m
Talk
Lazy, Parallel Multiple Value Reductions in Common Lisp
ELS
14:00 - 15:30
ICW Part IICW at Verdi
Chair(s): Eric JulUniversity of Oslo
14:00
30m
Short-paper
Towards Polyglot Adapters for the GraalVM
ICW
Fabio NiephausHasso Plattner Institute, University of Potsdam, Tim FelgentreffOracle Labs, Potsdam, Robert HirschfeldHasso-Plattner-Institut (HPI), Germany
DOI Pre-print
14:30
30m
Short-paper
The Issue Of Source Code Repository Management In Large Enterprises
ICW
DOI Media Attached File Attached
15:00
30m
Short-paper
Factoring out Glue-code in Systems of IoT devices
ICW
Boris MagnussonLund University, Sweden, Görel Hedin, Björn JohnssonLund University
15:30 - 16:00
15:30
30m
Coffee break
Break
Catering
16:00 - 17:00
Code as DataELS at Paganini
16:00
30m
Talk
Working with First-Order Proofs and Provers
ELS
Michael RaskinUniversité de Bordeaux / LaBRI
16:30
30m
Talk
Plagiarism Detection for Common Lisp
ELS
António Menezes LeitãoTechnical University of Lisbon, Portugal
17:00
30m
Talk
Lightning Talks I
ELS
16:00 - 17:30
ICW Part IIICW at Verdi
Chair(s): Eric JulUniversity of Oslo
16:00
30m
Short-paper
Gluing Internet of Things Together
ICW
Alfred ÅkessonLund University, Sweden, Mattias NordahlLund University, Gorel HedinLund University, Boris MagnussonLund University, Sweden
16:30
30m
Short-paper
Live GUI Development for Service-Based Systems
ICW
Boris MagnussonLund University, Sweden, Björn JohnssonLund University
17:00
30m
Other
Panel Discussion & Wrap Up
ICW
Eric JulUniversity of Oslo, Oleks ShturmovUniversity of Oslo
19:00 - 21:00
19:00
2h
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
08:30
8h30m
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
10m
Day opening
Welcome
MoreVMs
Edd BarrettKing's College London, Stefan MarrUniversity of Kent
09:00
60m
Talk
Region-Based Compilation in the HHVM JIT CompilerMoreVMs Invited Talk
MoreVMs
I: Guilherme OttoniFacebook
10:00
30m
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
5m
Day opening
Welcome
VPT
Alexei LisitsaUniversity of Liverpool , Andrei NemytykhProgram Systems Institute of RAS, Russia
09:00
60m
Talk
Modelling and verifying Bitcoin contracts.VPT Invited Talk
VPT
10:00
30m
Talk
Polyvariant Program Specialisation with Property-Based Abstraction
VPT
John P. GallagherRoskilde University
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
20m
Day opening
Welcome to Salon des Refusés
Salon des Refusés
Philip TchernavskijEx Situ | Université Paris-Sud
09:20
30m
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
20m
Talk
Critique presentation - Let Them Fail
Salon des Refusés
10:10
20m
Talk
Panel Discussion on the Boundaries of Computational Artifacts
Salon des Refusés
10:30 - 11:00
10:30
30m
Coffee break
Break
Catering
11:00 - 12:30
Salon des Refusés - Second sessionSalon des Refusés at Bellini
11:00
30m
Talk
Visual Denotative Programming
Salon des Refusés
11:30
20m
Talk
Critique presentation - Visual Denotative Programming
Salon des Refusés
Tomas PetricekUniversity of Kent, Philip TchernavskijEx Situ | Université Paris-Sud
11:50
40m
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
90m
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
30m
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
30m
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
30m
Talk
To expose, or not to expose, hardware heterogeneity to runtimes!
MoreVMs
Shoaib AkramGhent University
11:00 - 12:30
Session 2VPT at Verdi
11:00
60m
Talk
Validation of Internet of Things FrameworksVPT Invited Talk
VPT
Giorgio DelzannoDIBRIS, University of Genova
12:00
30m
Talk
Lemma Generation for Horn Clause Satisfiability: A Preliminary Study
VPT
Emanuele De AngelisUniversity of Chieti-Pescara, Fabio FioravantiUniversity of Chieti-Pescara, Alberto PettorossiUniversity of Rome Tor Vergata, Italy, Maurizio ProiettiCNR-IASI
12:30 - 14:00
Poster SessionStudent Research Competition at Second floor hall
Chair(s): Philipp HallerKTH Royal Institute of Technology, Sweden
12:30
90m
Poster
RML: Runtime monitoring language
Student Research Competition
Luca FranceschiniDIBRIS, University of Genova, Italy
12:30
90m
Poster
Automatic test case generation from UML state machine diagrams
Student Research Competition
12:30
90m
Poster
Reading logic as code or as natural language text
Student Research Competition
Patrick ReinHasso Plattner Institute, Germany
12:30
90m
Poster
Cantor pairing in a reversible programming language
Student Research Competition
Francesco RossiniUniversity of Turin, Italy
12:30
90m
Poster
Exploring example-driven migration
Student Research Competition
12:30
90m
Poster
Magritte: A modern shell language
Student Research Competition
Jeanine Miller AdkissonTokyo Institute of Technology
12:30
90m
Poster
BacCaml: The Meta-Hybrid Just-In-Time Compiler
Student Research Competition
Yusuke IzawaTokyo Institute of Technology
12:30
90m
Poster
A framework for big-step semantics
Student Research Competition
Francesco DagninoDIBRIS, University of Genova, Italy
12:30 - 14:00
12:30
90m
Lunch
Lunch
Catering
14:00 - 15:30
Salon des Refusés - Third sessionSalon des Refusés at Bellini
14:00
40m
Talk
Presentation and Panel Discussion - Minimal Viable Revolution
Salon des Refusés
14:40
30m
Talk
Why Can’t Programming Be Like Sketching?
Salon des Refusés
Clayton LewisUniversity of Colorado Boulder
15:10
20m
Talk
Critique presentation - Why Can't Programming Be Like Sketching?
Salon des Refusés
14:00 - 15:30
Tool Battle: 1 Infrastructure, 2 Parser Generators!CoCoDo at Colombo
Chair(s): Johan FabryRaincode Labs, Belgium
14:00
45m
Talk
SmaCC
CoCoDo
Jason LecerfCEA LIST, France
14:45
45m
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
60m
Talk
VM design in an Ideal World vs. VM design in the Real WorldMoreVMs Invited Talk
MoreVMs
I: Lukas StadlerOracle Labs, Austria
15:00
30m
Talk
VM Support for Live Typing
MoreVMs
Pre-print
14:00 - 15:30
RacketELS at Paganini
14:30
60m
Talk
Rebooting RacketELS Special Guest
ELS
S: Matthew FlattUniversity of Utah
14:00 - 15:30
Session 3VPT at Verdi
14:00
60m
Talk
Hacking program analysis: a systematic approach to code protectionVPT Invited Talk
VPT
Roberto GiacobazziUniversity of Verona and IMDEA Software Institute
15:00
30m
Talk
Static Program Analysis for String Manipulation Languages
VPT
Vincenzo ArceriUniversity of Verona, Italy, Isabella MastroeniUniversity of Verona, Italy
15:30 - 16:00
15:30
30m
Coffee break
Break
Catering
16:00 - 17:30
Salon des Refusés Fourth sessionSalon des Refusés at Bellini
16:00
30m
Talk
Computing beyond pencils
Salon des Refusés
Mariana MarasoiuUniversity of Cambridge, Luke Church
16:30
20m
Talk
Critique presentation - Computing beyond pencils
Salon des Refusés
Clayton LewisUniversity of Colorado Boulder
16:50
40m
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
30m
Talk
A Shell-like Model for General Purpose ProgrammingPASS'19
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
30m
Talk
Toward a Language Design for Energy PredictionPASS'19
MoreVMs
Anthony CaninoSUNY Binghamton, Yu David LiuState University of New York (SUNY) Binghamton
Pre-print
17:00
30m
Talk
Language Support for Multiple Privacy Enhancing TechnologiesPASS'19
MoreVMs
Aditya OakTechnische Universität Darmstadt, Mira MeziniTU Darmstadt, Germany, Guido SalvaneschiTU Darmstadt
16:00 - 17:00
EcosystemELS at Paganini
16:00
30m
Talk
Symbols as Namespaces in Common Lisp
ELS
16:30
29m
Talk
Parallelizing Quickref
ELS
Didier VernaEPITA / LRDE
16:59
1m
Talk
Lightning Talks II
ELS
16:00 - 17:10
Session 4VPT at Verdi
16:00
20m
Talk
Iteratively Composing Statically Verified Traits
VPT
Isaac Oscar Gariano, Marco ServettoVictoria University Wellington, New Zealand, Alex PotaninVictoria University of Wellington, Hrshikesh Arora
16:20
20m
Talk
Verifying String Replacing Procedures by Supercompilation
VPT
16:40
20m
Talk
Study of Recursion Elimination for a Class of Semi-interpreted Recursive Program Schemata
VPT
Nikolay ShilovInnopolis University
17:00
10m
Day closing
Closing
VPT
Alexei LisitsaUniversity of Liverpool , Andrei NemytykhProgram Systems Institute of RAS, Russia
18:00 - 22:00
Steering Committee Meeting at Verdi
18:00
4h
Meeting
Steering Committee Meeting (NOT PUBLIC)

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

08:30 - 17:00
08:30
8h30m
Registration
Registration
09:20 - 09:30
Conference Opening at Paganini
09:20
10m
Other
Conferences Opening
09:30 - 11:00
Oral PresentationStudent Research Competition at Bellini
Chair(s): Philipp HallerKTH Royal Institute of Technology, Sweden
09:30
15m
Talk
Cantor pairing in a reversible programming language (short presentation)
Student Research Competition
Francesco RossiniUniversity of Turin, Italy
09:45
15m
Talk
Reading logic as code or as natural language text (short presentation)
Student Research Competition
Patrick ReinHasso Plattner Institute, Germany
10:00
15m
Talk
A framework for big-step semantics (short presentation)
Student Research Competition
Francesco DagninoDIBRIS, University of Genova, Italy
10:15
15m
Talk
RML: Runtime monitoring language (short presentation)
Student Research Competition
Luca FranceschiniDIBRIS, University of Genova, Italy
10:30
15m
Talk
BacCaml: The Meta-Hybrid Just-In-Time Compiler (short presentation)
Student Research Competition
Yusuke IzawaTokyo Institute of Technology
10:45
15m
Talk
Magritte: A modern shell language (short presentation)
Student Research Competition
Jeanine Miller AdkissonTokyo Institute of Technology
10:30 - 11:00
10:30
30m
Coffee break
Break
Catering
11:00 - 12:30
Modularity and ModelingResearch Papers at Paganini
Chair(s): Walter Cazzola Università degli Studi di Milano
11:00
30m
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
30m
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
30m
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
5m
Awards
Awards
12:35
5m
Awards
SRC awards
12:30 - 14:30
Poster SessionPosters at Second floor hall
12:30
2h
Poster
Distributed Software on Mobile Robot
Posters
12:30
2h
Talk
Developing Distributed Systems with ScalaLoci
Posters
Pascal WeisenburgerTechnische Universität Darmstadt, Guido SalvaneschiTU Darmstadt
12:30
2h
Poster
Proving Inequational Propositions about Haskell Programs in Coq
Posters
Jan ChristiansenFlensburg University of Applied Sciences, Germany, Sandra DylusUniversity of Kiel, Germany
12:30
2h
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
12:40
1h50m
Lunch
Lunch
Catering
13:45 - 15:30
DemosDemos at Bellini
13:45
30m
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
30m
Talk
Quickref: Auto-Documenting the Common Lisp Ecosystem
Demos
Didier VernaEPITA / LRDE
14:45
45m
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
30m
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
30m
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
15:30
30m
Coffee break
Break
Catering
16:00 - 17:30
DemosDemos at Bellini
16:00
30m
Talk
Developing Distributed Systems with ScalaLoci
Demos
Pascal WeisenburgerTechnische Universität Darmstadt
16:30
30m
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
30m
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
30m
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
30m
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
30m
Other
‹Programming› 2020 Announcement
20:00 - 23:00
20:00
3h
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
08:30
8h30m
Registration
Registration
10:30 - 11:00
10:30
30m
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
30m
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
30m
Talk
Semantic Query Integration With Reason
Research Papers
Philipp SeiferUniversity of Koblenz-Landau, Germany, Martin LeinbergerUniversity of Koblenz-Landau, Germany, Ralf LaemmelUniversity of Koblenz-Landau, Germany, Steffen StaabUniversity of Koblenz-Landau and University of Southampton, Germany
Link to publication DOI Pre-print
12:00
30m
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
12:30
90m
Lunch
Lunch
Catering
14:00 - 15:30
Language Design and ReactivityResearch Papers at Paganini
Chair(s): Guido SalvaneschiTU Darmstadt
14:00
30m
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
30m
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
30m
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
15:30
30m
Coffee break
Break
Catering
16:00 - 17:00
Examining ProgramsResearch Papers at Paganini
16:00
30m
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
30m
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

Room8:001530459:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:0015304518:0015304519:0015304520:00153045
Aula Magna
Bellini
Michelangelo
Paganini
ELS
Welcome message
09:15 - 09:30
Verdi
​Coffee break area
​Lunch area

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

Room8:001530459:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:0015304518:0015304519:0015304520:0015304521:00153045
Bellini
Colombo
CoCoDo
SmaCC
14:00 - 14:45
CoCoDo
PetitParser
14:45 - 15:30
Michelangelo
MoreVMs
Welcome
08:50 - 09:00
Paganini
Second floor hall
Verdi
VPT
Welcome
08:55 - 09:00
VPT
Closing
17:00 - 17:10
​Coffee break area
​Lunch area
​Registration (Lobby)

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

Room8:001530459:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:0015304518:0015304519:0015304520:0015304521:0015304522:00153045
Bellini
Paganini
Palazzo della Meridiana
Second floor hall
​Coffee break area
​Lunch area
​Registration (Lobby)
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
Session Calendar (ical)
Detailed Event Calendar (ical)