‹Programming› 2018 Program

CoCoDo opening and introductions

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

08:45 - 09:00
Day opening

Vadim ZaytsevRaincode Labs, Belgium

09:00 - 10:30
Talk

FunCons

Peter D. MossesSwansea University

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

08:50 - 09:00
Day opening

Day opening

09:00 - 09:30
Talk

Towards Practical Heterogeneous Virtual Machines

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

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

09:30 - 10:00
Talk

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

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

09:50 - 10:10
Talk

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

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

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

11:00 - 11:30
Talk

Andrea RosàUniversity of Lugano, Switzerland, Eduardo RosalesUniversity of Lugano, Switzerland, Filippo SchiavioUniversità della Svizzera italiana, Walter BinderUniversity of Lugano, Switzerland

Selfie: Towards Minimal Symbolic Execution

11:30 - 12:00
Talk

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

Self-hosted scripting in Guile

12:00 - 12:30
Talk

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

Critique - Lector in Codigo or The Role of the Reader

11:30 - 11:50
Talk

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

Software != Programs - Software Behaviour as an Emergent Property

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

12:30 - 14:30
Poster

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

Programming virtual musical instruments and audio effects in the Web browser

Ragnar MogkTechnische Universität Darmstadt

12:30 - 14:30
Poster

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

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

12:30 - 14:30
Poster

Sulong, and Thanks for All the Fish

Pascal WeisenburgerTechnische Universität Darmstadt

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

14:30 - 15:00
Talk

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

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

15:30 - 16:00
Meeting

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

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

15:00 - 15:20
Talk

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

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

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

16:30 - 17:00
Talk

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

Critique - Semprola: A Semiotic Programming Language

17:00 - 17:20
Talk

Antranig Basman

Tue 10 Apr

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

08:00 - 17:00
Registration

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

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

Michael JohnsonMacquarie University, Australia, Perdita StevensUniversity of Edinburgh

Multimodel Correspondence through Inter-Model Constraints

09:30 - 10:00
Full-paper

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

On the Development of Consistent User Interfaces

10:00 - 10:30
Short-paper

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

Cospans and Symmetric Lenses

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

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

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

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

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

Enhancing the JTL Tool for Bidirectional Transformations

15:00 - 15:30
Full-paper

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

Programming virtual musical instruments and audio effects in the Web browser

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

16:00 - 16:30
Poster

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

Pascal WeisenburgerTechnische Universität Darmstadt

16:00 - 16:30
Poster

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

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

16:00 - 16:30
Poster

16:00 - 16:30
Poster

Software != Programs - Software Behaviour as an Emergent Property

Ragnar MogkTechnische Universität Darmstadt

16:00 - 16:30
Poster

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

Profunctor Optics and the Yoneda Lemma

17:00 - 17:30
Talk

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

A Non-Tabular Spreadsheet with Broad Applicability

17:30 - 18:00
Talk

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

The Recurring Rainfall Problem‹Programming› Keynote

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

Shriram KrishnamurthiBrown University, USA

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

10:00 - 10:30
Coffee break

Programming virtual musical instruments and audio effects in the Web browser

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

10:00 - 10:30
Poster

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

Ragnar MogkTechnische Universität Darmstadt

10:00 - 10:30
Poster

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

10:00 - 10:30
Poster

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

Pascal WeisenburgerTechnische Universität Darmstadt

10:00 - 10:30
Poster

10:00 - 10:30
Poster

Software != Programs - Software Behaviour as an Emergent Property

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

10:00 - 10:30
Poster

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

Towards Zero-Overhead Disambiguation of Deep Priority Conflicts

11:00 - 11:30
Talk

Luís Eduardo de Souza AmorimDelft University of Technology, Netherlands, Michael J. SteindorferDelft University of Technology, Eelco VisserDelft University of Technology

Language-integrated provenance in Haskell

11:30 - 12:00
Talk

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

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

12:00 - 13:45
Lunch

SRC Second Round: Oral Presentation

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

12:00 - 13:45
Talk

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

Live Multi-language Development and Runtime Environments

14:30 - 15:00
Talk

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

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

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

Ragnar MogkTechnische Universität Darmstadt

15:00 - 15:30
Poster

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

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

15:00 - 15:30
Poster

Software != Programs - Software Behaviour as an Emergent Property

Pascal WeisenburgerTechnische Universität Darmstadt

15:00 - 15:30
Poster

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

On the Effect of Semantically Enriched Context Models on Software Modularization

16:00 - 16:30
Talk

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

Harmonizing Signals and Events with a Lightweight Extension to Java

16:30 - 17:00
Talk

Tetsuo KaminaOita University, Tomoyuki AotaniTokyo Institute of Technology

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

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

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

09:00 - 10:00
Talk

Sukyoung RyuKAIST

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

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

Ragnar MogkTechnische Universität Darmstadt

10:00 - 10:30
Poster

10:00 - 10:30
Poster

Programming virtual musical instruments and audio effects in the Web browser

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

10:00 - 10:30
Poster

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

Software != Programs - Software Behaviour as an Emergent Property

Pascal WeisenburgerTechnische Universität Darmstadt

10:00 - 10:30
Poster

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

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

11:00 - 11:30
Talk

Raffi KhatchadourianCity University of New York (CUNY) Hunter College, Hidehiko MasuharaTokyo Institute of Technology

Introspection for C and its Applications to Library Robustness

11:30 - 12:00
Talk

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

SRC Second Round: Oral Presentation

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

12:00 - 13:45
Talk

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

Deadlock-Free Typestate-Oriented Programming

14:30 - 15:00
Talk

Luca PadovaniUniversity of Turin, Italy

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

15:00 - 15:30
Coffee break

Programming virtual musical instruments and audio effects in the Web browser

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

15:00 - 15:30
Poster

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

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

15:00 - 15:30
Poster

Software != Programs - Software Behaviour as an Emergent Property

Pascal WeisenburgerTechnische Universität Darmstadt

15:00 - 15:30
Poster

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

15:00 - 15:30
Poster

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

Ragnar MogkTechnische Universität Darmstadt

15:00 - 15:30
Poster

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

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

16:00 - 16:30
Talk

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