Program - ‹Programming› 2018

Mon 9 - Thu 12 April 2018 Nice, France

Filter

Mon 9 Apr

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

08:00 - 17:00
Registration

08:45 - 10:30: CoCoDo 2018 - CoCoDo morning at Matisse

08:45 - 09:00
Day opening

CoCoDo opening and introductions

09:00 - 10:30
Talk

Peter D. Mosses

08:50 - 10:30: MoreVMs 2018 - MoreVMs 1 at Baie des Anges B

08:50 - 09:00
Day opening

09:00 - 09:30
Talk

Towards Practical Heterogeneous Virtual Machines

James Clarkson, Juan Fumero, Michalis Papadimitriou, Maria Xekalaki, Christos Kotselidis

09:30 - 10:00
Talk

Easy::Jit: Compiler assisted library to enable Just-In-Time compilation in C++ codes

Juan Manuel Martinez Caamaño, Serge Guelton

10:00 - 10:30
Talk

On the Future of Research VMs: A Hardware/Software Perspective

Foivos S. Zakkak, Andy Nisbet, John Mawer, Tim Hartley, Nikos Foutris, Orion Papadakis, Andreas Andronikakis, Iain Apreotesei, Mikel Luján, Christos Kotselidis

09:00 - 10:30: Salon des Refusés 2018 - Salon des Refusés 1 at Baie des Anges A

09:00 - 09:20
Talk

Welcome to Salon des Refusés

Tomas Petricek, Luke Church

09:20 - 09:50
Talk

Files as Directories: Some Thoughts on Accessing Structured Data Within Files

09:50 - 10:10
Talk

Critique (1) - Files as Directories: Some Thoughts on Accessing Structured Data Within Files

Philip Tchernavskij

10:10 - 10:30
Talk

Critique (2) - Files as Directories: Some Thoughts on Accessing Structured Data Within Files

10:30 - 11:00: Catering - Coffee Break at Lobby

10:30 - 11:00
Coffee break

11:00 - 12:30: MoreVMs 2018 - MoreVMs 2 at Baie des Anges B

11:00 - 11:30
Talk

Understanding Task Granularity on the JVM: Profiling, Analysis, and Optimization

Andrea Rosà, Eduardo Rosales, Filippo Schiavio, Walter Binder

11:30 - 12:00
Talk

Selfie: Towards Minimal Symbolic Execution

Alireza S. Abyaneh, Simon Bauer, Christoph Kirsch, Philipp Mayer, Christian Mösl, Clément Poncelet, Sara Seidl, Ana Sokolova, Manuel Widmoser

12:00 - 12:30
Talk

Self-hosted scripting in Guile

Pre-print File Attached

11:00 - 12:30: CoCoDo 2018 - CoCoDo pre-lunch at Matisse

11:00 - 12:30
Talk

11:00 - 12:30: Salon des Refusés 2018 - Salon des Refusés 2 at Baie des Anges A

11:00 - 11:30
Talk

Lector in Codigo or The Role of the Reader

11:30 - 11:50
Talk

Critique - Lector in Codigo or The Role of the Reader

11:50 - 12:30
Talk

Discussion - What next for Salon des Refusés

12:30 - 14:30: Catering - Lunch at Restaurant (Rooftop)

12:30 - 14:30
Lunch

12:30 - 14:30: Posters - Posters at Baie des Anges B

12:30 - 14:30
Poster

Software != Programs - Software Behaviour as an Emergent Property

Anna Maria Eilertsen, Anya Helene Bagge

12:30 - 14:30
Poster

VisAST: Generic AST Visualizer for Software Language Education

Ragnhild Aalvik, Anya Helene Bagge, Jaakko Järvi

12:30 - 14:30
Poster

Fault-tolerant Reactive Programming

12:30 - 14:30
Poster

Programming virtual musical instruments and audio effects in the Web browser

Michel Buffa, Jérôme Lebrun, Jari Kleimola, Oliver Larkin, Stéphane Letz

12:30 - 14:30
Poster

Runtime Verification of Flow-Based Programming for the Internet of Things

Davide Ancona, Luca Franceschini, Maurizio Leotta, Diego Clerissi, Dario Olianas, Filippo Ricca, Giorgio Delzanno, Marina Ribaudo

12:30 - 14:30
Poster

Automating Testing of Programming Assignments

Knut Anders Stokke, Anya Helene Bagge, Håkon Heggernes Lerring

12:30 - 14:30
Poster

Distributed Reactive Applications with ScalaLoci

Pascal Weisenburger

14:30 - 16:10: MoreVMs 2018 - MoreVMs 3 at Baie des Anges B

14:30 - 15:00
Talk

Sulong, and Thanks for All the Fish

Manuel Rigger, Roland Schatz, Jacob Kreindl, Christian Häubl, Hanspeter Mössenböck

Pre-print Media Attached

15:00 - 15:30
Talk

The inevitable death of VMs: a progress report

15:30 - 16:00
Meeting

Discussion: Why do we need research VMs and what are our requirements?

16:00 - 16:10
Day closing

14:30 - 16:00: CoCoDo 2018 - CoCoDo post-lunch at Matisse

14:30 - 16:00
Talk

Anya Helene Bagge

14:30 - 16:00: Salon des Refusés 2018 - Salon des Refusés 3 at Baie des Anges A

14:30 - 15:00
Talk

An Anatomy of Interaction: Co-Occurrences and Entanglements

Antranig Basman, Philip Tchernavskij, Simon Bates, Michel Beaudouin-Lafon

15:00 - 15:20
Talk

Critique - An Anatomy of Interaction: Co-Occurrences and Entanglements

15:20 - 16:00
Talk

Discussion - Evaluating novel programming research ideas

16:00 - 16:30: Catering - Coffee Break at Lobby

16:00 - 16:30
Coffee break

16:30 - 18:00: CoCoDo 2018 - CoCoDo afternoon at Matisse

16:30 - 17:00
Talk

How to double embed the general-purpose language of your embedded DSL for expressivity, performance and profit

