Program - ‹Programming› 2017

Mon 3 - Thu 6 April 2017 Brussels, Belgium

Filter

Mon 3 Apr

08:00 - 17:00: Organizational - Registration at D - Main entrance

08:00 - 17:00
Registration

09:00 - 10:30: MoreVMs 2017 - Better Tools and Tooling Infrastructure at D2.10

09:00 - 09:25
Talk

When a Mouse Eats a Python: Smalltalk-style Development for Python and Ruby

Tim Felgentreff, Fabio Niephaus, Tobias Pape, Robert Hirschfeld

09:25 - 09:50
Talk

Debugging Await in Dart

John McCutchan, Gilad Bracha

09:50 - 10:15
Talk

Building Reusable, Low-overhead Tooling Support into a High Performance Polyglot VM

Michael Van De Vanter

10:15 - 10:40
Talk

Debugging with Back-In-Time Evaluation

Stefan Schulz, Christoph Bockisch

09:00 - 10:30: LASSY 2017 - Literature reviews for Live Adaptation of Software Systems at D2.14

09:00 - 09:30
Day opening

Kim Mens, Nicolás Cardozo

09:30 - 10:00
Talk

Dynamic Software Updating in Java - Comparing Concepts and Resource Demands

Danijel Mlinarić, Vedran Mornar

10:00 - 10:30
Talk

Managing the Context Interaction Problem : A Classification of Conflict Resolution Techniques in Dynamically Adaptive Software Systems

Kim Mens, Benoît Duhoux, Nicolás Cardozo

09:00 - 10:30: MiniPLoP 2017 - Opening and Keynote at D2.09
Chair(s): Richard P. Gabriel, Ademar Aguiar, Joe Yoder

09:00 - 09:45
Day opening

09:45 - 10:30
Talk

Generations of Pattern Language: Architecture, Software, and Human ActionsMiniPLoP Keynote

09:00 - 10:30: MOMO 2017 - Paper Session at D2.13

09:00 - 09:15
Day opening

Welcome & Introduction

Gunter Mussbacher, Sébastien Mosser

09:15 - 09:40
Talk

An MDE Approach for Modular Program Analyses

Bugra Mehmet Yildiz, Christoph Bockisch, Arend Rensink, Mehmet Aksit

09:40 - 10:05
Talk

A Modular Meta-model for Security Solutions

Laurens Sion, Koen Yskout, Riccardo Scandariato, Wouter Joosen

10:05 - 10:30
Talk

Weaving Rules into Models@run.time for Embedded Smart Systems

Ludovic Mouline, Thomas Hartmann, François Fouquet, Johan Bourcier, Olivier Barais, Yves Le Traon

09:00 - 10:30: ELS 2017 - Welcome and Keynotes I at D0.07

09:00 - 09:45
Day opening

Welcome messages and announcements

09:45 - 10:30
Talk

Identity in a World of ValuesELS Keynote

10:30 - 11:00: Catering - Coffee break at D - 2nd floor

11:00 - 12:00: MoreVMs 2017 - New Ways to Language Implementation at D2.10

11:10 - 11:35
Talk

Toward Virtual Machine Adaption Rather than Reimplementation

Richard Roberts, Stefan Marr, Michael Homer, James Noble

11:35 - 12:00
Talk

A Readable and Executable Semantics of Grace

Vlad Vergu, Michiel Haisma, Eelco Visser

11:00 - 12:00: MiniPLoP 2017 - Pattern Mining Workshop at D2.09
Chair(s): Joe Yoder, Takashi Iba

11:00 - 12:00
Other

Pattern Mining Workshop

11:00 - 12:00: MOMO 2017 - Presentation & Discussions at D2.13

11:00 - 11:25
Talk

Presentation only: From Use Case Driven to Test Driven Modularization

Michal Bystrický, Valentino Vranić

11:25 - 12:00
Other

Discussions (morning)

11:00 - 12:00: ELS 2017 - Session I: Tools at D0.07

11:00 - 11:30
Talk

Common Lisp UltraSpec - A Project For Modern Common Lisp Documentation

11:30 - 12:00
Talk

Loading Multiple Versions of an ASDF System in the Same Lisp Image

Vsevolod Domkin

11:00 - 12:00: LASSY 2017 - Tools and Applications of Live adaptations at D2.14

11:00 - 11:30
Talk

Towards Reflection in an FRP Language for Small-Scale Embedded Systems

Takuo Watanabe, Kensuke Sawada

Link to publication DOI

11:30 - 12:00
Talk

Dynamic Layers for Extreme Debugging

Steven Costiou, Mickael Kerboeuf, Marcus Denker, Alain Plantec

12:00 - 13:30: Catering - Lunch at VUB Restaurant

12:00 - 13:30
Lunch

13:30 - 15:00: MoreVMs 2017 - Compilation and Optimization at D2.10

13:20 - 13:45
Talk

OCaml-Java: Running ML programs on a JVM

13:45 - 14:10
Talk

On the Need of Compilepretation for Legacy Languages

14:10 - 14:35
Talk

Horizontal Profiling for Virtual Machine Optimization Transplants

Wing Hang Li, Jeremy Singer

14:35 - 15:00
Talk

Processor Tracing for Virtual Machines

Mario Wolczko, Cansu Kaynak

13:30 - 15:00: MOMO 2017 - Invited Talk at D2.13

13:30 - 15:00
Talk

Invited Talk: Towards Concern-Oriented Modularity in Software Language Engineering

13:30 - 15:00: LASSY 2017 - Role-based software development at D2.14

13:30 - 14:00
Talk

A Rollback Mechanism to Recover from Software Bugs in Role-based Adaptive Software Systems

Nguonly Taing, Thomas Springer, Nicolás Cardozo, Alexander Schill

14:00 - 14:30
Talk

Analyzing State-of-the-Art Role-based Programming Languages

Lars Schütze, Jeronimo Castrillon

14:30 - 15:00
Talk

Utilizing Role-based Models for Distributed On-Demand Service Composition

Markus Wutzler, Thomas Springer, Alexander Schill

13:30 - 15:00: ELS 2017 - Session II: Types at D0.07

13:30 - 14:00
Talk

A Lisp Way to Type Theory and Formal Proofs

Frédéric Peschanski

14:00 - 14:30
Talk

Programmatic Manipulation of Common Lisp Type Specifiers

