VenueBoscolo B4 Plaza, Nice
Room nameBaie des Anges B
Floor0
Capacity150
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

Mon 9 Apr

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

08:50 - 10:30
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
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
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
12:30
2h
Poster
Software != Programs - Software Behaviour as an Emergent Property
‹Programming› 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
‹Programming› 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
‹Programming› Posters
Ragnar Mogk Technische Universität Darmstadt
12:30
2h
Poster
Programming virtual musical instruments and audio effects in the Web browser
‹Programming› 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
‹Programming› 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
‹Programming› 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
‹Programming› Posters
Pascal Weisenburger Technische Universität Darmstadt
14:30 - 16:10
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 TransformationBx 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
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 FoundationsBx 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
12:00
30m
Talk
Bimorphic lenses in compositional game theory
Bx
Jules Hedges University of Oxford
12:30 - 14:30
SRC Poster Presentation‹Programming› 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
‹Programming› Student Research Competition
Patrick Rein Hasso Plattner Institute
12:39
9m
Talk
DSL for End-user Service Composition
‹Programming› Student Research Competition
Alfred Åkesson Lund University, Sweden
12:48
9m
Talk
Debugging Support for Big Data Processing Applications
‹Programming› Student Research Competition
Matteo Marra Vrije Universiteit Brussel
12:57
9m
Talk
Fine-grained, Dynamic Access Control for Database-backed Applications
‹Programming› Student Research Competition
Ezra Zigmond Harvard University
13:06
9m
Talk
Fully Homomorphic Encryption Scheme for Secure Computation
‹Programming› Student Research Competition
Alisa Gazizullina Innopolis University
13:16
9m
Talk
Indigenizing Computer Programming for Cultural Maintenance
‹Programming› Student Research Competition
13:25
9m
Talk
Mining Concepts from Code using Community Detection
‹Programming› Student Research Competition
Toni Mattis Hasso Plattner Institute
13:34
9m
Talk
On the Semantics of Loop Transformation Languages
‹Programming› 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
‹Programming› Student Research Competition
Manuel Rigger Johannes Kepler University Linz
13:53
9m
Talk
Soundness and Completeness for Object Garbage Collection in the Pony Language
‹Programming› Student Research Competition
Daniel Slocombe Imperial College London, UK
14:02
9m
Talk
The Extensible Compiler Architecture of ExtendJ
‹Programming› 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
‹Programming› Student Research Competition
Vasu Jindal University of Texas at Dallas
14:20
9m
Talk
Writing Safe Smart Contracts in Flint
‹Programming› Student Research Competition
Franklin Schrans Imperial College London
14:30 - 16:00
Tools and SystemsBx 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
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
16:00
30m
Poster
Programming virtual musical instruments and audio effects in the Web browser
‹Programming› 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
‹Programming› 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
‹Programming› Posters
Pascal Weisenburger Technische Universität Darmstadt
16:00
30m
Poster
Automating Testing of Programming Assignments
‹Programming› 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
‹Programming› 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
‹Programming› Posters
Ragnar Mogk Technische Universität Darmstadt
16:00
30m
Poster
Software != Programs - Software Behaviour as an Emergent Property
‹Programming› Posters
Anna Maria Eilertsen University of Bergen, Norway, Anya Helene Bagge University of Bergen
16:30 - 18:10
Programming and ApplicationsBx 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
10:00
30m
Poster
Programming virtual musical instruments and audio effects in the Web browser
‹Programming› 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
‹Programming› Posters
Ragnar Mogk Technische Universität Darmstadt
10:00
30m
Poster
VisAST: Generic AST Visualizer for Software Language Education
‹Programming› 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
‹Programming› Posters
Pascal Weisenburger Technische Universität Darmstadt
10:00
30m
Poster
Runtime Verification of Flow-Based Programming for the Internet of Things
‹Programming› 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
‹Programming› 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
‹Programming› Posters
Anna Maria Eilertsen University of Bergen, Norway, Anya Helene Bagge University of Bergen
15:00 - 15:30
15:00
30m
Poster
Fault-tolerant Reactive Programming
‹Programming› Posters
Ragnar Mogk Technische Universität Darmstadt
15:00
30m
Poster
Runtime Verification of Flow-Based Programming for the Internet of Things
‹Programming› 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
‹Programming› 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
‹Programming› 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
‹Programming› Posters
Pascal Weisenburger Technische Universität Darmstadt
15:00
30m
Poster
Software != Programs - Software Behaviour as an Emergent Property
‹Programming› 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
‹Programming› 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
10:00
30m
Poster
Fault-tolerant Reactive Programming
‹Programming› Posters
Ragnar Mogk Technische Universität Darmstadt
10:00
30m
Poster
Runtime Verification of Flow-Based Programming for the Internet of Things
‹Programming› 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
‹Programming› 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
‹Programming› 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
‹Programming› 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
‹Programming› Posters
Pascal Weisenburger Technische Universität Darmstadt
10:00
30m
Poster
Software != Programs - Software Behaviour as an Emergent Property
‹Programming› Posters
Anna Maria Eilertsen University of Bergen, Norway, Anya Helene Bagge University of Bergen
15:00 - 15:30
15:00
30m
Poster
Programming virtual musical instruments and audio effects in the Web browser
‹Programming› 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
‹Programming› 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
‹Programming› Posters
Pascal Weisenburger Technische Universität Darmstadt
15:00
30m
Poster
Software != Programs - Software Behaviour as an Emergent Property
‹Programming› Posters
Anna Maria Eilertsen University of Bergen, Norway, Anya Helene Bagge University of Bergen
15:00
30m
Poster
Fault-tolerant Reactive Programming
‹Programming› Posters
Ragnar Mogk Technische Universität Darmstadt
15:00
30m
Poster
Runtime Verification of Flow-Based Programming for the Internet of Things
‹Programming› 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
‹Programming› 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

Tue 10 Apr

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Wed 11 Apr

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Thu 12 Apr

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Tue 10 Apr

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Room8:001530459:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:0015304518:00153045
Baie des Anges B
Bx
Opening
08:50 - 09:00
Bx
Closing
18:00 - 18:10