MOMO 2017
Mon 3 - Thu 6 April 2017
Brussels, Belgium
co-located with
‹Programming› 2017
Toggle navigation
Attending
Reception: Belgian beer reception
Banquet: Museum of Natural Sciences
Reception: Musical Instruments Museum
Venue: Vrije Universiteit Brussel | Building D
Program
Complete Program
Your Program
Mon 3 Apr
Tue 4 Apr
Wed 5 Apr
Thu 6 Apr
Track/Call
Organization
MOMO 2017 Committees
Track Committees
Organizing Committee
Program Committee
Contributors
People Index
Search
Series
Series
MOMO 2017
MOMO 2016
Sign in
Sign up
‹Programming› 2017
(
series
) /
MOMO 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
‹Programming› Keynotes
at
D0.07
09:00
75m
Talk
Live Literate Programming
‹Programming› Keynote
‹Programming› Keynotes
K:
Gilad Bracha
Google
10:45 - 12:15
Research Papers 1
‹Programming› Research Papers
at
D0.07
Chair(s):
Guido Salvaneschi
TU Darmstadt
10:45
30m
Talk
Language Oriented Modularity: From Theory to Practice
‹Programming› 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
‹Programming› 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
‹Programming› Research Papers
Kazuhiro Ichikawa
,
Shigeru Chiba
University of Tokyo
Link to publication
DOI
13:30 - 15:00
Research Papers 2
‹Programming› Research Papers
at
D0.07
Chair(s):
Shigeru Chiba
University of Tokyo
13:30
30m
Talk
TRIOT: Faster tensor manipulation in C++11
‹Programming› 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
‹Programming› 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
‹Programming› Research Papers
Kapil Arya
,
Tyler Denniston
,
Ariel Rabkin
Cloudera
,
Gene Cooperman
Northeastern University
Link to publication
DOI
15:30 - 17:00
Research Papers 3
‹Programming› 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
‹Programming› Research Papers
Ralf Laemmel
University of Koblenz-Landau, Germany
Link to publication
DOI
16:00
30m
Talk
Open Programming Language Interpreters
‹Programming› Research Papers
Walter Cazzola
Università degli Studi di Milano
,
Albert Shaqiri
Link to publication
DOI
16:30
30m
Talk
Interconnected Linguistic Architecture
‹Programming› 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
‹Programming› Keynotes
at
D0.07
09:00
75m
Talk
How Racket Went Meta
‹Programming› Keynote
‹Programming› Keynotes
K:
Matthew Flatt
University of Utah
File Attached
10:45 - 12:15
Research Papers 4
‹Programming› 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
‹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
‹Programming› 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
‹Programming› Research Papers
Tomas Petricek
Alan Turing Institute
Link to publication
DOI
13:30 - 15:00
Research Papers 5
‹Programming› 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
‹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
‹Programming› 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
‹Programming› 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
‹Programming› Research Papers
at
D0.07
Chair(s):
Tijs van der Storm
CWI
15:30
30m
Talk
The pragmatics of clone detection and elimination
‹Programming› 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?
‹Programming› 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
‹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
‹Programming› Keynotes
Keynotes I
‹Programming› Research Papers
Research Papers 1
‹Programming› Research Papers
Research Papers 2
‹Programming› 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
‹Programming› Keynotes
Keynotes II
‹Programming› Research Papers
Research Papers 4
‹Programming› Research Papers
Research Papers 5
‹Programming› 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
Sat 9 Nov 00:06