Jim Newton, Didier Verna, Maximilien Colange

14:30 - 15:00
Talk

Type Inference in Cleavir

13:30 - 15:00: MiniPLoP 2017 - Writers' Workshop and Games at D2.09
Chair(s): Richard P. Gabriel

13:30 - 15:00
Other

Writers' Workshop and Games

15:00 - 15:30: Catering - Coffee break at D - 2nd floor

15:00 - 15:30
Coffee break

15:30 - 17:00: ELS 2017 - Demonstrations at D0.07

15:30 - 15:52
Demonstration

Delivering Common Lisp Applications with ASDF 3.3

Robert Goldman, Elias Pipping, François-René Rideau

15:52 - 16:15
Demonstration

Radiance – a Web Application Environment

16:15 - 16:37
Demonstration

Teaching Students of Engineering some Insights of the Internet of Things using Racket and the RaspberryPi

Daniel Brunner, Stephan Brunner

16:37 - 17:00
Demonstration

Interactive Functional Medical Image Analysis

Benjamin Seppke, Leonie Dreschler-Fischer

15:30 - 17:00: MOMO 2017 - Discussion Session at D2.13

15:30 - 17:00
Other

Discussion (Afternoon)

15:30 - 17:00: LASSY 2017 - Discussion and Closing at D2.14

15:30 - 16:00
Talk

IoT Robot Simulator for Context-Sensitive and Live-Adaptive Software Developments

Ikuta Tanigawa, Harumi Watanabe, Nobuhiko Ogura, Kenji Hisazumi, Akira Fukuda

16:00 - 17:00
Day closing

Discussion and closing remarks

Kim Mens, Nicolás Cardozo

15:30 - 17:00: MoreVMs 2017 - GC, and Concurrency at D2.10

15:30 - 15:55
Talk

Garbage Collection as a Joint Venture

Ulan Degenbaev, Jochen Eisinger, Kentaro Hara, Marcel Hlopko, Michael Lippautz, Hannes Payer

15:55 - 16:20
Talk

OpenCL JIT Compilation for Dynamic Programming Languages

Juan Fumero, Michel Steuwer, Lukas Stadler, Christophe Dubach

16:20 - 16:45
Talk

An Extensible Virtual Machine Design for the Execution of High-level Languages on Tagged-token Dataflow Machines

Mathijs Saey, Joeri De Koster, Jennifer Sartor, Wolfgang De Meuter

16:45 - 17:10
Talk

Moving beyond single-threaded concurrency

15:30 - 17:00: MiniPLoP 2017 - Writers' Workshop and Closing at D2.09
Chair(s): Richard P. Gabriel, Joe Yoder, Ademar Aguiar

15:30 - 16:15
Other

Writers' Workshop

16:15 - 17:00
Day closing

17:00 - 19:00: Social Events - Belgian beer reception at D - 2nd floor

17:00 - 19:00
Social Event

Belgian beer reception

17:00 - 17:30: ELS 2017 - Lightning Talks at D0.07

17:00 - 17:30
Talk

Lightning Talks

17:00 - 19:00: Posters - Posters & SRC at Poster Area
Chair(s): Jennifer B. Sartor

17:00 - 19:00
Social Event

Tue 4 Apr

08:00 - 17:00: Organizational - Registration at D - Main entrance

08:00 - 17:00
Registration

09:00 - 10:30: CoCoDo 2017 - First Session at D2.13

09:00 - 09:15
Day opening

Welcome and Introductions

09:15 - 10:30
Talk

Attribute Grammars for DSLs for Music and 3D Graphics

Adrian Johnstone, Elizabeth Scott

09:00 - 10:30: PASS 2017 - Invited Talk & Paper Presentation at D2.15
Chair(s): Sasa Misailovic

09:00 - 10:00
Talk

Analysing Energy Consumption of Systems Controlled by SoftwarePASS invited talk

Bernard van Gastel

10:00 - 10:30
Talk

Abstractions for Distributed Event-Driven Systems

Christophe De Troyer, Jens Nicolay, Christophe Scholliers, Wolfgang De Meuter

Pre-print Media Attached

09:00 - 10:00: ELS 2017 - Keynotes II at D0.07

09:00 - 10:00
Talk

How the strengths of Lisp-family languages facilitate building complex and flexible bioinformatics applicationsELS Keynote

Bohdan Khomtchouk

09:00 - 10:30: ProWeb 2017 - Opening and Keynote at D2.09

09:00 - 09:10
Talk

Welcome to ProWeb

Coen De Roover, Anders Møller, Christophe Scholliers

09:10 - 10:10
Talk

From Documents to Dialogues: Programming Technology for the Conversational WebProWeb Keynote

10:10 - 10:30
Talk

Group discussion on common workshop goals

09:00 - 10:30: Salon des Refusés - Session 1 at D2.10

09:00 - 09:15
Day opening

Welcome and workshop introduction

09:15 - 09:45
Talk

Programming is Writing is Programming

Felienne Hermans, Marlies Aldewereld

09:45 - 10:00
Talk

Review: Programming is Writing is Programming

10:00 - 10:20
Talk

Code is not just text - current code editors are inadequate tools

Link to publication

10:20 - 10:30
Talk

Review: Code is not just text - current code editors are inadequate tools

Felienne Hermans

09:00 - 10:30: Modularity Invited Talks - Session I at D0.08

09:00 - 09:45
Talk

Modular Composition of Reactive Applications (from aspects to events and back)

09:45 - 10:30
Talk

Some History and Future Perspectives on the Modularity Challenges for Large and Complex Software Systems

Lodewijk Bergmans

09:00 - 10:30: PX - Session I at D2.14
Chair(s): Richard P. Gabriel, Robert Hirschfeld, Hidehiko Masuhara

09:00 - 09:30
Day opening

Arrival and Workshop Introduction

09:30 - 10:30
Talk

Live Data Structure Programming

Akio Oka, Hidehiko Masuhara, Tomoki Imai, Tomoyuki Aotani

10:00 - 10:30: ELS 2017 - Session III: Applications at D0.07

10:00 - 10:30
Talk

Parallelizing Femlisp

Marco Heisig, Nicolas Neuß

10:30 - 11:00: Catering - Coffee break at D - 2nd floor

11:00 - 12:00: PASS 2017 - Invited Talk at D2.15
Chair(s): Christoph Bockisch

