‹Programming› 2018
Mon 9 - Thu 12 April 2018
Nice, France
Toggle navigation
Attending
Venue: Boscolo B4 Plaza, Nice
Banquet: Plage Beau Rivage
Registration
Accommodation
Reaching the conference
Visa Information
Visiting Nice
Students
Sponsorship
Program
‹Programming› Program
Your Program
Confero Mobile Program
Mon 9 Apr
Tue 10 Apr
Wed 11 Apr
Thu 12 Apr
Tracks
‹Programming› 2018
Keynotes
Research Papers
Workshops
Posters
Student Research Competition
Social Events
Organizational
Workshops
Bx
LASSY
(cancelled)
MoreVMs
PASS
PX/18
ProWeb
Programming for the Large
(cancelled)
Salon des Refusés
Co-hosted Coding Dojos
CoCoDo
Organization
‹Programming› 2018 Committees
Organizing Committee
Steering Committee
Student Grants Committee
Track Committees
Research Papers
Workshops
Student Research Competition
Jury
Organizing Committee
Program Committee
Contributors
People Index
Workshops
Bx
Programme Committee
Organizing Committee
LASSY
Organizing Committee
Program Committee
MoreVMs
Program Committee
Organizing Committee
PASS
Organizing Committee
Program Committee
PX/18
Organizing Committee
Program Committee
ProWeb
Organizing Committee
Program Committee
Programming for the Large
Organizing Committee
Program Committee
Salon des Refusés
Programme Committee
Co-hosted Coding Dojos
CoCoDo
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› 2018
(
series
) /
Boscolo B4 Plaza, Nice
/
Room information: Baie des Anges A + B
Venue
Boscolo B4 Plaza, Nice
Room name
Baie des Anges A + B
Floor
0
Capacity
390
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+02: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
Wed 11 Apr
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
08:45 - 09:00
Opening
Organizational
at
Baie des Anges A + B
08:45
15m
Other
Conference Opening
Organizational
Manuel Serrano
Inria, France
,
Guido Salvaneschi
TU Darmstadt
09:00 - 10:00
Wednesday Keynote
Keynotes
at
Baie des Anges A + B
09:00
60m
Talk
The Recurring Rainfall Problem
‹Programming› Keynote
Keynotes
K:
Shriram Krishnamurthi
Brown University, USA
10:30 - 12:00
Session 1
Research Papers
at
Baie des Anges A + B
10:30
30m
Talk
Scoped Extension Methods in Dynamically-Typed Languages
Research Papers
Guillermo Polito
CNRS
,
Camille Teruel
INRIA
,
Stéphane Ducasse
INRIA Lille
,
Luc Fabresse
Mines Douai
Link to publication
DOI
11:00
30m
Talk
Towards Zero-Overhead Disambiguation of Deep Priority Conflicts
Research Papers
Luis Eduardo de Souza Amorim
Delft University of Technology, Netherlands
,
Michael J. Steindorfer
Delft University of Technology
,
Eelco Visser
Delft University of Technology
Link to publication
DOI
11:30
30m
Talk
Language-integrated provenance in Haskell
Research Papers
Jan Stolarek
University of Edinburgh, UK
,
James Cheney
University of Edinburgh, UK
Link to publication
DOI
12:00 - 13:45
SRC Oral Presentation
Student Research Competition
at
Baie des Anges A + B
12:00
1h45m
Talk
SRC Second Round: Oral Presentation
Student Research Competition
13:45 - 15:00
Session 2
Research Papers
at
Baie des Anges A + B
13:45
45m
Talk
Lisp, Jazz, Aikido – Three Expressions of a Single Essence
Research Papers
Didier Verna
EPITA / LRDE
Link to publication
DOI
14:30
30m
Talk
Live Multi-language Development and Runtime Environments
Research Papers
Fabio Niephaus
Hasso Plattner Institute, University of Potsdam
,
Tim Felgentreff
Oracle Labs, Potsdam
,
Tobias Pape
HPI, Germany
,
Robert Hirschfeld
HPI, University of Potsdam
,
Marcel Taeumel
Hasso Plattner Institute
Link to publication
DOI
15:30 - 17:00
Session 3
Research Papers
at
Baie des Anges A + B
15:30
30m
Talk
Search-based Tier Assignment for Optimising Offline Availability in Multi-tier Web Applications
Research Papers
Laure Philips
Software Languages Lab
,
Joeri De Koster
Vrije Universiteit Brussel, Belgium
,
Wolfgang De Meuter
Vrije Universiteit Brussel
,
Coen De Roover
Vrije Universiteit Brussel
Link to publication
DOI
16:00
30m
Talk
On the Effect of Semantically Enriched Context Models on Software Modularization
Research Papers
Amir Saeidi
Universiteit Utrecht
,
Jurriaan Hage
Utrecht University
,
Ravi Khadka
Universiteit Utrecht
,
Slinger Jansen
Link to publication
DOI
16:30
30m
Talk
Harmonizing Signals and Events with a Lightweight Extension to Java
Research Papers
Tetsuo Kamina
Oita University
,
Tomoyuki Aotani
Tokyo Institute of Technology
Link to publication
DOI
Thu 12 Apr
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
09:00 - 10:00
Thursday Keynote
Keynotes
at
Baie des Anges A + B
09:00
60m
Talk
Static Analysis of Android Applications for Finding Bugs and Security Vulnerabilities
‹Programming› Keynote
Keynotes
K:
Sukyoung Ryu
KAIST
10:30 - 12:00
Session 4
Research Papers
at
Baie des Anges A + B
10:30
30m
Talk
Fast, Flexible, Polyglot Instrumentation Support for Debuggers and other Tools
Research Papers
Michael Van De Vanter
Oracle Labs
,
Chris Seaton
Oracle Labs
,
Michael Haupt
eBay
,
Christian Humer
Oracle Labs, Switzerland
,
Thomas Wuerthinger
Oracle Labs
Link to publication
DOI
11:00
30m
Talk
Proactive Empirical Assessment of New Language Feature Adoption via Automated Refactoring: The Case of Java 8 Default Methods
Research Papers
Raffi Khatchadourian
City University of New York (CUNY) Hunter College
,
Hidehiko Masuhara
Tokyo Institute of Technology
Link to publication
DOI
11:30
30m
Talk
Introspection for C and its Applications to Library Robustness
Research Papers
Manuel Rigger
Johannes Kepler University Linz
,
Rene Mayrhofer
Johannes Kepler University Linz
,
Roland Schatz
Johannes Kepler University Linz
,
Matthias Grimmer
Oracle Labs, Austria
,
Hanspeter Mössenböck
JKU Linz, Austria
Link to publication
DOI
Media Attached
12:00 - 13:45
SRC Oral Presentation
Student Research Competition
at
Baie des Anges A + B
12:00
1h45m
Talk
SRC Second Round: Oral Presentation
Student Research Competition
13:45 - 15:00
Session 5
Research Papers
at
Baie des Anges A + B
13:45
45m
Talk
What we talk about when we talk about monads
Research Papers
Tomas Petricek
Alan Turing Institute
Link to publication
DOI
14:30
30m
Talk
Deadlock-Free Typestate-Oriented Programming
Research Papers
Luca Padovani
University of Turin, Italy
Link to publication
DOI
15:30 - 16:30
Session 6
Research Papers
at
Baie des Anges A + B
15:30
30m
Talk
PIE: A Domain-Specific Language for Interactive Software Development Pipelines
Research Papers
Gabriël Konat
Delft University of Technology
,
Michael J. Steindorfer
Delft University of Technology
,
Sebastian Erdweg
TU Delft
,
Eelco Visser
Delft University of Technology
Link to publication
DOI
16:00
30m
Talk
Description Languages for Consistency Management Scenarios Based on Examples from the Industry Automation Domain
Research Papers
Anthony Anjorin
,
Enes Yigitbas
University of Paderborn, Germany
,
Erhan Leblebici
TU Darmstadt
,
Andy Schürr
TU Darmstadt
,
Marius Lauder
Continental Automotive GmbH, Germany, Germany
,
Martin Witte
Siemens AG, Germany
Link to publication
DOI
16:30 - 17:00
Closing
Organizational
at
Baie des Anges A + B
16:30
30m
Other
Conference Closing
Organizational
Wed 11 Apr
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
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
Baie des Anges A + B
Organizational
Opening
Keynotes
Wednesday Keynote
Research Papers
Session 1
Student Research Competition
SRC Oral Presentation
Research Papers
Session 2
Research Papers
Session 3
Thu 12 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
Baie des Anges A + B
Keynotes
Thursday Keynote
Research Papers
Session 4
Student Research Competition
SRC Oral Presentation
Research Papers
Session 5
Research Papers
Session 6
Organizational
Closing
Wed 11 Apr
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
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
Baie des Anges A + B
‹Programming› Organizational
Conference Opening
08:45 - 09:00
‹Programming› Keynotes
‹Programming› Keynote
The Recurring Rainfall Problem
09:00 - 10:00
‹Programming› Research Papers
Scoped Extension Methods in Dynamically-Typed Languages
10:30 - 11:00
‹Programming› Research Papers
Towards Zero-Overhead Disambiguation of Deep Priority Conflicts
11:00 - 11:30
‹Programming› Research Papers
Language-integrated provenance in Haskell
11:30 - 12:00
‹Programming› Student Research Competition
SRC Second Round: Oral Presentation
12:00 - 13:45
‹Programming› Research Papers
Lisp, Jazz, Aikido – Three Expressions of a Single Essence
13:45 - 14:30
‹Programming› Research Papers
Live Multi-language Development and Runtime Environments
14:30 - 15:00
‹Programming› Research Papers
Search-based Tier Assignment for Optimising Offline Availability in Mul ...
15:30 - 16:00
‹Programming› Research Papers
On the Effect of Semantically Enriched Context Models on Software Modul ...
16:00 - 16:30
‹Programming› Research Papers
Harmonizing Signals and Events with a Lightweight Extension to Java
16:30 - 17:00
Thu 12 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
Baie des Anges A + B
‹Programming› Keynotes
‹Programming› Keynote
Static Analysis of Android Applications for Finding Bugs and Security V ...
09:00 - 10:00
‹Programming› Research Papers
Fast, Flexible, Polyglot Instrumentation Support for Debuggers and othe ...
10:30 - 11:00
‹Programming› Research Papers
Proactive Empirical Assessment of New Language Feature Adoption via Aut ...
11:00 - 11:30
‹Programming› Research Papers
Introspection for C and its Applications to Library Robustness
11:30 - 12:00
‹Programming› Student Research Competition
SRC Second Round: Oral Presentation
12:00 - 13:45
‹Programming› Research Papers
What we talk about when we talk about monads
13:45 - 14:30
‹Programming› Research Papers
Deadlock-Free Typestate-Oriented Programming
14:30 - 15:00
‹Programming› Research Papers
PIE: A Domain-Specific Language for Interactive Software Development Pi ...
15:30 - 16:00
‹Programming› Research Papers
Description Languages for Consistency Management Scenarios Based on Exa ...
16:00 - 16:30
‹Programming› Organizational
Conference Closing
16:30 - 17:00
x
Sat 21 Dec 13:36