Program - ‹Programming› 2018

James ClarksonThe University of Manchester, Juan FumeroThe University of Manchester, Michalis PapadimitriouThe University of Manchester, Maria XekalakiThe University of Manchester, Christos KotselidisThe University of Manchester

File Attached

09:30 - 10:00
Talk

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

Juan Manuel Martinez CaamañoQuarkslab, Serge GueltonQuarkslab

10:00 - 10:30
Talk

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

Foivos S. Zakkak, Andy NisbetThe University of Manchester, John MawerThe University of Manchester, Tim HartleyThe University of Manchester, Nikos FoutrisThe University of Manchester, Orion PapadakisThe University of Manchester, Andreas AndronikakisThe University of Manchester, Iain ApreoteseiThe University of Manchester, Mikel LujánUniversity of Manchester, Christos KotselidisThe University of Manchester

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 PetricekAlan Turing Institute, Luke Church

09:20 - 09:50
Talk

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

Raphael WimmerUniversity of Regensburg

Pre-print

09:50 - 10:10
Talk

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

Philip TchernavskijEx Situ | Université Paris-Sud

10:10 - 10:30
Talk

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

Stephen KellUniversity of Cambridge

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

10:30 - 11:00
Coffee break

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àUniversity of Lugano, Switzerland, Eduardo RosalesUniversity of Lugano, Switzerland, Filippo SchiavioUniversità della Svizzera italiana, Walter BinderUniversity of Lugano, Switzerland

File Attached

11:30 - 12:00
Talk

Selfie: Towards Minimal Symbolic Execution

Alireza S. AbyanehUniversity of Salzburg, Simon BauerUniversity of Salzburg, Christoph KirschUniversity of Salzburg, Philipp MayerUniversity of Salzburg, Christian MöslUniversity of Salzburg, Clément PonceletUniversity of Salzburg, Sara SeidlUniversity of Salzburg, Ana SokolovaUniversity of Salzburg, Manuel WidmoserUniversity of Salzburg

File Attached

12:00 - 12:30
Talk

Self-hosted scripting in Guile

Andy WingoIgalia, S.L.

Pre-print File Attached

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

11:00 - 12:30
Talk

JastAdd

Jesper OqvistLund University

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

Alvaro Videla

Pre-print

11:30 - 11:50
Talk

Critique - Lector in Codigo or The Role of the Reader

Luke Church

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

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 EilertsenUniversity of Bergen, Norway, Anya Helene BaggeUniversity of Bergen

12:30 - 14:30
Poster

VisAST: Generic AST Visualizer for Software Language Education

Ragnhild AalvikUniversity of Bergen, Anya Helene BaggeUniversity of Bergen, Jaakko JärviUniversity of Bergen

12:30 - 14:30
Poster

Fault-tolerant Reactive Programming

Ragnar MogkTechnische Universität Darmstadt

12:30 - 14:30
Poster

Programming virtual musical instruments and audio effects in the Web browser

Michel BuffaUniversité Côte d’Azur, CNRS, INRIA, Jérôme LebrunUniversité Côte d’Azur, CNRS, INRIA, Jari KleimolaAalto University, Oliver LarkinUniversity of York, UK, Stéphane Letz

12:30 - 14:30
Poster

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

Davide AnconaUniversity of Genova, Luca FranceschiniDIBRIS, University of Genova, Italy, Maurizio LeottaDIBRIS, University of Genova, Italy, Diego ClerissiDIBRIS, University of Genova, Italy, Dario OlianasDIBRIS, University of Genova, Italy, Filippo RiccaDIBRIS, University of Genova, Italy, Giorgio DelzannoDIBRIS, University of Genova, Italy, Marina RibaudoDIBRIS, University of Genova, Italy

12:30 - 14:30
Poster

Automating Testing of Programming Assignments

Knut Anders StokkeUniversity of Bergen, Norway, Anya Helene BaggeUniversity of Bergen, Håkon Heggernes LerringUniversity of Bergen, Norway

12:30 - 14:30
Poster

Distributed Reactive Applications with ScalaLoci

Pascal WeisenburgerTechnische Universität Darmstadt

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 RiggerJohannes Kepler University Linz, Roland SchatzJohannes Kepler University Linz, Jacob KreindlJohannes Kepler University Linz, Christian HäublOracle Labs, Hanspeter MössenböckJKU Linz, Austria

Pre-print Media Attached

15:00 - 15:30
Talk

The inevitable death of VMs: a progress report

Stephen KellUniversity of Cambridge

Pre-print

15:30 - 16:00
Meeting

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

16:00 - 16:10
Day closing

Day closing

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

14:30 - 16:00
Talk

Rascal

Anya Helene BaggeUniversity of Bergen

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 TchernavskijEx Situ | Université Paris-Sud, Simon Bates, Michel Beaudouin-Lafon

Pre-print

15:00 - 15:20
Talk

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

Tomas PetricekAlan Turing Institute

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

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

Johan FabryRaincode Labs, Belgium

17:00 - 17:30
Talk

The Game of Programmer vs. IDE

Friedrich SteimannFernuniversität

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

Oli Sharpe

Pre-print

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

Registration

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

08:50 - 09:00
Day opening

Opening

09:00 - 09:30
Full-paper

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

Michael JohnsonMacquarie University, Australia, Perdita StevensUniversity of Edinburgh