11:00 - 12:00
Talk

Teaching a Systematic Design Method for Concurrent ProgramsPASS invited talk

11:00 - 12:00: ProWeb 2017 - Reactivity on the future web at D2.09

11:00 - 11:25
Talk

Experience Report: Functional Reactive Programming and the DOM

Bob Reynders, Dominique Devriese, Frank Piessens

11:25 - 11:50
Talk

Enriching the Internet By Acting and Reacting

Sam Van den Vonder, Florian Myter, Joeri De Koster, Wolfgang De Meuter

11:50 - 12:00
Talk

Group discussion on the future of reactivity

11:00 - 12:00: CoCoDo 2017 - Second Session at D2.13

11:00 - 12:00
Talk

Late Phases of Compilation in Rascal

Anya Helene Bagge

11:00 - 12:00: Salon des Refusés - Session 2 at D2.10

11:00 - 11:20
Talk

Principles of Antifragile Software

Martin Monperrus

11:20 - 11:30
Talk

Review: Principles of Antifragile Software

11:30 - 11:50
Talk

A Certain Tendency Of The Database Community

Christopher Meiklejohn

11:50 - 12:00
Talk

Review: A Certain Tendency Of The Database Community

11:00 - 12:00: Modularity Invited Talks - Session II at D0.08

11:00 - 11:45
Talk

Advanced Modularity for the Cloud

11:45 - 12:30
Talk

Modularity for System-of-Systems

Bedir Tekinerdogan

11:00 - 12:00: PX - Session II at D2.14
Chair(s): Hidehiko Masuhara, Richard P. Gabriel, Robert Hirschfeld

11:00 - 12:00
Talk

Exploratory Development of Data-intensive Applications

Patrick Rein, Marcel Taeumel, Robert Hirschfeld, Michael Perscheid

11:00 - 12:00: ELS 2017 - Tutorial at D0.07

11:00 - 12:00
Other

General Game Playing in Common Lisp

12:00 - 13:30: Catering - Lunch at VUB Restaurant

13:30 - 15:00: ProWeb 2017 - Collaboration and responsiveness on the future web at D2.09

13:30 - 13:55
Talk

Immediate Mode with Immutable Data

Tijs van der Storm

13:55 - 14:20
Talk

Modular Responsive Web Design: An Experience Report

Lucas Wiener, Tomas Ekholm, Philipp Haller

14:20 - 14:45
Talk

Webstrates for the future web?

Kristian B. Antonsen, Michel Beaudouin-Lafon, James Eagan, Clemens Nylandsted Klokmose, Wendy Mackay, Roman Rädle

14:45 - 15:00
Talk

Group discussion on the future of collaboration and responsiveness

13:30 - 15:00: PASS 2017 - Invited Talk & Discussion at D2.15
Chair(s): Hidehiko Masuhara

13:30 - 14:30
Talk

Managed Language Runtimes on Heterogeneous Hardware: Optimizations for Performance, Efficiency and Lifetime ImprovementPASS invited talk

14:30 - 15:00
Other

13:30 - 15:00: Salon des Refusés - Session 3 at D2.10

13:30 - 14:00
Talk

The Act of Computer Programming in Science

14:00 - 14:15
Talk

Review: The Act of Computer Programming in Science

Antranig Basman

14:15 - 14:45
Talk

From Software Creationism to Software Evolutionism

François-René Rideau

14:45 - 15:00
Talk

Review: From Software Creationism to Software Evolutionism

13:30 - 15:00: Modularity Invited Talks - Session III at D0.08

13:30 - 14:15
Talk

SoC Spaces - Indexes for Composition

14:15 - 15:00
Talk

Formal Verification for Cross-cutting Modularity

13:30 - 15:00: PX - Session III at D2.14
Chair(s): Richard P. Gabriel, Robert Hirschfeld, Hidehiko Masuhara

13:30 - 14:15
Demonstration

Runtime Metric Meets Developer: Augmenting Source Code with Runtime Information to Make Programs Live

14:15 - 15:00
Talk

Squeak Makes a Good Python Debugger

Fabio Niephaus, Tim Felgentreff, Tobias Pape, Robert Hirschfeld

13:30 - 15:00: ELS 2017 - Session IV: Going Meta at D0.07

13:30 - 14:00
Talk

Fast, Maintainable, and Portable Sequence Functions

Irène Anne Durand, Robert Strandh

14:00 - 14:30
Talk

DIY Meta Languages with Common Lisp

Alexander Lier, Kai Selgrad, Marc Stamminger

14:30 - 15:00
Talk

Static Taint Analysis of Event-driven Scheme Programs

Jonas De Bleser, Quentin Stiévenart, Jens Nicolay, Coen De Roover

13:30 - 15:00: CoCoDo 2017 - Third Session at D2.13

13:30 - 15:00
Talk

Experimenting with Racket as a Language Workbench

15:00 - 15:30: Catering - Coffee break at D - 2nd floor

15:30 - 17:00: PASS 2017 - Discussion at D2.15
Chair(s): Christoph Bockisch

15:30 - 16:30
Other

discussion (common roadmap)

16:30 - 17:00
Day closing

Christoph Bockisch

15:30 - 17:00: CoCoDo 2017 - Fourth Session at D2.13
Chair(s): Vadim Zaytsev

15:30 - 15:50
Talk

Live Programming in the 21st Century

15:50 - 16:10
Talk

From Compilers to Software Language Engineering

Link to publication

16:10 - 16:30
Talk

FunCons as the Future of Compiler Compilers

Adrian Johnstone

16:30 - 17:00
Day closing

Final Discussion and Framework Pitches

15:30 - 17:00: Salon des Refusés - Session 4 at D2.10

15:30 - 16:00
Talk

What Can Software Learn From Hypermedia?

Philip Tchernavskij, Clemens Nylandsted Klokmose, Michel Beaudouin-Lafon

16:00 - 16:15
Talk

Review: What Can Software Learn From Hypermedia?

Antranig Basman

16:15 - 16:45
Talk

Tracing a Paradigm for Externalization: Avatars and the GPII Nexus

Colin Clark, Antranig Basman

16:45 - 17:00
Talk

Review: Tracing a Paradigm for Externalization: Avatars and the GPII Nexus

Philip Tchernavskij

15:30 - 17:00: Modularity Invited Talks - Session IV at D0.08

