Program - ‹Programming› 2017

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 FelgentreffHasso-Plattner-Institute, Potsdam, Fabio NiephausHasso Plattner Institute, University of Potsdam, Tobias PapeHPI, Germany, Robert HirschfeldHPI

File Attached

09:25 - 09:50
Talk

Debugging Await in Dart

John McCutchanGoogle, Gilad BrachaGoogle

File Attached

09:50 - 10:15
Talk

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

Michael Van De VanterOracle Labs

File Attached

10:15 - 10:40
Talk

Debugging with Back-In-Time Evaluation

Stefan SchulzPhilipps-Universität Marburg, Christoph BockischPhilipps-Universität Marburg

File Attached

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

09:00 - 09:30
Day opening

Welcome

Kim MensUniversité Catholique de Louvain, Belgium, Nicolás CardozoUniversidad de los Andes

09:30 - 10:00
Talk

Dynamic Software Updating in Java - Comparing Concepts and Resource Demands

Danijel MlinarićUniversity of Zagreb, Vedran MornarUniversity of Zagreb

10:00 - 10:30
Talk

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

Kim MensUniversité Catholique de Louvain, Belgium, Benoît DuhouxUniversité catholique de Louvain, Belgium, Nicolás CardozoUniversidad de los Andes

09:00 - 10:30: MiniPLoP 2017 - Opening and Keynote at D2.09
Chair(s): Richard P. GabrielDream Songs, Inc. & IBM Research, Ademar AguiarFEUP, Universidade do Porto, Joe YoderThe Refactory, Inc.

09:00 - 09:45
Day opening

Opening

09:45 - 10:30
Talk

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

Takashi IbaKeio University, Japan

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

09:00 - 09:15
Day opening

Welcome & Introduction

Gunter MussbacherMcGill University, Canada, Sébastien MosserUniversité Côte d'Azur, France

09:15 - 09:40
Talk

An MDE Approach for Modular Program Analyses

Bugra Mehmet Yildiz, Christoph BockischPhilipps-Universität Marburg, Arend Rensink, Mehmet AksitUniversity of Twente

09:40 - 10:05
Talk

A Modular Meta-model for Security Solutions

Laurens Sion, Koen Yskout, Riccardo Scandariato, Wouter JoosenKatholieke Universiteit Leuven

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 TraonUniversity of Luxembourg

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

Hans HübnerLambdaWerk GmbH

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 RobertsVictoria University of Wellington, Stefan MarrJohannes Kepler University Linz, Michael HomerVictoria University of Wellington, James NobleVictoria University of Wellington

File Attached

11:35 - 12:00
Talk

A Readable and Executable Semantics of Grace

Vlad VerguTU Delft, Michiel HaismaTU Delft, Eelco VisserDelft University of Technology

File Attached

11:00 - 12:00: MiniPLoP 2017 - Pattern Mining Workshop at D2.09
Chair(s): Joe YoderThe Refactory, Inc., Takashi IbaKeio University, Japan

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ýSlovak University of Technology in Bratislava, Valentino VranićSlovak University of Technology in Bratislava

Media Attached

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

Michał Herda

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 WatanabeTokyo Institute of Technology, Kensuke SawadaTokyo Institute of Technology, Japan

Link to publication DOI

11:30 - 12:00
Talk

Dynamic Layers for Extreme Debugging

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

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

12:00 - 13:30
Lunch

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

Xavier Clercocamljava.org

File Attached

13:45 - 14:10
Talk

On the Need of Compilepretation for Legacy Languages

Vadim ZaytsevRaincode, Belgium

File Attached

14:10 - 14:35
Talk

Horizontal Profiling for Virtual Machine Optimization Transplants

Wing Hang LiUniversity of Glasgow, Jeremy SingerUniversity of Glasgow

File Attached

14:35 - 15:00
Talk

Processor Tracing for Virtual Machines

Mario WolczkoOracle Labs, Cansu KaynakOracle

File Attached

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

Jörg KienzleMcGill University, Canada

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 CardozoUniversidad de los Andes, Alexander Schill

14:00 - 14:30
Talk

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

Lars SchützeTechnische Universität Dresden, Jeronimo CastrillonTechnische Universität Dresden

14:30 - 15:00
Talk

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

Markus WutzlerTechnische Universität Dresden, 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 NewtonEPITA / LRDE, Didier VernaEPITA / LRDE, Maximilien Colange

14:30 - 15:00
Talk

Type Inference in Cleavir

Alexander Wood

13:30 - 15:00: MiniPLoP 2017 - Writers' Workshop and Games at D2.09
Chair(s): Richard P. GabrielDream Songs, Inc. & IBM Research

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

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