File Attached

09:30 - 10:00
Full-paper

Multimodel Correspondence through Inter-Model Constraints

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

File Attached

10:00 - 10:30
Short-paper

On the Development of Consistent User Interfaces

Anthony AnjorinPaderborn University, Germany, Enes YigitbasUniversity of Paderborn, Germany, Hermann Kaindl, Roman PoppTU Wien, Vienna, Austria

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

09:00 - 10:00
Talk

Hop.js: JavaScript Multitier ProgrammingProWeb Invited Talk

Manuel SerranoInria, France

10:00 - 10:25
Talk

Handlers.Js

Daniel HillerströmThe University of Edinburgh, Sam LindleyUniversity of Edinburgh, UK, Robert AtkeyUniversity of Strathclyde, KC SivaramakrishnanUniversity of Cambridge, Jeremy YallopUniversity of Cambridge, UK

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 SteimannFernuniversität

09:22 - 09:45
Talk

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

Louis SpinelliUniversity of Washington, USA, Maulishree PandeyUniversity of Michigan, Stephen OneyUniversity of Michigan

09:45 - 10:07
Talk

Reactive Programming Experience with REScala

Ragnar MogkTechnische Universität Darmstadt, Guido SalvaneschiTU Darmstadt, Mira MeziniTU Darmstadt

10:07 - 10:30
Talk

Social Programming Considered as a Habitat for Groups

Joe Edelman

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

10:30 - 11:00
Coffee break

Break

11:00 - 12:30: Bx 2018 - Mathematical Foundations at Baie des Anges B
Chair(s): Jeremy GibbonsDepartment of Computer Science, University of Oxford

11:00 - 11:30
Full-paper

Cospans and Symmetric Lenses

Michael JohnsonMacquarie University, Australia, Robert Rosebrugh

11:30 - 12:00
Short-paper

Understanding Profunctor Optics: a representation theorem

Guillaume Boisseau

12:00 - 12:30
Talk

Bimorphic lenses in compositional game theory

Jules HedgesUniversity of Oxford

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 ParkKAIST, South Korea, Joonyoung Park, Yoonkyong Lee, Chul-Joo Kim, Byoungoh Kim, Sukyoung RyuKAIST

11:25 - 11:50
Full-paper

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

Bob Reyndersimec-DistriNet, KU Leuven, Belgium, Michael Greefs, Dominique DevrieseKU Leuven, Frank PiessensKU Leuven

11:50 - 12:15
Talk

Session Types for Tierless Web Applications

Simon FowlerThe University of Edinburgh, Sam LindleyUniversity of Edinburgh, UK, J. Garrett MorrisUniversity of Kansas, USA, 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 ReinHasso Plattner Institute, Robert HirschfeldHPI, University of Potsdam

11:30 - 12:00
Talk

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

Alexandre BergelUniversity of Chile, Paulin MelatagiaUniversité de Yaoundé, Serge Stinckwich UPMC & INRIA

12:00 - 12:30
Talk

Live Programming of Internet of Things in PalCom

Alfred ÅkessonLund University, Sweden, Mattias NordahlLund University, Sweden, Görel Hedin, Boris MagnussonLund University, Sweden

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

12:30 - 14:30
Lunch

Lunch

12:30 - 14:30: Student Research Competition - SRC Poster Presentation at Baie des Anges B
Chair(s): Philipp HallerKTH Royal Institute of Technology

12:30 - 12:39
Talk

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

Patrick ReinHasso Plattner Institute

12:39 - 12:48
Talk

DSL for End-user Service Composition

Alfred ÅkessonLund University, Sweden

12:48 - 12:57
Talk

Debugging Support for Big Data Processing Applications

Matteo MarraVrije Universiteit Brussel

12:57 - 13:06
Talk

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

Ezra ZigmondHarvard University

13:06 - 13:16
Talk

Fully Homomorphic Encryption Scheme for Secure Computation

Alisa GazizullinaInnopolis University

13:16 - 13:25
Talk

Indigenizing Computer Programming for Cultural Maintenance

Jon Corbett

13:25 - 13:34
Talk

Mining Concepts from Code using Community Detection

Toni MattisHasso Plattner Institute

13:34 - 13:43
Talk

On the Semantics of Loop Transformation Languages

Adilla SusungiMINES ParisTech, France

13:43 - 13:53
Talk

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

Manuel RiggerJohannes Kepler University Linz

13:53 - 14:02
Talk

Soundness and Completeness for Object Garbage Collection in the Pony Language

Daniel SlocombeImperial College London, UK

14:02 - 14:11
Talk

The Extensible Compiler Architecture of ExtendJ

Jesper OqvistLund University

14:11 - 14:20
Talk

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

Vasu JindalUniversity of Texas at Dallas

14:20 - 14:30
Talk

Writing Safe Smart Contracts in Flint

Franklin SchransImperial College London

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

14:30 - 14:35
Day opening

Welcome

Yu David LiuState University of New York (SUNY) Binghamton, Lukasz ZiarekSUNY Buffalo, USA, Christoph BockischPhilipps-Universität Marburg, Hidehiko MasuharaTokyo Institute of Technology

14:35 - 15:35
Talk

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

Ludovic HenrioINRIA

15:35 - 16:00
Talk

Managing Hybrid Memories by Predicting Object Write Intensity