15:30 - 16:15
Talk

Modularity from the Trenches

Stéphane Ducasse

16:15 - 17:00
Talk

Concern-Oriented Reuse: Combine MDE, Aspect-Orientation and Software Product Lines to Create Generic, Crosscutting yet Modular Units of Reuse

15:30 - 17:00: PX - Session IV at D2.14
Chair(s): Richard P. Gabriel, Robert Hirschfeld, Hidehiko Masuhara

15:30 - 16:30
Talk

User-Generated Variables: Streamlined Interaction Design for Feature Requests and Implementations

Jun Kato, Masataka Goto

16:30 - 17:00
Day closing

Open discussion and feedback

15:30 - 17:00: ELS 2017 - Session V: Going Beyond at D0.07

15:30 - 16:00
Talk

on the {lambda way}

16:00 - 16:30
Talk

Writing a portable code walker in Common Lisp

16:30 - 17:00
Talk

Removing redundant tests by replicating control paths

Irène Anne Durand, Robert Strandh

15:30 - 17:00: ProWeb 2017 - Tooling for and virtuality of the future web at D2.09

15:30 - 15:55
Talk

Towards the Web for Virtual Being

15:55 - 16:20
Talk

Optimizing economics of microservices by planning for granularity level

Ola Mustafa, Jorge Marx Gómez

16:20 - 16:45
Talk

Group discussion on the future of tooling and virtuality

17:00 - 17:45: ELS 2017 - Lightning Talks at D0.07

17:00 - 17:22
Talk

Lightning Talks

17:22 - 17:45
Day closing

Announcements, wrapup, goodbye

17:30 - 20:00: Social Events - Reception at Musical Instruments Museum

17:30 - 20:00
Social Event

18:00 - 20:00: Organizational - Steering Committee Meeting at SC Meeting Room
Chair(s): Robert Hirschfeld

18:00 - 20:00
Meeting

Steering Committee Meeting

Robert Hirschfeld, Walter Binder, Krzysztof Czarnecki, Erik Ernst, Lidia Fuentes, Sudipto Ghosh, David H. Lorenz, Jörg Kienzle, Gary Leavens, Hidehiko Masuhara, Guido Salvaneschi, Mario Südholt, Peter Thiemann, Eelco Visser, Steffen Zschaler, Guido Salvaneschi, Manuel Serrano

Wed 5 Apr

08:00 - 17:00: Organizational - Registration at D - Main entrance

08:00 - 17:00
Registration

09:00 - 10:15: Keynotes - Keynotes I at D0.07

09:00 - 10:15
Talk

Live Literate Programming‹Programming› Keynote

10:15 - 10:45: Catering - Coffee break at D - 2nd floor

10:45 - 12:15: Demos - Demo 1 at D2.06

10:45 - 11:30
Demonstration

RedShell: Online Back-In-Time Debugging

Stefan Schulz, Christoph Bockisch

11:30 - 12:15
Demonstration

Κόμπος: A Platform for Debugging Complex Concurrent Applications

Stefan Marr, Carmen Torres Lopez, Dominik Aumayr, Elisa Gonzalez Boix, Hanspeter Mössenböck

10:45 - 12:15: Research Papers - Research Papers 1 at D0.07
Chair(s): Guido Salvaneschi

10:45 - 11:15
Talk

Language Oriented Modularity: From Theory to Practice

Arik Hadas, David H. Lorenz

Link to publication DOI

11:15 - 11:45
Talk

A Module-System Discipline for Model-Driven Software Development

Sebastian Erdweg, Klaus Ostermann

Link to publication DOI

11:45 - 12:15
Talk

User-Defined Operators Including Name Binding for New Language Constructs

Kazuhiro Ichikawa, Shigeru Chiba

Link to publication DOI

12:15 - 13:30: Catering - Lunch at VUB Restaurant

12:15 - 13:30: Posters - SRC Presentations at D2.14
Chair(s): Jennifer B. Sartor

12:15 - 13:30
Talk

SRC Presentations

13:30 - 15:00: Demos - Demo 2 at D2.06

13:30 - 14:15
Demonstration

Modularizing Code by Use Cases and Tests for Better Maintainability

Michal Bystrický, Valentino Vranić

14:15 - 15:00
Demonstration

Application Embedding: From FishTank to Axiom

David H. Lorenz, Boaz Rosenan

13:30 - 15:00: Research Papers - Research Papers 2 at D0.07
Chair(s): Shigeru Chiba

13:30 - 14:00
Talk

TRIOT: Faster tensor manipulation in C++11

Oliver Serang, Florian Heyl

Link to publication DOI

14:00 - 14:30
Talk

Effective Analysis of C Programs by Rewriting Variability

Alexandru Iosif-Lazar, Jean Melo, Aleksandar S. Dimovski, Claus Brabrand, Andrzej Wąsowski

Link to publication DOI

14:30 - 15:00
Talk

Transition Watchpoints: Teaching Old Debuggers New Tricks

Kapil Arya, Tyler Denniston, Ariel Rabkin, Gene Cooperman

Link to publication DOI

15:00 - 15:30: Catering - Coffee break at D - 2nd floor

15:30 - 17:00: Demos - Demo 3 at D2.06

15:30 - 16:15
Demonstration

Live Development in Dart

John McCutchan, Todd Turnidge, Gilad Bracha

16:15 - 17:00
Demonstration

Tools for Open, Transparent and Engaging Storytelling

15:30 - 17:00: Research Papers - Research Papers 3 at D0.07
Chair(s): Mario Südholt

15:30 - 16:00
Talk

Relationship Maintenance in Software Language Repositories

Link to publication DOI

16:00 - 16:30
Talk

Open Programming Language Interpreters

Walter Cazzola, Albert Shaqiri

Link to publication DOI

16:30 - 17:00
Talk

Interconnected Linguistic Architecture

Johannes Härtel, Lukas Härtel, Ralf Lämmel, Andrei Varanovich, Marcel Heinz

Link to publication DOI

18:10 - 22:00: Social Events - Banquet at Museum of Natural Sciences

18:10 - 22:00
Social Event

Thu 6 Apr

08:00 - 17:00: Organizational - Registration at D - Main entrance

08:00 - 17:00
Registration

09:00 - 10:15: Keynotes - Keynotes II at D0.07

09:00 - 10:15
Talk

