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 - 17:00 Registration		Registration Organizational

	08:45 - 10:30: CoCoDo morningCoCoDo at Matisse

	08:45 - 09:00 Day opening		CoCoDo opening and introductions CoCoDo Vadim ZaytsevRaincode Labs, Belgium
	09:00 - 10:30 Talk		FunCons CoCoDo Peter D. MossesSwansea University

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

	08:50 - 09:00 Day opening		Day opening MoreVMs
	09:00 - 09:30 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 - 10:00 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 - 10:30 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 - 09:20 Talk		Welcome to Salon des Refusés 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 Salon des Refusés Raphael WimmerUniversity of Regensburg Pre-print
	09:50 - 10:10 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 - 10:30 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 - 11:00 Coffee break		Break Catering

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

	11:00 - 11:30 Talk		Lector in Codigo or The Role of the Reader Salon des Refusés Alvaro Videla Pre-print
	11:30 - 11:50 Talk		Critique - Lector in Codigo or The Role of the Reader Salon des Refusés Luke Church
	11:50 - 12:30 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 - 11:30 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 - 12:00 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 - 12:30 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 - 12:30 Talk		JastAdd CoCoDo Jesper OqvistLund University

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

	12:30 - 14:30 Poster		Software != Programs - Software Behaviour as an Emergent Property Posters Anna Maria EilertsenUniversity of Bergen, Norway, Anya Helene BaggeUniversity of Bergen
	12:30 - 14:30 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 - 14:30 Poster		Fault-tolerant Reactive Programming Posters Ragnar MogkTechnische Universität Darmstadt
	12:30 - 14:30 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 - 14:30 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 - 14:30 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 - 14:30 Poster		Distributed Reactive Applications with ScalaLoci Posters Pascal WeisenburgerTechnische Universität Darmstadt

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

	12:30 - 14:30 Lunch		Lunch Catering

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

	14:30 - 15:00 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 - 15:20 Talk		Critique - An Anatomy of Interaction: Co-Occurrences and Entanglements Salon des Refusés Tomas PetricekAlan Turing Institute
	15:20 - 16:00 Talk		Discussion - Evaluating novel programming research ideas Salon des Refusés

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

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

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

	14:30 - 16:00 Talk		Rascal CoCoDo Anya Helene BaggeUniversity of Bergen

	16:00 - 16:30: Coffee BreakCatering at Lobby

	16:00 - 16:30 Coffee break		Break Catering

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

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

	16:30 - 18:00: CoCoDo afternoonCoCoDo at Matisse

	16:30 - 17:00 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 - 17:30 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 - 17:00 Registration		Registration Organizational

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

	08:50 - 09:00 Day opening		Opening Bx
	09:00 - 09:30 Full-paper		Confidentiality in the process of (model-driven) software development Bx Michael JohnsonMacquarie University, Australia, Perdita StevensUniversity of Edinburgh File Attached
	09:30 - 10:00 Full-paper		Multimodel Correspondence through Inter-Model Constraints Bx 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 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 - 09:22 Talk		ACID for Programmers! PX/18 Friedrich SteimannFernuniversität
	09:22 - 09:45 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 - 10:07 Talk		Reactive Programming Experience with REScala PX/18 Ragnar MogkTechnische Universität Darmstadt, Guido SalvaneschiTU Darmstadt, Mira MeziniTU Darmstadt
	10:07 - 10:30 Talk		Social Programming Considered as a Habitat for Groups PX/18 Joe Edelman

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

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

	10:30 - 11:00: Coffee BreakCatering at Lobby

	10:30 - 11:00 Coffee break		Break Catering

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

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

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

	11:00 - 11:25 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 - 11:50 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 - 12:15 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 - 12:30 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 - 12:39 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 - 12:48 Talk		DSL for End-user Service Composition Student Research Competition Alfred ÅkessonLund University, Sweden
	12:48 - 12:57 Talk		Debugging Support for Big Data Processing Applications Student Research Competition Matteo MarraVrije Universiteit Brussel
	12:57 - 13:06 Talk		Fine-grained, Dynamic Access Control for Database-backed Applications Student Research Competition Ezra ZigmondHarvard University
	13:06 - 13:16 Talk		Fully Homomorphic Encryption Scheme for Secure Computation Student Research Competition Alisa GazizullinaInnopolis University
	13:16 - 13:25 Talk		Indigenizing Computer Programming for Cultural Maintenance Student Research Competition Jon Corbett
	13:25 - 13:34 Talk		Mining Concepts from Code using Community Detection Student Research Competition Toni MattisHasso Plattner Institute
	13:34 - 13:43 Talk		On the Semantics of Loop Transformation Languages Student Research Competition Adilla SusungiMINES ParisTech, France
	13:43 - 13:53 Talk		Sandboxed Execution of C and Other Unsafe Languages on the Java Virtual Machine Student Research Competition Manuel RiggerJohannes Kepler University Linz
	13:53 - 14:02 Talk		Soundness and Completeness for Object Garbage Collection in the Pony Language Student Research Competition Daniel SlocombeImperial College London, UK
	14:02 - 14:11 Talk		The Extensible Compiler Architecture of ExtendJ Student Research Competition Jesper OqvistLund University
	14:11 - 14:20 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 - 14:30 Talk		Writing Safe Smart Contracts in Flint Student Research Competition Franklin SchransImperial College London

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

	12:30 - 14:30 Lunch		Lunch Catering

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

	14:30 - 15:00 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 - 15:30 Talk		The Fun of Being Wrong, or: The Game of Programmer vs. IDE PX/18 Friedrich SteimannFernuniversität
	15:30 - 16:00 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 - 15:00 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 - 15:30 Full-paper		Enhancing the JTL Tool for Bidirectional Transformations Bx Romina EramoUniversity of L'Aquila, Alfonso Pierantonio, Michele Tucci
	15:30 - 16:00 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 - 14:35 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 - 15:35 Talk		SafePlace: Trustable Virtual Machine Scheduling (invited talk)PASS Invited Talk PASS Ludovic HenrioINRIA
	15:35 - 16:00 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 - 16:30 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 - 16:30 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 - 16:30 Poster		Distributed Reactive Applications with ScalaLoci Posters Pascal WeisenburgerTechnische Universität Darmstadt
	16:00 - 16:30 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 - 16:30 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 - 16:30 Poster		Fault-tolerant Reactive Programming Posters Ragnar MogkTechnische Universität Darmstadt
	16:00 - 16:30 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 - 16:30 Coffee break		Break Catering

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

	16:30 - 17:00 Talk		Collectors PX/18 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 PX/18 Michael GreenbergPomona College Pre-print
	17:30 - 18:00 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 - 17:00 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 - 17:30 Talk		Profunctor Optics and the Yoneda Lemma Bx Jeremy GibbonsDepartment of Computer Science, University of Oxford, Guillaume Boisseau
	17:30 - 18:00 Talk		Towards sound, flexible and optimal build for megamodels Bx Perdita StevensUniversity of Edinburgh
	18:00 - 18:10 Day closing		Closing Bx

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

	16:30 - 16:55 Talk		Towards Safe Modular Composition of Network Functions PASS Matthias Eichholz, Guido SalvaneschiTU Darmstadt, Mira MeziniTU Darmstadt
	16:55 - 17:20 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 - 17:45 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 - 18:00 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 - 22:00 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 - 17:00 Registration		Registration Organizational

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

	08:45 - 09:00 Other		Conference Opening Organizational Manuel SerranoInria, France, Guido SalvaneschiTU Darmstadt

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

	09:00 - 10:00 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 - 10:30 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 - 10:30 Poster		Fault-tolerant Reactive Programming Posters Ragnar MogkTechnische Universität Darmstadt
	10:00 - 10:30 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 - 10:30 Poster		Distributed Reactive Applications with ScalaLoci Posters Pascal WeisenburgerTechnische Universität Darmstadt
	10:00 - 10:30 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 - 10:30 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 - 10:30 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 - 10:30 Coffee break		Break Catering

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

	10:30 - 11:00 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 - 11:30 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 - 12:00 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 - 13:45 Talk		SRC Second Round: Oral Presentation Student Research Competition

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

	12:00 - 13:45 Lunch		Lunch Catering

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

	13:45 - 14:30 Talk		Lisp, Jazz, Aikido – Three Expressions of a Single Essence Research Papers Didier VernaEPITA / LRDE Link to publication DOI
	14:30 - 15:00 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 - 15:30 Poster		Fault-tolerant Reactive Programming Posters Ragnar MogkTechnische Universität Darmstadt
	15:00 - 15:30 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 - 15:30 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 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 - 15:30 Poster		Distributed Reactive Applications with ScalaLoci Posters Pascal WeisenburgerTechnische Universität Darmstadt
	15:00 - 15:30 Poster		Software != Programs - Software Behaviour as an Emergent Property Posters 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 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 - 15:30 Coffee break		Break Catering

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

	15:30 - 16:00 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 - 16:30 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 - 17:00 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 - 23:00 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 - 17:00 Registration		Registration Organizational

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

	09:00 - 10:00 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 - 10:30 Poster		Fault-tolerant Reactive Programming Posters Ragnar MogkTechnische Universität Darmstadt
	10:00 - 10:30 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 - 10:30 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 - 10:30 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 - 10:30 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 - 10:30 Poster		Distributed Reactive Applications with ScalaLoci Posters Pascal WeisenburgerTechnische Universität Darmstadt
	10:00 - 10:30 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 - 10:30 Coffee break		Break Catering

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

	10:30 - 11:00 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 - 11:30 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 - 12:00 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 - 13:45 Talk		SRC Second Round: Oral Presentation Student Research Competition

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

	12:00 - 13:45 Lunch		Lunch Catering

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

	13:45 - 14:30 Talk		What we talk about when we talk about monads Research Papers Tomas PetricekAlan Turing Institute Link to publication DOI
	14:30 - 15:00 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 - 15:30 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 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 - 15:30 Poster		Distributed Reactive Applications with ScalaLoci Posters Pascal WeisenburgerTechnische Universität Darmstadt
	15:00 - 15:30 Poster		Software != Programs - Software Behaviour as an Emergent Property Posters Anna Maria EilertsenUniversity of Bergen, Norway, Anya Helene BaggeUniversity of Bergen
	15:00 - 15:30 Poster		Fault-tolerant Reactive Programming Posters Ragnar MogkTechnische Universität Darmstadt
	15:00 - 15:30 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 - 15:30 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 - 15:30 Coffee break		Break Catering

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

	15:30 - 16:00 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 - 16:30 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 - 17:00 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