Shoaib AkramGhent University, Kathryn S McKinleyGoogle, Jennifer B. SartorVrije Universiteit Brussel, Lieven EeckhoutGhent University, Belgium

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 MattisHasso Plattner Institute, Robert HirschfeldHPI, University of Potsdam

15:00 - 15:30
Talk

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

Friedrich SteimannFernuniversität

15:30 - 16:00
Talk

Few Versatile vs. Many Specialized Collections

Stefan MarrUniversity of Kent, Benoit DalozeJKU Linz, Austria

Pre-print Media Attached

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

14:30 - 15:00
Short-paper

Towards a Visual Editor for Lens Combinators

Anthony AnjorinPaderborn University, Germany, Hsiang-Shang ‘Josh’ KoNational Institute of Informatics, Japan

Pre-print

15:00 - 15:30
Full-paper

Enhancing the JTL Tool for Bidirectional Transformations

Romina EramoUniversity of L'Aquila, Alfonso Pierantonio, Michele Tucci

15:30 - 16:00
Full-paper

Lightweight Data Sharing System based on Bidirectional Transformations

Adrien Duchêne, Hugues Marchal, Zhenjiang HuNational Institute of Informatics, Pierre Yves SchobbensUniversity of Namur

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

16:00 - 16:30
Coffee break

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 BuffaUniversité Côte d’Azur, CNRS, INRIA, Jérôme LebrunUniversité Côte d’Azur, CNRS, INRIA, Jari KleimolaAalto University, Oliver LarkinUniversity of York, UK, Stéphane Letz

16:00 - 16:30
Poster

VisAST: Generic AST Visualizer for Software Language Education

Ragnhild AalvikUniversity of Bergen, Anya Helene BaggeUniversity of Bergen, Jaakko JärviUniversity of Bergen

16:00 - 16:30
Poster

Distributed Reactive Applications with ScalaLoci

Pascal WeisenburgerTechnische Universität Darmstadt

16:00 - 16:30
Poster

Automating Testing of Programming Assignments

Knut Anders StokkeUniversity of Bergen, Norway, Anya Helene BaggeUniversity of Bergen, Håkon Heggernes LerringUniversity of Bergen, Norway

16:00 - 16:30
Poster

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

16:00 - 16:30
Poster

Fault-tolerant Reactive Programming

Ragnar MogkTechnische Universität Darmstadt

16:00 - 16:30
Poster

Software != Programs - Software Behaviour as an Emergent Property

Anna Maria EilertsenUniversity of Bergen, Norway, Anya Helene BaggeUniversity of Bergen

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 SalvaneschiTU Darmstadt, Mira MeziniTU Darmstadt

16:55 - 17:20
Talk

Applying Aspect-Oriented Change Realization in the Mobile Application Domain

Sandra KostovaSlovak University of Technology in Bratislava, Slovakia, Valentino VranićSlovak University of Technology in Bratislava

17:20 - 17:45
Talk

Detecting energy bugs and hotspots in control software using model checking

Pascal van GastelAvans University of Applied Sciences, Bernard van GastelOpen University of the Netherlands, The Netherlands, Marko van EekelenOpen University of the Netherlands

17:45 - 18:00
Day closing

Discussion & closing

Yu David LiuState University of New York (SUNY) Binghamton, Lukasz ZiarekSUNY Buffalo, USA, Christoph BockischPhilipps-Universität Marburg, Hidehiko MasuharaTokyo Institute of Technology

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

16:30 - 17:00
Talk

An Axiomatic Basis for Bidirectional Programming

Hsiang-Shang ‘Josh’ KoNational Institute of Informatics, Japan, Zhenjiang HuNational Institute of Informatics

Link to publication DOI

17:00 - 17:30
Talk

Profunctor Optics and the Yoneda Lemma

Jeremy GibbonsDepartment of Computer Science, University of Oxford, Guillaume Boisseau

17:30 - 18:00
Talk

Towards sound, flexible and optimal build for megamodels

Perdita StevensUniversity of Edinburgh

18:00 - 18:10
Day closing

Closing

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

16:30 - 17:00
Talk

Collectors

Steven CostiouUniversity of Brest, Mickael KerboeufUniversity of Brest, Alain PlantecUniversity of Occidental Brittary, France, Marcus Denker INRIA Lille

17:00 - 17:30
Talk

Word expansion supports POSIX shell interactivity

Michael GreenbergPomona College

Pre-print

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

Registration

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

08:45 - 09:00
Other

Conference Opening

Manuel SerranoInria, France, Guido SalvaneschiTU Darmstadt

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 KrishnamurthiBrown University, USA

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

10:00 - 10:30
Coffee break

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 BuffaUniversité Côte d’Azur, CNRS, INRIA, Jérôme LebrunUniversité Côte d’Azur, CNRS, INRIA, Jari KleimolaAalto University, Oliver LarkinUniversity of York, UK, Stéphane Letz

10:00 - 10:30
Poster

Fault-tolerant Reactive Programming

Ragnar MogkTechnische Universität Darmstadt

10:00 - 10:30
Poster

VisAST: Generic AST Visualizer for Software Language Education

Ragnhild AalvikUniversity of Bergen, Anya Helene BaggeUniversity of Bergen, Jaakko JärviUniversity of Bergen

10:00 - 10:30
Poster

Distributed Reactive Applications with ScalaLoci

