‹Programming› 2019
Mon 1 - Thu 4 April 2019 Genoa, Italy
VenueHotel Bristol Palace
Room namePaganini
Floor2
Capacity200
Room Information

The Paganini room, in the extended configuration, is able to accommodate up to 200 people, illuminated by natural light, is ideal for organizing large banquets or business meetings, product presentation, press conferences and events with a strong public appeal.

The particularity of this room is given by the possibility of being readapted according to the needs based on three configurations: configuration A provides a maximum capacity of 150 people, the configuration B of 40 people and the union configuration, the union between the configuration A and B, allows to host, as mentioned, up to 200 people.

The Conference Room

Program

You're viewing the program in a time zone which is different from your device's time zone - change time zone

Conference Day
Mon 1 Apr

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

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

Conference Day
Tue 2 Apr

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

14:00 - 15:30
RacketELS at Paganini
14:30
60m
Talk
Rebooting RacketELS Special Guest
ELS
S: Matthew FlattUniversity of Utah
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

Conference Day
Wed 3 Apr

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

09:20 - 09:30
Conference Opening at Paganini
09:20
10m
Other
Conferences Opening

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

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

Conference Day
Thu 4 Apr

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

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

Conference Day
Mon 1 Apr

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Room9:003010:003011:003012:003013:003014:003015:003016:0030
Paganini

Conference Day
Tue 2 Apr

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Room9:003010:003011:003012:003013:003014:003015:003016:0030
Paganini

Conference Day
Wed 3 Apr

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Conference Day
Thu 4 Apr

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Conference Day
Mon 1 Apr

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Conference Day
Tue 2 Apr

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change