‹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
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

14:00 - 15:30: ProWeb Session 1ProWeb at Bellini
14:00 - 14:40
Talk
How Artificial Intelligence Can Improve Web Development and TestingProWeb Invited Talk
ProWeb
Andrea StoccoUniversità della Svizzera italiana (USI)
14:40 - 15:05
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 - 15:30
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

Tue 2 Apr
Times are displayed in 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 - 09:20
Day opening
Welcome to Salon des Refusés
Salon des Refusés
Philip TchernavskijEx Situ | Université Paris-Sud
09:20 - 09:50
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 - 10:10
Talk
Critique presentation - Let Them Fail
Salon des Refusés
10:10 - 10:30
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 - 11:30
Talk
Visual Denotative Programming
Salon des Refusés
11:30 - 11:50
Talk
Critique presentation - Visual Denotative Programming
Salon des Refusés
Tomas PetricekUniversity of Kent, Philip TchernavskijEx Situ | Université Paris-Sud
11:50 - 12:30
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 - 14:40
Talk
Presentation and Panel Discussion - Minimal Viable Revolution
Salon des Refusés
14:40 - 15:10
Talk
Why Can’t Programming Be Like Sketching?
Salon des Refusés
Clayton LewisUniversity of Colorado Boulder
15:10 - 15:30
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 - 16:30
Talk
Computing beyond pencils
Salon des Refusés
Mariana MarasoiuUniversity of Cambridge, Luke Church
16:30 - 16:50
Talk
Critique presentation - Computing beyond pencils
Salon des Refusés
Clayton LewisUniversity of Colorado Boulder
16:50 - 17:30
Day closing
Panel Discussion on Craft Values in Computing
Salon des Refusés

Wed 3 Apr
Times are displayed in 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 - 09:45
Talk
Cantor pairing in a reversible programming language (short presentation)
Student Research Competition
Francesco RossiniUniversity of Turin, Italy
09:45 - 10:00
Talk
Reading logic as code or as natural language text (short presentation)
Student Research Competition
Patrick ReinHasso Plattner Institute, Germany
10:00 - 10:15
Talk
A framework for big-step semantics (short presentation)
Student Research Competition
Francesco DagninoDIBRIS, University of Genova, Italy
10:15 - 10:30
Talk
RML: Runtime monitoring language (short presentation)
Student Research Competition
Luca FranceschiniDIBRIS, University of Genova, Italy
10:30 - 10:45
Talk
BacCaml: The Meta-Hybrid Just-In-Time Compiler (short presentation)
Student Research Competition
Yusuke IzawaTokyo Institute of Technology
10:45 - 11:00
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 - 14:15
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 - 14:45
Talk
Quickref: Auto-Documenting the Common Lisp Ecosystem
Demos
Didier VernaEPITA / LRDE
14:45 - 15:30
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 - 16:30
Talk
Developing Distributed Systems with ScalaLoci
Demos
Pascal WeisenburgerTechnische Universität Darmstadt
16:30 - 17:00
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 - 17:30
Talk
Tooling for live big data applications
Demos
Matteo MarraVrije Universiteit Brussel

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

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

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

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

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

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