Pascal WeisenburgerTechnische Universität Darmstadt

10:00 - 10:30
Poster

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

10:00 - 10:30
Poster

Automating Testing of Programming Assignments

Knut Anders StokkeUniversity of Bergen, Norway, Anya Helene BaggeUniversity of Bergen, Håkon Heggernes LerringUniversity of Bergen, Norway

10:00 - 10:30
Poster

Software != Programs - Software Behaviour as an Emergent Property

Anna Maria EilertsenUniversity of Bergen, Norway, Anya Helene BaggeUniversity of Bergen

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 PolitoCNRS, Camille TeruelINRIA, Stéphane Ducasse INRIA Lille, Luc FabresseMines Douai

Link to publication DOI

11:00 - 11:30
Talk

Towards Zero-Overhead Disambiguation of Deep Priority Conflicts

Luis Eduardo de Souza AmorimDelft University of Technology, Netherlands, Michael J. SteindorferDelft University of Technology, Eelco VisserDelft University of Technology

Link to publication DOI

11:30 - 12:00
Talk

Language-integrated provenance in Haskell

Jan StolarekUniversity of Edinburgh, UK, James CheneyUniversity of Edinburgh, UK

Link to publication DOI

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

12:00 - 13:45
Lunch

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

Didier VernaEPITA / LRDE

Link to publication DOI

14:30 - 15:00
Talk

Live Multi-language Development and Runtime Environments

Fabio NiephausHasso Plattner Institute, University of Potsdam, Tim FelgentreffOracle Labs, Potsdam, Tobias PapeHPI, Germany, Robert HirschfeldHPI, University of Potsdam, Marcel TaeumelHasso Plattner Institute

Link to publication DOI

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

15:00 - 15:30
Coffee break

Break

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

15:00 - 15:30
Poster

Fault-tolerant Reactive Programming

Ragnar MogkTechnische Universität Darmstadt

15:00 - 15:30
Poster

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

15:00 - 15:30
Poster

VisAST: Generic AST Visualizer for Software Language Education

Ragnhild AalvikUniversity of Bergen, Anya Helene BaggeUniversity of Bergen, Jaakko JärviUniversity of Bergen

15:00 - 15:30
Poster

Automating Testing of Programming Assignments

Knut Anders StokkeUniversity of Bergen, Norway, Anya Helene BaggeUniversity of Bergen, Håkon Heggernes LerringUniversity of Bergen, Norway

15:00 - 15:30
Poster

Distributed Reactive Applications with ScalaLoci

Pascal WeisenburgerTechnische Universität Darmstadt

15:00 - 15:30
Poster

Software != Programs - Software Behaviour as an Emergent Property

Anna Maria EilertsenUniversity of Bergen, Norway, Anya Helene BaggeUniversity of Bergen

15:00 - 15:30
Poster

Programming virtual musical instruments and audio effects in the Web browser

Michel BuffaUniversité Côte d’Azur, CNRS, INRIA, Jérôme LebrunUniversité Côte d’Azur, CNRS, INRIA, Jari KleimolaAalto University, Oliver LarkinUniversity of York, UK, 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 PhilipsSoftware Languages Lab, Joeri De KosterVrije Universiteit Brussel, Belgium, Wolfgang De MeuterVrije Universiteit Brussel, Coen De RooverVrije Universiteit Brussel

Link to publication DOI

16:00 - 16:30
Talk

On the Effect of Semantically Enriched Context Models on Software Modularization

Amir SaeidiUniversiteit Utrecht, Jurriaan HageUtrecht University, Ravi KhadkaUniversiteit Utrecht, Slinger Jansen

Link to publication DOI

16:30 - 17:00
Talk

Harmonizing Signals and Events with a Lightweight Extension to Java

Tetsuo KaminaOita University, Tomoyuki AotaniTokyo Institute of Technology

Link to publication DOI

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

19:30 - 23:00
Social Event

Banquet

Thu 12 Apr

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

08:00 - 17:00
Registration

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

Sukyoung RyuKAIST

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

10:00 - 10:30
Coffee break

Break

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

10:00 - 10:30
Poster

Fault-tolerant Reactive Programming

Ragnar MogkTechnische Universität Darmstadt

10:00 - 10:30
Poster

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

10:00 - 10:30
Poster

Automating Testing of Programming Assignments

Knut Anders StokkeUniversity of Bergen, Norway, Anya Helene BaggeUniversity of Bergen, Håkon Heggernes LerringUniversity of Bergen, Norway

10:00 - 10:30
Poster

Programming virtual musical instruments and audio effects in the Web browser

Michel BuffaUniversité Côte d’Azur, CNRS, INRIA, Jérôme LebrunUniversité Côte d’Azur, CNRS, INRIA, Jari KleimolaAalto University, Oliver LarkinUniversity of York, UK, Stéphane Letz

10:00 - 10:30
Poster

VisAST: Generic AST Visualizer for Software Language Education

Ragnhild AalvikUniversity of Bergen, Anya Helene BaggeUniversity of Bergen, Jaakko JärviUniversity of Bergen

10:00 - 10:30
Poster

Distributed Reactive Applications with ScalaLoci

Pascal WeisenburgerTechnische Universität Darmstadt

10:00 - 10:30
Poster

Software != Programs - Software Behaviour as an Emergent Property