17:00 - 17:30
Talk

The Game of Programmer vs. IDE

Friedrich Steimann

16:30 - 18:00: Salon des Refusés 2018 - Salon des Refusés 4 at Baie des Anges A

16:30 - 17:00
Talk

Semprola: A Semiotic Programming Language

17:00 - 17:20
Talk

Critique - Semprola: A Semiotic Programming Language

Antranig Basman

Tue 10 Apr

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

08:00 - 17:00
Registration

08:50 - 10:30: Bx 2018 - Model Transformation at Baie des Anges B
Chair(s): Jens Weber

08:50 - 09:00
Day opening

09:00 - 09:30
Full-paper

Confidentiality in the process of (model-driven) software development

Michael Johnson, Perdita Stevens

09:30 - 10:00
Full-paper

Multimodel Correspondence through Inter-Model Constraints

Patrick Stünkel, Harald König, Yngve Lamo, Adrian Rutle

10:00 - 10:30
Short-paper

On the Development of Consistent User Interfaces

Anthony Anjorin, Enes Yigitbas, Hermann Kaindl, Roman Popp

09:00 - 10:30: ProWeb 2018 - Session 1 at Matisse

09:00 - 10:00
Talk

Hop.js: JavaScript Multitier ProgrammingProWeb Invited Talk

10:00 - 10:25
Talk

Daniel Hillerström, Sam Lindley, Robert Atkey, KC Sivaramakrishnan, Jeremy Yallop

10:25 - 10:30
Talk

Group discussion 1

09:00 - 10:30: PX/18 - Session 1 at Baie des Anges A

09:00 - 09:22
Talk

ACID for Programmers!

Friedrich Steimann

09:22 - 09:45
Talk

Attention Patterns for Code Animations: Using Eye Trackers to Evaluate Dynamic Code Presentation Techniques

Louis Spinelli, Maulishree Pandey, Stephen Oney

09:45 - 10:07
Talk

Reactive Programming Experience with REScala

Ragnar Mogk, Guido Salvaneschi, Mira Mezini

10:07 - 10:30
Talk

Social Programming Considered as a Habitat for Groups

10:30 - 11:00: Catering - Coffee Break at Lobby

10:30 - 11:00
Coffee break

11:00 - 12:30: Bx 2018 - Mathematical Foundations at Baie des Anges B
Chair(s): Jeremy Gibbons

11:00 - 11:30
Full-paper

Cospans and Symmetric Lenses

Michael Johnson, Robert Rosebrugh

11:30 - 12:00
Short-paper

Understanding Profunctor Optics: a representation theorem

Guillaume Bouisseau

12:00 - 12:30
Talk

Bimorphic lenses in compositional game theory

11:00 - 12:30: ProWeb 2018 - Session 2 at Matisse

11:00 - 11:25
Full-paper

A Framework for Dynamic Inter-Device Task Dispatch with Eventual Consistency

Jihyeok Park, Joonyoung Park, Yoonkyong Lee, Chul-Joo Kim, Byoungoh Kim, Sukyoung Ryu

11:25 - 11:50
Full-paper

Scalagna 0.1: Towards Multi-tier Programming with Scala and Scala.js

Bob Reynders, Michael Greefs, Dominique Devriese, Frank Piessens

11:50 - 12:15
Talk

Session Types for Tierless Web Applications

Simon Fowler, Sam Lindley, J. Garrett Morris, Sara Décova

12:15 - 12:30
Talk

Group discussion 2

11:00 - 12:30: PX/18 - Session 2 at Baie des Anges A

11:00 - 11:30
Talk

The Exploration Workspace: Interleaving the Implementation and Usage of Plain Objects

Patrick Rein, Robert Hirschfeld

11:30 - 12:00
Talk

An API and Visual Environment to use Neural Network To Reason About Source Code

Alexandre Bergel, Paulin Melatagia, Serge Stinckwich

12:00 - 12:30
Talk

Live Programming of Internet of Things in PalCom

Alfred Åkesson, Mattias Nordahl, Görel Hedin, Boris Magnusson

12:30 - 14:30: Catering - Lunch at Restaurant (Rooftop)

12:30 - 14:30
Lunch

12:30 - 14:30: Student Research Competition - SRC Poster Presentation at Baie des Anges B
Chair(s): Philipp Haller

12:30 - 12:39
Talk

A Soup of Objects: Convenience Interfaces for Accessing Domain Objects in a Global Object Graph

12:39 - 12:48
Talk

DSL for End-user Service Composition

Alfred Åkesson

12:48 - 12:57
Talk

Debugging Support for Big Data Processing Applications

12:57 - 13:06
Talk

Fine-grained, Dynamic Access Control for Database-backed Applications

13:06 - 13:16
Talk

Fully Homomorphic Encryption Scheme for Secure Computation

Alisa Gazizullina

13:16 - 13:25
Talk

Indigenizing Computer Programming for Cultural Maintenance

13:25 - 13:34
Talk

Mining Concepts from Code using Community Detection

13:34 - 13:43
Talk

On the Semantics of Loop Transformation Languages

13:43 - 13:53
Talk

Sandboxed Execution of C and Other Unsafe Languages on the Java Virtual Machine

13:53 - 14:02
Talk

Soundness and Completeness for Object Garbage Collection in the Pony Language

Daniel Slocombe

14:02 - 14:11
Talk

The Extensible Compiler Architecture of ExtendJ

14:11 - 14:20
Talk

Towards an Intelligent Fault Prediction Code Editor to Improve Software Quality using Deep Learning

14:20 - 14:30
Talk

Writing Safe Smart Contracts in Flint

Franklin Schrans

14:30 - 16:00: PASS 2018 - PASS 1 at Matisse

14:30 - 14:35
Day opening

Yu David Liu, Lukasz Ziarek, Christoph Bockisch, Hidehiko Masuhara

14:35 - 15:35
Talk

SafePlace: Trustable Virtual Machine Scheduling (invited talk)PASS Invited Talk

15:35 - 16:00
Talk

