MiniPLOP 2019
Mon 1 - Thu 4 April 2019 Genoa, Italy
co-located with ‹Programming› 2019
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

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 Monnier Université 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 Culpepper Czech Technical University
11:30
30m
Talk
Implementing Baker’s | SUBTYPEP Decision Procedure
ELS
Léo Valais , Jim Newton EPITA / LRDE https://www.lrde.epita.fr, Didier Verna EPITA / 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 Newton EPITA / LRDE https://www.lrde.epita.fr, Didier Verna EPITA / 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 Raskin Université de Bordeaux / LaBRI
16:30
30m
Talk
Plagiarism Detection for Common Lisp
ELS
António Menezes Leitão Technical University of Lisbon, Portugal
17:00
30m
Talk
Lightning Talks I
ELS

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 Flatt University 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 Verna EPITA / LRDE
16:59
1m
Talk
Lightning Talks II
ELS

Wed 3 Apr

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

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

11:00 - 12:30
Modularity and Modeling‹Programming› Research Papers at Paganini
Chair(s): Walter Cazzola Università degli Studi di Milano
11:00
30m
Talk
Separating Use and Reuse to Improve Both
‹Programming› Research Papers
Hrshikesh Arora , Marco Servetto Victoria University Wellington, New Zealand, Bruno C. d. S. Oliveira The University of Hong Kong, Hong Kong
Link to publication DOI Pre-print
11:30
30m
Talk
Clafer: Lightweight Modeling of Structure, Behaviour, and Variability
‹Programming› Research Papers
Paulius Juodisius IT University of Copenhagen, Denmark, Atrisha Sarkar University of Waterloo, Canada, Raghava Rao Mukkamala Department of Technology, Kristiania University College, Norway, Michal Antkiewicz University of Waterloo, Canada, Krzysztof Czarnecki University of Waterloo, Canada, Andrzej Wąsowski IT University of Copenhagen, Denmark
Link to publication DOI Pre-print
12:00
30m
Talk
Shallow EDSLs and Object-Oriented Programming: Beyond Simple Compositionality
‹Programming› Research Papers
Weixin Zhang The University of Hong Kong, Hong Kong, Bruno C. d. S. Oliveira The University of Hong Kong, Hong Kong
Link to publication DOI Pre-print
12:30 - 12:40
12:30
5m
Awards
Awards
‹Programming›

12:35
5m
Awards
SRC awards
‹Programming›

14:30 - 15:30
Live Programming‹Programming› Research Papers at Paganini
Chair(s): Manuel Serrano Inria, France
14:30
30m
Talk
Exploratory and Live, Programming and Coding: A Literature Study Comparing Perspectives on Liveness
‹Programming› Research Papers
Patrick Rein Hasso Plattner Institute, Germany, Stefan Ramson Hasso Plattner Institute, Germany, Jens Lincke Hasso Plattner Institute, University of Potsdam, Germany, Robert Hirschfeld Hasso-Plattner-Institut (HPI), Germany, Tobias Pape Hasso 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
‹Programming› Research Papers
David Rauch Hasso Plattner Institute, Germany, Patrick Rein Hasso Plattner Institute, Germany, Stefan Ramson Hasso Plattner Institute, Germany, Jens Lincke Hasso Plattner Institute, University of Potsdam, Germany, Robert Hirschfeld Hasso-Plattner-Institut (HPI), Germany
Link to publication DOI Pre-print
16:00 - 17:00
Tools‹Programming› Research Papers at Paganini
Chair(s): Stefan Marr University of Kent
16:00
30m
Talk
Out-Of-Place Debugging: a Debugging Architecture to Reduce Debugging Interference
‹Programming› Research Papers
Matteo Marra Vrije Universiteit Brussel, Guillermo Polito Univ. Lille, CNRS, Centrale Lille, Inria, UMR 9189 - CRIStAL - Centre de Recherche en Informatique Signal et Automatique de Lille, Elisa Gonzalez Boix Vrije Universiteit Brussel, Belgium
Link to publication DOI Pre-print
16:30
30m
Talk
Concrete Syntax with Black Box Parsers
‹Programming› Research Papers
Rodin Aarssen CWI, Netherlands, Jurgen Vinju CWI, Netherlands, Tijs van der Storm CWI, Netherlands
Link to publication DOI Pre-print
17:00 - 17:30
‹Programming› 2020 Announcement‹Programming› at Paganini
17:00
30m
Other
‹Programming› 2020 Announcement
‹Programming›

Thu 4 Apr

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

11:00 - 12:30
Language Design, Types, and Monads‹Programming› Research Papers at Paganini
Chair(s): Philipp Haller KTH Royal Institute of Technology, Sweden
11:00
30m
Talk
Comprehensive Multiparty Session Types
‹Programming› Research Papers
Andi Bejleri IBM GBS, Frankfurt, Germany, Elton Domnori Canadian Institute of Technology, Tirana, Albania, Malte Viering TU Darmstadt, Germany, Patrick Eugster Universita della Svizzera Italiana, Switzerland, Mira Mezini TU Darmstadt, Germany
Link to publication DOI Pre-print
11:30
30m
Talk
Semantic Query Integration With Reason
‹Programming› Research Papers
Philipp Seifer University of Koblenz-Landau, Germany, Martin Leinberger University of Koblenz-Landau, Germany, Ralf Laemmel University of Koblenz-Landau, Germany, Steffen Staab University of Koblenz-Landau and University of Southampton, Germany
Link to publication DOI Pre-print
12:00
30m
Talk
One Monad to Prove Them All
‹Programming› Research Papers
Sandra Dylus University of Kiel, Germany, Jan Christiansen Flensburg University of Applied Sciences, Germany, Finn Teegen University of Kiel, Germany
Link to publication DOI Pre-print
14:00 - 15:30
Language Design and Reactivity‹Programming› Research Papers at Paganini
Chair(s): Guido Salvaneschi TU Darmstadt
14:00
30m
Talk
Distributed Reactive Programming for Reactive Distributed Systems
‹Programming› Research Papers
Florian Myter Vrije Universiteit Brussel, Belgium, Christophe Scholliers Universiteit Gent, Belgium, Wolfgang De Meuter Vrije 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
‹Programming› Research Papers
Joe Gibbs Politz University of California San Diego, United States, Benjamin Lerner Northeastern University, United States, Sorawee Porncharoenwase Brown University, United States, Shriram Krishnamurthi Brown University, United States
Link to publication DOI Pre-print
15:00
30m
Talk
ParaSail: A Pointer-Free Pervasively-Parallel Language for Irregular Computations
‹Programming› Research Papers
Tucker Taft AdaCore, United States
Link to publication DOI Pre-print
16:00 - 17:00
16:00
30m
Talk
Applications of Multi-view Learning Approaches for Software Comprehension
‹Programming› Research Papers
Amir Saeidi Utrecht University, Netherlands, Jurriaan Hage Utrecht University, Netherlands, Ravi Khadka Utrecht University, Netherlands, Slinger Jansen Utrecht University, Netherlands
Link to publication DOI Pre-print
16:30
30m
Talk
Entombed: An Archaeological Examination of an Atari 2600 Game
‹Programming› Research Papers
John Aycock University of Calgary, Canada, Tara Copplestone University of York, United Kingdom
Link to publication DOI Pre-print

Mon 1 Apr

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

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

Tue 2 Apr

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

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

Mon 1 Apr

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

Tue 2 Apr

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