Anna Maria EilertsenUniversity of Bergen, Norway, Anya Helene BaggeUniversity of Bergen

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 VanterOracle Labs, Chris SeatonOracle Labs, Michael HaupteBay, Christian HumerOracle Labs, Switzerland, Thomas WuerthingerOracle Labs

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 KhatchadourianCity University of New York (CUNY) Hunter College, Hidehiko MasuharaTokyo Institute of Technology

Link to publication DOI

11:30 - 12:00
Talk

Introspection for C and its Applications to Library Robustness

Manuel RiggerJohannes Kepler University Linz, Rene MayrhoferJohannes Kepler University Linz, Roland SchatzJohannes Kepler University Linz, Matthias GrimmerOracle Labs, Austria, Hanspeter MössenböckJKU Linz, Austria

Link to publication DOI Media Attached

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

12:00 - 13:45
Lunch

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

Tomas PetricekAlan Turing Institute

Link to publication DOI

14:30 - 15:00
Talk

Deadlock-Free Typestate-Oriented Programming

Luca PadovaniUniversity of Turin, Italy

Link to publication DOI

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

15:00 - 15:30
Coffee break

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 BuffaUniversité Côte d’Azur, CNRS, INRIA, Jérôme LebrunUniversité Côte d’Azur, CNRS, INRIA, Jari KleimolaAalto University, Oliver LarkinUniversity of York, UK, Stéphane Letz

15:00 - 15:30
Poster

Automating Testing of Programming Assignments

Knut Anders StokkeUniversity of Bergen, Norway, Anya Helene BaggeUniversity of Bergen, Håkon Heggernes LerringUniversity of Bergen, Norway

15:00 - 15:30
Poster

Distributed Reactive Applications with ScalaLoci

Pascal WeisenburgerTechnische Universität Darmstadt

15:00 - 15:30
Poster

Software != Programs - Software Behaviour as an Emergent Property

Anna Maria EilertsenUniversity of Bergen, Norway, Anya Helene BaggeUniversity of Bergen

15:00 - 15:30
Poster

Fault-tolerant Reactive Programming

Ragnar MogkTechnische Universität Darmstadt

15:00 - 15:30
Poster

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

15:00 - 15:30
Poster

VisAST: Generic AST Visualizer for Software Language Education

Ragnhild AalvikUniversity of Bergen, Anya Helene BaggeUniversity of Bergen, Jaakko JärviUniversity of Bergen

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 KonatDelft University of Technology, Michael J. SteindorferDelft University of Technology, Sebastian ErdwegTU Delft, Eelco VisserDelft University of Technology

Link to publication DOI

16:00 - 16:30
Talk

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