Managing Hybrid Memories by Predicting Object Write Intensity

Shoaib Akram, Kathryn S McKinley, Jennifer B. Sartor, Lieven Eeckhout

14:30 - 16:00: PX/18 - Session 3 at Baie des Anges A

14:30 - 15:00
Talk

Do Java Programmers Write Better Python? – Studying Off-Language Code Quality on GitHub

Siegfried Horschig, Toni Mattis, Robert Hirschfeld

15:00 - 15:30
Talk

The Fun of Being Wrong, or: The Game of Programmer vs. IDE

Friedrich Steimann

15:30 - 16:00
Talk

Few Versatile vs. Many Specialized Collections

Stefan Marr, Benoit Daloze

Pre-print Media Attached

14:30 - 16:00: Bx 2018 - Tools and Systems at Baie des Anges B
Chair(s): Perdita Stevens

14:30 - 15:00
Short-paper

Towards a Visual Editor for Lens Combinators

Anthony Anjorin, Hsiang-Shang ‘Josh’ Ko

15:00 - 15:30
Full-paper

Enhancing the JTL Tool for Bidirectional Transformations

Romina Eramo, Alfonso Pierantonio, Michele Tucci

15:30 - 16:00
Full-paper

Lightweight Data Sharing System based on Bidirectional Transformations

Adrien Duchêne, Hugues Marchal, Zhenjiang Hu, Pierre Yves Schobbens

16:00 - 16:30: Catering - Coffee Break at Lobby

16:00 - 16:30
Coffee break

16:00 - 16:30: Posters - Posters at Baie des Anges B

16:00 - 16:30
Poster

Programming virtual musical instruments and audio effects in the Web browser

Michel Buffa, Jérôme Lebrun, Jari Kleimola, Oliver Larkin, Stéphane Letz

16:00 - 16:30
Poster

VisAST: Generic AST Visualizer for Software Language Education

Ragnhild Aalvik, Anya Helene Bagge, Jaakko Järvi

16:00 - 16:30
Poster

Distributed Reactive Applications with ScalaLoci

Pascal Weisenburger

16:00 - 16:30
Poster

Automating Testing of Programming Assignments

Knut Anders Stokke, Anya Helene Bagge, Håkon Heggernes Lerring

16:00 - 16:30
Poster

Runtime Verification of Flow-Based Programming for the Internet of Things

Davide Ancona, Luca Franceschini, Maurizio Leotta, Diego Clerissi, Dario Olianas, Filippo Ricca, Giorgio Delzanno, Marina Ribaudo

16:00 - 16:30
Poster

Fault-tolerant Reactive Programming

16:00 - 16:30
Poster

Software != Programs - Software Behaviour as an Emergent Property

Anna Maria Eilertsen, Anya Helene Bagge

16:30 - 18:00: PASS 2018 - PASS 2 at Matisse

16:30 - 16:55
Talk

Towards Safe Modular Composition of Network Functions

Matthias Eichholz, Guido Salvaneschi, Mira Mezini

16:55 - 17:20
Talk

Applying Aspect-Oriented Change Realization in the Mobile Application Domain

Sandra Kostova, Valentino Vranić

17:20 - 17:45
Talk

Detecting energy bugs and hotspots in control software using model checking

Pascal van Gastel, Bernard van Gastel, Marko van Eekelen

17:45 - 18:00
Day closing

Discussion & closing

Yu David Liu, Lukasz Ziarek, Christoph Bockisch, Hidehiko Masuhara

16:30 - 18:10: Bx 2018 - Programming and Applications at Baie des Anges B
Chair(s): Kazutaka Matsuda

16:30 - 17:00
Talk

An Axiomatic Basis for Bidirectional Programming

Hsiang-Shang ‘Josh’ Ko, Zhenjiang Hu

Link to publication DOI

17:00 - 17:30
Talk

Profunctor Optics and the Yoneda Lemma

Jeremy Gibbons, Guillaume Bouisseau

17:30 - 18:00
Talk

Towards sound, flexible and optimal build for megamodels

Perdita Stevens

18:00 - 18:10
Day closing

16:30 - 18:00: PX/18 - Session 4 at Baie des Anges A

16:30 - 17:00
Talk

Steven Costiou, Mickael Kerboeuf, Alain Plantec, Marcus Denker

17:00 - 17:30
Talk

Word expansion supports POSIX shell interactivity

Michael Greenberg

17:30 - 18:00
Talk

A Non-Tabular Spreadsheet with Broad Applicability

Pavel Bažant, Michaela Maršálková

19:00 - 22:00: Organizational - Steering Committee Meeting at Matisse

19:00 - 22:00
Meeting

Steering Committee Meeting (NOT PUBLIC)

Wed 11 Apr

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

08:00 - 17:00
Registration

08:45 - 09:00: Organizational - Opening at Baie des Anges A + B

08:45 - 09:00
Other

Conference Opening

Manuel Serrano, Guido Salvaneschi

09:00 - 10:00: Keynotes - Wednesday Keynote at Baie des Anges A + B

09:00 - 10:00
Talk

The Recurring Rainfall Problem‹Programming› Keynote

Shriram Krishnamurthi

10:00 - 10:30: Catering - Coffee Break at Lobby

10:00 - 10:30
Coffee break

10:00 - 10:30: Posters - Posters at Baie des Anges B

10:00 - 10:30
Poster

Programming virtual musical instruments and audio effects in the Web browser

Michel Buffa, Jérôme Lebrun, Jari Kleimola, Oliver Larkin, Stéphane Letz

10:00 - 10:30
Poster

Fault-tolerant Reactive Programming

10:00 - 10:30
Poster

VisAST: Generic AST Visualizer for Software Language Education

Ragnhild Aalvik, Anya Helene Bagge, Jaakko Järvi

10:00 - 10:30
Poster

Distributed Reactive Applications with ScalaLoci

Pascal Weisenburger

10:00 - 10:30
Poster

Runtime Verification of Flow-Based Programming for the Internet of Things

