‹Programming› 2018
Mon 9 - Thu 12 April 2018 Nice, France
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
Times are displayed in 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 ClarksonThe University of Manchester, Juan FumeroThe University of Manchester, Michalis PapadimitriouThe University of Manchester, Maria XekalakiThe University of Manchester, Christos KotselidisThe 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 NisbetThe University of Manchester, John MawerThe University of Manchester, Tim HartleyThe University of Manchester, Nikos FoutrisThe University of Manchester, Orion PapadakisThe University of Manchester, Andreas AndronikakisThe University of Manchester, Iain ApreoteseiThe University of Manchester, Mikel LujánUniversity of Manchester, Christos KotselidisThe 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 RosalesUniversity of Lugano, Switzerland, Filippo SchiavioUniversità della Svizzera italiana, Walter BinderUniversity of Lugano, Switzerland
File Attached
11:30
30m
Talk
Selfie: Towards Minimal Symbolic Execution
MoreVMs
Alireza S. AbyanehUniversity of Salzburg, Simon BauerUniversity of Salzburg, Christoph KirschUniversity of Salzburg, Philipp MayerUniversity of Salzburg, Christian MöslUniversity of Salzburg, Clément PonceletUniversity of Salzburg, Sara SeidlUniversity of Salzburg, Ana SokolovaUniversity of Salzburg, Manuel WidmoserUniversity of Salzburg
File Attached
12:00
30m
Talk
Self-hosted scripting in Guile
MoreVMs
Andy WingoIgalia, S.L.
Pre-print File Attached
12:30 - 14:30
12:30
2h
Poster
Software != Programs - Software Behaviour as an Emergent Property
Posters
Anna Maria EilertsenUniversity of Bergen, Norway, Anya Helene BaggeUniversity of Bergen
12:30
2h
Poster
VisAST: Generic AST Visualizer for Software Language Education
Posters
Ragnhild AalvikUniversity of Bergen, Anya Helene BaggeUniversity of Bergen, Jaakko JärviUniversity of Bergen
12:30
2h
Poster
Fault-tolerant Reactive Programming
Posters
Ragnar MogkTechnische Universität Darmstadt
12:30
2h
Poster
Programming virtual musical instruments and audio effects in the Web browser
Posters
Michel BuffaUniversité Côte d’Azur, CNRS, INRIA, Jérôme LebrunUniversité Côte d’Azur, CNRS, INRIA, Jari KleimolaAalto University, Oliver LarkinUniversity of York, UK, Stéphane Letz
12:30
2h
Poster
Runtime Verification of Flow-Based Programming for the Internet of Things
Posters
Davide AnconaUniversity of Genova, Luca FranceschiniDIBRIS, University of Genova, Italy, Maurizio LeottaDIBRIS, University of Genova, Italy, Diego ClerissiDIBRIS, University of Genova, Italy, Dario OlianasDIBRIS, University of Genova, Italy, Filippo RiccaDIBRIS, University of Genova, Italy, Giorgio DelzannoDIBRIS, University of Genova, Italy, Marina RibaudoDIBRIS, University of Genova, Italy
12:30
2h
Poster
Automating Testing of Programming Assignments
Posters
Knut Anders StokkeUniversity of Bergen, Norway, Anya Helene BaggeUniversity of Bergen, Håkon Heggernes LerringUniversity of Bergen, Norway
12:30
2h
Poster
Distributed Reactive Applications with ScalaLoci
Posters
Pascal WeisenburgerTechnische Universität Darmstadt
14:30 - 16:10
14:30
30m
Talk
Sulong, and Thanks for All the Fish
MoreVMs
Manuel RiggerJohannes Kepler University Linz, Roland SchatzJohannes Kepler University Linz, Jacob KreindlJohannes Kepler University Linz, Christian HäublOracle Labs, Hanspeter MössenböckJKU Linz, Austria
Pre-print Media Attached
15:00
30m
Talk
The inevitable death of VMs: a progress report
MoreVMs
Stephen KellUniversity 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
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

