‹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 B
Venue
Boscolo B4 Plaza, Nice
Room name
Baie des Anges B
Floor
0
Capacity
150
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
Mon 9 Apr
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
08:50 - 10:30
MoreVMs 1
MoreVMs
at
Baie des Anges B
08:50
10m
Day opening
Day opening
MoreVMs
09:00
30m
Talk
Towards Practical Heterogeneous Virtual Machines
MoreVMs
James Clarkson
The University of Manchester
,
Juan Fumero
The University of Manchester
,
Michalis Papadimitriou
The University of Manchester
,
Maria Xekalaki
The University of Manchester
,
Christos Kotselidis
The University of Manchester
File Attached
09:30
30m
Talk
Easy::Jit: Compiler assisted library to enable Just-In-Time compilation in C++ codes
MoreVMs
Juan Manuel Martinez Caamaño
Quarkslab
,
Serge Guelton
Quarkslab
10:00
30m
Talk
On the Future of Research VMs: A Hardware/Software Perspective
MoreVMs
Foivos S. Zakkak
,
Andrew Nisbet
The University of Manchester
,
John Mawer
The University of Manchester
,
Tim Hartley
The University of Manchester
,
Nikos Foutris
The University of Manchester
,
Orion Papadakis
The University of Manchester
,
Andreas Andronikakis
The University of Manchester
,
Iain Apreotesei
The University of Manchester
,
Mikel Luján
University of Manchester
,
Christos Kotselidis
The University of Manchester
11:00 - 12:30
MoreVMs 2
MoreVMs
at
Baie des Anges B
11:00
30m
Talk
Understanding Task Granularity on the JVM: Profiling, Analysis, and Optimization
MoreVMs
Andrea Rosà
University of Lugano, Switzerland
,
Eduardo Rosales
University of Lugano, Switzerland
,
Filippo Schiavio
Università della Svizzera italiana
,
Walter Binder
University of Lugano, Switzerland
File Attached
11:30
30m
Talk
Selfie: Towards Minimal Symbolic Execution
MoreVMs
Alireza S. Abyaneh
University of Salzburg
,
Simon Bauer
University of Salzburg
,
Christoph Kirsch
University of Salzburg
,
Philipp Mayer
University of Salzburg
,
Christian Mösl
University of Salzburg
,
Clément Poncelet
University of Salzburg
,
Sara Seidl
University of Salzburg
,
Ana Sokolova
University of Salzburg
,
Manuel Widmoser
University of Salzburg
File Attached
12:00
30m
Talk
Self-hosted scripting in Guile
MoreVMs
Andy Wingo
Igalia, S.L.
Pre-print
File Attached
12:30 - 14:30
Posters
Posters
at
Baie des Anges B
12:30
2h
Poster
Software != Programs - Software Behaviour as an Emergent Property
Posters
Anna Maria Eilertsen
University of Bergen, Norway
,
Anya Helene Bagge
University of Bergen
12:30
2h
Poster
VisAST: Generic AST Visualizer for Software Language Education
Posters
Ragnhild Aalvik
University of Bergen
,
Anya Helene Bagge
University of Bergen
,
Jaakko Järvi
University of Bergen
12:30
2h
Poster
Fault-tolerant Reactive Programming
Posters
Ragnar Mogk
Technische Universität Darmstadt
12:30
2h
Poster
Programming virtual musical instruments and audio effects in the Web browser
Posters
Michel Buffa
Université Côte d’Azur, CNRS, INRIA
,
Jérôme Lebrun
Université Côte d’Azur, CNRS, INRIA
,
Jari Kleimola
Aalto University
,
Oliver Larkin
University of York, UK
,
Stéphane Letz
12:30
2h
Poster
Runtime Verification of Flow-Based Programming for the Internet of Things
Posters
Davide Ancona
University of Genova
,
Luca Franceschini
DIBRIS, University of Genova, Italy
,
Maurizio Leotta
DIBRIS, University of Genova, Italy
,
Diego Clerissi
DIBRIS, University of Genova, Italy
,
Dario Olianas
DIBRIS, University of Genova, Italy
,
Filippo Ricca
DIBRIS, University of Genova, Italy
,
Giorgio Delzanno
DIBRIS, University of Genova, Italy
,
Marina Ribaudo
DIBRIS, University of Genova, Italy
12:30
2h
Poster
Automating Testing of Programming Assignments
Posters
Knut Anders Stokke
University of Bergen, Norway
,
Anya Helene Bagge
University of Bergen
,
Håkon Heggernes Lerring
University of Bergen, Norway
12:30
2h
Poster
Distributed Reactive Applications with ScalaLoci
Posters
Pascal Weisenburger
Technische Universität Darmstadt
14:30 - 16:10
MoreVMs 3
MoreVMs
at
Baie des Anges B
14:30
30m
Talk
Sulong, and Thanks for All the Fish
MoreVMs
Manuel Rigger
Johannes Kepler University Linz
,
Roland Schatz
Johannes Kepler University Linz
,
Jacob Kreindl
Johannes Kepler University Linz
,
Christian Häubl
Oracle Labs
,
Hanspeter Mössenböck
JKU Linz, Austria
Pre-print
Media Attached
15:00
30m
Talk
The inevitable death of VMs: a progress report
MoreVMs
Stephen Kell
University of Cambridge
Pre-print
15:30
30m
Meeting
Discussion: Why do we need research VMs and what are our requirements?
MoreVMs
16:00
10m
Day closing
Day closing
MoreVMs
Tue 10 Apr
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
08:50 - 10:30
Model Transformation
Bx
at
Baie des Anges B
Chair(s):
Jens Weber
University of Victoria
08:50
10m
Day opening
Opening
Bx
09:00
30m
Full-paper
Confidentiality in the process of (model-driven) software development
Bx
Michael Johnson
Macquarie University, Australia
,
Perdita Stevens
University of Edinburgh
File Attached
09:30
30m
Full-paper
Multimodel Correspondence through Inter-Model Constraints
Bx
Patrick Stünkel
,
Harald König
,
Yngve Lamo
,
Adrian Rutle
File Attached
10:00
30m
Short-paper
On the Development of Consistent User Interfaces
Bx
Anthony Anjorin
,
Enes Yigitbas
University of Paderborn, Germany
,
Hermann Kaindl
,
Roman Popp
TU Wien, Vienna, Austria
11:00 - 12:30
Mathematical Foundations
Bx
at
Baie des Anges B
Chair(s):
Jeremy Gibbons
Department of Computer Science, University of Oxford
11:00
30m
Full-paper
Cospans and Symmetric Lenses
Bx
Michael Johnson
Macquarie University, Australia
,
Robert Rosebrugh
11:30
30m
Short-paper
Understanding Profunctor Optics: a representation theorem
Bx
Guillaume Boisseau
12:00
30m
Talk
Bimorphic lenses in compositional game theory
Bx
Jules Hedges
University of Oxford
12:30 - 14:30
SRC Poster Presentation
Student Research Competition
at
Baie des Anges B
Chair(s):
Philipp Haller
KTH Royal Institute of Technology
12:30
9m
Talk
A Soup of Objects: Convenience Interfaces for Accessing Domain Objects in a Global Object Graph
Student Research Competition
Patrick Rein
Hasso Plattner Institute
12:39
9m
Talk
DSL for End-user Service Composition
Student Research Competition
Alfred Åkesson
Lund University, Sweden
12:48
9m
Talk
Debugging Support for Big Data Processing Applications
Student Research Competition
Matteo Marra
Vrije Universiteit Brussel
12:57
9m
Talk
Fine-grained, Dynamic Access Control for Database-backed Applications
Student Research Competition
Ezra Zigmond
Harvard University
13:06
9m
Talk
Fully Homomorphic Encryption Scheme for Secure Computation
Student Research Competition
Alisa Gazizullina
Innopolis University
13:16
9m
Talk
Indigenizing Computer Programming for Cultural Maintenance
Student Research Competition
Jon Corbett
13:25
9m
Talk
Mining Concepts from Code using Community Detection
Student Research Competition
Toni Mattis
Hasso Plattner Institute
13:34
9m
Talk
On the Semantics of Loop Transformation Languages
Student Research Competition
Adilla Susungi
MINES ParisTech, France
13:43
9m
Talk
Sandboxed Execution of C and Other Unsafe Languages on the Java Virtual Machine
Student Research Competition
Manuel Rigger
Johannes Kepler University Linz
13:53
9m
Talk
Soundness and Completeness for Object Garbage Collection in the Pony Language
Student Research Competition
Daniel Slocombe
Imperial College London, UK
14:02
9m
Talk
The Extensible Compiler Architecture of ExtendJ
Student Research Competition
Jesper Oqvist
Lund University
14:11
9m
Talk
Towards an Intelligent Fault Prediction Code Editor to Improve Software Quality using Deep Learning
Student Research Competition
Vasu Jindal
University of Texas at Dallas
14:20
9m
Talk
Writing Safe Smart Contracts in Flint
Student Research Competition
Franklin Schrans
Imperial College London
14:30 - 16:00
Tools and Systems
Bx
at
Baie des Anges B
Chair(s):
Perdita Stevens
University of Edinburgh
14:30
30m
Short-paper
Towards a Visual Editor for Lens Combinators
Bx
Anthony Anjorin
,
Hsiang-Shang ‘Josh’ Ko
National Institute of Informatics, Japan
Pre-print
15:00
30m
Full-paper
Enhancing the JTL Tool for Bidirectional Transformations
Bx
Romina Eramo
University of L'Aquila
,
Alfonso Pierantonio
,
Michele Tucci
15:30
30m
Full-paper
Lightweight Data Sharing System based on Bidirectional Transformations
Bx
Adrien Duchêne
,
Hugues Marchal
,
Zhenjiang Hu
National Institute of Informatics
,
Pierre Yves Schobbens
University of Namur
16:00 - 16:30
Posters
Posters
at
Baie des Anges B
16:00
30m
Poster
Programming virtual musical instruments and audio effects in the Web browser
Posters
Michel Buffa
Université Côte d’Azur, CNRS, INRIA
,
Jérôme Lebrun
Université Côte d’Azur, CNRS, INRIA
,
Jari Kleimola
Aalto University
,
Oliver Larkin
University of York, UK
,
Stéphane Letz
16:00
30m
Poster
VisAST: Generic AST Visualizer for Software Language Education
Posters
Ragnhild Aalvik
University of Bergen
,
Anya Helene Bagge
University of Bergen
,
Jaakko Järvi
University of Bergen
16:00
30m
Poster
Distributed Reactive Applications with ScalaLoci
Posters
Pascal Weisenburger
Technische Universität Darmstadt
16:00
30m
Poster
Automating Testing of Programming Assignments
Posters
Knut Anders Stokke
University of Bergen, Norway
,
Anya Helene Bagge
University of Bergen
,
Håkon Heggernes Lerring
University of Bergen, Norway
16:00
30m
Poster
Runtime Verification of Flow-Based Programming for the Internet of Things
Posters
Davide Ancona
University of Genova
,
Luca Franceschini
DIBRIS, University of Genova, Italy
,
Maurizio Leotta
DIBRIS, University of Genova, Italy
,
Diego Clerissi
DIBRIS, University of Genova, Italy
,
Dario Olianas
DIBRIS, University of Genova, Italy
,
Filippo Ricca
DIBRIS, University of Genova, Italy
,
Giorgio Delzanno
DIBRIS, University of Genova, Italy
,
Marina Ribaudo
DIBRIS, University of Genova, Italy
16:00
30m
Poster
Fault-tolerant Reactive Programming
Posters
Ragnar Mogk
Technische Universität Darmstadt
16:00
30m
Poster
Software != Programs - Software Behaviour as an Emergent Property
Posters
Anna Maria Eilertsen
University of Bergen, Norway
,
Anya Helene Bagge
University of Bergen
16:30 - 18:10
Programming and Applications
Bx
at
Baie des Anges B
Chair(s):
Kazutaka Matsuda
Tohoku University
16:30
30m
Talk
An Axiomatic Basis for Bidirectional Programming
Bx
Hsiang-Shang ‘Josh’ Ko
National Institute of Informatics, Japan
,
Zhenjiang Hu
National Institute of Informatics
Link to publication
DOI
17:00
30m
Talk
Profunctor Optics and the Yoneda Lemma
Bx
Jeremy Gibbons
Department of Computer Science, University of Oxford
,
Guillaume Boisseau
17:30
30m
Talk
Towards sound, flexible and optimal build for megamodels
Bx
Perdita Stevens
University of Edinburgh
18:00
10m
Day closing
Closing
Bx
Wed 11 Apr
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
10:00 - 10:30
Posters
Posters
at
Baie des Anges B
10:00
30m
Poster
Programming virtual musical instruments and audio effects in the Web browser
Posters
Michel Buffa
Université Côte d’Azur, CNRS, INRIA
,
Jérôme Lebrun
Université Côte d’Azur, CNRS, INRIA
,
Jari Kleimola
Aalto University
,
Oliver Larkin
University of York, UK
,
Stéphane Letz
10:00
30m
Poster
Fault-tolerant Reactive Programming
Posters
Ragnar Mogk
Technische Universität Darmstadt
10:00
30m
Poster
VisAST: Generic AST Visualizer for Software Language Education
Posters
Ragnhild Aalvik
University of Bergen
,
Anya Helene Bagge
University of Bergen
,
Jaakko Järvi
University of Bergen
10:00
30m
Poster
Distributed Reactive Applications with ScalaLoci
Posters
Pascal Weisenburger
Technische Universität Darmstadt
10:00
30m
Poster
Runtime Verification of Flow-Based Programming for the Internet of Things
Posters
Davide Ancona
University of Genova
,
Luca Franceschini
DIBRIS, University of Genova, Italy
,
Maurizio Leotta
DIBRIS, University of Genova, Italy
,
Diego Clerissi
DIBRIS, University of Genova, Italy
,
Dario Olianas
DIBRIS, University of Genova, Italy
,
Filippo Ricca
DIBRIS, University of Genova, Italy
,
Giorgio Delzanno
DIBRIS, University of Genova, Italy
,
Marina Ribaudo
DIBRIS, University of Genova, Italy
10:00
30m
Poster
Automating Testing of Programming Assignments
Posters
Knut Anders Stokke
University of Bergen, Norway
,
Anya Helene Bagge
University of Bergen
,
Håkon Heggernes Lerring
University of Bergen, Norway
10:00
30m
Poster
Software != Programs - Software Behaviour as an Emergent Property
Posters
Anna Maria Eilertsen
University of Bergen, Norway
,
Anya Helene Bagge
University of Bergen
15:00 - 15:30
Posters
Posters
at
Baie des Anges B
15:00
30m
Poster
Fault-tolerant Reactive Programming
Posters
Ragnar Mogk
Technische Universität Darmstadt
15:00
30m
Poster
Runtime Verification of Flow-Based Programming for the Internet of Things
Posters
Davide Ancona
University of Genova
,
Luca Franceschini
DIBRIS, University of Genova, Italy
,
Maurizio Leotta
DIBRIS, University of Genova, Italy
,
Diego Clerissi
DIBRIS, University of Genova, Italy
,
Dario Olianas
DIBRIS, University of Genova, Italy
,
Filippo Ricca
DIBRIS, University of Genova, Italy
,
Giorgio Delzanno
DIBRIS, University of Genova, Italy
,
Marina Ribaudo
DIBRIS, University of Genova, Italy
15:00
30m
Poster
VisAST: Generic AST Visualizer for Software Language Education
Posters
Ragnhild Aalvik
University of Bergen
,
Anya Helene Bagge
University of Bergen
,
Jaakko Järvi
University of Bergen
15:00
30m
Poster
Automating Testing of Programming Assignments
Posters
Knut Anders Stokke
University of Bergen, Norway
,
Anya Helene Bagge
University of Bergen
,
Håkon Heggernes Lerring
University of Bergen, Norway
15:00
30m
Poster
Distributed Reactive Applications with ScalaLoci
Posters
Pascal Weisenburger
Technische Universität Darmstadt
15:00
30m
Poster
Software != Programs - Software Behaviour as an Emergent Property
Posters
Anna Maria Eilertsen
University of Bergen, Norway
,
Anya Helene Bagge
University of Bergen
15:00
30m
Poster
Programming virtual musical instruments and audio effects in the Web browser
Posters
Michel Buffa
Université Côte d’Azur, CNRS, INRIA
,
Jérôme Lebrun
Université Côte d’Azur, CNRS, INRIA
,
Jari Kleimola
Aalto University
,
Oliver Larkin
University of York, UK
,
Stéphane Letz
Thu 12 Apr
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
10:00 - 10:30
Posters
Posters
at
Baie des Anges B
10:00
30m
Poster
Fault-tolerant Reactive Programming
Posters
Ragnar Mogk
Technische Universität Darmstadt
10:00
30m
Poster
Runtime Verification of Flow-Based Programming for the Internet of Things
Posters
Davide Ancona
University of Genova
,
Luca Franceschini
DIBRIS, University of Genova, Italy
,
Maurizio Leotta
DIBRIS, University of Genova, Italy
,
Diego Clerissi
DIBRIS, University of Genova, Italy
,
Dario Olianas
DIBRIS, University of Genova, Italy
,
Filippo Ricca
DIBRIS, University of Genova, Italy
,
Giorgio Delzanno
DIBRIS, University of Genova, Italy
,
Marina Ribaudo
DIBRIS, University of Genova, Italy
10:00
30m
Poster
Automating Testing of Programming Assignments
Posters
Knut Anders Stokke
University of Bergen, Norway
,
Anya Helene Bagge
University of Bergen
,
Håkon Heggernes Lerring
University of Bergen, Norway
10:00
30m
Poster
Programming virtual musical instruments and audio effects in the Web browser
Posters
Michel Buffa
Université Côte d’Azur, CNRS, INRIA
,
Jérôme Lebrun
Université Côte d’Azur, CNRS, INRIA
,
Jari Kleimola
Aalto University
,
Oliver Larkin
University of York, UK
,
Stéphane Letz
10:00
30m
Poster
VisAST: Generic AST Visualizer for Software Language Education
Posters
Ragnhild Aalvik
University of Bergen
,
Anya Helene Bagge
University of Bergen
,
Jaakko Järvi
University of Bergen
10:00
30m
Poster
Distributed Reactive Applications with ScalaLoci
Posters
Pascal Weisenburger
Technische Universität Darmstadt
10:00
30m
Poster
Software != Programs - Software Behaviour as an Emergent Property
Posters
Anna Maria Eilertsen
University of Bergen, Norway
,
Anya Helene Bagge
University of Bergen
15:00 - 15:30
Posters
Posters
at
Baie des Anges B
15:00
30m
Poster
Programming virtual musical instruments and audio effects in the Web browser
Posters
Michel Buffa
Université Côte d’Azur, CNRS, INRIA
,
Jérôme Lebrun
Université Côte d’Azur, CNRS, INRIA
,
Jari Kleimola
Aalto University
,
Oliver Larkin
University of York, UK
,
Stéphane Letz
15:00
30m
Poster
Automating Testing of Programming Assignments
Posters
Knut Anders Stokke
University of Bergen, Norway
,
Anya Helene Bagge
University of Bergen
,
Håkon Heggernes Lerring
University of Bergen, Norway
15:00
30m
Poster
Distributed Reactive Applications with ScalaLoci
Posters
Pascal Weisenburger
Technische Universität Darmstadt
15:00
30m
Poster
Software != Programs - Software Behaviour as an Emergent Property
Posters
Anna Maria Eilertsen
University of Bergen, Norway
,
Anya Helene Bagge
University of Bergen
15:00
30m
Poster
Fault-tolerant Reactive Programming
Posters
Ragnar Mogk
Technische Universität Darmstadt
15:00
30m
Poster
Runtime Verification of Flow-Based Programming for the Internet of Things
Posters
Davide Ancona
University of Genova
,
Luca Franceschini
DIBRIS, University of Genova, Italy
,
Maurizio Leotta
DIBRIS, University of Genova, Italy
,
Diego Clerissi
DIBRIS, University of Genova, Italy
,
Dario Olianas
DIBRIS, University of Genova, Italy
,
Filippo Ricca
DIBRIS, University of Genova, Italy
,
Giorgio Delzanno
DIBRIS, University of Genova, Italy
,
Marina Ribaudo
DIBRIS, University of Genova, Italy
15:00
30m
Poster
VisAST: Generic AST Visualizer for Software Language Education
Posters
Ragnhild Aalvik
University of Bergen
,
Anya Helene Bagge
University of Bergen
,
Jaakko Järvi
University of Bergen
Mon 9 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 B
MoreVMs
MoreVMs 1
MoreVMs
MoreVMs 2
Posters
Posters
MoreVMs
MoreVMs 3
Tue 10 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
17:00
30
18:00
30
Baie des Anges B
Bx
Model Transformation
Bx
Mathematical Foundations
Student Research Competition
SRC Poster Presentation
Bx
Tools and Systems
Posters
Posters
Bx
Programming and Applications
Wed 11 Apr
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
Room
10:00
30
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
Baie des Anges B
Posters
Posters
Posters
Posters
Thu 12 Apr
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
Room
10:00
30
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
Baie des Anges B
Posters
Posters
Posters
Posters
Mon 9 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 B
MoreVMs
Day opening
08:50 - 09:00
MoreVMs
Towards Practical Heterogeneous Virtual Machines
09:00 - 09:30
MoreVMs
Easy::Jit: Compiler assisted library to enable Just-In-Time compilation ...
09:30 - 10:00
MoreVMs
On the Future of Research VMs: A Hardware/Software Perspective
10:00 - 10:30
MoreVMs
Understanding Task Granularity on the JVM: Profiling, Analysis, and Opt ...
11:00 - 11:30
MoreVMs
Selfie: Towards Minimal Symbolic Execution
11:30 - 12:00
MoreVMs
Self-hosted scripting in Guile
12:00 - 12:30
‹Programming› Posters
Software != Programs - Software Behaviour as an Emergent Property
12:30 - 14:30
VisAST: Generic AST Visualizer for Software Language Education
12:30 - 14:30
Fault-tolerant Reactive Programming
12:30 - 14:30
Programming virtual musical instruments and audio effects in the Web br ...
12:30 - 14:30
Runtime Verification of Flow-Based Programming for the Internet of Things
12:30 - 14:30
Automating Testing of Programming Assignments
12:30 - 14:30
Distributed Reactive Applications with ScalaLoci
12:30 - 14:30
MoreVMs
Sulong, and Thanks for All the Fish
14:30 - 15:00
MoreVMs
The inevitable death of VMs: a progress report
15:00 - 15:30
MoreVMs
Discussion: Why do we need research VMs and what are our requirements?
15:30 - 16:00
MoreVMs
Day closing
16:00 - 16:10
Tue 10 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
17:00
15
30
45
18:00
15
30
45
Baie des Anges B
Bx
Opening
08:50 - 09:00
Bx
Confidentiality in the process of (model-driven) software development
09:00 - 09:30
Bx
Multimodel Correspondence through Inter-Model Constraints
09:30 - 10:00
Bx
On the Development of Consistent User Interfaces
10:00 - 10:30
Bx
Cospans and Symmetric Lenses
11:00 - 11:30
Bx
Understanding Profunctor Optics: a representation theorem
11:30 - 12:00
Bx
Bimorphic lenses in compositional game theory
12:00 - 12:30
‹Programming› Student Research Competition
A Soup of Objects: Convenience Interfaces for Accessing Domain Objects ...
12:30 - 12:39
‹Programming› Student Research Competition
DSL for End-user Service Composition
12:39 - 12:48
‹Programming› Student Research Competition
Debugging Support for Big Data Processing Applications
12:48 - 12:57
‹Programming› Student Research Competition
Fine-grained, Dynamic Access Control for Database-backed Applications
12:57 - 13:06
‹Programming› Student Research Competition
Fully Homomorphic Encryption Scheme for Secure Computation
13:06 - 13:16
‹Programming› Student Research Competition
Indigenizing Computer Programming for Cultural Maintenance
13:16 - 13:25
‹Programming› Student Research Competition
Mining Concepts from Code using Community Detection
13:25 - 13:34
‹Programming› Student Research Competition
On the Semantics of Loop Transformation Languages
13:34 - 13:43
‹Programming› Student Research Competition
Sandboxed Execution of C and Other Unsafe Languages on the Java Virtual ...
13:43 - 13:53
‹Programming› Student Research Competition
Soundness and Completeness for Object Garbage Collection in the Pony La ...
13:53 - 14:02
‹Programming› Student Research Competition
The Extensible Compiler Architecture of ExtendJ
14:02 - 14:11
‹Programming› Student Research Competition
Towards an Intelligent Fault Prediction Code Editor to Improve Software ...
14:11 - 14:20
‹Programming› Student Research Competition
Writing Safe Smart Contracts in Flint
14:20 - 14:30
Bx
Towards a Visual Editor for Lens Combinators
14:30 - 15:00
Bx
Enhancing the JTL Tool for Bidirectional Transformations
15:00 - 15:30
Bx
Lightweight Data Sharing System based on Bidirectional Transformations
15:30 - 16:00
‹Programming› Posters
Programming virtual musical instruments and audio effects in the Web br ...
16:00 - 16:30
VisAST: Generic AST Visualizer for Software Language Education
16:00 - 16:30
Distributed Reactive Applications with ScalaLoci
16:00 - 16:30
Automating Testing of Programming Assignments
16:00 - 16:30
Runtime Verification of Flow-Based Programming for the Internet of Things
16:00 - 16:30
Fault-tolerant Reactive Programming
16:00 - 16:30
Software != Programs - Software Behaviour as an Emergent Property
16:00 - 16:30
Bx
An Axiomatic Basis for Bidirectional Programming
16:30 - 17:00
Bx
Profunctor Optics and the Yoneda Lemma
17:00 - 17:30
Bx
Towards sound, flexible and optimal build for megamodels
17:30 - 18:00
Bx
Closing
18:00 - 18:10
Wed 11 Apr
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
Room
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
Baie des Anges B
‹Programming› Posters
Programming virtual musical instruments and audio effects in the Web br ...
10:00 - 10:30
Fault-tolerant Reactive Programming
10:00 - 10:30
VisAST: Generic AST Visualizer for Software Language Education
10:00 - 10:30
Distributed Reactive Applications with ScalaLoci
10:00 - 10:30
Runtime Verification of Flow-Based Programming for the Internet of Things
10:00 - 10:30
Automating Testing of Programming Assignments
10:00 - 10:30
Software != Programs - Software Behaviour as an Emergent Property
10:00 - 10:30
‹Programming› Posters
Fault-tolerant Reactive Programming
15:00 - 15:30
Runtime Verification of Flow-Based Programming for the Internet of Things
15:00 - 15:30
VisAST: Generic AST Visualizer for Software Language Education
15:00 - 15:30
Automating Testing of Programming Assignments
15:00 - 15:30
Distributed Reactive Applications with ScalaLoci
15:00 - 15:30
Software != Programs - Software Behaviour as an Emergent Property
15:00 - 15:30
Programming virtual musical instruments and audio effects in the Web br ...
15:00 - 15:30
Thu 12 Apr
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
Room
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
Baie des Anges B
‹Programming› Posters
Fault-tolerant Reactive Programming
10:00 - 10:30
Runtime Verification of Flow-Based Programming for the Internet of Things
10:00 - 10:30
Automating Testing of Programming Assignments
10:00 - 10:30
Programming virtual musical instruments and audio effects in the Web br ...
10:00 - 10:30
VisAST: Generic AST Visualizer for Software Language Education
10:00 - 10:30
Distributed Reactive Applications with ScalaLoci
10:00 - 10:30
Software != Programs - Software Behaviour as an Emergent Property
10:00 - 10:30
‹Programming› Posters
Programming virtual musical instruments and audio effects in the Web br ...
15:00 - 15:30
Automating Testing of Programming Assignments
15:00 - 15:30
Distributed Reactive Applications with ScalaLoci
15:00 - 15:30
Software != Programs - Software Behaviour as an Emergent Property
15:00 - 15:30
Fault-tolerant Reactive Programming
15:00 - 15:30
Runtime Verification of Flow-Based Programming for the Internet of Things
15:00 - 15:30
VisAST: Generic AST Visualizer for Software Language Education
15:00 - 15:30
x
Fri 6 Dec 12:11