Davide Ancona, Luca Franceschini, Maurizio Leotta, Diego Clerissi, Dario Olianas, Filippo Ricca, Giorgio Delzanno, Marina Ribaudo

10:00 - 10:30
Poster

Automating Testing of Programming Assignments

Knut Anders Stokke, Anya Helene Bagge, Håkon Heggernes Lerring

10:00 - 10:30
Poster

Software != Programs - Software Behaviour as an Emergent Property

Anna Maria Eilertsen, Anya Helene Bagge

10:30 - 12:00: Research Papers - Session 1 at Baie des Anges A + B

10:30 - 11:00
Talk

Scoped Extension Methods in Dynamically-Typed Languages

Guillermo Polito, Camille Teruel, Stéphane Ducasse, Luc Fabresse

Link to publication DOI

11:00 - 11:30
Talk

Towards Zero-Overhead Disambiguation of Deep Priority Conflicts

Luís Eduardo de Souza Amorim, Michael J. Steindorfer, Eelco Visser

Link to publication DOI

11:30 - 12:00
Talk

Language-integrated provenance in Haskell

Jan Stolarek, James Cheney

Link to publication DOI

12:00 - 13:45: Catering - Lunch at Restaurant (Rooftop)

12:00 - 13:45
Lunch

12:00 - 13:45: Student Research Competition - SRC Oral Presentation at Baie des Anges A + B

12:00 - 13:45
Talk

SRC Second Round: Oral Presentation

13:45 - 15:00: Research Papers - Session 2 at Baie des Anges A + B

13:45 - 14:30
Talk

Lisp, Jazz, Aikido – Three Expressions of a Single Essence

Link to publication DOI

14:30 - 15:00
Talk

Live Multi-language Development and Runtime Environments

Fabio Niephaus, Tim Felgentreff, Tobias Pape, Robert Hirschfeld, Marcel Taeumel

Link to publication DOI

15:00 - 15:30: Catering - Coffee Break at Lobby

15:00 - 15:30
Coffee break

15:00 - 15:30: Posters - Posters at Baie des Anges B

15:00 - 15:30
Poster

Fault-tolerant Reactive Programming

15:00 - 15:30
Poster

Runtime Verification of Flow-Based Programming for the Internet of Things

Davide Ancona, Luca Franceschini, Maurizio Leotta, Diego Clerissi, Dario Olianas, Filippo Ricca, Giorgio Delzanno, Marina Ribaudo

15:00 - 15:30
Poster

VisAST: Generic AST Visualizer for Software Language Education

Ragnhild Aalvik, Anya Helene Bagge, Jaakko Järvi

15:00 - 15:30
Poster

Automating Testing of Programming Assignments

Knut Anders Stokke, Anya Helene Bagge, Håkon Heggernes Lerring

15:00 - 15:30
Poster

Distributed Reactive Applications with ScalaLoci

Pascal Weisenburger

15:00 - 15:30
Poster

Software != Programs - Software Behaviour as an Emergent Property

Anna Maria Eilertsen, Anya Helene Bagge

15:00 - 15:30
Poster

Programming virtual musical instruments and audio effects in the Web browser

Michel Buffa, Jérôme Lebrun, Jari Kleimola, Oliver Larkin, Stéphane Letz

15:30 - 17:00: Research Papers - Session 3 at Baie des Anges A + B

15:30 - 16:00
Talk

Search-based Tier Assignment for Optimising Offline Availability in Multi-tier Web Applications

Laure Philips, Joeri De Koster, Wolfgang De Meuter, Coen De Roover

Link to publication DOI

16:00 - 16:30
Talk

On the Effect of Semantically Enriched Context Models on Software Modularization

Amir Saeidi, Jurriaan Hage, Ravi Khadka, Slinger Jansen

Link to publication DOI

16:30 - 17:00
Talk

Harmonizing Signals and Events with a Lightweight Extension to Java

Tetsuo Kamina, Tomoyuki Aotani

Link to publication DOI

19:30 - 23:00: Social Events - Social Event at Restaurant

19:30 - 23:00
Social Event

Thu 12 Apr

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

08:00 - 17:00
Registration

09:00 - 10:00: Keynotes - Thursday Keynote at Baie des Anges A + B

09:00 - 10:00
Talk

Static Analysis of Android Applications for Finding Bugs and Security Vulnerabilities‹Programming› Keynote

10:00 - 10:30: Catering - Coffee Break at Lobby

10:00 - 10:30
Coffee break

10:00 - 10:30: Posters - Posters at Baie des Anges B

10:00 - 10:30
Poster

Fault-tolerant Reactive Programming

10:00 - 10:30
Poster

Runtime Verification of Flow-Based Programming for the Internet of Things

Davide Ancona, Luca Franceschini, Maurizio Leotta, Diego Clerissi, Dario Olianas, Filippo Ricca, Giorgio Delzanno, Marina Ribaudo

10:00 - 10:30
Poster

Automating Testing of Programming Assignments

Knut Anders Stokke, Anya Helene Bagge, Håkon Heggernes Lerring

10:00 - 10:30
Poster

Programming virtual musical instruments and audio effects in the Web browser

Michel Buffa, Jérôme Lebrun, Jari Kleimola, Oliver Larkin, Stéphane Letz

10:00 - 10:30
Poster

VisAST: Generic AST Visualizer for Software Language Education

Ragnhild Aalvik, Anya Helene Bagge, Jaakko Järvi

10:00 - 10:30
Poster

Distributed Reactive Applications with ScalaLoci

Pascal Weisenburger

10:00 - 10:30
Poster

Software != Programs - Software Behaviour as an Emergent Property

Anna Maria Eilertsen, Anya Helene Bagge

10:30 - 12:00: Research Papers - Session 4 at Baie des Anges A + B

10:30 - 11:00
Talk

Fast, Flexible, Polyglot Instrumentation Support for Debuggers and other Tools

Michael Van De Vanter, Chris Seaton, Michael Haupt, Christian Humer, Thomas Wuerthinger

Link to publication DOI

11:00 - 11:30
Talk

