VenueBoscolo B4 Plaza, Nice
Room nameBaie des Anges A + B
Floor0
Capacity390
Room InformationNo extra information available
Program

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
08:45
15m
Other
Conference Opening
‹Programming› Organizational
Manuel Serrano Inria, France, Guido Salvaneschi TU Darmstadt
09:00 - 10:00
09:00
60m
Talk
The Recurring Rainfall Problem‹Programming› Keynote
‹Programming› Keynotes
K: Shriram Krishnamurthi Brown University, USA
10:30 - 12:00
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
12:00
1h45m
Talk
SRC Second Round: Oral Presentation
‹Programming› Student Research Competition

13:45 - 15:00
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
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

10:30 - 12:00
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
12:00
1h45m
Talk
SRC Second Round: Oral Presentation
‹Programming› Student Research Competition

13:45 - 15:00
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
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
16:30
30m
Other
Conference Closing
‹Programming› Organizational