Program - ‹Programming› 2018

Time Zone

The program is currently displayed in (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna.

Use conference time zone: (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, ViennaSelect other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.

Display full programSpecify a time band

Save

You're viewing the program in a time zone which is different from your device's time zone - change time zone

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

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

08:00 9h Registration		Registration Organizational

08:45 - 10:30	CoCoDo morningCoCoDo at Matisse

08:45 15m Day opening		CoCoDo opening and introductions CoCoDo Vadim ZaytsevRaincode Labs, Belgium
09:00 90m Talk		FunCons CoCoDo Peter D. MossesSwansea University

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

08:50 10m Day opening		Day opening MoreVMs
09:00 30m Talk		Towards Practical Heterogeneous Virtual Machines MoreVMs 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 30m Talk		Easy::Jit: Compiler assisted library to enable Just-In-Time compilation in C++ codes MoreVMs Juan Manuel Martinez CaamañoQuarkslab, Serge GueltonQuarkslab
10:00 30m Talk		On the Future of Research VMs: A Hardware/Software Perspective MoreVMs Foivos S. Zakkak, Andrew 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 1Salon des Refusés at Baie des Anges A

09:00 20m Talk		Welcome to Salon des Refusés Salon des Refusés Tomas PetricekAlan Turing Institute, Luke Church
09:20 30m Talk		Files as Directories: Some Thoughts on Accessing Structured Data Within Files Salon des Refusés Raphael WimmerUniversity of Regensburg Pre-print
09:50 20m Talk		Critique (1) - Files as Directories: Some Thoughts on Accessing Structured Data Within Files Salon des Refusés Philip TchernavskijEx Situ \| Université Paris-Sud
10:10 20m Talk		Critique (2) - Files as Directories: Some Thoughts on Accessing Structured Data Within Files Salon des Refusés Stephen KellUniversity of Cambridge

10:30 - 11:00	Coffee BreakCatering at Lobby

10:30 30m Coffee break		Break Catering

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

11:00 30m Talk		Lector in Codigo or The Role of the Reader Salon des Refusés Alvaro Videla Pre-print
11:30 20m Talk		Critique - Lector in Codigo or The Role of the Reader Salon des Refusés Luke Church
11:50 40m Talk		Discussion - What next for Salon des Refusés Salon des Refusés

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

11:00 30m Talk		Understanding Task Granularity on the JVM: Profiling, Analysis, and Optimization MoreVMs 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 30m Talk		Selfie: Towards Minimal Symbolic Execution MoreVMs 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 30m Talk		Self-hosted scripting in Guile MoreVMs Andy WingoIgalia, S.L. Pre-print File Attached

11:00 - 12:30	CoCoDo pre-lunchCoCoDo at Matisse

11:00 90m Talk		JastAdd CoCoDo Jesper OqvistLund University

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

12:30 2h Poster		Software != Programs - Software Behaviour as an Emergent Property Posters Anna Maria EilertsenUniversity of Bergen, Norway, Anya Helene BaggeUniversity of Bergen
12:30 2h Poster		VisAST: Generic AST Visualizer for Software Language Education Posters Ragnhild AalvikUniversity of Bergen, Anya Helene BaggeUniversity of Bergen, Jaakko JärviUniversity of Bergen
12:30 2h Poster		Fault-tolerant Reactive Programming Posters Ragnar MogkTechnische Universität Darmstadt
12:30 2h Poster		Programming virtual musical instruments and audio effects in the Web browser Posters 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 2h Poster		Runtime Verification of Flow-Based Programming for the Internet of Things Posters 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 2h Poster		Automating Testing of Programming Assignments Posters Knut Anders StokkeUniversity of Bergen, Norway, Anya Helene BaggeUniversity of Bergen, Håkon Heggernes LerringUniversity of Bergen, Norway
12:30 2h Poster		Distributed Reactive Applications with ScalaLoci Posters Pascal WeisenburgerTechnische Universität Darmstadt

12:30 - 14:30	LunchCatering at Restaurant (Rooftop)

12:30 2h Lunch		Lunch Catering

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

14:30 30m Talk		An Anatomy of Interaction: Co-Occurrences and Entanglements Salon des Refusés Antranig Basman, Philip TchernavskijEx Situ \| Université Paris-Sud, Simon Bates, Michel Beaudouin-Lafon Pre-print
15:00 20m Talk		Critique - An Anatomy of Interaction: Co-Occurrences and Entanglements Salon des Refusés Tomas PetricekAlan Turing Institute
15:20 40m Talk		Discussion - Evaluating novel programming research ideas Salon des Refusés

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

14:30 30m Talk		Sulong, and Thanks for All the Fish MoreVMs 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 30m Talk		The inevitable death of VMs: a progress report MoreVMs Stephen KellUniversity of Cambridge Pre-print
15:30 30m Meeting		Discussion: Why do we need research VMs and what are our requirements? MoreVMs
16:00 10m Day closing		Day closing MoreVMs

14:30 - 16:00	CoCoDo post-lunchCoCoDo at Matisse

14:30 90m Talk		Rascal CoCoDo Anya Helene BaggeUniversity of Bergen

16:00 - 16:30	Coffee BreakCatering at Lobby

16:00 30m Coffee break		Break Catering

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

16:30 30m Talk		Semprola: A Semiotic Programming Language Salon des Refusés Oli Sharpe Pre-print
17:00 20m Talk		Critique - Semprola: A Semiotic Programming Language Salon des Refusés Antranig Basman

16:30 - 18:00	CoCoDo afternoonCoCoDo at Matisse

16:30 30m Talk		How to double embed the general-purpose language of your embedded DSL for expressivity, performance and profit CoCoDo Johan FabryRaincode Labs, Belgium
17:00 30m Talk		The Game of Programmer vs. IDE CoCoDo Friedrich SteimannFernuniversität

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

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

08:00 9h Registration		Registration Organizational

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

08:50 10m Day opening		Opening Bx
09:00 30m Full-paper		Confidentiality in the process of (model-driven) software development Bx Michael JohnsonMacquarie University, Australia, Perdita StevensUniversity of Edinburgh File Attached
09:30 30m Full-paper		Multimodel Correspondence through Inter-Model Constraints Bx Patrick Stünkel, Harald König, Yngve Lamo, Adrian Rutle File Attached
10:00 30m Short-paper		On the Development of Consistent User Interfaces Bx Anthony AnjorinPaderborn University, Germany, Enes YigitbasUniversity of Paderborn, Germany, Hermann Kaindl, Roman PoppTU Wien, Vienna, Austria

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

09:00 22m Talk		ACID for Programmers! PX/18 Friedrich SteimannFernuniversität
09:22 22m Talk		Attention Patterns for Code Animations: Using Eye Trackers to Evaluate Dynamic Code Presentation Techniques PX/18 Louis SpinelliUniversity of Washington, USA, Maulishree PandeyUniversity of Michigan, Stephen OneyUniversity of Michigan
09:45 22m Talk		Reactive Programming Experience with REScala PX/18 Ragnar MogkTechnische Universität Darmstadt, Guido SalvaneschiTU Darmstadt, Mira MeziniTU Darmstadt
10:07 22m Talk		Social Programming Considered as a Habitat for Groups PX/18 Joe Edelman

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

09:00 60m Talk		Hop.js: JavaScript Multitier ProgrammingProWeb Invited Talk ProWeb K: Manuel SerranoInria, France
10:00 25m Talk		Handlers.Js ProWeb 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 5m Talk		Group discussion 1 ProWeb

10:30 - 11:00	Coffee BreakCatering at Lobby

10:30 30m Coffee break		Break Catering

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

11:00 30m Talk		The Exploration Workspace: Interleaving the Implementation and Usage of Plain Objects PX/18 Patrick ReinHasso Plattner Institute, Robert HirschfeldHPI, University of Potsdam
11:30 30m Talk		An API and Visual Environment to use Neural Network To Reason About Source Code PX/18 Alexandre BergelUniversity of Chile, Paulin MelatagiaUniversité de Yaoundé, Serge Stinckwich UPMC & INRIA
12:00 30m Talk		Live Programming of Internet of Things in PalCom PX/18 Alfred ÅkessonLund University, Sweden, Mattias NordahlLund University, Sweden, Görel Hedin, Boris MagnussonLund University, Sweden

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

11:00 30m Full-paper		Cospans and Symmetric Lenses Bx Michael JohnsonMacquarie University, Australia, Robert Rosebrugh
11:30 30m Short-paper		Understanding Profunctor Optics: a representation theorem Bx Guillaume Boisseau
12:00 30m Talk		Bimorphic lenses in compositional game theory Bx Jules HedgesUniversity of Oxford

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

11:00 25m Full-paper		A Framework for Dynamic Inter-Device Task Dispatch with Eventual Consistency ProWeb Jihyeok ParkKAIST, South Korea, Joonyoung Park, Yoonkyong Lee, Chul-Joo Kim, Byoungoh Kim, Sukyoung RyuKAIST
11:25 25m Full-paper		Scalagna 0.1: Towards Multi-tier Programming with Scala and Scala.js ProWeb Bob Reyndersimec-DistriNet, KU Leuven, Belgium, Michael Greefs, Dominique DevrieseKU Leuven, Frank PiessensKU Leuven
11:50 25m Talk		Session Types for Tierless Web Applications ProWeb Simon FowlerThe University of Edinburgh, Sam LindleyUniversity of Edinburgh, UK, J. Garrett MorrisUniversity of Kansas, USA, Sara Décova
12:15 15m Talk		Group discussion 2 ProWeb

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

12:30 9m Talk		A Soup of Objects: Convenience Interfaces for Accessing Domain Objects in a Global Object Graph Student Research Competition Patrick ReinHasso Plattner Institute
12:39 9m Talk		DSL for End-user Service Composition Student Research Competition Alfred ÅkessonLund University, Sweden
12:48 9m Talk		Debugging Support for Big Data Processing Applications Student Research Competition Matteo MarraVrije Universiteit Brussel
12:57 9m Talk		Fine-grained, Dynamic Access Control for Database-backed Applications Student Research Competition Ezra ZigmondHarvard University
13:06 9m Talk		Fully Homomorphic Encryption Scheme for Secure Computation Student Research Competition Alisa GazizullinaInnopolis University
13:16 9m Talk		Indigenizing Computer Programming for Cultural Maintenance Student Research Competition Jon Corbett
13:25 9m Talk		Mining Concepts from Code using Community Detection Student Research Competition Toni MattisHasso Plattner Institute
13:34 9m Talk		On the Semantics of Loop Transformation Languages Student Research Competition Adilla SusungiMINES ParisTech, France
13:43 9m Talk		Sandboxed Execution of C and Other Unsafe Languages on the Java Virtual Machine Student Research Competition Manuel RiggerJohannes Kepler University Linz
13:53 9m Talk		Soundness and Completeness for Object Garbage Collection in the Pony Language Student Research Competition Daniel SlocombeImperial College London, UK
14:02 9m Talk		The Extensible Compiler Architecture of ExtendJ Student Research Competition Jesper OqvistLund University
14:11 9m Talk		Towards an Intelligent Fault Prediction Code Editor to Improve Software Quality using Deep Learning Student Research Competition Vasu JindalUniversity of Texas at Dallas
14:20 9m Talk		Writing Safe Smart Contracts in Flint Student Research Competition Franklin SchransImperial College London

12:30 - 14:30	LunchCatering at Restaurant (Rooftop)

12:30 2h Lunch		Lunch Catering

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

14:30 30m Talk		Do Java Programmers Write Better Python? – Studying Off-Language Code Quality on GitHub PX/18 Siegfried Horschig, Toni MattisHasso Plattner Institute, Robert HirschfeldHPI, University of Potsdam
15:00 30m Talk		The Fun of Being Wrong, or: The Game of Programmer vs. IDE PX/18 Friedrich SteimannFernuniversität
15:30 30m Talk		Few Versatile vs. Many Specialized Collections PX/18 Stefan MarrUniversity of Kent, Benoit DalozeJKU Linz, Austria Pre-print Media Attached

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

14:30 30m Short-paper		Towards a Visual Editor for Lens Combinators Bx Anthony AnjorinPaderborn University, Germany, Hsiang-Shang ‘Josh’ KoNational Institute of Informatics, Japan Pre-print
15:00 30m Full-paper		Enhancing the JTL Tool for Bidirectional Transformations Bx Romina EramoUniversity of L'Aquila, Alfonso Pierantonio, Michele Tucci
15:30 30m Full-paper		Lightweight Data Sharing System based on Bidirectional Transformations Bx Adrien Duchêne, Hugues Marchal, Zhenjiang HuNational Institute of Informatics, Pierre Yves SchobbensUniversity of Namur

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

14:30 5m Day opening		Welcome PASS 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 60m Talk		SafePlace: Trustable Virtual Machine Scheduling (invited talk)PASS Invited Talk PASS Ludovic HenrioINRIA
15:35 25m Talk		Managing Hybrid Memories by Predicting Object Write Intensity PASS Shoaib AkramGhent University, Kathryn S McKinleyGoogle, Jennifer B. SartorVrije Universiteit Brussel, Lieven EeckhoutGhent University, Belgium

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

16:00 30m Poster		Programming virtual musical instruments and audio effects in the Web browser Posters 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 30m Poster		VisAST: Generic AST Visualizer for Software Language Education Posters Ragnhild AalvikUniversity of Bergen, Anya Helene BaggeUniversity of Bergen, Jaakko JärviUniversity of Bergen
16:00 30m Poster		Distributed Reactive Applications with ScalaLoci Posters Pascal WeisenburgerTechnische Universität Darmstadt
16:00 30m Poster		Automating Testing of Programming Assignments Posters Knut Anders StokkeUniversity of Bergen, Norway, Anya Helene BaggeUniversity of Bergen, Håkon Heggernes LerringUniversity of Bergen, Norway
16:00 30m Poster		Runtime Verification of Flow-Based Programming for the Internet of Things Posters 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
16:00 30m Poster		Fault-tolerant Reactive Programming Posters Ragnar MogkTechnische Universität Darmstadt
16:00 30m Poster		Software != Programs - Software Behaviour as an Emergent Property Posters Anna Maria EilertsenUniversity of Bergen, Norway, Anya Helene BaggeUniversity of Bergen

16:00 - 16:30	Coffee BreakCatering at Lobby

16:00 30m Coffee break		Break Catering

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

16:30 30m Talk		Collectors PX/18 Steven CostiouUniversity of Brest, Mickael KerboeufUniversity of Brest, Alain PlantecUniversity of Occidental Brittary, France, Marcus Denker INRIA Lille
17:00 30m Talk		Word expansion supports POSIX shell interactivity PX/18 Michael GreenbergPomona College Pre-print
17:30 30m Talk		A Non-Tabular Spreadsheet with Broad Applicability PX/18 Pavel Bažant, Michaela Maršálková

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

16:30 30m Talk		An Axiomatic Basis for Bidirectional Programming Bx Hsiang-Shang ‘Josh’ KoNational Institute of Informatics, Japan, Zhenjiang HuNational Institute of Informatics Link to publication DOI
17:00 30m Talk		Profunctor Optics and the Yoneda Lemma Bx Jeremy GibbonsDepartment of Computer Science, University of Oxford, Guillaume Boisseau
17:30 30m Talk		Towards sound, flexible and optimal build for megamodels Bx Perdita StevensUniversity of Edinburgh
18:00 10m Day closing		Closing Bx

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

16:30 25m Talk		Towards Safe Modular Composition of Network Functions PASS Matthias Eichholz, Guido SalvaneschiTU Darmstadt, Mira MeziniTU Darmstadt
16:55 25m Talk		Applying Aspect-Oriented Change Realization in the Mobile Application Domain PASS Sandra KostovaSlovak University of Technology in Bratislava, Slovakia, Valentino VranićSlovak University of Technology in Bratislava
17:20 25m Talk		Detecting energy bugs and hotspots in control software using model checking PASS 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 15m Day closing		Discussion & closing PASS Yu David LiuState University of New York (SUNY) Binghamton, Lukasz ZiarekSUNY Buffalo, USA, Christoph BockischPhilipps-Universität Marburg, Hidehiko MasuharaTokyo Institute of Technology

19:00 - 22:00	Steering Committee MeetingOrganizational at Matisse

19:00 3h Meeting		Steering Committee Meeting (NOT PUBLIC) Organizational

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

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

08:00 9h Registration		Registration Organizational

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

08:45 15m Other		Conference Opening Organizational Manuel SerranoInria, France, Guido SalvaneschiTU Darmstadt

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

09:00 60m Talk		The Recurring Rainfall Problem‹Programming› Keynote Keynotes K: Shriram KrishnamurthiBrown University, USA

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

10:00 30m Poster		Programming virtual musical instruments and audio effects in the Web browser Posters 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 30m Poster		Fault-tolerant Reactive Programming Posters Ragnar MogkTechnische Universität Darmstadt
10:00 30m Poster		VisAST: Generic AST Visualizer for Software Language Education Posters Ragnhild AalvikUniversity of Bergen, Anya Helene BaggeUniversity of Bergen, Jaakko JärviUniversity of Bergen
10:00 30m Poster		Distributed Reactive Applications with ScalaLoci Posters Pascal WeisenburgerTechnische Universität Darmstadt
10:00 30m Poster		Runtime Verification of Flow-Based Programming for the Internet of Things Posters 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
10:00 30m Poster		Automating Testing of Programming Assignments Posters Knut Anders StokkeUniversity of Bergen, Norway, Anya Helene BaggeUniversity of Bergen, Håkon Heggernes LerringUniversity of Bergen, Norway
10:00 30m Poster		Software != Programs - Software Behaviour as an Emergent Property Posters Anna Maria EilertsenUniversity of Bergen, Norway, Anya Helene BaggeUniversity of Bergen

10:00 - 10:30	Coffee BreakCatering at Lobby

10:00 30m Coffee break		Break Catering

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

10:30 30m Talk		Scoped Extension Methods in Dynamically-Typed Languages Research Papers Guillermo PolitoCNRS, Camille TeruelINRIA, Stéphane Ducasse INRIA Lille, Luc FabresseMines Douai Link to publication DOI
11:00 30m Talk		Towards Zero-Overhead Disambiguation of Deep Priority Conflicts Research Papers 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 30m Talk		Language-integrated provenance in Haskell Research Papers Jan StolarekUniversity of Edinburgh, UK, James CheneyUniversity of Edinburgh, UK Link to publication DOI

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

12:00 1h45m Talk		SRC Second Round: Oral Presentation Student Research Competition

12:00 - 13:45	LunchCatering at Restaurant (Rooftop)

12:00 1h45m Lunch		Lunch Catering

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

13:45 45m Talk		Lisp, Jazz, Aikido – Three Expressions of a Single Essence Research Papers Didier VernaEPITA / LRDE Link to publication DOI
14:30 30m Talk		Live Multi-language Development and Runtime Environments Research Papers 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	PostersPosters at Baie des Anges B

15:00 30m Poster		Fault-tolerant Reactive Programming Posters Ragnar MogkTechnische Universität Darmstadt
15:00 30m Poster		Runtime Verification of Flow-Based Programming for the Internet of Things Posters 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
15:00 30m Poster		VisAST: Generic AST Visualizer for Software Language Education Posters Ragnhild AalvikUniversity of Bergen, Anya Helene BaggeUniversity of Bergen, Jaakko JärviUniversity of Bergen
15:00 30m Poster		Automating Testing of Programming Assignments Posters Knut Anders StokkeUniversity of Bergen, Norway, Anya Helene BaggeUniversity of Bergen, Håkon Heggernes LerringUniversity of Bergen, Norway
15:00 30m Poster		Distributed Reactive Applications with ScalaLoci Posters Pascal WeisenburgerTechnische Universität Darmstadt
15:00 30m Poster		Software != Programs - Software Behaviour as an Emergent Property Posters Anna Maria EilertsenUniversity of Bergen, Norway, Anya Helene BaggeUniversity of Bergen
15:00 30m Poster		Programming virtual musical instruments and audio effects in the Web browser Posters 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	Coffee BreakCatering at Lobby

15:00 30m Coffee break		Break Catering

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

15:30 30m Talk		Search-based Tier Assignment for Optimising Offline Availability in Multi-tier Web Applications Research Papers 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 30m Talk		On the Effect of Semantically Enriched Context Models on Software Modularization Research Papers Amir SaeidiUniversiteit Utrecht, Jurriaan HageUtrecht University, Ravi KhadkaUniversiteit Utrecht, Slinger Jansen Link to publication DOI
16:30 30m Talk		Harmonizing Signals and Events with a Lightweight Extension to Java Research Papers Tetsuo KaminaOita University, Tomoyuki AotaniTokyo Institute of Technology Link to publication DOI

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

19:30 3h30m Social Event		Banquet Social Events

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

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

08:00 9h Registration		Registration Organizational

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

09:00 60m Talk		Static Analysis of Android Applications for Finding Bugs and Security Vulnerabilities‹Programming› Keynote Keynotes K: Sukyoung RyuKAIST

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

10:00 30m Poster		Fault-tolerant Reactive Programming Posters Ragnar MogkTechnische Universität Darmstadt
10:00 30m Poster		Runtime Verification of Flow-Based Programming for the Internet of Things Posters 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
10:00 30m Poster		Automating Testing of Programming Assignments Posters Knut Anders StokkeUniversity of Bergen, Norway, Anya Helene BaggeUniversity of Bergen, Håkon Heggernes LerringUniversity of Bergen, Norway
10:00 30m Poster		Programming virtual musical instruments and audio effects in the Web browser Posters 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 30m Poster		VisAST: Generic AST Visualizer for Software Language Education Posters Ragnhild AalvikUniversity of Bergen, Anya Helene BaggeUniversity of Bergen, Jaakko JärviUniversity of Bergen
10:00 30m Poster		Distributed Reactive Applications with ScalaLoci Posters Pascal WeisenburgerTechnische Universität Darmstadt
10:00 30m Poster		Software != Programs - Software Behaviour as an Emergent Property Posters Anna Maria EilertsenUniversity of Bergen, Norway, Anya Helene BaggeUniversity of Bergen

10:00 - 10:30	Coffee BreakCatering at Lobby

10:00 30m Coffee break		Break Catering

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

10:30 30m Talk		Fast, Flexible, Polyglot Instrumentation Support for Debuggers and other Tools Research Papers Michael Van De VanterOracle Labs, Chris SeatonOracle Labs, Michael HaupteBay, Christian HumerOracle Labs, Switzerland, Thomas WuerthingerOracle Labs Link to publication DOI
11:00 30m Talk		Proactive Empirical Assessment of New Language Feature Adoption via Automated Refactoring: The Case of Java 8 Default Methods Research Papers Raffi KhatchadourianCity University of New York (CUNY) Hunter College, Hidehiko MasuharaTokyo Institute of Technology Link to publication DOI
11:30 30m Talk		Introspection for C and its Applications to Library Robustness Research Papers 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	SRC Oral PresentationStudent Research Competition at Baie des Anges A + B

12:00 1h45m Talk		SRC Second Round: Oral Presentation Student Research Competition

12:00 - 13:45	LunchCatering at Restaurant (Rooftop)

12:00 1h45m Lunch		Lunch Catering

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

13:45 45m Talk		What we talk about when we talk about monads Research Papers Tomas PetricekAlan Turing Institute Link to publication DOI
14:30 30m Talk		Deadlock-Free Typestate-Oriented Programming Research Papers Luca PadovaniUniversity of Turin, Italy Link to publication DOI

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

15:00 30m Poster		Programming virtual musical instruments and audio effects in the Web browser Posters 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 30m Poster		Automating Testing of Programming Assignments Posters Knut Anders StokkeUniversity of Bergen, Norway, Anya Helene BaggeUniversity of Bergen, Håkon Heggernes LerringUniversity of Bergen, Norway
15:00 30m Poster		Distributed Reactive Applications with ScalaLoci Posters Pascal WeisenburgerTechnische Universität Darmstadt
15:00 30m Poster		Software != Programs - Software Behaviour as an Emergent Property Posters Anna Maria EilertsenUniversity of Bergen, Norway, Anya Helene BaggeUniversity of Bergen
15:00 30m Poster		Fault-tolerant Reactive Programming Posters Ragnar MogkTechnische Universität Darmstadt
15:00 30m Poster		Runtime Verification of Flow-Based Programming for the Internet of Things Posters 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
15:00 30m Poster		VisAST: Generic AST Visualizer for Software Language Education Posters Ragnhild AalvikUniversity of Bergen, Anya Helene BaggeUniversity of Bergen, Jaakko JärviUniversity of Bergen

15:00 - 15:30	Coffee BreakCatering at Lobby

15:00 30m Coffee break		Break Catering

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

15:30 30m Talk		PIE: A Domain-Specific Language for Interactive Software Development Pipelines Research Papers 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 30m Talk		Description Languages for Consistency Management Scenarios Based on Examples from the Industry Automation Domain Research Papers 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	ClosingOrganizational at Baie des Anges A + B

16:30 30m Other		Conference Closing Organizational

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


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					Salon des Refusés Salon des Refusés 1				Salon des Refusés Salon des Refusés 2							Salon des Refusés Salon des Refusés 3				Salon des Refusés Salon des Refusés 4
Baie des Anges B				MoreVMs MoreVMs 1					MoreVMs MoreVMs 2			Posters Posters				MoreVMs MoreVMs 3
Lobby								Catering Coffee Break											Catering Coffee Break
Matisse			CoCoDo CoCoDo morning						CoCoDo CoCoDo pre-lunch							CoCoDo CoCoDo post-lunch				CoCoDo CoCoDo afternoon
Registration (Lobby)	Organizational Registration
Restaurant (Rooftop)												Catering Lunch

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


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
Baie des Anges A				PX/18 Session 1				PX/18 Session 2							PX/18 Session 3				PX/18 Session 4
Baie des Anges B			Bx Model Transformation					Bx Mathematical Foundations			Student Research Competition SRC Poster Presentation				Bx Tools and Systems			Posters Posters	Bx Programming and Applications
Lobby							Catering Coffee Break											Catering Coffee Break
Matisse				ProWeb Session 1				ProWeb Session 2							PASS PASS 1				PASS PASS 2					Organizational Steering Committee Meeting
Registration (Lobby)	Organizational Registration
Restaurant (Rooftop)											Catering Lunch

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


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 + B			Organizational Opening	Keynotes Wednesday Keynote			Research Papers Session 1			Student Research Competition SRC Oral Presentation					Research Papers Session 2				Research Papers Session 3
Baie des Anges B						Posters Posters												Posters Posters
Lobby						Catering Coffee Break												Catering Coffee Break
Registration (Lobby)	Organizational Registration
Restaurant													Social Events Social Event
Restaurant (Rooftop)										Catering Lunch

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


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
Baie des Anges A + B			Keynotes Thursday Keynote			Research Papers Session 4			Student Research Competition SRC Oral Presentation				Research Papers Session 5				Research Papers Session 6		Organizational Closing
Baie des Anges B					Posters Posters											Posters Posters
Lobby					Catering Coffee Break											Catering Coffee Break
Registration (Lobby)	Organizational Registration
Restaurant (Rooftop)									Catering Lunch

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


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 VisAST: Generic AST Visualizer for Software Language Education 12:30 - 14:30 Fault-tolerant Reactive Programming 12:30 - 14:30 Programming virtual musical instruments and audio effects in the Web br ... 12:30 - 14:30 Runtime Verification of Flow-Based Programming for the Internet of Things 12:30 - 14:30 Automating Testing of Programming Assignments 12:30 - 14:30 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
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change


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
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 VisAST: Generic AST Visualizer for Software Language Education 16:00 - 16:30 Distributed Reactive Applications with ScalaLoci 16:00 - 16:30 Automating Testing of Programming Assignments 16:00 - 16:30 Runtime Verification of Flow-Based Programming for the Internet of Things 16:00 - 16:30 Fault-tolerant Reactive Programming 16:00 - 16:30 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
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change


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 + 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 ... 10:00 - 10:30 Fault-tolerant Reactive Programming 10:00 - 10:30 VisAST: Generic AST Visualizer for Software Language Education 10:00 - 10:30 Distributed Reactive Applications with ScalaLoci 10:00 - 10:30 Runtime Verification of Flow-Based Programming for the Internet of Things 10:00 - 10:30 Automating Testing of Programming Assignments 10:00 - 10:30 Software != Programs - Software Behaviour as an Emergent Property 10:00 - 10:30																					‹Programming› Posters Fault-tolerant Reactive Programming 15:00 - 15:30 Runtime Verification of Flow-Based Programming for the Internet of Things 15:00 - 15:30 VisAST: Generic AST Visualizer for Software Language Education 15:00 - 15:30 Automating Testing of Programming Assignments 15:00 - 15:30 Distributed Reactive Applications with ScalaLoci 15:00 - 15:30 Software != Programs - Software Behaviour as an Emergent Property 15:00 - 15:30 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
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change


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
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 10:00 - 10:30 Runtime Verification of Flow-Based Programming for the Internet of Things 10:00 - 10:30 Automating Testing of Programming Assignments 10:00 - 10:30 Programming virtual musical instruments and audio effects in the Web br ... 10:00 - 10:30 VisAST: Generic AST Visualizer for Software Language Education 10:00 - 10:30 Distributed Reactive Applications with ScalaLoci 10:00 - 10:30 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 Automating Testing of Programming Assignments 15:00 - 15:30 Distributed Reactive Applications with ScalaLoci 15:00 - 15:30 Software != Programs - Software Behaviour as an Emergent Property 15:00 - 15:30 Fault-tolerant Reactive Programming 15:00 - 15:30 Runtime Verification of Flow-Based Programming for the Internet of Things 15:00 - 15:30 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

Filter Program

Program Display Configuration

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

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

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

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

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

Salon des Refusés

Salon des Refusés

Salon des Refusés

Salon des Refusés

MoreVMs

MoreVMs

Posters

MoreVMs

Catering

Catering

CoCoDo

CoCoDo

CoCoDo

CoCoDo

Organizational

Catering

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

PX/18

PX/18

PX/18

PX/18

Bx

Bx

Student Research Competition

Bx

Posters

Bx

Catering

Catering

ProWeb

ProWeb

PASS

PASS

Organizational

Organizational

Catering

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

Organizational

Keynotes

Research Papers

Student Research Competition

Research Papers

Research Papers

Posters

Posters

Catering

Catering

Organizational

Social Events

Catering

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

Keynotes

Research Papers

Student Research Competition

Research Papers

Research Papers

Organizational

Posters

Posters

Catering

Catering

Organizational

Catering

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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