How Racket Went Meta‹Programming› Keynote

10:15 - 10:45: Catering - Coffee break at D - 2nd floor

10:45 - 12:15: Demos - Demo 4 at D2.06

10:45 - 11:30
Demonstration

An Elixir Library for Programming Concurrent and Distributed Embedded Systems

Humberto Rodriguez Avila, Elisa Gonzalez Boix, Wolfgang De Meuter

11:30 - 12:15
Demonstration

Reactive Programming with REScala

Ragnar Mogk, Joscha Drechsler

10:45 - 12:15: Research Papers - Research Papers 4 at D0.07
Chair(s): Crista Lopes

10:45 - 11:15
Talk

Application Embedding: A Language Approach to Declarative Web Programming

David H. Lorenz, Boaz Rosenan

Link to publication DOI

11:15 - 11:45
Talk

Profunctor Optics: Modular Data Accessors

Matthew Pickering, Jeremy Gibbons, Nicolas Wu

Link to publication DOI

11:45 - 12:15
Talk

Miscomputation in software: Learning to live with errors

Link to publication DOI

12:15 - 13:30: Catering - Lunch at VUB Restaurant

13:30 - 15:00: Demos - Demo 5 at D2.06

13:30 - 15:00: Research Papers - Research Papers 5 at D0.07
Chair(s): Elisa Gonzalez Boix

13:30 - 14:00
Talk

Edit Transactions: Dynamically Scoped Change Sets for Controlled Updates in Live Programming

Toni Mattis, Patrick Rein, Robert Hirschfeld

Link to publication DOI

14:00 - 14:30
Talk

What Is the Best Way For Developers to Learn New Software Tools? An Empirical Comparison Between a Text and a Video Tutorial

Verena Käfer, Daniel Kulesz, Stefan Wagner

Link to publication DOI

14:30 - 15:00
Talk

An Analysis of Introductory Programming Courses at UK Universities

Ellen Murphy, Tom Crick, James H. Davenport

Link to publication DOI

15:00 - 15:30: Catering - Coffee break at D - 2nd floor

15:30 - 17:00: Demos - Demo 6 at D2.06

15:30 - 17:00: Research Papers - Research Papers 6 at D0.07
Chair(s): Tijs van der Storm

15:30 - 16:00
Talk

The pragmatics of clone detection and elimination

Simon Thompson, Huiqing Li, Andreas Schumacher

Link to publication DOI

16:00 - 16:30
Talk

Does Python Smell Like Java?

Nicole Vavrová, Vadim Zaytsev

Link to publication DOI

16:30 - 17:00
Talk

Active Expressions: Basic Building Blocks for Reactive Programming

Stefan Ramson, Robert Hirschfeld

Link to publication DOI

17:00 - 18:00: Social Events - Brussels waffle social at D - 2nd floor

17:00 - 18:00
Social Event

Brussels waffle social

Mon 3 Apr 2017


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
D0.07													ELS 2017 Welcome and Keynotes I 09:00 - 10:30																								ELS 2017 Session I: Tools 11:00 - 12:00																														ELS 2017 Session II: Types 13:30 - 15:00																								ELS 2017 Demonstrations 15:30 - 17:00																		ELS 2017 Lightning Talks 17:00 - 17:30
D2.09													MiniPLoP 2017 Opening and Keynote 09:00 - 10:30																								MiniPLoP 2017 Pattern Mining Workshop 11:00 - 12:00																														MiniPLoP 2017 Writers' Workshop and Games 13:30 - 15:00																								MiniPLoP 2017 Writers' Workshop and Closing 15:30 - 17:00
D2.10													MoreVMs 2017 Better Tools and Tooling Infrastructure 09:00 - 10:30																								MoreVMs 2017 New Ways to Language Implementation 11:00 - 12:00																														MoreVMs 2017 Compilation and Optimization 13:30 - 15:00																								MoreVMs 2017 GC, and Concurrency 15:30 - 17:00
D2.13													MOMO 2017 Paper Session 09:00 - 10:30																								MOMO 2017 Presentation & Discussions 11:00 - 12:00																														MOMO 2017 Invited Talk 13:30 - 15:00																								MOMO 2017 Discussion Session 15:30 - 17:00
D2.14													LASSY 2017 Literature reviews for Live Adaptation of Software Systems 09:00 - 10:30																								LASSY 2017 Tools and Applications of Live adaptations 11:00 - 12:00																														LASSY 2017 Role-based software development 13:30 - 15:00																								LASSY 2017 Discussion and Closing 15:30 - 17:00
Poster Area																																																																	Posters Posters & SRC 17:00 - 19:00
D - 2nd floor																															Catering Coffee break 10:30 - 11:00																																																						Catering Coffee break 15:00 - 15:30																								Social Events Belgian beer reception 17:00 - 19:00
VUB Restaurant																																																	Catering Lunch 12:00 - 13:30
D - Main entrance	Organizational Registration 08:00 - 17:00

Tue 4 Apr 2017


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
D0.07													ELS 2017 Keynotes II 09:00 - 10:00												ELS 2017 Session III: Applications 10:00 - 10:30												ELS 2017 Tutorial 11:00 - 12:00																														ELS 2017 Session IV: Going Meta 13:30 - 15:00																								ELS 2017 Session V: Going Beyond 15:30 - 17:00																		ELS 2017 Lightning Talks 17:00 - 17:45
D0.08													Modularity Invited Talks Session I 09:00 - 10:30																								Modularity Invited Talks Session II 11:00 - 12:00																														Modularity Invited Talks Session III 13:30 - 15:00																								Modularity Invited Talks Session IV 15:30 - 17:00
D2.09													ProWeb 2017 Opening and Keynote 09:00 - 10:30																								ProWeb 2017 Reactivity on the future web 11:00 - 12:00																														ProWeb 2017 Collaboration and responsiveness on the future web 13:30 - 15:00																								ProWeb 2017 Tooling for and virtuality of the future web 15:30 - 17:00
D2.10													Salon des Refusés Session 1 09:00 - 10:30																								Salon des Refusés Session 2 11:00 - 12:00																														Salon des Refusés Session 3 13:30 - 15:00																								Salon des Refusés Session 4 15:30 - 17:00
D2.13													CoCoDo 2017 First Session 09:00 - 10:30																								CoCoDo 2017 Second Session 11:00 - 12:00																														CoCoDo 2017 Third Session 13:30 - 15:00																								CoCoDo 2017 Fourth Session 15:30 - 17:00
D2.14													PX Session I 09:00 - 10:30																								PX Session II 11:00 - 12:00																														PX Session III 13:30 - 15:00																								PX Session IV 15:30 - 17:00
D2.15													PASS 2017 Invited Talk & Paper Presentation 09:00 - 10:30																								PASS 2017 Invited Talk 11:00 - 12:00																														PASS 2017 Invited Talk & Discussion 13:30 - 15:00																								PASS 2017 Discussion 15:30 - 17:00
Musical Instruments Museum																																																																	Social Events Reception 17:30 - 20:00
SC Meeting Room																																																																	Organizational Steering Committee Meeting 18:00 - 20:00
D - 2nd floor																															Catering Coffee break 10:30 - 11:00																																																						Catering Coffee break 15:00 - 15:30
VUB Restaurant																																																	Catering Lunch 12:00 - 13:30
D - Main entrance	Organizational Registration 08:00 - 17:00

