MoreVMs 2018
Mon 9 - Thu 12 April 2018
Nice, France
co-located with
‹Programming› 2018
Toggle navigation
Attending
Venue: Boscolo B4 Plaza, Nice
Banquet: Plage Beau Rivage
Program
Complete Program
Your Program
Mon 9 Apr
Tue 10 Apr
Wed 11 Apr
Thu 12 Apr
Track/Call
Organization
MoreVMs 2018 Committees
Track Committees
Program Committee
Organizing Committee
Contributors
People Index
Search
Series
Series
MoreVMs 2024
MoreVMs 2023
MoreVMs 2022
MoreVMs 2021
MoreVMs'20
MoreVMs'19
MoreVMs 2018
MoreVMs 2017
Sign in
Sign up
‹Programming› 2018
(
series
) /
MoreVMs 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
‹Programming› Organizational
at
Baie des Anges A + B
08:45
15m
Other
Conference Opening
‹Programming› Organizational
Manuel Serrano
Inria, France
,
Guido Salvaneschi
TU Darmstadt
09:00 - 10:00
Wednesday Keynote
‹Programming› Keynotes
at
Baie des Anges A + B
09:00
60m
Talk
The Recurring Rainfall Problem
‹Programming› Keynote
‹Programming› Keynotes
K:
Shriram Krishnamurthi
Brown University, USA
10:30 - 12:00
Session 1
‹Programming› Research Papers
at
Baie des Anges A + B
10:30
30m
Talk
Scoped Extension Methods in Dynamically-Typed Languages
‹Programming› 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
‹Programming› 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
‹Programming› 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
‹Programming› Student Research Competition
at
Baie des Anges A + B
12:00
1h45m
Talk
SRC Second Round: Oral Presentation
‹Programming› Student Research Competition
13:45 - 15:00
Session 2
‹Programming› Research Papers
at
Baie des Anges A + B
13:45
45m
Talk
Lisp, Jazz, Aikido – Three Expressions of a Single Essence
‹Programming› Research Papers
Didier Verna
EPITA / LRDE
Link to publication
DOI
14:30
30m
Talk
Live Multi-language Development and Runtime Environments
‹Programming› 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
‹Programming› 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
‹Programming› 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
‹Programming› 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
‹Programming› 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
‹Programming› Keynotes
at
Baie des Anges A + B
09:00
60m
Talk
Static Analysis of Android Applications for Finding Bugs and Security Vulnerabilities
‹Programming› Keynote
‹Programming› Keynotes
K:
Sukyoung Ryu
KAIST
10:30 - 12:00
Session 4
‹Programming› Research Papers
at
Baie des Anges A + B
10:30
30m
Talk
Fast, Flexible, Polyglot Instrumentation Support for Debuggers and other Tools
‹Programming› 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
‹Programming› 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
‹Programming› 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
‹Programming› Student Research Competition
at
Baie des Anges A + B
12:00
1h45m
Talk
SRC Second Round: Oral Presentation
‹Programming› Student Research Competition
13:45 - 15:00
Session 5
‹Programming› Research Papers
at
Baie des Anges A + B
13:45
45m
Talk
What we talk about when we talk about monads
‹Programming› Research Papers
Tomas Petricek
Alan Turing Institute
Link to publication
DOI
14:30
30m
Talk
Deadlock-Free Typestate-Oriented Programming
‹Programming› Research Papers
Luca Padovani
University of Turin, Italy
Link to publication
DOI
15:30 - 16:30
Session 6
‹Programming› Research Papers
at
Baie des Anges A + B
15:30
30m
Talk
PIE: A Domain-Specific Language for Interactive Software Development Pipelines
‹Programming› 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
‹Programming› 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
‹Programming› Organizational
at
Baie des Anges A + B
16:30
30m
Other
Conference Closing
‹Programming› 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
‹Programming› Organizational
Opening
‹Programming› Keynotes
Wednesday Keynote
‹Programming› Research Papers
Session 1
‹Programming› Student Research Competition
SRC Oral Presentation
‹Programming› Research Papers
Session 2
‹Programming› 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
‹Programming› Keynotes
Thursday Keynote
‹Programming› Research Papers
Session 4
‹Programming› Student Research Competition
SRC Oral Presentation
‹Programming› Research Papers
Session 5
‹Programming› Research Papers
Session 6
‹Programming› 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
Fri 26 Apr 12:57