‹Programming› 2019
Mon 1 - Thu 4 April 2019 Genoa, Italy
VenueHotel Bristol Palace
Room namePaganini
Floor2
Capacity200
Additional 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

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

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

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

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
14:00 - 15:30: RacketELS at Paganini
14:30 - 15:30
Talk
Rebooting RacketELS Special Guest
ELS
S: Matthew FlattUniversity of Utah
16:00 - 17:00: EcosystemELS at Paganini
16:00 - 16:30
Talk
Symbols as Namespaces in Common Lisp
ELS
16:30 - 16:59
Talk
Parallelizing Quickref
ELS
Didier VernaEPITA / LRDE
16:59 - 17:00
Talk
Lightning Talks II
ELS

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

09:20 - 09:30: Conference Opening at Paganini
09:20 - 09:30
Other
Conferences Opening
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
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
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

Thu 4 Apr
Times are displayed in 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 - 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 LaemmelUniversity 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
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
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

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

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

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

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