‹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

Conference Day
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 StoccoUniversità della Svizzera italiana (USI)
14:40
25m
Research paper
GUI Testing in Production: Challenges and Opportunities
ProWeb
Giovanni DenaroUniversity of Milano-Bicocca, Italy, Luca Guglielmo, Leonardo MarianiUniversity of Milano Bicocca, Oliviero Riganelli
15:05
25m
Research paper
Orchestrated Crowdsourced Testing of a Mobile Web Application: A Case Study
ProWeb
Maurizio LeottaDIBRIS, University of Genova, Italy, Vincenzo Petito, Luca Gelati, Giorgio DelzannoDIBRIS, University of Genova, Giovanna Guerrini, Viviana MascardiDIBRIS, University of Genova, Italy

Conference Day
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 TchernavskijEx Situ | Université Paris-Sud
09:00
20m
Day opening
Welcome to Salon des Refusés
Salon des Refusés
Philip TchernavskijEx 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 PapeHasso Plattner Institute, Germany, Tim FelgentreffOracle Labs, Potsdam, Fabio NiephausHasso Plattner Institute, University of Potsdam, Robert HirschfeldHasso-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 PetricekUniversity of Kent, Philip TchernavskijEx 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 LewisUniversity 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 MarasoiuUniversity of Cambridge, Luke Church
16:30
20m
Talk
Critique presentation - Computing beyond pencils
Salon des Refusés
Clayton LewisUniversity of Colorado Boulder
16:50
40m
Day closing
Panel Discussion on Craft Values in Computing
Salon des Refusés

Conference Day
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 HallerKTH Royal Institute of Technology, Sweden
09:30
15m
Talk
Cantor pairing in a reversible programming language (short presentation)
Student Research Competition
Francesco RossiniUniversity of Turin, Italy
09:45
15m
Talk
Reading logic as code or as natural language text (short presentation)
Student Research Competition
Patrick ReinHasso Plattner Institute, Germany
10:00
15m
Talk
A framework for big-step semantics (short presentation)
Student Research Competition
Francesco DagninoDIBRIS, University of Genova, Italy
10:15
15m
Talk
RML: Runtime monitoring language (short presentation)
Student Research Competition
Luca FranceschiniDIBRIS, University of Genova, Italy
10:30
15m
Talk
BacCaml: The Meta-Hybrid Just-In-Time Compiler (short presentation)
Student Research Competition
Yusuke IzawaTokyo Institute of Technology
10:45
15m
Talk
Magritte: A modern shell language (short presentation)
Student Research Competition
Jeanine Miller AdkissonTokyo 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 FabryRaincode Labs, Belgium, Vadim ZaytsevRaincode Labs, Belgium, Kim MensUniversité Catholique de Louvain, Belgium, Siegfried Nijssen UC Louvain, Hoang Son PhamUC Louvain, Coen De RooverVrije Universiteit Brussel, Dario Di NucciVrije Universiteit Brussel, Tim MolderezVrije Universiteit Brussel
14:15
30m
Talk
Quickref: Auto-Documenting the Common Lisp Ecosystem
Demos
Didier VernaEPITA / LRDE
14:45
45m
Talk
Programming Experiences with a Live Programming Environment for Data Structures
Demos
Hidehiko MasuharaTokyo Institute of Technology, Akio OkaTokyo Institute of Technology, Tomoki OgushiTokyo Tech
16:00 - 17:30
DemosDemos at Bellini
16:00
30m
Talk
Developing Distributed Systems with ScalaLoci
Demos
Pascal WeisenburgerTechnische Universität Darmstadt
16:30
30m
Talk
Static Verification of JavaScript: IDE Support for Debugging Verification Issues
Demos
Christopher SchusterUniversity of California, Santa Cruz, Cormac FlanaganUniversity of California, Santa Cruz
17:00
30m
Talk
Tooling for live big data applications
Demos
Matteo MarraVrije Universiteit Brussel

Conference Day
Mon 1 Apr

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

Conference Day
Tue 2 Apr

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

Conference Day
Wed 3 Apr

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

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

Conference Day
Wed 3 Apr

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

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