Nicolas HafnerShirakumo.org

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 TanigawaKyusyu University, Harumi WatanabeTokai University, Nobuhiko OguraTokyo City University, Kenji HisazumiKyushu University, Akira FukudaKyushu University

16:00 - 17:00
Day closing

Discussion and closing remarks

Kim MensUniversité Catholique de Louvain, Belgium, Nicolás CardozoUniversidad de los Andes

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

15:30 - 15:55
Talk

Garbage Collection as a Joint Venture

Ulan DegenbaevGoogle, Jochen EisingerGoogle, Kentaro HaraGoogle, Marcel HlopkoGoogle, Michael LippautzGoogle, Hannes PayerGoogle

File Attached

15:55 - 16:20
Talk

OpenCL JIT Compilation for Dynamic Programming Languages

Juan FumeroThe University of Edinburgh, Michel SteuwerThe University of Edinburgh, Lukas StadlerOracle Labs, Austria, Christophe DubachUniversity of Edinburgh

File Attached

16:20 - 16:45
Talk

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

Mathijs SaeyVrije Universiteit Brussel, Joeri De KosterVrije Universiteit Brussel, Belgium, Jennifer SartorVrije Universiteit Brussel + University Ghent, Wolfgang De MeuterVrije Universiteit Brussel

File Attached

16:45 - 17:10
Talk

Moving beyond single-threaded concurrency

Marek MareckiPolish-Japanese Academy of Information Technology

File Attached

15:30 - 17:00: MiniPLoP 2017 - Writers' Workshop and Closing at D2.09
Chair(s): Richard P. GabrielDream Songs, Inc. & IBM Research, Joe YoderThe Refactory, Inc., Ademar AguiarFEUP, Universidade do Porto

15:30 - 16:15
Other

Writers' Workshop

16:15 - 17:00
Day closing

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. SartorSofware Languages Lab, Vrije Universiteit Brussel

17:00 - 19:00
Social Event

Poster Session

Tue 4 Apr

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

08:00 - 17:00
Registration

Registration

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

09:00 - 09:15
Day opening

Welcome and Introductions

Vadim ZaytsevRaincode, Belgium

09:15 - 10:30
Talk

Attribute Grammars for DSLs for Music and 3D Graphics

Adrian Johnstone, Elizabeth ScottRoyal Holloway University of London

09:00 - 10:30: PASS 2017 - Invited Talk & Paper Presentation at D2.15
Chair(s): Sasa MisailovicUniversity of Illinois at Urbana-Champaign, USA

09:00 - 10:00
Talk

Analysing Energy Consumption of Systems Controlled by SoftwarePASS invited talk

Bernard van GastelOpen University of the Netherlands, The Netherlands

10:00 - 10:30
Talk

Abstractions for Distributed Event-Driven Systems

Christophe De Troyer, Jens NicolayVrije Universiteit Brussel, Belgium, Christophe ScholliersUniversiteit Gent, Belgium, Wolfgang De MeuterVrije Universiteit Brussel

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 KhomtchoukUniversity of Miami Miller School of Medicine

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

09:00 - 09:10
Talk

Welcome to ProWeb

Coen De RooverVrije Universiteit Brussel, Anders MøllerAarhus University, Christophe ScholliersUniversiteit Gent, Belgium

09:10 - 10:10
Talk

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

Tom Van CutsemNokia Bell Labs

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

Tomas PetricekAlan Turing Institute

09:15 - 09:45
Talk

Programming is Writing is Programming

Felienne Hermans, Marlies Aldewereld

Pre-print

09:45 - 10:00
Talk

Review: Programming is Writing is Programming

Tomas PetricekAlan Turing Institute

10:00 - 10:20
Talk

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

Gregor Weber

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)

Mira MeziniTU Darmstadt

09:45 - 10:30
Talk

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

Lodewijk BergmansSoftware Improvement Group

File Attached

09:00 - 10:30: PX - Session I at D2.14
Chair(s): Richard P. GabrielDream Songs, Inc. & IBM Research, Robert HirschfeldHPI, Hidehiko MasuharaTokyo Institute of Technology

09:00 - 09:30
Day opening

Arrival and Workshop Introduction

09:30 - 10:30
Talk

Live Data Structure Programming

Akio OkaDepartment of Information Science, Tokyo Institute of Technology, Hidehiko MasuharaTokyo Institute of Technology, Tomoki ImaiTokyo Institute of Technology, Tomoyuki AotaniTokyo Institute of Technology

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 BockischPhilipps-Universität Marburg

11:00 - 12:00
Talk

Teaching a Systematic Design Method for Concurrent ProgramsPASS invited talk

Harrie PassierOpen University of the Netherlands, The Netherlands

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 ReyndersiMinds - Distrinet, KU Leuven, Dominique DevrieseiMinds - Distrinet, KU Leuven, Frank PiessensiMinds, Belgium