08:50 - 10:30
Model TransformationBx at Baie des Anges B
Chair(s): Jens WeberUniversity 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 JohnsonMacquarie University, Australia, Perdita StevensUniversity 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 AnjorinPaderborn University, Germany, Enes YigitbasUniversity of Paderborn, Germany, Hermann Kaindl, Roman PoppTU Wien, Vienna, Austria
11:00 - 12:30
Mathematical FoundationsBx at Baie des Anges B
Chair(s): Jeremy GibbonsDepartment of Computer Science, University of Oxford
11:00
30m
Full-paper
Cospans and Symmetric Lenses
Bx
Michael JohnsonMacquarie 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 HedgesUniversity of Oxford
12:30 - 14:30
SRC Poster PresentationStudent Research Competition at Baie des Anges B
Chair(s): Philipp HallerKTH 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 ReinHasso Plattner Institute
12:39
9m
Talk
DSL for End-user Service Composition
Student Research Competition
Alfred ÅkessonLund University, Sweden
12:48
9m
Talk
Debugging Support for Big Data Processing Applications
Student Research Competition
Matteo MarraVrije Universiteit Brussel
12:57
9m
Talk
Fine-grained, Dynamic Access Control for Database-backed Applications
Student Research Competition
Ezra ZigmondHarvard University
13:06
9m
Talk
Fully Homomorphic Encryption Scheme for Secure Computation
Student Research Competition
Alisa GazizullinaInnopolis University
13:16
9m
Talk
Indigenizing Computer Programming for Cultural Maintenance
Student Research Competition
13:25
9m
Talk
Mining Concepts from Code using Community Detection
Student Research Competition
Toni MattisHasso Plattner Institute
13:34
9m
Talk
On the Semantics of Loop Transformation Languages
Student Research Competition
Adilla SusungiMINES ParisTech, France
13:43
9m
Talk
Sandboxed Execution of C and Other Unsafe Languages on the Java Virtual Machine
Student Research Competition
Manuel RiggerJohannes Kepler University Linz
13:53
9m
Talk
Soundness and Completeness for Object Garbage Collection in the Pony Language
Student Research Competition
Daniel SlocombeImperial College London, UK
14:02
9m
Talk
The Extensible Compiler Architecture of ExtendJ
Student Research Competition
Jesper OqvistLund University
14:11
9m
Talk
Towards an Intelligent Fault Prediction Code Editor to Improve Software Quality using Deep Learning
Student Research Competition
Vasu JindalUniversity of Texas at Dallas
14:20
9m
Talk
Writing Safe Smart Contracts in Flint
Student Research Competition
Franklin SchransImperial College London
14:30 - 16:00
Tools and SystemsBx at Baie des Anges B
Chair(s): Perdita StevensUniversity of Edinburgh
14:30
30m
Short-paper
Towards a Visual Editor for Lens Combinators
Bx
Anthony AnjorinPaderborn University, Germany, Hsiang-Shang ‘Josh’ KoNational 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 HuNational Institute of Informatics, Pierre Yves SchobbensUniversity of Namur
16:00 - 16:30
16:00
30m
Poster
Programming virtual musical instruments and audio effects in the Web browser
Posters
Michel BuffaUniversité Côte d’Azur, CNRS, INRIA, Jérôme LebrunUniversité Côte d’Azur, CNRS, INRIA, Jari KleimolaAalto University, Oliver LarkinUniversity of York, UK, Stéphane Letz
16:00
30m
Poster
VisAST: Generic AST Visualizer for Software Language Education
Posters
Ragnhild AalvikUniversity of Bergen, Anya Helene BaggeUniversity of Bergen, Jaakko JärviUniversity of Bergen
16:00
30m
Poster
Distributed Reactive Applications with ScalaLoci
Posters
Pascal WeisenburgerTechnische Universität Darmstadt
16:00
30m
Poster
Automating Testing of Programming Assignments
Posters
Knut Anders StokkeUniversity of Bergen, Norway, Anya Helene BaggeUniversity of Bergen, Håkon Heggernes LerringUniversity of Bergen, Norway
16:00
30m
Poster
Runtime Verification of Flow-Based Programming for the Internet of Things
Posters
Davide AnconaUniversity of Genova, Luca FranceschiniDIBRIS, University of Genova, Italy, Maurizio LeottaDIBRIS, University of Genova, Italy, Diego ClerissiDIBRIS, University of Genova, Italy, Dario OlianasDIBRIS, University of Genova, Italy, Filippo RiccaDIBRIS, University of Genova, Italy, Giorgio DelzannoDIBRIS, University of Genova, Italy, Marina RibaudoDIBRIS, University of Genova, Italy
16:00
30m
Poster
Fault-tolerant Reactive Programming
Posters
Ragnar MogkTechnische Universität Darmstadt
16:00
30m
Poster
Software != Programs - Software Behaviour as an Emergent Property
Posters
Anna Maria EilertsenUniversity of Bergen, Norway, Anya Helene BaggeUniversity of Bergen
16:30 - 18:10
Programming and ApplicationsBx at Baie des Anges B
Chair(s): Kazutaka MatsudaTohoku University
16:30
30m
Talk
An Axiomatic Basis for Bidirectional Programming
Bx
Hsiang-Shang ‘Josh’ KoNational Institute of Informatics, Japan, Zhenjiang HuNational Institute of Informatics
Link to publication DOI
17:00
30m
Talk
Profunctor Optics and the Yoneda Lemma
Bx
Jeremy GibbonsDepartment of Computer Science, University of Oxford, Guillaume Boisseau
17:30
30m
Talk
Towards sound, flexible and optimal build for megamodels
Bx
Perdita StevensUniversity of Edinburgh
18:00
10m
Day closing
Closing
Bx