Wed 5 Apr 2017


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
D0.07													Keynotes Keynotes I 09:00 - 10:15																					Research Papers Research Papers 1 10:45 - 12:15																																	Research Papers Research Papers 2 13:30 - 15:00																								Research Papers Research Papers 3 15:30 - 17:00
D2.06																																		Demos Demo 1 10:45 - 12:15																																	Demos Demo 2 13:30 - 15:00																								Demos Demo 3 15:30 - 17:00
D2.14																																																				Posters SRC Presentations 12:15 - 13:30
Museum of Natural Sciences																																																																	Social Events Banquet 18:10 - 22:00
D - 2nd floor																												Catering Coffee break 10:15 - 10:45																																																									Catering Coffee break 15:00 - 15:30
VUB Restaurant																																																				Catering Lunch 12:15 - 13:30
D - Main entrance	Organizational Registration 08:00 - 17:00

Thu 6 Apr 2017


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
D0.07													Keynotes Keynotes II 09:00 - 10:15																					Research Papers Research Papers 4 10:45 - 12:15																																	Research Papers Research Papers 5 13:30 - 15:00																								Research Papers Research Papers 6 15:30 - 17:00
D2.06																																		Demos Demo 4 10:45 - 12:15																																	Demos Demo 5 13:30 - 15:00																								Demos Demo 6 15:30 - 17:00
D - 2nd floor																												Catering Coffee break 10:15 - 10:45																																																									Catering Coffee break 15:00 - 15:30																								Social Events Brussels waffle social 17:00 - 18:00
VUB Restaurant																																																				Catering Lunch 12:15 - 13:30
D - Main entrance	Organizational Registration 08:00 - 17:00

Mon 3 Apr 2017


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
D0.07													ELS 2017 Welcome messages and announcements 09:00 - 09:45									ELS 2017ELS Keynote Identity in a World of Values 09:45 - 10:30															ELS 2017 Common Lisp UltraSpec - A Project For Modern Common Lisp Documentation 11:00 - 11:30						ELS 2017 Loading Multiple Versions of an ASDF System in the Same Lisp Image 11:30 - 12:00																								ELS 2017 A Lisp Way to Type Theory and Formal Proofs 13:30 - 14:00						ELS 2017 Programmatic Manipulation of Common Lisp Type Specifiers 14:00 - 14:30						ELS 2017 Type Inference in Cleavir 14:30 - 15:00												ELS 2017 Delivering Common Lisp Applications with ASDF 3.3 15:30 - 15:52				ELS 2017 Radiance – a Web Application Environment 15:52 - 16:15					ELS 2017 Teaching Students of Engineering some Insights of the Internet of Thing ... 16:15 - 16:37				ELS 2017 Interactive Functional Medical Image Analysis 16:37 - 17:00					ELS 2017 Lightning Talks 17:00 - 17:30
D2.09													MiniPLoP 2017 Opening 09:00 - 09:45									MiniPLoP 2017MiniPLoP Keynote Generations of Pattern Language: Architecture, Software, and Human Actions 09:45 - 10:30															MiniPLoP 2017 Pattern Mining Workshop 11:00 - 12:00																														MiniPLoP 2017 Writers' Workshop and Games 13:30 - 15:00																								MiniPLoP 2017 Writers' Workshop 15:30 - 16:15									MiniPLoP 2017 Closing 16:15 - 17:00
D2.10													MoreVMs 2017 When a Mouse Eats a Python: Smalltalk-style Development for Python and Ruby 09:00 - 09:25					MoreVMs 2017 Debugging Await in Dart 09:25 - 09:50					MoreVMs 2017 Building Reusable, Low-overhead Tooling Support into a High Performance ... 09:50 - 10:15					MoreVMs 2017 Debugging with Back-In-Time Evaluation 10:15 - 10:40											MoreVMs 2017 Toward Virtual Machine Adaption Rather than Reimplementation 11:10 - 11:35					MoreVMs 2017 A Readable and Executable Semantics of Grace 11:35 - 12:00																					MoreVMs 2017 OCaml-Java: Running ML programs on a JVM 13:20 - 13:45					MoreVMs 2017 On the Need of Compilepretation for Legacy Languages 13:45 - 14:10					MoreVMs 2017 Horizontal Profiling for Virtual Machine Optimization Transplants 14:10 - 14:35					MoreVMs 2017 Processor Tracing for Virtual Machines 14:35 - 15:00											MoreVMs 2017 Garbage Collection as a Joint Venture 15:30 - 15:55					MoreVMs 2017 OpenCL JIT Compilation for Dynamic Programming Languages 15:55 - 16:20					MoreVMs 2017 An Extensible Virtual Machine Design for the Execution of High-level La ... 16:20 - 16:45					MoreVMs 2017 Moving beyond single-threaded concurrency 16:45 - 17:10
D2.13													MOMO 2017 Welcome & Introduction 09:00 - 09:15			MOMO 2017 An MDE Approach for Modular Program Analyses 09:15 - 09:40					MOMO 2017 A Modular Meta-model for Security Solutions 09:40 - 10:05					MOMO 2017 Weaving Rules into Models@run.time for Embedded Smart Systems 10:05 - 10:30											MOMO 2017 Presentation only: From Use Case Driven to Test Driven Modularization 11:00 - 11:25					MOMO 2017 Discussions (morning) 11:25 - 12:00																									MOMO 2017 Invited Talk: Towards Concern-Oriented Modularity in Software Language ... 13:30 - 15:00																								MOMO 2017 Discussion (Afternoon) 15:30 - 17:00
D2.14													LASSY 2017 Welcome 09:00 - 09:30						LASSY 2017 Dynamic Software Updating in Java - Comparing Concepts and Resource Demands 09:30 - 10:00						LASSY 2017 Managing the Context Interaction Problem : A Classification of Conflict ... 10:00 - 10:30												LASSY 2017 Towards Reflection in an FRP Language for Small-Scale Embedded Systems 11:00 - 11:30						LASSY 2017 Dynamic Layers for Extreme Debugging 11:30 - 12:00																								LASSY 2017 A Rollback Mechanism to Recover from Software Bugs in Role-based Adapti ... 13:30 - 14:00						LASSY 2017 Analyzing State-of-the-Art Role-based Programming Languages 14:00 - 14:30						LASSY 2017 Utilizing Role-based Models for Distributed On-Demand Service Composition 14:30 - 15:00												LASSY 2017 IoT Robot Simulator for Context-Sensitive and Live-Adaptive Software De ... 15:30 - 16:00						LASSY 2017 Discussion and closing remarks 16:00 - 17:00
Poster Area																																																																	‹Programming› 2017 Posters Poster Session 17:00 - 19:00
D - 2nd floor																																																																	‹Programming› 2017 Catering Coffee break 15:00 - 15:30																								‹Programming› 2017 Social Events Belgian beer reception 17:00 - 19:00
VUB Restaurant																																																	‹Programming› 2017 Catering Lunch 12:00 - 13:30
D - Main entrance	‹Programming› 2017 Organizational Registration 08:00 - 17:00

