‹Programming› 2017 Program

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

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

09:00 - 09:25
Talk

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

09:25 - 09:50
Talk

Debugging Await in Dart

John McCutchanGoogle, Gilad BrachaGoogle

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

09:50 - 10:15
Talk

Michael Van De VanterOracle Labs

Debugging with Back-In-Time Evaluation

10:15 - 10:40
Talk

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

Dynamic Software Updating in Java - Comparing Concepts and Resource Demands

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

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

A Readable and Executable Semantics of Grace

11:35 - 12:00
Talk

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

Presentation only: From Use Case Driven to Test Driven Modularization

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

Michal BystrickýSlovak University of Technology in Bratislava, Valentino VranićSlovak University of Technology in Bratislava

Common Lisp UltraSpec - A Project For Modern Common Lisp Documentation

11:25 - 12:00
Other

Discussions (morning)

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

11:00 - 11:30
Talk

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

Dynamic Layers for Extreme Debugging

11:30 - 12:00
Talk

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

On the Need of Compilepretation for Legacy Languages

13:45 - 14:10
Talk

Vadim ZaytsevRaincode, Belgium

Horizontal Profiling for Virtual Machine Optimization Transplants

14:10 - 14:35
Talk

Wing Hang LiUniversity of Glasgow, Jeremy SingerUniversity of Glasgow

Processor Tracing for Virtual Machines

14:35 - 15:00
Talk

Mario WolczkoOracle Labs, Cansu KaynakOracle

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

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

13:30 - 15:00
Talk

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

OpenCL JIT Compilation for Dynamic Programming Languages

15:55 - 16:20
Talk

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

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

16:20 - 16:45
Talk

Mathijs SaeyVrije Universiteit Brussel, Joeri De KosterVrije Universiteit Brussel, Belgium, Jennifer B. SartorSofware Languages Lab, Vrije Universiteit Brussel, Wolfgang De MeuterVrije Universiteit Brussel

Moving beyond single-threaded concurrency

16:45 - 17:10
Talk

Marek MareckiPolish-Japanese Academy of Information Technology

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

Welcome and Introductions

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

09:00 - 09:15
Day opening

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

Review: Programming is Writing is Programming

09:45 - 10:00
Talk

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

Arrival and Workshop Introduction

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

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

Enriching the Internet By Acting and Reacting

11:25 - 11:50
Talk

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

Group discussion on the future of reactivity

11:50 - 12:00
Talk

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

Review: Principles of Antifragile Software

11:20 - 11:30
Talk

Luke Church

11:30 - 11:50
Talk

A Certain Tendency Of The Database Community

Christopher MeiklejohnUniversité catholique de Louvain

Review: A Certain Tendency Of The Database Community

11:50 - 12:00
Talk

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

Modularity for System-of-Systems

11:45 - 12:30
Talk

Bedir TekinerdoganWageningen University, The Netherlands

Exploratory Development of Data-intensive Applications

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

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

Webstrates for the future web?

14:20 - 14:45
Talk

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

Group discussion on the future of collaboration and responsiveness

14:45 - 15:00
Talk

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

Review: The Act of Computer Programming in Science

14:00 - 14:15
Talk

Antranig Basman

14:15 - 14:45
Talk

From Software Creationism to Software Evolutionism

François-René Rideau

Review: From Software Creationism to Software Evolutionism

14:45 - 15:00
Talk

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

Formal Verification for Cross-cutting Modularity

14:15 - 15:00
Talk

Shmuel KatzComputer Science Dept., The Technion

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

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

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

Review: What Can Software Learn From Hypermedia?

16:00 - 16:15
Talk

Antranig Basman

16:15 - 16:45
Talk

Tracing a Paradigm for Externalization: Avatars and the GPII Nexus

Colin Clark, Antranig Basman

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

16:45 - 17:00
Talk

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

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

16:15 - 17:00
Talk

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

Optimizing economics of microservices by planning for granularity level

15:55 - 16:20
Talk

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

Live Literate Programming‹Programming› Keynote

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

09:00 - 10:15
Talk

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

Language Oriented Modularity: From Theory to Practice

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

10:45 - 11:15
Talk

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

A Module-System Discipline for Model-Driven Software Development

11:15 - 11:45
Talk

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

User-Defined Operators Including Name Binding for New Language Constructs

11:45 - 12:15
Talk

Kazuhiro Ichikawa, Shigeru ChibaUniversity of Tokyo

Modularizing Code by Use Cases and Tests for Better Maintainability

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

Michal BystrickýSlovak University of Technology in Bratislava, Valentino VranićSlovak University of Technology in Bratislava

Application Embedding: From FishTank to Axiom

14:15 - 15:00
Demonstration

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

Effective Analysis of C Programs by Rewriting Variability

14:00 - 14:30
Talk

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

Transition Watchpoints: Teaching Old Debuggers New Tricks

14:30 - 15:00
Talk

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

Tools for Open, Transparent and Engaging Storytelling

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

Tomas PetricekAlan Turing Institute

Relationship Maintenance in Software Language Repositories

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

Ralf LämmelUniversity of Koblenz-Landau, Germany

Open Programming Language Interpreters

16:00 - 16:30
Talk

Walter Cazzola Università degli Studi di Milano, Albert Shaqiri

Interconnected Linguistic Architecture

16:30 - 17:00
Talk

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

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

How Racket Went Meta‹Programming› Keynote

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

09:00 - 10:15
Talk

Matthew FlattUniversity of Utah

An Elixir Library for Programming Concurrent and Distributed Embedded Systems

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

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

Profunctor Optics: Modular Data Accessors

11:15 - 11:45
Talk

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

Miscomputation in software: Learning to live with errors

11:45 - 12:15
Talk

Tomas PetricekAlan Turing Institute

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

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

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

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

14:00 - 14:30
Talk

Verena KäferUniversität Stuttgart, Daniel KuleszUniversität Stuttgart, Stefan WagnerUniversität Stuttgart

An Analysis of Introductory Programming Courses at UK Universities

14:30 - 15:00
Talk

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

The pragmatics of clone detection and elimination

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

15:30 - 16:00
Talk

Simon Thompson, Huiqing LiUniversity of Kent, Andreas SchumacherEricsson AB

Does Python Smell Like Java?

16:00 - 16:30
Talk

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

Active Expressions: Basic Building Blocks for Reactive Programming

16:30 - 17:00
Talk

Stefan RamsonHasso Plattner Institute, Potsdam, Robert HirschfeldHPI