‹Programming› 2018
Mon 9 - Thu 12 April 2018 Nice, France

Posters

Title
Automating Testing of Programming Assignments
Posters
Distributed Reactive Applications with ScalaLoci
Posters
Fault-tolerant Reactive Programming
Posters
Programming virtual musical instruments and audio effects in the Web browser
Posters
Runtime Verification of Flow-Based Programming for the Internet of Things
Posters
Software != Programs - Software Behaviour as an Emergent Property
Posters
VisAST: Generic AST Visualizer for Software Language Education
Posters

Call for Posters

Posters are an integral part of ‹Programming›. We are soliciting quality contributions for the regular Poster Session of ‹Programming› (submissions due March 4th). The Poster Session aims at showcasing very recent or ongoing work, clarifying problem statements, vetting solutions, or identifying evaluation methods in an interactive way. It will offer an excellent opportunity for authors to receive feedback from the ‹Programming› community and encourage one-to-one and small group discussions on a technical topic. Students are especially encouraged to submit their ongoing work and to introduce it to peer researchers. Accepted poster abstracts will be made available on the conference Web site.

The ‹Programming› Posters track will take place on Tuesday, April 10th and will be organized jointly with the ACM Student Research Competition Poster track, thus fostering interactions between all presenters and attendees. Poster author(s) are required to attend the scheduled poster session, so that they can discuss their work with conference attendees.

Poster Submission Guidelines

Posters will be evaluated based on their contribution and relevance to ‹Programming›. Poster submissions should be sent to Yves.Roudier@i3s.unice.fr as a 1-2 page extended abstract in PDF format. This document should contain:

  • the poster title;
  • names and affiliations of the authors (one of whom should be named as a contact person);
  • motivation and the addressed problem, proposed solution, and/or novel contributions of the proposal.

Dates
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

12:30 - 14:30
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

Tue 10 Apr

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

16:00 - 16:30
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

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
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
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
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
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