Wed 11 Apr
Times are displayed in 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
Posters
Michel BuffaUniversité Côte d’Azur, CNRS, INRIA, Jérôme LebrunUniversité Côte d’Azur, CNRS, INRIA, Jari KleimolaAalto University, Oliver LarkinUniversity of York, UK, Stéphane Letz
10:00
30m
Poster
Fault-tolerant Reactive Programming
Posters
Ragnar MogkTechnische Universität Darmstadt
10:00
30m
Poster
VisAST: Generic AST Visualizer for Software Language Education
Posters
Ragnhild AalvikUniversity of Bergen, Anya Helene BaggeUniversity of Bergen, Jaakko JärviUniversity of Bergen
10:00
30m
Poster
Distributed Reactive Applications with ScalaLoci
Posters
Pascal WeisenburgerTechnische Universität Darmstadt
10:00
30m
Poster
Runtime Verification of Flow-Based Programming for the Internet of Things
Posters
Davide AnconaUniversity of Genova, Luca FranceschiniDIBRIS, University of Genova, Italy, Maurizio LeottaDIBRIS, University of Genova, Italy, Diego ClerissiDIBRIS, University of Genova, Italy, Dario OlianasDIBRIS, University of Genova, Italy, Filippo RiccaDIBRIS, University of Genova, Italy, Giorgio DelzannoDIBRIS, University of Genova, Italy, Marina RibaudoDIBRIS, University of Genova, Italy
10:00
30m
Poster
Automating Testing of Programming Assignments
Posters
Knut Anders StokkeUniversity of Bergen, Norway, Anya Helene BaggeUniversity of Bergen, Håkon Heggernes LerringUniversity of Bergen, Norway
10:00
30m
Poster
Software != Programs - Software Behaviour as an Emergent Property
Posters
Anna Maria EilertsenUniversity of Bergen, Norway, Anya Helene BaggeUniversity of Bergen
15:00 - 15:30
15:00
30m
Poster
Fault-tolerant Reactive Programming
Posters
Ragnar MogkTechnische Universität Darmstadt
15:00
30m
Poster
Runtime Verification of Flow-Based Programming for the Internet of Things
Posters
Davide AnconaUniversity of Genova, Luca FranceschiniDIBRIS, University of Genova, Italy, Maurizio LeottaDIBRIS, University of Genova, Italy, Diego ClerissiDIBRIS, University of Genova, Italy, Dario OlianasDIBRIS, University of Genova, Italy, Filippo RiccaDIBRIS, University of Genova, Italy, Giorgio DelzannoDIBRIS, University of Genova, Italy, Marina RibaudoDIBRIS, University of Genova, Italy
15:00
30m
Poster
VisAST: Generic AST Visualizer for Software Language Education
Posters
Ragnhild AalvikUniversity of Bergen, Anya Helene BaggeUniversity of Bergen, Jaakko JärviUniversity of Bergen
15:00
30m
Poster
Automating Testing of Programming Assignments
Posters
Knut Anders StokkeUniversity of Bergen, Norway, Anya Helene BaggeUniversity of Bergen, Håkon Heggernes LerringUniversity of Bergen, Norway
15:00
30m
Poster
Distributed Reactive Applications with ScalaLoci
Posters
Pascal WeisenburgerTechnische Universität Darmstadt
15:00
30m
Poster
Software != Programs - Software Behaviour as an Emergent Property
Posters
Anna Maria EilertsenUniversity of Bergen, Norway, Anya Helene BaggeUniversity of Bergen
15:00
30m
Poster
Programming virtual musical instruments and audio effects in the Web browser
Posters
Michel BuffaUniversité Côte d’Azur, CNRS, INRIA, Jérôme LebrunUniversité Côte d’Azur, CNRS, INRIA, Jari KleimolaAalto University, Oliver LarkinUniversity of York, UK, Stéphane Letz

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