Proactive Empirical Assessment of New Language Feature Adoption via Automated Refactoring: The Case of Java 8 Default Methods

Raffi Khatchadourian, Hidehiko Masuhara

Link to publication DOI

11:30 - 12:00
Talk

Introspection for C and its Applications to Library Robustness

Manuel Rigger, Rene Mayrhofer, Roland Schatz, Matthias Grimmer, Hanspeter Mössenböck

Link to publication DOI

12:00 - 13:45: Catering - Lunch at Restaurant (Rooftop)

12:00 - 13:45
Lunch

12:00 - 13:45: Student Research Competition - SRC Oral Presentation at Baie des Anges A + B

12:00 - 13:45
Talk

SRC Second Round: Oral Presentation

13:45 - 15:00: Research Papers - Session 5 at Baie des Anges A + B

13:45 - 14:30
Talk

What we talk about when we talk about monads

Link to publication DOI

14:30 - 15:00
Talk

Deadlock-Free Typestate-Oriented Programming

Link to publication DOI

15:00 - 15:30: Catering - Coffee Break at Lobby

15:00 - 15:30
Coffee break

15:00 - 15:30: Posters - Posters at Baie des Anges B

15:00 - 15:30
Poster

Programming virtual musical instruments and audio effects in the Web browser

Michel Buffa, Jérôme Lebrun, Jari Kleimola, Oliver Larkin, Stéphane Letz

15:00 - 15:30
Poster

Automating Testing of Programming Assignments

Knut Anders Stokke, Anya Helene Bagge, Håkon Heggernes Lerring

15:00 - 15:30
Poster

Distributed Reactive Applications with ScalaLoci

Pascal Weisenburger

15:00 - 15:30
Poster

Software != Programs - Software Behaviour as an Emergent Property

Anna Maria Eilertsen, Anya Helene Bagge

15:00 - 15:30
Poster

Fault-tolerant Reactive Programming

15:00 - 15:30
Poster

Runtime Verification of Flow-Based Programming for the Internet of Things

Davide Ancona, Luca Franceschini, Maurizio Leotta, Diego Clerissi, Dario Olianas, Filippo Ricca, Giorgio Delzanno, Marina Ribaudo

15:00 - 15:30
Poster

VisAST: Generic AST Visualizer for Software Language Education

Ragnhild Aalvik, Anya Helene Bagge, Jaakko Järvi

15:30 - 16:30: Research Papers - Session 6 at Baie des Anges A + B

15:30 - 16:00
Talk

PIE: A Domain-Specific Language for Interactive Software Development Pipelines

Gabriël Konat, Michael J. Steindorfer, Sebastian Erdweg, Eelco Visser

Link to publication DOI

16:00 - 16:30
Talk

Description Languages for Consistency Management Scenarios Based on Examples from the Industry Automation Domain

Anthony Anjorin, Enes Yigitbas, Erhan Leblebici, Andy Schürr, Marius Lauder, Martin Witte

Link to publication DOI

16:30 - 17:00: Organizational - Closing at Baie des Anges A + B

16:30 - 17:00
Other

Conference Closing

Mon 9 Apr 2018


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
Baie des Anges A													Salon des Refusés 2018 Salon des Refusés 1 09:00 - 10:30																								Salon des Refusés 2018 Salon des Refusés 2 11:00 - 12:30																																										Salon des Refusés 2018 Salon des Refusés 3 14:30 - 16:00																								Salon des Refusés 2018 Salon des Refusés 4 16:30 - 18:00
Baie des Anges B											MoreVMs 2018 MoreVMs 1 08:50 - 10:30																										MoreVMs 2018 MoreVMs 2 11:00 - 12:30																		Posters Posters 12:30 - 14:30																								MoreVMs 2018 MoreVMs 3 14:30 - 16:10
Lobby																															Catering Coffee Break 10:30 - 11:00																																																																		Catering Coffee Break 16:00 - 16:30
Matisse										CoCoDo 2018 CoCoDo morning 08:45 - 10:30																											CoCoDo 2018 CoCoDo pre-lunch 11:00 - 12:30																																										CoCoDo 2018 CoCoDo post-lunch 14:30 - 16:00																								CoCoDo 2018 CoCoDo afternoon 16:30 - 18:00
Registration (Lobby)	Organizational Registration 08:00 - 17:00
Restaurant (Rooftop)																																																							Catering Lunch 12:30 - 14:30

Tue 10 Apr 2018


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
Baie des Anges A													PX/18 Session 1 09:00 - 10:30																								PX/18 Session 2 11:00 - 12:30																																										PX/18 Session 3 14:30 - 16:00																								PX/18 Session 4 16:30 - 18:00
Baie des Anges B											Bx 2018 Model Transformation 08:50 - 10:30																										Bx 2018 Mathematical Foundations 11:00 - 12:30																		Student Research Competition SRC Poster Presentation 12:30 - 14:30																								Bx 2018 Tools and Systems 14:30 - 16:00																		Posters Posters 16:00 - 16:30						Bx 2018 Programming and Applications 16:30 - 18:10
Lobby																															Catering Coffee Break 10:30 - 11:00																																																																		Catering Coffee Break 16:00 - 16:30
Matisse													ProWeb 2018 Session 1 09:00 - 10:30																								ProWeb 2018 Session 2 11:00 - 12:30																																										PASS 2018 PASS 1 14:30 - 16:00																								PASS 2018 PASS 2 16:30 - 18:00																														Organizational Steering Committee Meeting 19:00 - 22:00
Registration (Lobby)	Organizational Registration 08:00 - 17:00
Restaurant (Rooftop)																																																							Catering Lunch 12:30 - 14:30

