‹Programming› 2018
Mon 9 - Thu 12 April 2018 Nice, France
VenueBoscolo B4 Plaza, Nice
Room nameBaie des Anges A + B
Floor0
Capacity390
Additional informationThere is no additional information of this room 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
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

08:45 - 09:00: OpeningOrganizational at Baie des Anges A + B
08:45 - 09:00
Other
Conference Opening
Organizational
Manuel SerranoInria, France, Guido SalvaneschiTU Darmstadt
09:00 - 10:00: Wednesday KeynoteKeynotes at Baie des Anges A + B
09:00 - 10:00
Talk
The Recurring Rainfall Problem‹Programming› Keynote
Keynotes
K: Shriram KrishnamurthiBrown University, USA
10:30 - 12:00: Session 1Research Papers at Baie des Anges A + B
10:30 - 11:00
Talk
Scoped Extension Methods in Dynamically-Typed Languages
Research Papers
Link to publication DOI
11:00 - 11:30
Talk
Towards Zero-Overhead Disambiguation of Deep Priority Conflicts
Research Papers
Luis Eduardo de Souza AmorimDelft University of Technology, Netherlands, Michael J. SteindorferDelft University of Technology, Eelco VisserDelft University of Technology
Link to publication DOI
11:30 - 12:00
Talk
Language-integrated provenance in Haskell
Research Papers
Jan StolarekUniversity of Edinburgh, UK, James CheneyUniversity of Edinburgh, UK
Link to publication DOI
12:00 - 13:45: SRC Oral PresentationStudent Research Competition at Baie des Anges A + B
12:00 - 13:45
Talk
SRC Second Round: Oral Presentation
Student Research Competition
13:45 - 15:00: Session 2Research Papers at Baie des Anges A + B
13:45 - 14:30
Talk
Lisp, Jazz, Aikido – Three Expressions of a Single Essence
Research Papers
Didier VernaEPITA / LRDE
Link to publication DOI
14:30 - 15:00
Talk
Live Multi-language Development and Runtime Environments
Research Papers
Fabio NiephausHasso Plattner Institute, University of Potsdam, Tim FelgentreffOracle Labs, Potsdam, Tobias PapeHPI, Germany, Robert HirschfeldHPI, University of Potsdam, Marcel TaeumelHasso Plattner Institute
Link to publication DOI
15:30 - 17:00: Session 3Research Papers at Baie des Anges A + B
15:30 - 16:00
Talk
Search-based Tier Assignment for Optimising Offline Availability in Multi-tier Web Applications
Research Papers
Laure PhilipsSoftware Languages Lab, Joeri De KosterVrije Universiteit Brussel, Belgium, Wolfgang De MeuterVrije Universiteit Brussel, Coen De RooverVrije Universiteit Brussel
Link to publication DOI
16:00 - 16:30
Talk
On the Effect of Semantically Enriched Context Models on Software Modularization
Research Papers
Amir SaeidiUniversiteit Utrecht, Jurriaan HageUtrecht University, Ravi KhadkaUniversiteit Utrecht, Slinger Jansen
Link to publication DOI
16:30 - 17:00
Talk
Harmonizing Signals and Events with a Lightweight Extension to Java
Research Papers
Tetsuo KaminaOita University, Tomoyuki AotaniTokyo Institute of Technology
Link to publication DOI

Thu 12 Apr
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

10:30 - 12:00: Session 4Research Papers at Baie des Anges A + B
10:30 - 11:00
Talk
Fast, Flexible, Polyglot Instrumentation Support for Debuggers and other Tools
Research Papers
Michael Van De VanterOracle Labs, Chris SeatonOracle Labs, Michael HaupteBay, Christian HumerOracle Labs, Switzerland, Thomas WuerthingerOracle Labs
Link to publication DOI
11:00 - 11:30
Talk
Proactive Empirical Assessment of New Language Feature Adoption via Automated Refactoring: The Case of Java 8 Default Methods
Research Papers
Raffi KhatchadourianCity University of New York (CUNY) Hunter College, Hidehiko MasuharaTokyo Institute of Technology
Link to publication DOI
11:30 - 12:00
Talk
Introspection for C and its Applications to Library Robustness
Research Papers
Manuel RiggerJohannes Kepler University Linz, Rene MayrhoferJohannes Kepler University Linz, Roland SchatzJohannes Kepler University Linz, Matthias GrimmerOracle Labs, Austria, Hanspeter MössenböckJKU Linz, Austria
Link to publication DOI Media Attached
12:00 - 13:45: SRC Oral PresentationStudent Research Competition at Baie des Anges A + B
12:00 - 13:45
Talk
SRC Second Round: Oral Presentation
Student Research Competition
13:45 - 15:00: Session 5Research Papers at Baie des Anges A + B
13:45 - 14:30
Talk
What we talk about when we talk about monads
Research Papers
Tomas PetricekAlan Turing Institute
Link to publication DOI
14:30 - 15:00
Talk
Deadlock-Free Typestate-Oriented Programming
Research Papers
Luca PadovaniUniversity of Turin, Italy
Link to publication DOI
15:30 - 16:30: Session 6Research Papers at Baie des Anges A + B
15:30 - 16:00
Talk
PIE: A Domain-Specific Language for Interactive Software Development Pipelines
Research Papers
Gabriël KonatDelft University of Technology, Michael J. SteindorferDelft University of Technology, Sebastian ErdwegTU Delft, Eelco VisserDelft University of Technology
Link to publication DOI
16:00 - 16:30
Talk
Description Languages for Consistency Management Scenarios Based on Examples from the Industry Automation Domain
Research Papers
Anthony AnjorinPaderborn University, Germany, Enes YigitbasUniversity of Paderborn, Germany, Erhan LeblebiciTU Darmstadt, Andy SchürrTU Darmstadt, Marius LauderContinental Automotive GmbH, Germany, Germany, Martin WitteSiemens AG, Germany
Link to publication DOI
16:30 - 17:00: ClosingOrganizational at Baie des Anges A + B
16:30 - 17:00
Other
Conference Closing
Organizational

Wed 11 Apr
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Thu 12 Apr
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change