Anthony AnjorinPaderborn University, Germany, Enes YigitbasUniversity of Paderborn, Germany, Erhan LeblebiciTU Darmstadt, Andy SchürrTU Darmstadt, Marius LauderContinental Automotive GmbH, Germany, Germany, Martin WitteSiemens AG, Germany

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 Salon des Refusés 1 09:00 - 10:30				Salon des Refusés Salon des Refusés 2 11:00 - 12:30							Salon des Refusés Salon des Refusés 3 14:30 - 16:00				Salon des Refusés Salon des Refusés 4 16:30 - 18:00
Baie des Anges B				MoreVMs MoreVMs 1 08:50 - 10:30					MoreVMs MoreVMs 2 11:00 - 12:30			‹Programming› Posters Posters 12:30 - 14:30				MoreVMs MoreVMs 3 14:30 - 16:10
Lobby								‹Programming› Catering Coffee Break 10:30 - 11:00											‹Programming› Catering Coffee Break 16:00 - 16:30
Matisse			CoCoDo CoCoDo morning 08:45 - 10:30						CoCoDo CoCoDo pre-lunch 11:00 - 12:30							CoCoDo CoCoDo post-lunch 14:30 - 16:00				CoCoDo CoCoDo afternoon 16:30 - 18:00
Registration (Lobby)	‹Programming› Organizational Registration 08:00 - 17:00
Restaurant (Rooftop)												‹Programming› 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 Model Transformation 08:50 - 10:30					Bx Mathematical Foundations 11:00 - 12:30			‹Programming› Student Research Competition SRC Poster Presentation 12:30 - 14:30				Bx Tools and Systems 14:30 - 16:00			‹Programming› Posters Posters 16:00 - 16:30	Bx Programming and Applications 16:30 - 18:10
Lobby							‹Programming› Catering Coffee Break 10:30 - 11:00											‹Programming› Catering Coffee Break 16:00 - 16:30
Matisse				ProWeb Session 1 09:00 - 10:30				ProWeb Session 2 11:00 - 12:30							PASS PASS 1 14:30 - 16:00				PASS PASS 2 16:30 - 18:00					‹Programming› Organizational Steering Committee Meeting 19:00 - 22:00
Registration (Lobby)	‹Programming› Organizational Registration 08:00 - 17:00
Restaurant (Rooftop)											‹Programming› 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			‹Programming› Organizational Opening 08:45 - 09:00	‹Programming› Keynotes Wednesday Keynote 09:00 - 10:00			‹Programming› Research Papers Session 1 10:30 - 12:00			‹Programming› Student Research Competition SRC Oral Presentation 12:00 - 13:45					‹Programming› Research Papers Session 2 13:45 - 15:00				‹Programming› Research Papers Session 3 15:30 - 17:00
Baie des Anges B						‹Programming› Posters Posters 10:00 - 10:30												‹Programming› Posters Posters 15:00 - 15:30
Lobby						‹Programming› Catering Coffee Break 10:00 - 10:30												‹Programming› Catering Coffee Break 15:00 - 15:30
Registration (Lobby)	‹Programming› Organizational Registration 08:00 - 17:00
Restaurant													‹Programming› Social Events Social Event 19:30 - 23:00
Restaurant (Rooftop)										‹Programming› 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			‹Programming› Keynotes Thursday Keynote 09:00 - 10:00			‹Programming› Research Papers Session 4 10:30 - 12:00			‹Programming› Student Research Competition SRC Oral Presentation 12:00 - 13:45				‹Programming› Research Papers Session 5 13:45 - 15:00				‹Programming› Research Papers Session 6 15:30 - 16:30		‹Programming› Organizational Closing 16:30 - 17:00
Baie des Anges B					‹Programming› Posters Posters 10:00 - 10:30											‹Programming› Posters Posters 15:00 - 15:30
Lobby					‹Programming› Catering Coffee Break 10:00 - 10:30											‹Programming› Catering Coffee Break 15:00 - 15:30
Registration (Lobby)	‹Programming› Organizational Registration 08:00 - 17:00
Restaurant (Rooftop)									‹Programming› 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 Welcome to Salon des Refusés 09:00 - 09:20		Salon des Refusés Files as Directories: Some Thoughts on Accessing Structured Data Within ... 09:20 - 09:50			Salon des Refusés Critique (1) - Files as Directories: Some Thoughts on Accessing Structu ... 09:50 - 10:10		Salon des Refusés Critique (2) - Files as Directories: Some Thoughts on Accessing Structu ... 10:10 - 10:30				Salon des Refusés Lector in Codigo or The Role of the Reader 11:00 - 11:30		Salon des Refusés Critique - Lector in Codigo or The Role of the Reader 11:30 - 11:50		Salon des Refusés Discussion - What next for Salon des Refusés 11:50 - 12:30											Salon des Refusés An Anatomy of Interaction: Co-Occurrences and Entanglements 14:30 - 15:00		Salon des Refusés Critique - An Anatomy of Interaction: Co-Occurrences and Entanglements 15:00 - 15:20		Salon des Refusés Discussion - Evaluating novel programming research ideas 15:20 - 16:00					Salon des Refusés Semprola: A Semiotic Programming Language 16:30 - 17:00		Salon des Refusés Critique - Semprola: A Semiotic Programming Language 17:00 - 17:20
Baie des Anges B					MoreVMs Day opening 08:50 - 09:00	MoreVMs Towards Practical Heterogeneous Virtual Machines 09:00 - 09:30			MoreVMs Easy::Jit: Compiler assisted library to enable Just-In-Time compilation ... 09:30 - 10:00			MoreVMs On the Future of Research VMs: A Hardware/Software Perspective 10:00 - 10:30					MoreVMs Understanding Task Granularity on the JVM: Profiling, Analysis, and Opt ... 11:00 - 11:30		MoreVMs Selfie: Towards Minimal Symbolic Execution 11:30 - 12:00			MoreVMs Self-hosted scripting in Guile 12:00 - 12:30		‹Programming› Posters Software != Programs - Software Behaviour as an Emergent Property 12:30 - 14:30										‹Programming› Posters VisAST: Generic AST Visualizer for Software Language Education 12:30 - 14:30											‹Programming› Posters Fault-tolerant Reactive Programming 12:30 - 14:30		‹Programming› Posters Programming virtual musical instruments and audio effects in the Web br ... 12:30 - 14:30	‹Programming› Posters Runtime Verification of Flow-Based Programming for the Internet of Things 12:30 - 14:30	‹Programming› Posters Automating Testing of Programming Assignments 12:30 - 14:30	‹Programming› Posters Distributed Reactive Applications with ScalaLoci 12:30 - 14:30	MoreVMs Sulong, and Thanks for All the Fish 14:30 - 15:00	MoreVMs The inevitable death of VMs: a progress report 15:00 - 15:30	MoreVMs Discussion: Why do we need research VMs and what are our requirements? 15:30 - 16:00	MoreVMs Day closing 16:00 - 16:10
Lobby															‹Programming› Catering Break 10:30 - 11:00																								‹Programming› Catering Break 16:00 - 16:30
Matisse				CoCoDo CoCoDo opening and introductions 08:45 - 09:00		CoCoDo FunCons 09:00 - 10:30											CoCoDo JastAdd 11:00 - 12:30															CoCoDo Rascal 14:30 - 16:00									CoCoDo How to double embed the general-purpose language of your embedded DSL f ... 16:30 - 17:00		CoCoDo The Game of Programmer vs. IDE 17:00 - 17:30
Registration (Lobby)	‹Programming› Organizational Registration 08:00 - 17:00
Restaurant (Rooftop)																								‹Programming› 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 Opening 08:50 - 09:00	Bx Confidentiality in the process of (model-driven) software development 09:00 - 09:30			Bx Multimodel Correspondence through Inter-Model Constraints 09:30 - 10:00		Bx On the Development of Consistent User Interfaces 10:00 - 10:30						Bx Cospans and Symmetric Lenses 11:00 - 11:30			Bx Understanding Profunctor Optics: a representation theorem 11:30 - 12:00			Bx Bimorphic lenses in compositional game theory 12:00 - 12:30		‹Programming› Student Research Competition A Soup of Objects: Convenience Interfaces for Accessing Domain Objects ... 12:30 - 12:39	‹Programming› Student Research Competition DSL for End-user Service Composition 12:39 - 12:48		‹Programming› Student Research Competition Debugging Support for Big Data Processing Applications 12:48 - 12:57	‹Programming› Student Research Competition Fine-grained, Dynamic Access Control for Database-backed Applications 12:57 - 13:06		‹Programming› Student Research Competition Fully Homomorphic Encryption Scheme for Secure Computation 13:06 - 13:16	‹Programming› Student Research Competition Indigenizing Computer Programming for Cultural Maintenance 13:16 - 13:25	‹Programming› Student Research Competition Mining Concepts from Code using Community Detection 13:25 - 13:34		‹Programming› Student Research Competition On the Semantics of Loop Transformation Languages 13:34 - 13:43	‹Programming› Student Research Competition Sandboxed Execution of C and Other Unsafe Languages on the Java Virtual ... 13:43 - 13:53	‹Programming› Student Research Competition Soundness and Completeness for Object Garbage Collection in the Pony La ... 13:53 - 14:02	‹Programming› Student Research Competition The Extensible Compiler Architecture of ExtendJ 14:02 - 14:11	‹Programming› Student Research Competition Towards an Intelligent Fault Prediction Code Editor to Improve Software ... 14:11 - 14:20		‹Programming› Student Research Competition Writing Safe Smart Contracts in Flint 14:20 - 14:30	Bx Towards a Visual Editor for Lens Combinators 14:30 - 15:00			Bx Enhancing the JTL Tool for Bidirectional Transformations 15:00 - 15:30		Bx Lightweight Data Sharing System based on Bidirectional Transformations 15:30 - 16:00			‹Programming› Posters Programming virtual musical instruments and audio effects in the Web br ... 16:00 - 16:30		‹Programming› Posters VisAST: Generic AST Visualizer for Software Language Education 16:00 - 16:30			‹Programming› Posters Distributed Reactive Applications with ScalaLoci 16:00 - 16:30			‹Programming› Posters Automating Testing of Programming Assignments 16:00 - 16:30		‹Programming› Posters Runtime Verification of Flow-Based Programming for the Internet of Things 16:00 - 16:30		‹Programming› Posters Fault-tolerant Reactive Programming 16:00 - 16:30		‹Programming› Posters Software != Programs - Software Behaviour as an Emergent Property 16:00 - 16:30		Bx An Axiomatic Basis for Bidirectional Programming 16:30 - 17:00		Bx Profunctor Optics and the Yoneda Lemma 17:00 - 17:30		Bx Towards sound, flexible and optimal build for megamodels 17:30 - 18:00		Bx Closing 18:00 - 18:10
Lobby															‹Programming› Catering Break 10:30 - 11:00																																			‹Programming› Catering Break 16:00 - 16:30
Matisse						ProWebProWeb Invited Talk Hop.js: JavaScript Multitier Programming 09:00 - 10:00					ProWeb Handlers.Js 10:00 - 10:25			ProWeb Group discussion 1 10:25 - 10:30			ProWeb A Framework for Dynamic Inter-Device Task Dispatch with Eventual Consis ... 11:00 - 11:25		ProWeb Scalagna 0.1: Towards Multi-tier Programming with Scala and Scala.js 11:25 - 11:50			ProWeb Session Types for Tierless Web Applications 11:50 - 12:15		ProWeb Group discussion 2 12:15 - 12:30																		PASS Welcome 14:30 - 14:35	PASSPASS Invited Talk SafePlace: Trustable Virtual Machine Scheduling (invited talk) 14:35 - 15:35					PASS Managing Hybrid Memories by Predicting Object Write Intensity 15:35 - 16:00				PASS Towards Safe Modular Composition of Network Functions 16:30 - 16:55		PASS Applying Aspect-Oriented Change Realization in the Mobile Application D ... 16:55 - 17:20			PASS Detecting energy bugs and hotspots in control software using model checking 17:20 - 17:45		PASS Discussion & closing 17:45 - 18:00					‹Programming› Organizational Steering Committee Meeting (NOT PUBLIC) 19:00 - 22:00
Registration (Lobby)	‹Programming› Organizational Registration 08:00 - 17:00
Restaurant (Rooftop)																									‹Programming› 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› Organizational Conference Opening 08:45 - 09:00	‹Programming› Keynotes‹Programming› Keynote The Recurring Rainfall Problem 09:00 - 10:00						‹Programming› Research Papers Scoped Extension Methods in Dynamically-Typed Languages 10:30 - 11:00		‹Programming› Research Papers Towards Zero-Overhead Disambiguation of Deep Priority Conflicts 11:00 - 11:30		‹Programming› Research Papers Language-integrated provenance in Haskell 11:30 - 12:00		‹Programming› Student Research Competition SRC Second Round: Oral Presentation 12:00 - 13:45								‹Programming› Research Papers Lisp, Jazz, Aikido – Three Expressions of a Single Essence 13:45 - 14:30			‹Programming› Research Papers Live Multi-language Development and Runtime Environments 14:30 - 15:00				‹Programming› Research Papers Search-based Tier Assignment for Optimising Offline Availability in Mul ... 15:30 - 16:00		‹Programming› Research Papers On the Effect of Semantically Enriched Context Models on Software Modul ... 16:00 - 16:30		‹Programming› Research Papers Harmonizing Signals and Events with a Lightweight Extension to Java 16:30 - 17:00
Baie des Anges B									‹Programming› 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› Posters Fault-tolerant Reactive Programming 15:00 - 15:30		‹Programming› Posters Runtime Verification of Flow-Based Programming for the Internet of Things 15:00 - 15:30		‹Programming› Posters VisAST: Generic AST Visualizer for Software Language Education 15:00 - 15:30		‹Programming› Posters Automating Testing of Programming Assignments 15:00 - 15:30		‹Programming› Posters Distributed Reactive Applications with ScalaLoci 15:00 - 15:30		‹Programming› Posters Software != Programs - Software Behaviour as an Emergent Property 15:00 - 15:30		‹Programming› Posters Programming virtual musical instruments and audio effects in the Web br ... 15:00 - 15:30
Lobby									‹Programming› Catering Break 10:00 - 10:30																					‹Programming› Catering Break 15:00 - 15:30
Registration (Lobby)	‹Programming› Organizational Registration 08:00 - 17:00
Restaurant																							‹Programming› Social Events Banquet 19:30 - 23:00
Restaurant (Rooftop)																	‹Programming› 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› Keynotes‹Programming› Keynote Static Analysis of Android Applications for Finding Bugs and Security V ... 09:00 - 10:00						‹Programming› Research Papers Fast, Flexible, Polyglot Instrumentation Support for Debuggers and othe ... 10:30 - 11:00		‹Programming› Research Papers Proactive Empirical Assessment of New Language Feature Adoption via Aut ... 11:00 - 11:30		‹Programming› Research Papers Introspection for C and its Applications to Library Robustness 11:30 - 12:00		‹Programming› Student Research Competition SRC Second Round: Oral Presentation 12:00 - 13:45							‹Programming› Research Papers What we talk about when we talk about monads 13:45 - 14:30			‹Programming› Research Papers Deadlock-Free Typestate-Oriented Programming 14:30 - 15:00				‹Programming› Research Papers PIE: A Domain-Specific Language for Interactive Software Development Pi ... 15:30 - 16:00		‹Programming› Research Papers Description Languages for Consistency Management Scenarios Based on Exa ... 16:00 - 16:30		‹Programming› Organizational Conference Closing 16:30 - 17:00
Baie des Anges B									‹Programming› 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› Posters Programming virtual musical instruments and audio effects in the Web br ... 15:00 - 15:30		‹Programming› Posters Automating Testing of Programming Assignments 15:00 - 15:30		‹Programming› Posters Distributed Reactive Applications with ScalaLoci 15:00 - 15:30		‹Programming› Posters Software != Programs - Software Behaviour as an Emergent Property 15:00 - 15:30		‹Programming› Posters Fault-tolerant Reactive Programming 15:00 - 15:30		‹Programming› Posters Runtime Verification of Flow-Based Programming for the Internet of Things 15:00 - 15:30		‹Programming› Posters VisAST: Generic AST Visualizer for Software Language Education 15:00 - 15:30
Lobby									‹Programming› Catering Break 10:00 - 10:30																				‹Programming› Catering Break 15:00 - 15:30
Registration (Lobby)	‹Programming› Organizational Registration 08:00 - 17:00
Restaurant (Rooftop)																	‹Programming› 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