Wed 11 Apr 2018


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						23:00						30
Baie des Anges A + B										Organizational Opening 08:45 - 09:00			Keynotes Wednesday Keynote 09:00 - 10:00																		Research Papers Session 1 10:30 - 12:00																		Student Research Competition SRC Oral Presentation 12:00 - 13:45																					Research Papers Session 2 13:45 - 15:00																					Research Papers Session 3 15:30 - 17:00
Baie des Anges B																									Posters Posters 10:00 - 10:30																																																												Posters Posters 15:00 - 15:30
Lobby																									Catering Coffee Break 10:00 - 10:30																																																												Catering Coffee Break 15:00 - 15:30
Registration (Lobby)	Organizational Registration 08:00 - 17:00
Restaurant																																																																	Social Events Social Event 19:30 - 23:00
Restaurant (Rooftop)																																																	Catering Lunch 12:00 - 13:45

Thu 12 Apr 2018


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
Baie des Anges A + B													Keynotes Thursday Keynote 09:00 - 10:00																		Research Papers Session 4 10:30 - 12:00																		Student Research Competition SRC Oral Presentation 12:00 - 13:45																					Research Papers Session 5 13:45 - 15:00																					Research Papers Session 6 15:30 - 16:30												Organizational Closing 16:30 - 17:00
Baie des Anges B																									Posters Posters 10:00 - 10:30																																																												Posters Posters 15:00 - 15:30
Lobby																									Catering Coffee Break 10:00 - 10:30																																																												Catering Coffee Break 15:00 - 15:30
Registration (Lobby)	Organizational Registration 08:00 - 17:00
Restaurant (Rooftop)																																																	Catering Lunch 12:00 - 13:45

Mon 9 Apr 2018


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
Baie des Anges A													Salon des Refusés 2018 Welcome to Salon des Refusés 09:00 - 09:20				Salon des Refusés 2018 Files as Directories: Some Thoughts on Accessing Structured Data Within ... 09:20 - 09:50						Salon des Refusés 2018 Critique (1) - Files as Directories: Some Thoughts on Accessing Structu ... 09:50 - 10:10				Salon des Refusés 2018 Critique (2) - Files as Directories: Some Thoughts on Accessing Structu ... 10:10 - 10:30										Salon des Refusés 2018 Lector in Codigo or The Role of the Reader 11:00 - 11:30						Salon des Refusés 2018 Critique - Lector in Codigo or The Role of the Reader 11:30 - 11:50				Salon des Refusés 2018 Discussion - What next for Salon des Refusés 11:50 - 12:30																																Salon des Refusés 2018 An Anatomy of Interaction: Co-Occurrences and Entanglements 14:30 - 15:00						Salon des Refusés 2018 Critique - An Anatomy of Interaction: Co-Occurrences and Entanglements 15:00 - 15:20				Salon des Refusés 2018 Discussion - Evaluating novel programming research ideas 15:20 - 16:00														Salon des Refusés 2018 Semprola: A Semiotic Programming Language 16:30 - 17:00						Salon des Refusés 2018 Critique - Semprola: A Semiotic Programming Language 17:00 - 17:20
Baie des Anges B											MoreVMs 2018 Day opening 08:50 - 09:00		MoreVMs 2018 Towards Practical Heterogeneous Virtual Machines 09:00 - 09:30						MoreVMs 2018 Easy::Jit: Compiler assisted library to enable Just-In-Time compilation ... 09:30 - 10:00						MoreVMs 2018 On the Future of Research VMs: A Hardware/Software Perspective 10:00 - 10:30												MoreVMs 2018 Understanding Task Granularity on the JVM: Profiling, Analysis, and Opt ... 11:00 - 11:30						MoreVMs 2018 Selfie: Towards Minimal Symbolic Execution 11:30 - 12:00						MoreVMs 2018 Self-hosted scripting in Guile 12:00 - 12:30						‹Programming› 2018 Posters Software != Programs - Software Behaviour as an Emergent Property 12:30 - 14:30																														‹Programming› 2018 Posters VisAST: Generic AST Visualizer for Software Language Education 12:30 - 14:30																														‹Programming› 2018 Posters Fault-tolerant Reactive Programming 12:30 - 14:30																														‹Programming› 2018 Posters Programming virtual musical instruments and audio effects in the Web br ... 12:30 - 14:30																														‹Programming› 2018 Posters Runtime Verification of Flow-Based Programming for the Internet of Things 12:30 - 14:30																														‹Programming› 2018 Posters Automating Testing of Programming Assignments 12:30 - 14:30																														‹Programming› 2018 Posters Distributed Reactive Applications with ScalaLoci 12:30 - 14:30																								MoreVMs 2018 Sulong, and Thanks for All the Fish 14:30 - 15:00						MoreVMs 2018 The inevitable death of VMs: a progress report 15:00 - 15:30						MoreVMs 2018 Discussion: Why do we need research VMs and what are our requirements? 15:30 - 16:00						MoreVMs 2018 Day closing 16:00 - 16:10
Lobby																															‹Programming› 2018 Catering Break 10:30 - 11:00																																																																		‹Programming› 2018 Catering Break 16:00 - 16:30
Matisse										CoCoDo 2018 CoCoDo opening and introductions 08:45 - 09:00			CoCoDo 2018 FunCons 09:00 - 10:30																								CoCoDo 2018 JastAdd 11:00 - 12:30																																										CoCoDo 2018 Rascal 14:30 - 16:00																								CoCoDo 2018 How to double embed the general-purpose language of your embedded DSL f ... 16:30 - 17:00						CoCoDo 2018 The Game of Programmer vs. IDE 17:00 - 17:30
Registration (Lobby)	‹Programming› 2018 Organizational Registration 08:00 - 17:00
Restaurant (Rooftop)																																																							‹Programming› 2018 Catering Lunch 12:30 - 14:30