Pre-print

11:25 - 11:50
Talk

Enriching the Internet By Acting and Reacting

Sam Van den Vonder, Florian MyterVrije Universiteit Brussel, Belgium, Joeri De KosterVrije Universiteit Brussel, Belgium, Wolfgang De MeuterVrije Universiteit Brussel

Pre-print

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 BaggeUniversity of Bergen

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

11:00 - 11:20
Talk

Principles of Antifragile Software

Martin Monperrus

Pre-print

11:20 - 11:30
Talk

Review: Principles of Antifragile Software

Luke Church

11:30 - 11:50
Talk

A Certain Tendency Of The Database Community

Christopher MeiklejohnUniversité catholique de Louvain

Pre-print

11:50 - 12:00
Talk

Review: A Certain Tendency Of The Database Community

Stephen KellUniversity of Cambridge

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

11:00 - 11:45
Talk

Advanced Modularity for the Cloud

Mario SüdholtÉcole des Mines de Nantes, France

File Attached

11:45 - 12:30
Talk

Modularity for System-of-Systems

Bedir TekinerdoganWageningen University, The Netherlands

File Attached

11:00 - 12:00: PX - Session II at D2.14
Chair(s): Hidehiko MasuharaTokyo Institute of Technology, Richard P. GabrielDream Songs, Inc. & IBM Research, Robert HirschfeldHPI

11:00 - 12:00
Talk

Exploratory Development of Data-intensive Applications

Patrick ReinHasso Plattner Institute, Marcel TaeumelHasso Plattner Institute, Robert HirschfeldHPI, Michael PerscheidHasso Plattner Institute

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

11:00 - 12:00
Other

General Game Playing in Common Lisp

Steve Losh

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 StormCWI

13:55 - 14:20
Talk

Modular Responsive Web Design: An Experience Report

Lucas Wiener, Tomas Ekholm, Philipp HallerKTH Royal Institute of Technology

Pre-print

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

Pre-print

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 MasuharaTokyo Institute of Technology

13:30 - 14:30
Talk

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

Shoaib AkramGhent University

14:30 - 15:00
Other

discussion

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

Javier Burroni

Pre-print

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

Pre-print

14:45 - 15:00
Talk

Review: From Software Creationism to Software Evolutionism

Luke Church

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

13:30 - 14:15
Talk

SoC Spaces - Indexes for Composition

Uwe AßmannTU Dresden, Germany

File Attached

14:15 - 15:00
Talk

Formal Verification for Cross-cutting Modularity

Shmuel KatzComputer Science Dept., The Technion

File Attached

13:30 - 15:00: PX - Session III at D2.14
Chair(s): Richard P. GabrielDream Songs, Inc. & IBM Research, Robert HirschfeldHPI, Hidehiko MasuharaTokyo Institute of Technology

13:30 - 14:15
Demonstration

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

Jürgen CitoUniversity of Zurich

14:15 - 15:00
Talk

Squeak Makes a Good Python Debugger

Fabio NiephausHasso Plattner Institute, University of Potsdam, Tim FelgentreffHasso-Plattner-Institute, Potsdam, Tobias PapeHPI, Germany, Robert HirschfeldHPI

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 LierFriedrich-Alexander-Universität Erlangen-Nürnberg, Kai SelgradFriedrich-Alexander-Universität Erlangen-Nürnberg, Marc StammingerFriedrich-Alexander-Universität Erlangen-Nürnberg

14:30 - 15:00
Talk

Static Taint Analysis of Event-driven Scheme Programs

Jonas De Bleser, Quentin StiévenartVrije Universiteit Brussel, Belgium, Jens NicolayVrije Universiteit Brussel, Belgium, Coen De RooverVrije Universiteit Brussel

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

13:30 - 15:00
Talk

Experimenting with Racket as a Language Workbench

Robby FindlerNorthwestern University

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

15:30 - 17:00: PASS 2017 - Discussion at D2.15
Chair(s): Christoph BockischPhilipps-Universität Marburg

15:30 - 16:30
Other

discussion (common roadmap)

16:30 - 17:00
Day closing

wrap-up

Christoph BockischPhilipps-Universität Marburg

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

15:30 - 15:50
Talk

Live Programming in the 21st Century

Rik Arends

15:50 - 16:10
Talk

From Compilers to Software Language Engineering

Ralf LämmelUniversity of Koblenz-Landau, Germany

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

Vadim ZaytsevRaincode, Belgium

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 TchernavskijEx Situ | Université Paris-Sud, Clemens Nylandsted Klokmose, Michel Beaudouin-Lafon

Pre-print

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

Pre-print

16:45 - 17:00
Talk

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

Philip TchernavskijEx Situ | Université Paris-Sud

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

15:30 - 16:15
Talk

Modularity from the Trenches