‹Programming› 2018 Program

Mon 9 Apr

Tue 10 Apr

Wed 11 Apr

Thu 12 Apr

Mon 9 Apr 2018

Salon des Refusés

Salon des Refusés

Salon des Refusés

Salon des Refusés

MoreVMs

MoreVMs

‹Programming› Posters

MoreVMs

‹Programming› Catering

‹Programming› Catering

CoCoDo

CoCoDo

CoCoDo

CoCoDo

‹Programming› Organizational

‹Programming› Catering

Tue 10 Apr 2018

PX/18

PX/18

PX/18

PX/18

Bx

Bx

‹Programming› Student Research Competition

Bx

‹Programming› Posters

Bx

‹Programming› Catering

‹Programming› Catering

ProWeb

ProWeb

PASS

PASS

‹Programming› Organizational

‹Programming› Organizational

‹Programming› Catering

Wed 11 Apr 2018

‹Programming› Organizational

‹Programming› Keynotes

‹Programming› Research Papers

‹Programming› Student Research Competition

‹Programming› Research Papers

‹Programming› Research Papers

‹Programming› Posters

‹Programming› Posters

‹Programming› Catering

‹Programming› Catering

‹Programming› Organizational

‹Programming› Social Events

‹Programming› Catering

Thu 12 Apr 2018

‹Programming› Keynotes

‹Programming› Research Papers

‹Programming› Student Research Competition

‹Programming› Research Papers

‹Programming› Research Papers

‹Programming› Organizational

‹Programming› Posters

‹Programming› Posters

‹Programming› Catering

‹Programming› Catering

‹Programming› Organizational

‹Programming› Catering

Mon 9 Apr 2018

Tue 10 Apr 2018

Wed 11 Apr 2018

Thu 12 Apr 2018