Tue 10 Apr 2018


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
Baie des Anges A													PX/18 ACID for Programmers! 09:00 - 09:22				PX/18 Attention Patterns for Code Animations: Using Eye Trackers to Evaluate ... 09:22 - 09:45					PX/18 Reactive Programming Experience with REScala 09:45 - 10:07				PX/18 Social Programming Considered as a Habitat for Groups 10:07 - 10:30											PX/18 The Exploration Workspace: Interleaving the Implementation and Usage of ... 11:00 - 11:30						PX/18 An API and Visual Environment to use Neural Network To Reason About Sou ... 11:30 - 12:00						PX/18 Live Programming of Internet of Things in PalCom 12:00 - 12:30																														PX/18 Do Java Programmers Write Better Python? – Studying Off-Language Code Q ... 14:30 - 15:00						PX/18 The Fun of Being Wrong, or: The Game of Programmer vs. IDE 15:00 - 15:30						PX/18 Few Versatile vs. Many Specialized Collections 15:30 - 16:00												PX/18 Collectors 16:30 - 17:00						PX/18 Word expansion supports POSIX shell interactivity 17:00 - 17:30						PX/18 A Non-Tabular Spreadsheet with Broad Applicability 17:30 - 18:00
Baie des Anges B											Bx 2018 Opening 08:50 - 09:00		Bx 2018 Confidentiality in the process of (model-driven) software development 09:00 - 09:30						Bx 2018 Multimodel Correspondence through Inter-Model Constraints 09:30 - 10:00						Bx 2018 On the Development of Consistent User Interfaces 10:00 - 10:30												Bx 2018 Cospans and Symmetric Lenses 11:00 - 11:30						Bx 2018 Understanding Profunctor Optics: a representation theorem 11:30 - 12:00						Bx 2018 Bimorphic lenses in compositional game theory 12:00 - 12:30						‹Programming› 2018 Student Research Competition A Soup of Objects: Convenience Interfaces for Accessing Domain Objects ... 12:30 - 12:39		‹Programming› 2018 Student Research Competition DSL for End-user Service Composition 12:39 - 12:48		‹Programming› 2018 Student Research Competition Debugging Support for Big Data Processing Applications 12:48 - 12:57	‹Programming› 2018 Student Research Competition Fine-grained, Dynamic Access Control for Database-backed Applications 12:57 - 13:06		‹Programming› 2018 Student Research Competition Fully Homomorphic Encryption Scheme for Secure Computation 13:06 - 13:16		‹Programming› 2018 Student Research Competition Indigenizing Computer Programming for Cultural Maintenance 13:16 - 13:25		‹Programming› 2018 Student Research Competition Mining Concepts from Code using Community Detection 13:25 - 13:34		‹Programming› 2018 Student Research Competition On the Semantics of Loop Transformation Languages 13:34 - 13:43		‹Programming› 2018 Student Research Competition Sandboxed Execution of C and Other Unsafe Languages on the Java Virtual ... 13:43 - 13:53		‹Programming› 2018 Student Research Competition Soundness and Completeness for Object Garbage Collection in the Pony La ... 13:53 - 14:02	‹Programming› 2018 Student Research Competition The Extensible Compiler Architecture of ExtendJ 14:02 - 14:11		‹Programming› 2018 Student Research Competition Towards an Intelligent Fault Prediction Code Editor to Improve Software ... 14:11 - 14:20		‹Programming› 2018 Student Research Competition Writing Safe Smart Contracts in Flint 14:20 - 14:30		Bx 2018 Towards a Visual Editor for Lens Combinators 14:30 - 15:00						Bx 2018 Enhancing the JTL Tool for Bidirectional Transformations 15:00 - 15:30						Bx 2018 Lightweight Data Sharing System based on Bidirectional Transformations 15:30 - 16:00						‹Programming› 2018 Posters Programming virtual musical instruments and audio effects in the Web br ... 16:00 - 16:30						‹Programming› 2018 Posters VisAST: Generic AST Visualizer for Software Language Education 16:00 - 16:30						‹Programming› 2018 Posters Distributed Reactive Applications with ScalaLoci 16:00 - 16:30						‹Programming› 2018 Posters Automating Testing of Programming Assignments 16:00 - 16:30						‹Programming› 2018 Posters Runtime Verification of Flow-Based Programming for the Internet of Things 16:00 - 16:30						‹Programming› 2018 Posters Fault-tolerant Reactive Programming 16:00 - 16:30						‹Programming› 2018 Posters Software != Programs - Software Behaviour as an Emergent Property 16:00 - 16:30						Bx 2018 An Axiomatic Basis for Bidirectional Programming 16:30 - 17:00						Bx 2018 Profunctor Optics and the Yoneda Lemma 17:00 - 17:30						Bx 2018 Towards sound, flexible and optimal build for megamodels 17:30 - 18:00						Bx 2018 Closing 18:00 - 18:10
Lobby																															‹Programming› 2018 Catering Break 10:30 - 11:00																																																																		‹Programming› 2018 Catering Break 16:00 - 16:30
Matisse													ProWeb 2018ProWeb Invited Talk Hop.js: JavaScript Multitier Programming 09:00 - 10:00												ProWeb 2018 Handlers.Js 10:00 - 10:25					ProWeb 2018 Group discussion 1 10:25 - 10:30							ProWeb 2018 A Framework for Dynamic Inter-Device Task Dispatch with Eventual Consis ... 11:00 - 11:25					ProWeb 2018 Scalagna 0.1: Towards Multi-tier Programming with Scala and Scala.js 11:25 - 11:50					ProWeb 2018 Session Types for Tierless Web Applications 11:50 - 12:15					ProWeb 2018 Group discussion 2 12:15 - 12:30																											PASS 2018 Welcome 14:30 - 14:35	PASS 2018PASS Invited Talk SafePlace: Trustable Virtual Machine Scheduling (invited talk) 14:35 - 15:35												PASS 2018 Managing Hybrid Memories by Predicting Object Write Intensity 15:35 - 16:00											PASS 2018 Towards Safe Modular Composition of Network Functions 16:30 - 16:55					PASS 2018 Applying Aspect-Oriented Change Realization in the Mobile Application D ... 16:55 - 17:20					PASS 2018 Detecting energy bugs and hotspots in control software using model checking 17:20 - 17:45					PASS 2018 Discussion & closing 17:45 - 18:00															‹Programming› 2018 Organizational Steering Committee Meeting (NOT PUBLIC) 19:00 - 22:00
Registration (Lobby)	‹Programming› 2018 Organizational Registration 08:00 - 17:00
Restaurant (Rooftop)																																																							‹Programming› 2018 Catering Lunch 12:30 - 14:30