Stéphane Ducasse INRIA Lille

File Attached

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

Jörg KienzleMcGill University, Canada

15:30 - 17:00: PX - Session IV at D2.14
Chair(s): Richard P. GabrielDream Songs, Inc. & IBM Research, Robert HirschfeldHPI, Hidehiko MasuharaTokyo Institute of Technology

15:30 - 16:30
Talk

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

Jun KatoNational Institute of Advanced Industrial Science and Technology, Japan, Masataka GotoNational Institute of Advanced Industrial Science and Technology, Japan

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}

Alain Marty

16:00 - 16:30
Talk

Writing a portable code walker in Common Lisp

Michael RaskinUniversité de Bordeaux / LaBRI

16:30 - 17:00
Talk

Removing redundant tests by replicating control paths

Irène Anne DurandInria Bordeaux, 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

Nikolai SuslovFund for Supporting Development of RT

Media Attached

15:55 - 16:20
Talk

Optimizing economics of microservices by planning for granularity level

Ola MustafaCarl von Ossietzky Universität Oldenburg / University of Oldenburg, 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

Reception

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

18:00 - 20:00
Meeting

Steering Committee Meeting

Robert HirschfeldHPI, Walter BinderUniversity of Lugano, Krzysztof CzarneckiUniversity of Waterloo, Canada, Erik ErnstGoogle, Lidia FuentesUniversidad de Málaga, Spain, Sudipto GhoshColorado State University, USA, David H. LorenzOpen University and Technion IIT, Jörg KienzleMcGill University, Canada, Gary Leavens University of Central Florida, Hidehiko MasuharaTokyo Institute of Technology, Guido SalvaneschiTU Darmstadt, Mario SüdholtÉcole des Mines de Nantes, France, Peter ThiemannUniversity of Freiburg, Eelco VisserDelft University of Technology, Steffen ZschalerKing's College London, Guido SalvaneschiTU Darmstadt, Manuel SerranoInria, France

Wed 5 Apr

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

08:00 - 17:00
Registration

Registration

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

09:00 - 10:15
Talk

Live Literate Programming‹Programming› Keynote

Gilad BrachaGoogle

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 SchulzPhilipps-Universität Marburg, Christoph BockischPhilipps-Universität Marburg

11:30 - 12:15
Demonstration

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

Stefan MarrJohannes Kepler University Linz, Carmen Torres Lopez, Dominik Aumayr, Elisa Gonzalez BoixVrije Universiteit Brussel, Hanspeter MössenböckJKU Linz, Austria

Pre-print

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

10:45 - 11:15
Talk

Language Oriented Modularity: From Theory to Practice

Arik HadasOpen University, David H. LorenzOpen University and Technion IIT

Link to publication DOI

11:15 - 11:45
Talk

A Module-System Discipline for Model-Driven Software Development

Sebastian ErdwegTU Delft, Klaus OstermannUniversity of Tübingen, Germany

Link to publication DOI

11:45 - 12:15
Talk

User-Defined Operators Including Name Binding for New Language Constructs

Kazuhiro Ichikawa, Shigeru ChibaUniversity of Tokyo

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. SartorSofware Languages Lab, Vrije Universiteit Brussel

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ýSlovak University of Technology in Bratislava, Valentino VranićSlovak University of Technology in Bratislava

Media Attached

14:15 - 15:00
Demonstration

Application Embedding: From FishTank to Axiom

David H. LorenzOpen University and Technion IIT, Boaz RosenanUniversity of Haifa

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

13:30 - 14:00
Talk

TRIOT: Faster tensor manipulation in C++11

Oliver SerangFreie Univeristät Berlin, Florian HeylFreie Universität Berlin

Link to publication DOI

14:00 - 14:30
Talk

Effective Analysis of C Programs by Rewriting Variability

Alexandru Iosif-LazarIT University of Copenhagen, Jean MeloIT University of Copenhagen, Aleksandar S. DimovskiIT University of Copenhagen, Denmark, Claus BrabrandIT University of Copenhagen, Denmark, Andrzej WąsowskiIT University of Copenhagen, Denmark

Link to publication DOI

14:30 - 15:00
Talk

Transition Watchpoints: Teaching Old Debuggers New Tricks

Kapil Arya, Tyler Denniston, Ariel RabkinCloudera, Gene CoopermanNortheastern University

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 McCutchanGoogle, Todd Turnidge, Gilad BrachaGoogle

16:15 - 17:00
Demonstration

Tools for Open, Transparent and Engaging Storytelling

Tomas PetricekAlan Turing Institute

Media Attached

15:30 - 17:00: Research Papers - Research Papers 3 at D0.07
Chair(s): Mario SüdholtÉcole des Mines de Nantes, France

15:30 - 16:00
Talk