10:00 - 10:30
10:00
30m
Poster
Fault-tolerant Reactive Programming
Posters
Ragnar MogkTechnische Universität Darmstadt
10:00
30m
Poster
Runtime Verification of Flow-Based Programming for the Internet of Things
Posters
Davide AnconaUniversity of Genova, Luca FranceschiniDIBRIS, University of Genova, Italy, Maurizio LeottaDIBRIS, University of Genova, Italy, Diego ClerissiDIBRIS, University of Genova, Italy, Dario OlianasDIBRIS, University of Genova, Italy, Filippo RiccaDIBRIS, University of Genova, Italy, Giorgio DelzannoDIBRIS, University of Genova, Italy, Marina RibaudoDIBRIS, University of Genova, Italy
10:00
30m
Poster
Automating Testing of Programming Assignments
Posters
Knut Anders StokkeUniversity of Bergen, Norway, Anya Helene BaggeUniversity of Bergen, Håkon Heggernes LerringUniversity of Bergen, Norway
10:00
30m
Poster
Programming virtual musical instruments and audio effects in the Web browser
Posters
Michel BuffaUniversité Côte d’Azur, CNRS, INRIA, Jérôme LebrunUniversité Côte d’Azur, CNRS, INRIA, Jari KleimolaAalto University, Oliver LarkinUniversity of York, UK, Stéphane Letz
10:00
30m
Poster
VisAST: Generic AST Visualizer for Software Language Education
Posters
Ragnhild AalvikUniversity of Bergen, Anya Helene BaggeUniversity of Bergen, Jaakko JärviUniversity of Bergen
10:00
30m
Poster
Distributed Reactive Applications with ScalaLoci
Posters
Pascal WeisenburgerTechnische Universität Darmstadt
10:00
30m
Poster
Software != Programs - Software Behaviour as an Emergent Property
Posters
Anna Maria EilertsenUniversity of Bergen, Norway, Anya Helene BaggeUniversity of Bergen
15:00 - 15:30
15:00
30m
Poster
Programming virtual musical instruments and audio effects in the Web browser
Posters
Michel BuffaUniversité Côte d’Azur, CNRS, INRIA, Jérôme LebrunUniversité Côte d’Azur, CNRS, INRIA, Jari KleimolaAalto University, Oliver LarkinUniversity of York, UK, Stéphane Letz
15:00
30m
Poster
Automating Testing of Programming Assignments
Posters
Knut Anders StokkeUniversity of Bergen, Norway, Anya Helene BaggeUniversity of Bergen, Håkon Heggernes LerringUniversity of Bergen, Norway
15:00
30m
Poster
Distributed Reactive Applications with ScalaLoci
Posters
Pascal WeisenburgerTechnische Universität Darmstadt
15:00
30m
Poster
Software != Programs - Software Behaviour as an Emergent Property
Posters
Anna Maria EilertsenUniversity of Bergen, Norway, Anya Helene BaggeUniversity of Bergen
15:00
30m
Poster
Fault-tolerant Reactive Programming
Posters
Ragnar MogkTechnische Universität Darmstadt
15:00
30m
Poster
Runtime Verification of Flow-Based Programming for the Internet of Things
Posters
Davide AnconaUniversity of Genova, Luca FranceschiniDIBRIS, University of Genova, Italy, Maurizio LeottaDIBRIS, University of Genova, Italy, Diego ClerissiDIBRIS, University of Genova, Italy, Dario OlianasDIBRIS, University of Genova, Italy, Filippo RiccaDIBRIS, University of Genova, Italy, Giorgio DelzannoDIBRIS, University of Genova, Italy, Marina RibaudoDIBRIS, University of Genova, Italy
15:00
30m
Poster
VisAST: Generic AST Visualizer for Software Language Education
Posters
Ragnhild AalvikUniversity of Bergen, Anya Helene BaggeUniversity of Bergen, Jaakko JärviUniversity of Bergen

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

Room8:00309:003010:003011:003012:003013:003014:003015:003016:0030
Baie des Anges B

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

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

Room10:003011:003012:003013:003014:003015:0030
Baie des Anges B

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

Room10:003011:003012:003013:003014:003015:0030
Baie des Anges B

Tue 10 Apr
Times are displayed in 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