Wed 11 Apr 2018


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			23:00			15			30			45
Baie des Anges A + B										‹Programming› 2018 Organizational Conference Opening 08:45 - 09:00			‹Programming› 2018 Keynotes‹Programming› Keynote The Recurring Rainfall Problem 09:00 - 10:00																		‹Programming› 2018 Research Papers Scoped Extension Methods in Dynamically-Typed Languages 10:30 - 11:00						‹Programming› 2018 Research Papers Towards Zero-Overhead Disambiguation of Deep Priority Conflicts 11:00 - 11:30						‹Programming› 2018 Research Papers Language-integrated provenance in Haskell 11:30 - 12:00						‹Programming› 2018 Student Research Competition SRC Second Round: Oral Presentation 12:00 - 13:45																					‹Programming› 2018 Research Papers Lisp, Jazz, Aikido – Three Expressions of a Single Essence 13:45 - 14:30									‹Programming› 2018 Research Papers Live Multi-language Development and Runtime Environments 14:30 - 15:00												‹Programming› 2018 Research Papers Search-based Tier Assignment for Optimising Offline Availability in Mul ... 15:30 - 16:00						‹Programming› 2018 Research Papers On the Effect of Semantically Enriched Context Models on Software Modul ... 16:00 - 16:30						‹Programming› 2018 Research Papers Harmonizing Signals and Events with a Lightweight Extension to Java 16:30 - 17:00
Baie des Anges B																									‹Programming› 2018 Posters Programming virtual musical instruments and audio effects in the Web br ... Fault-tolerant Reactive Programming VisAST: Generic AST Visualizer for Software Language Education Distributed Reactive Applications with ScalaLoci Runtime Verification of Flow-Based Programming for the Internet of Things Automating Testing of Programming Assignments Software != Programs - Software Behaviour as an Emergent Property 10:00 - 10:30																																																												‹Programming› 2018 Posters Fault-tolerant Reactive Programming 15:00 - 15:30						‹Programming› 2018 Posters Runtime Verification of Flow-Based Programming for the Internet of Things 15:00 - 15:30						‹Programming› 2018 Posters VisAST: Generic AST Visualizer for Software Language Education 15:00 - 15:30						‹Programming› 2018 Posters Automating Testing of Programming Assignments 15:00 - 15:30						‹Programming› 2018 Posters Distributed Reactive Applications with ScalaLoci 15:00 - 15:30						‹Programming› 2018 Posters Software != Programs - Software Behaviour as an Emergent Property 15:00 - 15:30						‹Programming› 2018 Posters Programming virtual musical instruments and audio effects in the Web br ... 15:00 - 15:30
Lobby																									‹Programming› 2018 Catering Break 10:00 - 10:30																																																												‹Programming› 2018 Catering Break 15:00 - 15:30
Registration (Lobby)	‹Programming› 2018 Organizational Registration 08:00 - 17:00
Restaurant																																																																	‹Programming› 2018 Social Events Banquet 19:30 - 23:00
Restaurant (Rooftop)																																																	‹Programming› 2018 Catering Lunch 12:00 - 13:45

Thu 12 Apr 2018


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
Baie des Anges A + B													‹Programming› 2018 Keynotes‹Programming› Keynote Static Analysis of Android Applications for Finding Bugs and Security V ... 09:00 - 10:00																		‹Programming› 2018 Research Papers Fast, Flexible, Polyglot Instrumentation Support for Debuggers and othe ... 10:30 - 11:00						‹Programming› 2018 Research Papers Proactive Empirical Assessment of New Language Feature Adoption via Aut ... 11:00 - 11:30						‹Programming› 2018 Research Papers Introspection for C and its Applications to Library Robustness 11:30 - 12:00						‹Programming› 2018 Student Research Competition SRC Second Round: Oral Presentation 12:00 - 13:45																					‹Programming› 2018 Research Papers What we talk about when we talk about monads 13:45 - 14:30									‹Programming› 2018 Research Papers Deadlock-Free Typestate-Oriented Programming 14:30 - 15:00												‹Programming› 2018 Research Papers PIE: A Domain-Specific Language for Interactive Software Development Pi ... 15:30 - 16:00						‹Programming› 2018 Research Papers Description Languages for Consistency Management Scenarios Based on Exa ... 16:00 - 16:30						‹Programming› 2018 Organizational Conference Closing 16:30 - 17:00
Baie des Anges B																									‹Programming› 2018 Posters Fault-tolerant Reactive Programming Runtime Verification of Flow-Based Programming for the Internet of Things Automating Testing of Programming Assignments Programming virtual musical instruments and audio effects in the Web br ... VisAST: Generic AST Visualizer for Software Language Education Distributed Reactive Applications with ScalaLoci Software != Programs - Software Behaviour as an Emergent Property 10:00 - 10:30																																																												‹Programming› 2018 Posters Programming virtual musical instruments and audio effects in the Web br ... 15:00 - 15:30						‹Programming› 2018 Posters Automating Testing of Programming Assignments 15:00 - 15:30						‹Programming› 2018 Posters Distributed Reactive Applications with ScalaLoci 15:00 - 15:30						‹Programming› 2018 Posters Software != Programs - Software Behaviour as an Emergent Property 15:00 - 15:30						‹Programming› 2018 Posters Fault-tolerant Reactive Programming 15:00 - 15:30						‹Programming› 2018 Posters Runtime Verification of Flow-Based Programming for the Internet of Things 15:00 - 15:30						‹Programming› 2018 Posters VisAST: Generic AST Visualizer for Software Language Education 15:00 - 15:30
Lobby																									‹Programming› 2018 Catering Break 10:00 - 10:30																																																												‹Programming› 2018 Catering Break 15:00 - 15:30
Registration (Lobby)	‹Programming› 2018 Organizational Registration 08:00 - 17:00
Restaurant (Rooftop)																																																	‹Programming› 2018 Catering Lunch 12:00 - 13:45

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