Relationship Maintenance in Software Language Repositories

Ralf LämmelUniversity of Koblenz-Landau, Germany

Link to publication DOI

16:00 - 16:30
Talk

Open Programming Language Interpreters

Walter Cazzola Università degli Studi di Milano, Albert Shaqiri

Link to publication DOI

16:30 - 17:00
Talk

Interconnected Linguistic Architecture

Johannes HärtelUniversity of Koblenz-Landau, Germany, Lukas HärtelUniversity of Koblenz-Landau, Germany, Ralf LämmelUniversity of Koblenz-Landau, Germany, Andrei VaranovichUniversity of Koblenz-Landau, Germany, Marcel HeinzUniversity of Koblenz-Landau, Germany

Link to publication DOI

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

18:10 - 22:00
Social Event

Banquet

Thu 6 Apr

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

08:00 - 17:00
Registration

Registration

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

09:00 - 10:15
Talk

How Racket Went Meta‹Programming› Keynote

Matthew FlattUniversity of Utah

File Attached

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 AvilaVrije Universiteit Brussel, Elisa Gonzalez BoixVrije Universiteit Brussel, Wolfgang De MeuterVrije Universiteit Brussel

11:30 - 12:15
Demonstration

Reactive Programming with REScala

Ragnar MogkTechnische Universität Darmstadt, Joscha DrechslerTechnische Universität Darmstadt

10:45 - 12:15: Research Papers - Research Papers 4 at D0.07
Chair(s): Crista LopesUniversity of California, Irvine

10:45 - 11:15
Talk

Application Embedding: A Language Approach to Declarative Web Programming

David H. LorenzOpen University and Technion IIT, Boaz RosenanUniversity of Haifa

Link to publication DOI

11:15 - 11:45
Talk

Profunctor Optics: Modular Data Accessors

Matthew Pickering, Jeremy GibbonsDepartment of Computer Science, University of Oxford, Nicolas WuUniversity of Bristol

Link to publication DOI

11:45 - 12:15
Talk

Miscomputation in software: Learning to live with errors

Tomas PetricekAlan Turing Institute

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 BoixVrije Universiteit Brussel

13:30 - 14:00
Talk

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

Toni MattisHasso Plattner Institute, Patrick ReinHasso Plattner Institute, Robert HirschfeldHPI

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äferUniversität Stuttgart, Daniel KuleszUniversität Stuttgart, Stefan WagnerUniversität Stuttgart

Link to publication DOI

14:30 - 15:00
Talk

An Analysis of Introductory Programming Courses at UK Universities

Ellen MurphyUniversity of Bath, Tom CrickCardiff Metropolitan University, James H. DavenportUniversity of Bath

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 StormCWI & University of Groningen

15:30 - 16:00
Talk

The pragmatics of clone detection and elimination

Simon Thompson, Huiqing LiUniversity of Kent, Andreas SchumacherEricsson AB

Link to publication DOI

16:00 - 16:30
Talk

Does Python Smell Like Java?

Nicole VavrováUniversity of Amsterdam, Netherlands, Vadim ZaytsevRaincode, Belgium

Link to publication DOI

16:30 - 17:00
Talk

Active Expressions: Basic Building Blocks for Reactive Programming

