‹Programming› 2017
Mon 3 - Thu 6 April 2017
Brussels, Belgium
Toggle navigation
Attending
Reception: Belgian beer reception
Banquet: Museum of Natural Sciences
Reception: Musical Instruments Museum
Venue: Vrije Universiteit Brussel | Building D
Registration
Accomodation
Reaching the conference
Visiting Brussels
Visa
Students
Program
Complete Program
Your Program
Confero Mobile Program
Program Overview
Mon 3 Apr
Tue 4 Apr
Wed 5 Apr
Thu 6 Apr
Tracks
‹Programming› 2017
Keynotes
Research Papers
Workshops
Posters
Demos
Social Events
Organizational
Workshops
LASSY
MOMO
MiniPLoP
MoreVMs
PASS
PX
ProWeb
Salon des Refusés
Co-hosted Coding Sprints
CoCoDo
Co-hosted Symposia
ELS
Modularity
Invited Talks
Organization
‹Programming› 2017 Committees
Organizing Committee
Steering Committee
Track Committees
Program Committee
Contributors
People Index
Workshops
LASSY
Organizing Committee
Program Committee
MOMO
Organizing Committee
Program Committee
MiniPLoP
Organizing Committee
MoreVMs
Organizing Committee
Program Committee
PASS
Organizing Committee
Program Committee (preliminary)
PX
Organizing Committee
Steering Committee
Organizing Committee
Program Committee
ProWeb
Organizing Committee
Program Committee
Salon des Refusés
Program Committee
Co-hosted Coding Sprints
CoCoDo
Organizing Committee
Program Committee
Co-hosted Symposia
ELS
Organizing Committee
Program Committee
Modularity
Organizing Committee
Steering Committee
Organizing Committee
Search
Series
Series
‹Programming› 2025
‹Programming› 2024
‹Programming› 2023
‹Programming› 2022
‹Programming› 2021
‹Programming› 2020
‹Programming› 2019
‹Programming› 2018
‹Programming› 2017
Sign in
Sign up
‹Programming› 2017
(
series
) /
Vrije Universiteit Brussel | Building D
/
Room information: D0.07
Venue
Vrije Universiteit Brussel | Building D
Room name
D0.07
Floor
0
Room number
D0.07
Capacity
140
Room Information
No extra information available
Program
Detailed Table
Session Timeline
Detailed Timeline
Program Display Configuration
Time Zone
The program is currently displayed in
(GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
.
Use conference time zone: (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
Select other time zone
(GMT-12:00) AoE (Anywhere On Earth)
(GMT-11:00) Midway Island, Samoa
(GMT-09:00) Hawaii-Aleutian
(GMT-10:00) Hawaii
(GMT-09:30) Marquesas Islands
(GMT-09:00) Gambier Islands
(GMT-08:00) Alaska
(GMT-07:00) Tijuana, Baja California
(GMT-08:00) Pitcairn Islands
(GMT-07:00) Pacific Time (US & Canada)
(GMT-06:00) Mountain Time (US & Canada)
(GMT-06:00) Chihuahua, La Paz, Mazatlan
(GMT-07:00) Arizona
(GMT-06:00) Saskatchewan, Central America
(GMT-05:00) Guadalajara, Mexico City, Monterrey
(GMT-05:00) Easter Island
(GMT-05:00) Central Time (US & Canada)
(GMT-04:00) Eastern Time (US & Canada)
(GMT-04:00) Cuba
(GMT-05:00) Bogota, Lima, Quito, Rio Branco
(GMT-04:00) Caracas
(GMT-03:00) Santiago
(GMT-04:00) La Paz
(GMT-03:00) Faukland Islands
(GMT-04:00) Manaus, Amazonas, Brazil
(GMT-03:00) Atlantic Time (Goose Bay)
(GMT-03:00) Atlantic Time (Canada)
(GMT-02:30) Newfoundland
(GMT-03:00) UTC-3
(GMT-03:00) Montevideo
(GMT-02:00) Miquelon, St. Pierre
(GMT-02:00) Greenland
(GMT-03:00) Buenos Aires
(GMT-03:00) Brasilia, Distrito Federal, Brazil
(GMT-02:00) Mid-Atlantic
(GMT-01:00) Cape Verde Is.
(GMT) Azores
(UTC) Coordinated Universal Time
(GMT+01:00) Belfast
(GMT+01:00) Dublin
(GMT+01:00) Lisbon
(GMT+01:00) London
(GMT) Monrovia, Reykjavik
(GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
(GMT+02:00) Belgrade, Bratislava, Budapest, Ljubljana, Prague
(GMT+02:00) Brussels, Copenhagen, Madrid, Paris
(GMT+01:00) West Central Africa
(GMT+01:00) Windhoek
(GMT+03:00) Athens
(GMT+03:00) Beirut
(GMT+02:00) Cairo
(GMT+03:00) Gaza
(GMT+02:00) Harare, Pretoria
(GMT+03:00) Jerusalem
(GMT+03:00) Minsk
(GMT+03:00) Syria
(GMT+03:00) Moscow, St. Petersburg, Volgograd
(GMT+03:00) Nairobi
(GMT+04:30) Tehran
(GMT+04:00) Abu Dhabi, Muscat
(GMT+04:00) Yerevan
(GMT+04:30) Kabul
(GMT+05:00) Ekaterinburg
(GMT+05:00) Tashkent
(GMT+05:30) Chennai, Kolkata, Mumbai, New Delhi
(GMT+05:45) Kathmandu
(GMT+06:00) Astana, Dhaka
(GMT+07:00) Novosibirsk
(GMT+06:30) Yangon (Rangoon)
(GMT+07:00) Bangkok, Hanoi, Jakarta
(GMT+07:00) Krasnoyarsk
(GMT+08:00) Beijing, Chongqing, Hong Kong, Urumqi
(GMT+08:00) Irkutsk, Ulaan Bataar
(GMT+08:00) Perth
(GMT+08:45) Eucla
(GMT+09:00) Osaka, Sapporo, Tokyo
(GMT+09:00) Seoul
(GMT+09:00) Yakutsk
(GMT+09:30) Adelaide
(GMT+09:30) Darwin
(GMT+10:00) Brisbane
(GMT+10:00) Hobart
(GMT+10:00) Vladivostok
(GMT+10:30) Lord Howe Island
(GMT+11:00) Solomon Is., New Caledonia
(GMT+11:00) Magadan
(GMT+11:00) Norfolk Island
(GMT+12:00) Anadyr, Kamchatka
(GMT+12:00) Auckland, Wellington
(GMT+12:00) Fiji, Kamchatka, Marshall Is.
(GMT+12:45) Chatham Islands
(GMT+13:00) Nuku'alofa
(GMT+14:00) Kiritimati
The GMT offsets shown reflect the offsets
at the moment of the conference
.
Time Band
By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.
Display full program
Specify a time band
-
Save
×
You're viewing the program in a time zone which is different from your device's time zone
change time zone
Mon 3 Apr
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
09:00 - 10:30
Welcome and Keynotes I
ELS
at
D0.07
09:00
45m
Day opening
Welcome messages and announcements
ELS
09:45
45m
Talk
Identity in a World of Values
ELS Keynote
ELS
I:
Hans Hübner
LambdaWerk GmbH
11:00 - 12:00
Session I: Tools
ELS
at
D0.07
11:00
30m
Talk
Common Lisp UltraSpec - A Project For Modern Common Lisp Documentation
ELS
Michał Herda
11:30
30m
Talk
Loading Multiple Versions of an ASDF System in the Same Lisp Image
ELS
Vsevolod Domkin
13:30 - 15:00
Session II: Types
ELS
at
D0.07
13:30
30m
Talk
A Lisp Way to Type Theory and Formal Proofs
ELS
Frédéric Peschanski
14:00
30m
Talk
Programmatic Manipulation of Common Lisp Type Specifiers
ELS
Jim Newton
EPITA / LRDE
,
Didier Verna
EPITA / LRDE
,
Maximilien Colange
14:30
30m
Talk
Type Inference in Cleavir
ELS
Alexander Wood
15:30 - 17:00
Demonstrations
ELS
at
D0.07
15:30
22m
Demonstration
Delivering Common Lisp Applications with ASDF 3.3
ELS
Robert Goldman
,
Elias Pipping
,
François-René Rideau
15:52
22m
Demonstration
Radiance – a Web Application Environment
ELS
Nicolas Hafner
Shirakumo.org
16:15
22m
Demonstration
Teaching Students of Engineering some Insights of the Internet of Things using Racket and the RaspberryPi
ELS
Daniel Brunner
,
Stephan Brunner
16:37
22m
Demonstration
Interactive Functional Medical Image Analysis
ELS
Benjamin Seppke
,
Leonie Dreschler-Fischer
17:00 - 17:30
Lightning Talks
ELS
at
D0.07
17:00
30m
Talk
Lightning Talks
ELS
Tue 4 Apr
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
09:00 - 10:00
Keynotes II
ELS
at
D0.07
09:00
60m
Talk
How the strengths of Lisp-family languages facilitate building complex and flexible bioinformatics applications
ELS Keynote
ELS
I:
Bohdan Khomtchouk
University of Miami Miller School of Medicine
10:00 - 10:30
Session III: Applications
ELS
at
D0.07
10:00
30m
Talk
Parallelizing Femlisp
ELS
Marco Heisig
,
Nicolas Neuß
11:00 - 12:00
Tutorial
ELS
at
D0.07
11:00
60m
Other
General Game Playing in Common Lisp
ELS
Steve Losh
13:30 - 15:00
Session IV: Going Meta
ELS
at
D0.07
13:30
30m
Talk
Fast, Maintainable, and Portable Sequence Functions
ELS
Irène Anne Durand
,
Robert Strandh
14:00
30m
Talk
DIY Meta Languages with Common Lisp
ELS
Alexander Lier
Friedrich-Alexander-Universität Erlangen-Nürnberg
,
Kai Selgrad
Friedrich-Alexander-Universität Erlangen-Nürnberg
,
Marc Stamminger
Friedrich-Alexander-Universität Erlangen-Nürnberg
14:30
30m
Talk
Static Taint Analysis of Event-driven Scheme Programs
ELS
Jonas De Bleser
,
Quentin Stiévenart
Vrije Universiteit Brussel, Belgium
,
Jens Nicolay
Vrije Universiteit Brussel, Belgium
,
Coen De Roover
Vrije Universiteit Brussel
15:30 - 17:00
Session V: Going Beyond
ELS
at
D0.07
15:30
30m
Talk
on the {lambda way}
ELS
Alain Marty
16:00
30m
Talk
Writing a portable code walker in Common Lisp
ELS
Michael Raskin
Université de Bordeaux / LaBRI
16:30
30m
Talk
Removing redundant tests by replicating control paths
ELS
Irène Anne Durand
Inria Bordeaux
,
Robert Strandh
17:00 - 17:45
Lightning Talks
ELS
at
D0.07
17:00
22m
Talk
Lightning Talks
ELS
17:22
22m
Day closing
Announcements, wrapup, goodbye
ELS
Wed 5 Apr
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
09:00 - 10:15
Keynotes I
Keynotes
at
D0.07
09:00
75m
Talk
Live Literate Programming
‹Programming› Keynote
Keynotes
K:
Gilad Bracha
Google
10:45 - 12:15
Research Papers 1
Research Papers
at
D0.07
Chair(s):
Guido Salvaneschi
TU Darmstadt
10:45
30m
Talk
Language Oriented Modularity: From Theory to Practice
Research Papers
Arik Hadas
Open University
,
David H. Lorenz
Open University and Technion IIT
Link to publication
DOI
11:15
30m
Talk
A Module-System Discipline for Model-Driven Software Development
Research Papers
Sebastian Erdweg
TU Delft
,
Klaus Ostermann
University of Tübingen, Germany
Link to publication
DOI
11:45
30m
Talk
User-Defined Operators Including Name Binding for New Language Constructs
Research Papers
Kazuhiro Ichikawa
,
Shigeru Chiba
University of Tokyo
Link to publication
DOI
13:30 - 15:00
Research Papers 2
Research Papers
at
D0.07
Chair(s):
Shigeru Chiba
University of Tokyo
13:30
30m
Talk
TRIOT: Faster tensor manipulation in C++11
Research Papers
Oliver Serang
Freie Univeristät Berlin
,
Florian Heyl
Freie Universität Berlin
Link to publication
DOI
14:00
30m
Talk
Effective Analysis of C Programs by Rewriting Variability
Research Papers
Alexandru Iosif-Lazar
IT University of Copenhagen
,
Jean Melo
IT University of Copenhagen
,
Aleksandar S. Dimovski
IT University of Copenhagen, Denmark
,
Claus Brabrand
IT University of Copenhagen, Denmark
,
Andrzej Wąsowski
IT University of Copenhagen, Denmark
Link to publication
DOI
14:30
30m
Talk
Transition Watchpoints: Teaching Old Debuggers New Tricks
Research Papers
Kapil Arya
,
Tyler Denniston
,
Ariel Rabkin
Cloudera
,
Gene Cooperman
Northeastern University
Link to publication
DOI
15:30 - 17:00
Research Papers 3
Research Papers
at
D0.07
Chair(s):
Mario Südholt
École des Mines de Nantes, France
15:30
30m
Talk
Relationship Maintenance in Software Language Repositories
Research Papers
Ralf Laemmel
University of Koblenz-Landau, Germany
Link to publication
DOI
16:00
30m
Talk
Open Programming Language Interpreters
Research Papers
Walter Cazzola
Università degli Studi di Milano
,
Albert Shaqiri
Link to publication
DOI
16:30
30m
Talk
Interconnected Linguistic Architecture
Research Papers
Johannes Härtel
University of Koblenz-Landau, Germany
,
Lukas Härtel
University of Koblenz-Landau, Germany
,
Ralf Laemmel
University of Koblenz-Landau, Germany
,
Andrei Varanovich
University of Koblenz-Landau, Germany
,
Marcel Heinz
University of Koblenz-Landau, Germany
Link to publication
DOI
Thu 6 Apr
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
09:00 - 10:15
Keynotes II
Keynotes
at
D0.07
09:00
75m
Talk
How Racket Went Meta
‹Programming› Keynote
Keynotes
K:
Matthew Flatt
University of Utah
File Attached
10:45 - 12:15
Research Papers 4
Research Papers
at
D0.07
Chair(s):
Crista Lopes
University of California, Irvine
10:45
30m
Talk
Application Embedding: A Language Approach to Declarative Web Programming
Research Papers
David H. Lorenz
Open University and Technion IIT
,
Boaz Rosenan
University of Haifa
Link to publication
DOI
11:15
30m
Talk
Profunctor Optics: Modular Data Accessors
Research Papers
Matthew Pickering
,
Jeremy Gibbons
Department of Computer Science, University of Oxford
,
Nicolas Wu
University of Bristol
Link to publication
DOI
11:45
30m
Talk
Miscomputation in software: Learning to live with errors
Research Papers
Tomas Petricek
Alan Turing Institute
Link to publication
DOI
13:30 - 15:00
Research Papers 5
Research Papers
at
D0.07
Chair(s):
Elisa Gonzalez Boix
Vrije Universiteit Brussel
13:30
30m
Talk
Edit Transactions: Dynamically Scoped Change Sets for Controlled Updates in Live Programming
Research Papers
Toni Mattis
Hasso Plattner Institute
,
Patrick Rein
Hasso Plattner Institute
,
Robert Hirschfeld
HPI
Link to publication
DOI
14:00
30m
Talk
What Is the Best Way For Developers to Learn New Software Tools? An Empirical Comparison Between a Text and a Video Tutorial
Research Papers
Verena Käfer
Universität Stuttgart
,
Daniel Kulesz
Universität Stuttgart
,
Stefan Wagner
Universität Stuttgart
Link to publication
DOI
14:30
30m
Talk
An Analysis of Introductory Programming Courses at UK Universities
Research Papers
Ellen Murphy
University of Bath
,
Tom Crick
Cardiff Metropolitan University
,
James H. Davenport
University of Bath
Link to publication
DOI
15:30 - 17:00
Research Papers 6
Research Papers
at
D0.07
Chair(s):
Tijs van der Storm
CWI
15:30
30m
Talk
The pragmatics of clone detection and elimination
Research Papers
Simon Thompson
,
Huiqing Li
University of Kent
,
Andreas Schumacher
Ericsson AB
Link to publication
DOI
16:00
30m
Talk
Does Python Smell Like Java?
Research Papers
Nicole Vavrová
University of Amsterdam, Netherlands
,
Vadim Zaytsev
Raincode, Belgium
Link to publication
DOI
16:30
30m
Talk
Active Expressions: Basic Building Blocks for Reactive Programming
Research Papers
Stefan Ramson
Hasso Plattner Institute, Potsdam
,
Robert Hirschfeld
HPI
Link to publication
DOI
Mon 3 Apr
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
Room
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
D0.07
ELS
Welcome and Keynotes I
ELS
Session I: Tools
ELS
Session II: Types
ELS
Demonstrations
ELS
Lightning Talks
Tue 4 Apr
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
Room
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
D0.07
ELS
Keynotes II
ELS
Session III: Applications
ELS
Tutorial
ELS
Session IV: Going Meta
ELS
Session V: Going Beyond
ELS
Lightning Talks
Wed 5 Apr
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
Room
9:00
30
10:00
30
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
16:00
30
D0.07
Keynotes
Keynotes I
Research Papers
Research Papers 1
Research Papers
Research Papers 2
Research Papers
Research Papers 3
Thu 6 Apr
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
Room
9:00
30
10:00
30
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
16:00
30
D0.07
Keynotes
Keynotes II
Research Papers
Research Papers 4
Research Papers
Research Papers 5
Research Papers
Research Papers 6
Mon 3 Apr
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
Room
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
D0.07
ELS
Welcome messages and announcements
09:00 - 09:45
ELS
ELS 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
Tue 4 Apr
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
Room
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
D0.07
ELS
ELS 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
Wed 5 Apr
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
Room
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
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
Thu 6 Apr
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
Room
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
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
x
Tue 15 Oct 17:17