Baie des Anges B

VenueBoscolo B4 Plaza, Nice

Room nameBaie des Anges B

Floor0

Capacity150

Room InformationNo extra information available

Program

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, ViennaSelect other time zone

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 programSpecify 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 1MoreVMs 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 2MoreVMs 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‹Programming› Posters at Baie des Anges B

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 Université Côte d’Azur, CNRS, INRIA, Jérôme Lebrun Université Cô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, Hå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	MoreVMs 3MoreVMs 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 TransformationBx 2018 at Baie des Anges B Chair(s): Jens Weber University of Victoria

08:50 10m Day opening		Opening Bx 2018
09:00 30m Full-paper		Confidentiality in the process of (model-driven) software development Bx 2018 Michael Johnson Macquarie University, Australia, Perdita Stevens University of Edinburgh File Attached
09:30 30m Full-paper		Multimodel Correspondence through Inter-Model Constraints Bx 2018 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 2018 Anthony Anjorin , Enes Yigitbas University of Paderborn, Germany, Hermann Kaindl , Roman Popp TU Wien, Vienna, Austria

11:00 - 12:30	Mathematical FoundationsBx 2018 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 2018 Michael Johnson Macquarie University, Australia, Robert Rosebrugh
11:30 30m Short-paper		Understanding Profunctor Optics: a representation theorem Bx 2018 Guillaume Boisseau
12:00 30m Talk		Bimorphic lenses in compositional game theory Bx 2018 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 Jon Corbett
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 2018 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 2018 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 2018 Romina Eramo University of L'Aquila, Alfonso Pierantonio , Michele Tucci
15:30 30m Full-paper		Lightweight Data Sharing System based on Bidirectional Transformations Bx 2018 Adrien Duchêne , Hugues Marchal , Zhenjiang Hu National Institute of Informatics, Pierre Yves Schobbens University of Namur

16:00 - 16:30	Posters‹Programming› Posters at Baie des Anges B

16:00 30m Poster		Programming virtual musical instruments and audio effects in the Web browser ‹Programming› Posters Michel Buffa Université Côte d’Azur, CNRS, INRIA, Jérôme Lebrun Université Cô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, Hå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 2018 at Baie des Anges B Chair(s): Kazutaka Matsuda Tohoku University

16:30 30m Talk		An Axiomatic Basis for Bidirectional Programming Bx 2018 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 2018 Jeremy Gibbons Department of Computer Science, University of Oxford, Guillaume Boisseau
17:30 30m Talk		Towards sound, flexible and optimal build for megamodels Bx 2018 Perdita Stevens University of Edinburgh
18:00 10m Day closing		Closing Bx 2018

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

10:00 - 10:30	Posters‹Programming› Posters at Baie des Anges B

10:00 30m Poster		Programming virtual musical instruments and audio effects in the Web browser ‹Programming› Posters Michel Buffa Université Côte d’Azur, CNRS, INRIA, Jérôme Lebrun Université Cô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, Hå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	Posters‹Programming› Posters at Baie des Anges B

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, Hå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 Université Côte d’Azur, CNRS, INRIA, Jérôme Lebrun Université Cô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‹Programming› Posters at Baie des Anges B

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, Hå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 Université Côte d’Azur, CNRS, INRIA, Jérôme Lebrun Université Cô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	Posters‹Programming› Posters at Baie des Anges B

15:00 30m Poster		Programming virtual musical instruments and audio effects in the Web browser ‹Programming› Posters Michel Buffa Université Côte d’Azur, CNRS, INRIA, Jérôme Lebrun Université Cô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, Hå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


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																		‹Programming› 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 2018 Model Transformation																										Bx 2018 Mathematical Foundations																		‹Programming› Student Research Competition SRC Poster Presentation																								Bx 2018 Tools and Systems																		‹Programming› Posters Posters						Bx 2018 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	‹Programming› Posters Posters																																																												‹Programming› 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	‹Programming› Posters Posters																																																												‹Programming› 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

Room information: Baie des Anges B

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

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

MoreVMs

MoreVMs

‹Programming› Posters

MoreVMs

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

Bx 2018

Bx 2018

‹Programming› Student Research Competition

Bx 2018

‹Programming› Posters

Bx 2018

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

‹Programming› Posters

‹Programming› Posters

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

‹Programming› Posters

‹Programming› Posters

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

Tracks

Room information: Baie des Anges B

Program Display Configuration

Mon 9 AprDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Tue 10 AprDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Wed 11 AprDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Thu 12 AprDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Mon 9 AprDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

MoreVMs

MoreVMs

‹Programming› Posters

MoreVMs

Tue 10 AprDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Bx 2018

Bx 2018

‹Programming› Student Research Competition

Bx 2018

‹Programming› Posters

Bx 2018

Wed 11 AprDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

‹Programming› Posters

‹Programming› Posters

Thu 12 AprDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

‹Programming› Posters

‹Programming› Posters

Mon 9 AprDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Tue 10 AprDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Wed 11 AprDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Thu 12 AprDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

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

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

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