Stefan RamsonHasso Plattner Institute, Potsdam, Robert HirschfeldHPI

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 Welcome messages and announcements 09:00 - 09:45					ELSELS Keynote Identity in a World of Values 09:45 - 10:30							ELS Common Lisp UltraSpec - A Project For Modern Common Lisp Documentation 11:00 - 11:30				ELS Loading Multiple Versions of an ASDF System in the Same Lisp Image 11:30 - 12:00										ELS A Lisp Way to Type Theory and Formal Proofs 13:30 - 14:00		ELS Programmatic Manipulation of Common Lisp Type Specifiers 14:00 - 14:30			ELS Type Inference in Cleavir 14:30 - 15:00						ELS Delivering Common Lisp Applications with ASDF 3.3 15:30 - 15:52		ELS Radiance – a Web Application Environment 15:52 - 16:15			ELS Teaching Students of Engineering some Insights of the Internet of Thing ... 16:15 - 16:37			ELS Interactive Functional Medical Image Analysis 16:37 - 17:00		ELS Lightning Talks 17:00 - 17:30
D2.09					MiniPLoP Opening 09:00 - 09:45					MiniPLoPMiniPLoP Keynote Generations of Pattern Language: Architecture, Software, and Human Actions 09:45 - 10:30							MiniPLoP Pattern Mining Workshop 11:00 - 12:00														MiniPLoP Writers' Workshop and Games 13:30 - 15:00											MiniPLoP Writers' Workshop 15:30 - 16:15					MiniPLoP Closing 16:15 - 17:00
D2.10					MoreVMs When a Mouse Eats a Python: Smalltalk-style Development for Python and Ruby 09:00 - 09:25		MoreVMs Debugging Await in Dart 09:25 - 09:50				MoreVMs Building Reusable, Low-overhead Tooling Support into a High Performance ... 09:50 - 10:15			MoreVMs Debugging with Back-In-Time Evaluation 10:15 - 10:40				MoreVMs Toward Virtual Machine Adaption Rather than Reimplementation 11:10 - 11:35				MoreVMs A Readable and Executable Semantics of Grace 11:35 - 12:00								MoreVMs OCaml-Java: Running ML programs on a JVM 13:20 - 13:45		MoreVMs On the Need of Compilepretation for Legacy Languages 13:45 - 14:10		MoreVMs Horizontal Profiling for Virtual Machine Optimization Transplants 14:10 - 14:35			MoreVMs Processor Tracing for Virtual Machines 14:35 - 15:00					MoreVMs Garbage Collection as a Joint Venture 15:30 - 15:55			MoreVMs OpenCL JIT Compilation for Dynamic Programming Languages 15:55 - 16:20			MoreVMs An Extensible Virtual Machine Design for the Execution of High-level La ... 16:20 - 16:45			MoreVMs Moving beyond single-threaded concurrency 16:45 - 17:10
D2.13					MOMO Welcome & Introduction 09:00 - 09:15	MOMO An MDE Approach for Modular Program Analyses 09:15 - 09:40			MOMO A Modular Meta-model for Security Solutions 09:40 - 10:05				MOMO Weaving Rules into Models@run.time for Embedded Smart Systems 10:05 - 10:30				MOMO Presentation only: From Use Case Driven to Test Driven Modularization 11:00 - 11:25			MOMO Discussions (morning) 11:25 - 12:00											MOMO Invited Talk: Towards Concern-Oriented Modularity in Software Language ... 13:30 - 15:00											MOMO Discussion (Afternoon) 15:30 - 17:00
D2.14					LASSY Welcome 09:00 - 09:30			LASSY Dynamic Software Updating in Java - Comparing Concepts and Resource Demands 09:30 - 10:00				LASSY Managing the Context Interaction Problem : A Classification of Conflict ... 10:00 - 10:30					LASSY Towards Reflection in an FRP Language for Small-Scale Embedded Systems 11:00 - 11:30				LASSY Dynamic Layers for Extreme Debugging 11:30 - 12:00										LASSY A Rollback Mechanism to Recover from Software Bugs in Role-based Adapti ... 13:30 - 14:00		LASSY Analyzing State-of-the-Art Role-based Programming Languages 14:00 - 14:30			LASSY Utilizing Role-based Models for Distributed On-Demand Service Composition 14:30 - 15:00						LASSY IoT Robot Simulator for Context-Sensitive and Live-Adaptive Software De ... 15:30 - 16:00				LASSY Discussion and closing remarks 16:00 - 17:00
Poster Area																														‹Programming› Posters Poster Session 17:00 - 19:00
D - 2nd floor																														‹Programming› Catering Coffee break 15:00 - 15:30											‹Programming› Social Events Belgian beer reception 17:00 - 19:00
VUB Restaurant																								‹Programming› Catering Lunch 12:00 - 13:30
D - Main entrance	‹Programming› 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					ELSELS Keynote How the strengths of Lisp-family languages facilitate building complex ... 09:00 - 10:00					ELS Parallelizing Femlisp 10:00 - 10:30						ELS General Game Playing in Common Lisp 11:00 - 12:00														ELS Fast, Maintainable, and Portable Sequence Functions 13:30 - 14:00			ELS DIY Meta Languages with Common Lisp 14:00 - 14:30			ELS Static Taint Analysis of Event-driven Scheme Programs 14:30 - 15:00				ELS on the {lambda way} 15:30 - 16:00				ELS Writing a portable code walker in Common Lisp 16:00 - 16:30				ELS Removing redundant tests by replicating control paths 16:30 - 17:00		ELS Lightning Talks 17:00 - 17:22		ELS Announcements, wrapup, goodbye 17:22 - 17:45
D0.08					Modularity Modular Composition of Reactive Applications (from aspects to events an ... 09:00 - 09:45				Modularity Some History and Future Perspectives on the Modularity Challenges for L ... 09:45 - 10:30							Modularity Advanced Modularity for the Cloud 11:00 - 11:45					Modularity Modularity for System-of-Systems 11:45 - 12:30									Modularity SoC Spaces - Indexes for Composition 13:30 - 14:15				Modularity Formal Verification for Cross-cutting Modularity 14:15 - 15:00						Modularity Modularity from the Trenches 15:30 - 16:15						Modularity Concern-Oriented Reuse: Combine MDE, Aspect-Orientation and Software Pr ... 16:15 - 17:00
D2.09					ProWeb Welcome to ProWeb 09:00 - 09:10	ProWebProWeb Keynote From Documents to Dialogues: Programming Technology for the Conversatio ... 09:10 - 10:10					ProWeb Group discussion on common workshop goals 10:10 - 10:30					ProWeb Experience Report: Functional Reactive Programming and the DOM 11:00 - 11:25			ProWeb Enriching the Internet By Acting and Reacting 11:25 - 11:50			ProWeb Group discussion on the future of reactivity 11:50 - 12:00								ProWeb Immediate Mode with Immutable Data 13:30 - 13:55		ProWeb Modular Responsive Web Design: An Experience Report 13:55 - 14:20			ProWeb Webstrates for the future web? 14:20 - 14:45		ProWeb Group discussion on the future of collaboration and responsiveness 14:45 - 15:00			ProWeb Towards the Web for Virtual Being 15:30 - 15:55			ProWeb Optimizing economics of microservices by planning for granularity level 15:55 - 16:20				ProWeb Group discussion on the future of tooling and virtuality 16:20 - 16:45
D2.10					Salon des Refusés Welcome and workshop introduction 09:00 - 09:15		Salon des Refusés Programming is Writing is Programming 09:15 - 09:45		Salon des Refusés Review: Programming is Writing is Programming 09:45 - 10:00	Salon des Refusés Code is not just text - current code editors are inadequate tools 10:00 - 10:20			Salon des Refusés Review: Code is not just text - current code editors are inadequate tools 10:20 - 10:30			Salon des Refusés Principles of Antifragile Software 11:00 - 11:20		Salon des Refusés Review: Principles of Antifragile Software 11:20 - 11:30		Salon des Refusés A Certain Tendency Of The Database Community 11:30 - 11:50		Salon des Refusés Review: A Certain Tendency Of The Database Community 11:50 - 12:00								Salon des Refusés The Act of Computer Programming in Science 13:30 - 14:00			Salon des Refusés Review: The Act of Computer Programming in Science 14:00 - 14:15	Salon des Refusés From Software Creationism to Software Evolutionism 14:15 - 14:45			Salon des Refusés Review: From Software Creationism to Software Evolutionism 14:45 - 15:00			Salon des Refusés What Can Software Learn From Hypermedia? 15:30 - 16:00				Salon des Refusés Review: What Can Software Learn From Hypermedia? 16:00 - 16:15		Salon des Refusés Tracing a Paradigm for Externalization: Avatars and the GPII Nexus 16:15 - 16:45			Salon des Refusés Review: Tracing a Paradigm for Externalization: Avatars and the GPII Nexus 16:45 - 17:00
D2.13					CoCoDo Welcome and Introductions 09:00 - 09:15		CoCoDo Attribute Grammars for DSLs for Music and 3D Graphics 09:15 - 10:30									CoCoDo Late Phases of Compilation in Rascal 11:00 - 12:00														CoCoDo Experimenting with Racket as a Language Workbench 13:30 - 15:00										CoCoDo Live Programming in the 21st Century 15:30 - 15:50		CoCoDo From Compilers to Software Language Engineering 15:50 - 16:10			CoCoDo FunCons as the Future of Compiler Compilers 16:10 - 16:30			CoCoDo Final Discussion and Framework Pitches 16:30 - 17:00
D2.14					PX Arrival and Workshop Introduction 09:00 - 09:30			PX Live Data Structure Programming 09:30 - 10:30								PX Exploratory Development of Data-intensive Applications 11:00 - 12:00														PX Runtime Metric Meets Developer: Augmenting Source Code with Runtime Inf ... 13:30 - 14:15				PX Squeak Makes a Good Python Debugger 14:15 - 15:00						PX User-Generated Variables: Streamlined Interaction Design for Feature Re ... 15:30 - 16:30								PX Open discussion and feedback 16:30 - 17:00
D2.15					PASSPASS invited talk Analysing Energy Consumption of Systems Controlled by Software 09:00 - 10:00					PASS Abstractions for Distributed Event-Driven Systems 10:00 - 10:30						PASSPASS invited talk Teaching a Systematic Design Method for Concurrent Programs 11:00 - 12:00														PASSPASS invited talk Managed Language Runtimes on Heterogeneous Hardware: Optimizations for ... 13:30 - 14:30						PASS discussion 14:30 - 15:00				PASS discussion (common roadmap) 15:30 - 16:30								PASS wrap-up 16:30 - 17:00
Musical Instruments Museum																													‹Programming› Social Events Reception 17:30 - 20:00
SC Meeting Room																													‹Programming› Organizational Steering Committee Meeting 18:00 - 20:00
D - Main entrance	‹Programming› 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› Keynotes‹Programming› Keynote Live Literate Programming 09:00 - 10:15							‹Programming› Research Papers Language Oriented Modularity: From Theory to Practice 10:45 - 11:15		‹Programming› Research Papers A Module-System Discipline for Model-Driven Software Development 11:15 - 11:45		‹Programming› Research Papers User-Defined Operators Including Name Binding for New Language Constructs 11:45 - 12:15								‹Programming› Research Papers TRIOT: Faster tensor manipulation in C++11 13:30 - 14:00		‹Programming› Research Papers Effective Analysis of C Programs by Rewriting Variability 14:00 - 14:30		‹Programming› Research Papers Transition Watchpoints: Teaching Old Debuggers New Tricks 14:30 - 15:00				‹Programming› Research Papers Relationship Maintenance in Software Language Repositories 15:30 - 16:00		‹Programming› Research Papers Open Programming Language Interpreters 16:00 - 16:30		‹Programming› Research Papers Interconnected Linguistic Architecture 16:30 - 17:00
D2.06												‹Programming› Demos RedShell: Online Back-In-Time Debugging 10:45 - 11:30			‹Programming› Demos Κόμπος: A Platform for Debugging Complex Concurrent Applications 11:30 - 12:15									‹Programming› Demos Modularizing Code by Use Cases and Tests for Better Maintainability 13:30 - 14:15			‹Programming› Demos Application Embedding: From FishTank to Axiom 14:15 - 15:00					‹Programming› Demos Live Development in Dart 15:30 - 16:15			‹Programming› Demos Tools for Open, Transparent and Engaging Storytelling 16:15 - 17:00
D2.14																		‹Programming› Posters SRC Presentations 12:15 - 13:30
Museum of Natural Sciences																							‹Programming› Social Events Banquet 18:10 - 22:00
D - Main entrance	‹Programming› 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› Keynotes‹Programming› Keynote How Racket Went Meta 09:00 - 10:15							‹Programming› Research Papers Application Embedding: A Language Approach to Declarative Web Programming 10:45 - 11:15		‹Programming› Research Papers Profunctor Optics: Modular Data Accessors 11:15 - 11:45		‹Programming› Research Papers Miscomputation in software: Learning to live with errors 11:45 - 12:15								‹Programming› Research Papers Edit Transactions: Dynamically Scoped Change Sets for Controlled Update ... 13:30 - 14:00		‹Programming› Research Papers What Is the Best Way For Developers to Learn New Software Tools? An Emp ... 14:00 - 14:30		‹Programming› Research Papers An Analysis of Introductory Programming Courses at UK Universities 14:30 - 15:00				‹Programming› Research Papers The pragmatics of clone detection and elimination 15:30 - 16:00		‹Programming› Research Papers Does Python Smell Like Java? 16:00 - 16:30		‹Programming› Research Papers Active Expressions: Basic Building Blocks for Reactive Programming 16:30 - 17:00
D2.06												‹Programming› Demos An Elixir Library for Programming Concurrent and Distributed Embedded S ... 10:45 - 11:30			‹Programming› Demos Reactive Programming with REScala 11:30 - 12:15
D - 2nd floor																							‹Programming› Social Events Brussels waffle social 17:00 - 18:00
D - Main entrance	‹Programming› 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

‹Programming› 2017 Program

Mon 3 Apr

Tue 4 Apr

Wed 5 Apr

Thu 6 Apr

Mon 3 Apr 2017

ELS 2017

ELS 2017

ELS 2017

ELS 2017

ELS 2017

MiniPLoP 2017

MiniPLoP 2017

MiniPLoP 2017

MiniPLoP 2017

MoreVMs 2017

MoreVMs 2017

MoreVMs 2017

MoreVMs 2017

MOMO 2017

MOMO 2017

MOMO 2017

MOMO 2017

LASSY 2017

LASSY 2017

LASSY 2017

LASSY 2017

Posters

Catering

Catering

Social Events

Catering

Organizational

Tue 4 Apr 2017

ELS 2017

ELS 2017

ELS 2017

ELS 2017

ELS 2017

ELS 2017

Modularity Invited Talks

Modularity Invited Talks

Modularity Invited Talks

Modularity Invited Talks

ProWeb 2017

ProWeb 2017

ProWeb 2017

ProWeb 2017

Salon des Refusés

Salon des Refusés

Salon des Refusés

Salon des Refusés

CoCoDo 2017

CoCoDo 2017

CoCoDo 2017

CoCoDo 2017

PX

PX

PX

PX

PASS 2017

PASS 2017

PASS 2017

PASS 2017

Social Events

Organizational

Catering

Catering

Catering

Organizational

Wed 5 Apr 2017

Keynotes

Research Papers

Research Papers

Research Papers

Demos

Demos

Demos

Posters

Social Events