‹Programming› 2019
Mon 1 - Thu 4 April 2019 Genoa, Italy
VenueHotel Bristol Palace
Room nameBellini
Floor1
Capacity40
Room Information

The Bellini room can accommodate up to 40 people, illuminated by natural light, is ideal for organizing business meetings, internal meetings, conferences and training days for its staff.

Program

You're viewing the program in a time zone which is different from your device's time zone change time zone

Mon 1 Apr

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

14:00 - 15:30
ProWeb Session 1ProWeb at Bellini
14:00
40m
Talk
How Artificial Intelligence Can Improve Web Development and TestingProWeb Invited Talk
ProWeb
Andrea Stocco Università della Svizzera italiana (USI)
14:40
25m
Research paper
GUI Testing in Production: Challenges and Opportunities
ProWeb
Giovanni Denaro University of Milano-Bicocca, Italy, Luca Guglielmo , Leonardo Mariani University of Milano Bicocca, Oliviero Riganelli
15:05
25m
Research paper
Orchestrated Crowdsourced Testing of a Mobile Web Application: A Case Study
ProWeb
Maurizio Leotta DIBRIS, University of Genova, Italy, Vincenzo Petito , Luca Gelati , Giorgio Delzanno DIBRIS, University of Genova, Giovanna Guerrini , Viviana Mascardi DIBRIS, University of Genova, Italy

Tue 2 Apr

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

09:00 - 10:30
Salon des Refusés - Morning sessionSalon des Refusés at Bellini
Chair(s): Luke Church , Philip Tchernavskij Ex Situ | Université Paris-Sud
09:00
20m
Day opening
Welcome to Salon des Refusés
Salon des Refusés
Philip Tchernavskij Ex Situ | Université Paris-Sud
09:20
30m
Talk
Let Them Fail: Towards VM built-in behaviour that falls back to the program
Salon des Refusés
Tobias Pape Hasso Plattner Institute, Germany, Tim Felgentreff Oracle Labs, Potsdam, Fabio Niephaus Hasso Plattner Institute, University of Potsdam, Robert Hirschfeld Hasso-Plattner-Institut (HPI), Germany
09:50
20m
Talk
Critique presentation - Let Them Fail
Salon des Refusés
10:10
20m
Talk
Panel Discussion on the Boundaries of Computational Artifacts
Salon des Refusés

11:00 - 12:30
Salon des Refusés - Second sessionSalon des Refusés at Bellini
11:00
30m
Talk
Visual Denotative Programming
Salon des Refusés
11:30
20m
Talk
Critique presentation - Visual Denotative Programming
Salon des Refusés
Tomas Petricek University of Kent, Philip Tchernavskij Ex Situ | Université Paris-Sud
11:50
40m
Other
Panel Discussion on How to Use Formalisms in Programming
Salon des Refusés

14:00 - 15:30
Salon des Refusés - Third sessionSalon des Refusés at Bellini
14:00
40m
Talk
Presentation and Panel Discussion - Minimal Viable Revolution
Salon des Refusés
14:40
30m
Talk
Why Can’t Programming Be Like Sketching?
Salon des Refusés
Clayton Lewis University of Colorado Boulder
15:10
20m
Talk
Critique presentation - Why Can't Programming Be Like Sketching?
Salon des Refusés
16:00 - 17:30
Salon des Refusés Fourth sessionSalon des Refusés at Bellini
16:00
30m
Talk
Computing beyond pencils
Salon des Refusés
Mariana Marasoiu University of Cambridge, Luke Church
16:30
20m
Talk
Critique presentation - Computing beyond pencils
Salon des Refusés
Clayton Lewis University of Colorado Boulder
16:50
40m
Day closing
Panel Discussion on Craft Values in Computing
Salon des Refusés

Wed 3 Apr

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

09:30 - 11:00
Oral PresentationStudent Research Competition at Bellini
Chair(s): Philipp Haller KTH Royal Institute of Technology, Sweden
09:30
15m
Talk
Cantor pairing in a reversible programming language (short presentation)
Student Research Competition
Francesco Rossini University of Turin, Italy
09:45
15m
Talk
Reading logic as code or as natural language text (short presentation)
Student Research Competition
Patrick Rein Hasso Plattner Institute, Germany
10:00
15m
Talk
A framework for big-step semantics (short presentation)
Student Research Competition
Francesco Dagnino DIBRIS, University of Genova, Italy
10:15
15m
Talk
RML: Runtime monitoring language (short presentation)
Student Research Competition
Luca Franceschini DIBRIS, University of Genova, Italy
10:30
15m
Talk
BacCaml: The Meta-Hybrid Just-In-Time Compiler (short presentation)
Student Research Competition
Yusuke Izawa Tokyo Institute of Technology
10:45
15m
Talk
Magritte: A modern shell language (short presentation)
Student Research Competition
Jeanine Miller Adkisson Tokyo Institute of Technology
13:45 - 15:30
DemosDemos at Bellini
13:45
30m
Talk
A Language-Parametric Toolchain for Mining Idiomatic Code Patterns
Demos
Johan Fabry Raincode Labs, Belgium, Vadim Zaytsev Raincode Labs, Belgium, Kim Mens Université Catholique de Louvain, Belgium, Siegfried Nijssen UC Louvain, Hoang Son Pham UC Louvain, Coen De Roover Vrije Universiteit Brussel, Dario Di Nucci Vrije Universiteit Brussel, Tim Molderez Vrije Universiteit Brussel
14:15
30m
Talk
Quickref: Auto-Documenting the Common Lisp Ecosystem
Demos
Didier Verna EPITA / LRDE
14:45
45m
Talk
Programming Experiences with a Live Programming Environment for Data Structures
Demos
Hidehiko Masuhara Tokyo Institute of Technology, Akio Oka Tokyo Institute of Technology, Tomoki Ogushi Tokyo Tech
16:00 - 17:30
DemosDemos at Bellini
16:00
30m
Talk
Developing Distributed Systems with ScalaLoci
Demos
Pascal Weisenburger Technische Universität Darmstadt
16:30
30m
Talk
Static Verification of JavaScript: IDE Support for Debugging Verification Issues
Demos
Christopher Schuster University of California, Santa Cruz, Cormac Flanagan University of California, Santa Cruz
17:00
30m
Talk
Tooling for live big data applications
Demos
Matteo Marra Vrije Universiteit Brussel

Mon 1 Apr

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

Wed 3 Apr

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

Room9:003010:003011:003012:003013:003014:003015:003016:003017:0030
Bellini

Wed 3 Apr

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

Room9:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:00153045
Bellini