Tue 4 Apr 2017


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
D0.07													ELS 2017ELS Keynote How the strengths of Lisp-family languages facilitate building complex ... 09:00 - 10:00												ELS 2017 Parallelizing Femlisp 10:00 - 10:30												ELS 2017 General Game Playing in Common Lisp 11:00 - 12:00																														ELS 2017 Fast, Maintainable, and Portable Sequence Functions 13:30 - 14:00						ELS 2017 DIY Meta Languages with Common Lisp 14:00 - 14:30						ELS 2017 Static Taint Analysis of Event-driven Scheme Programs 14:30 - 15:00												ELS 2017 on the {lambda way} 15:30 - 16:00						ELS 2017 Writing a portable code walker in Common Lisp 16:00 - 16:30						ELS 2017 Removing redundant tests by replicating control paths 16:30 - 17:00						ELS 2017 Lightning Talks 17:00 - 17:22				ELS 2017 Announcements, wrapup, goodbye 17:22 - 17:45
D0.08													Modularity 2017 Modular Composition of Reactive Applications (from aspects to events an ... 09:00 - 09:45									Modularity 2017 Some History and Future Perspectives on the Modularity Challenges for L ... 09:45 - 10:30															Modularity 2017 Advanced Modularity for the Cloud 11:00 - 11:45									Modularity 2017 Modularity for System-of-Systems 11:45 - 12:30																					Modularity 2017 SoC Spaces - Indexes for Composition 13:30 - 14:15									Modularity 2017 Formal Verification for Cross-cutting Modularity 14:15 - 15:00															Modularity 2017 Modularity from the Trenches 15:30 - 16:15									Modularity 2017 Concern-Oriented Reuse: Combine MDE, Aspect-Orientation and Software Pr ... 16:15 - 17:00
D2.09													ProWeb 2017 Welcome to ProWeb 09:00 - 09:10		ProWeb 2017ProWeb Keynote From Documents to Dialogues: Programming Technology for the Conversatio ... 09:10 - 10:10												ProWeb 2017 Group discussion on common workshop goals 10:10 - 10:30										ProWeb 2017 Experience Report: Functional Reactive Programming and the DOM 11:00 - 11:25					ProWeb 2017 Enriching the Internet By Acting and Reacting 11:25 - 11:50					ProWeb 2017 Group discussion on the future of reactivity 11:50 - 12:00																				ProWeb 2017 Immediate Mode with Immutable Data 13:30 - 13:55					ProWeb 2017 Modular Responsive Web Design: An Experience Report 13:55 - 14:20					ProWeb 2017 Webstrates for the future web? 14:20 - 14:45					ProWeb 2017 Group discussion on the future of collaboration and responsiveness 14:45 - 15:00									ProWeb 2017 Towards the Web for Virtual Being 15:30 - 15:55					ProWeb 2017 Optimizing economics of microservices by planning for granularity level 15:55 - 16:20					ProWeb 2017 Group discussion on the future of tooling and virtuality 16:20 - 16:45
D2.10													Salon des Refusés 2017 Welcome and workshop introduction 09:00 - 09:15			Salon des Refusés 2017 Programming is Writing is Programming 09:15 - 09:45						Salon des Refusés 2017 Review: Programming is Writing is Programming 09:45 - 10:00			Salon des Refusés 2017 Code is not just text - current code editors are inadequate tools 10:00 - 10:20				Salon des Refusés 2017 Review: Code is not just text - current code editors are inadequate tools 10:20 - 10:30								Salon des Refusés 2017 Principles of Antifragile Software 11:00 - 11:20				Salon des Refusés 2017 Review: Principles of Antifragile Software 11:20 - 11:30		Salon des Refusés 2017 A Certain Tendency Of The Database Community 11:30 - 11:50				Salon des Refusés 2017 Review: A Certain Tendency Of The Database Community 11:50 - 12:00																				Salon des Refusés 2017 The Act of Computer Programming in Science 13:30 - 14:00						Salon des Refusés 2017 Review: The Act of Computer Programming in Science 14:00 - 14:15			Salon des Refusés 2017 From Software Creationism to Software Evolutionism 14:15 - 14:45						Salon des Refusés 2017 Review: From Software Creationism to Software Evolutionism 14:45 - 15:00									Salon des Refusés 2017 What Can Software Learn From Hypermedia? 15:30 - 16:00						Salon des Refusés 2017 Review: What Can Software Learn From Hypermedia? 16:00 - 16:15			Salon des Refusés 2017 Tracing a Paradigm for Externalization: Avatars and the GPII Nexus 16:15 - 16:45						Salon des Refusés 2017 Review: Tracing a Paradigm for Externalization: Avatars and the GPII Nexus 16:45 - 17:00
D2.13													CoCoDo 2017 Welcome and Introductions 09:00 - 09:15			CoCoDo 2017 Attribute Grammars for DSLs for Music and 3D Graphics 09:15 - 10:30																					CoCoDo 2017 Late Phases of Compilation in Rascal 11:00 - 12:00																														CoCoDo 2017 Experimenting with Racket as a Language Workbench 13:30 - 15:00																								CoCoDo 2017 Live Programming in the 21st Century 15:30 - 15:50				CoCoDo 2017 From Compilers to Software Language Engineering 15:50 - 16:10				CoCoDo 2017 FunCons as the Future of Compiler Compilers 16:10 - 16:30				CoCoDo 2017 Final Discussion and Framework Pitches 16:30 - 17:00
D2.14													PX 2017 Arrival and Workshop Introduction 09:00 - 09:30						PX 2017 Live Data Structure Programming 09:30 - 10:30																		PX 2017 Exploratory Development of Data-intensive Applications 11:00 - 12:00																														PX 2017 Runtime Metric Meets Developer: Augmenting Source Code with Runtime Inf ... 13:30 - 14:15									PX 2017 Squeak Makes a Good Python Debugger 14:15 - 15:00															PX 2017 User-Generated Variables: Streamlined Interaction Design for Feature Re ... 15:30 - 16:30												PX 2017 Open discussion and feedback 16:30 - 17:00
D2.15													PASS 2017PASS invited talk Analysing Energy Consumption of Systems Controlled by Software 09:00 - 10:00												PASS 2017 Abstractions for Distributed Event-Driven Systems 10:00 - 10:30												PASS 2017PASS invited talk Teaching a Systematic Design Method for Concurrent Programs 11:00 - 12:00																														PASS 2017PASS invited talk Managed Language Runtimes on Heterogeneous Hardware: Optimizations for ... 13:30 - 14:30												PASS 2017 discussion 14:30 - 15:00												PASS 2017 discussion (common roadmap) 15:30 - 16:30												PASS 2017 wrap-up 16:30 - 17:00
Musical Instruments Museum																																																																	‹Programming› 2017 Social Events Reception 17:30 - 20:00
SC Meeting Room																																																																	‹Programming› 2017 Organizational Steering Committee Meeting 18:00 - 20:00
D - Main entrance	‹Programming› 2017 Organizational Registration 08:00 - 17:00

Wed 5 Apr 2017


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
D0.07													‹Programming› 2017 Keynotes‹Programming› Keynote Live Literate Programming 09:00 - 10:15																					‹Programming› 2017 Research Papers Language Oriented Modularity: From Theory to Practice 10:45 - 11:15						‹Programming› 2017 Research Papers A Module-System Discipline for Model-Driven Software Development 11:15 - 11:45						‹Programming› 2017 Research Papers User-Defined Operators Including Name Binding for New Language Constructs 11:45 - 12:15																					‹Programming› 2017 Research Papers TRIOT: Faster tensor manipulation in C++11 13:30 - 14:00						‹Programming› 2017 Research Papers Effective Analysis of C Programs by Rewriting Variability 14:00 - 14:30						‹Programming› 2017 Research Papers Transition Watchpoints: Teaching Old Debuggers New Tricks 14:30 - 15:00												‹Programming› 2017 Research Papers Relationship Maintenance in Software Language Repositories 15:30 - 16:00						‹Programming› 2017 Research Papers Open Programming Language Interpreters 16:00 - 16:30						‹Programming› 2017 Research Papers Interconnected Linguistic Architecture 16:30 - 17:00
D2.06																																		‹Programming› 2017 Demos RedShell: Online Back-In-Time Debugging 10:45 - 11:30									‹Programming› 2017 Demos Κόμπος: A Platform for Debugging Complex Concurrent Applications 11:30 - 12:15																								‹Programming› 2017 Demos Modularizing Code by Use Cases and Tests for Better Maintainability 13:30 - 14:15									‹Programming› 2017 Demos Application Embedding: From FishTank to Axiom 14:15 - 15:00															‹Programming› 2017 Demos Live Development in Dart 15:30 - 16:15									‹Programming› 2017 Demos Tools for Open, Transparent and Engaging Storytelling 16:15 - 17:00
D2.14																																																				‹Programming› 2017 Posters SRC Presentations 12:15 - 13:30
Museum of Natural Sciences																																																																	‹Programming› 2017 Social Events Banquet 18:10 - 22:00
D - Main entrance	‹Programming› 2017 Organizational Registration 08:00 - 17:00

Thu 6 Apr 2017


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
D0.07													‹Programming› 2017 Keynotes‹Programming› Keynote How Racket Went Meta 09:00 - 10:15																					‹Programming› 2017 Research Papers Application Embedding: A Language Approach to Declarative Web Programming 10:45 - 11:15						‹Programming› 2017 Research Papers Profunctor Optics: Modular Data Accessors 11:15 - 11:45						‹Programming› 2017 Research Papers Miscomputation in software: Learning to live with errors 11:45 - 12:15																					‹Programming› 2017 Research Papers Edit Transactions: Dynamically Scoped Change Sets for Controlled Update ... 13:30 - 14:00						‹Programming› 2017 Research Papers What Is the Best Way For Developers to Learn New Software Tools? An Emp ... 14:00 - 14:30						‹Programming› 2017 Research Papers An Analysis of Introductory Programming Courses at UK Universities 14:30 - 15:00												‹Programming› 2017 Research Papers The pragmatics of clone detection and elimination 15:30 - 16:00						‹Programming› 2017 Research Papers Does Python Smell Like Java? 16:00 - 16:30						‹Programming› 2017 Research Papers Active Expressions: Basic Building Blocks for Reactive Programming 16:30 - 17:00
D2.06																																		‹Programming› 2017 Demos An Elixir Library for Programming Concurrent and Distributed Embedded S ... 10:45 - 11:30									‹Programming› 2017 Demos Reactive Programming with REScala 11:30 - 12:15
D - 2nd floor																																																																	‹Programming› 2017 Social Events Brussels waffle social 17:00 - 18:00
D - Main entrance	‹Programming› 2017 Organizational Registration 08:00 - 17:00

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