Bellini - ‹Programming› 2019

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

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

16:00 - 17:30	ProWeb Session 2ProWeb at Bellini

16:00 25m Research paper		Civic Participation Powered by Ethereum: a Proposal ProWeb Maura Cerioli , Marina Ribaudo
16:25 25m Talk		TryLinks: An interactive tutorial system for a cross-tier Web programming language ProWeb Junao Wu , Arek Mikolajczak , James Cheney University of Edinburgh, UK
16:50 30m Research paper		Web Security Training [at] UniGe: an Experience ProWeb Andrea Valenza

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 Antranig Basman
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 Steven Krouse
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 Luke Church , Antranig Basman
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 Luke Church

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

11:00 - 12:30	DemosDemos at Bellini

11:00 45m Talk		Another Decade of SOM Language Implementation: Virtual Machines for Research and Teaching Demos Stefan Marr University of Kent
11:45 45m Talk		LiveTyping in Action - Automatic Type Annotation for Dynamically Typed Languages Demos Hernan Wilkinson 10Pines

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


Room	14:00						30						15:00						30						16:00						30						17:00						30
Bellini	ProWeb ProWeb Session 1																								ProWeb ProWeb Session 2

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


Room	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
Bellini	Salon des Refusés Salon des Refusés - Morning session																								Salon des Refusés Salon des Refusés - Second session																																				Salon des Refusés Salon des Refusés - Third session																								Salon des Refusés Salon des Refusés Fourth session

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


Room	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
Bellini							Student Research Competition Oral Presentation																		Demos Demos																																	Demos Demos																											Demos Demos

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


Room	14:00			15			30			45			15:00			15			30			45			16:00			15			30			45			17:00			15			30			45
Bellini	ProWebProWeb Invited Talk How Artificial Intelligence Can Improve Web Development and Testing 14:00 - 14:40								ProWeb GUI Testing in Production: Challenges and Opportunities 14:40 - 15:05					ProWeb Orchestrated Crowdsourced Testing of a Mobile Web Application: A Case S ... 15:05 - 15:30											ProWeb Civic Participation Powered by Ethereum: a Proposal 16:00 - 16:25					ProWeb TryLinks: An interactive tutorial system for a cross-tier Web programmi ... 16:25 - 16:50					ProWeb Web Security Training [at] UniGe: an Experience 16:50 - 17:20

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


Room	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
Bellini	Salon des Refusés Welcome to Salon des Refusés 09:00 - 09:20				Salon des Refusés Let Them Fail: Towards VM built-in behaviour that falls back to the program 09:20 - 09:50						Salon des Refusés Critique presentation - Let Them Fail 09:50 - 10:10				Salon des Refusés Panel Discussion on the Boundaries of Computational Artifacts 10:10 - 10:30										Salon des Refusés Visual Denotative Programming 11:00 - 11:30						Salon des Refusés Critique presentation - Visual Denotative Programming 11:30 - 11:50				Salon des Refusés Panel Discussion on How to Use Formalisms in Programming 11:50 - 12:30																										Salon des Refusés Presentation and Panel Discussion - Minimal Viable Revolution 14:00 - 14:40								Salon des Refusés Why Can’t Programming Be Like Sketching? 14:40 - 15:10						Salon des Refusés Critique presentation - Why Can't Programming Be Like Sketching? 15:10 - 15:30										Salon des Refusés Computing beyond pencils 16:00 - 16:30						Salon des Refusés Critique presentation - Computing beyond pencils 16:30 - 16:50				Salon des Refusés Panel Discussion on Craft Values in Computing 16:50 - 17:30

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


Room	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
Bellini							‹Programming› Student Research Competition Cantor pairing in a reversible programming language (short presentation) 09:30 - 09:45			‹Programming› Student Research Competition Reading logic as code or as natural language text (short presentation) 09:45 - 10:00			‹Programming› Student Research Competition A framework for big-step semantics (short presentation) 10:00 - 10:15			‹Programming› Student Research Competition RML: Runtime monitoring language (short presentation) 10:15 - 10:30			‹Programming› Student Research Competition BacCaml: The Meta-Hybrid Just-In-Time Compiler (short presentation) 10:30 - 10:45			‹Programming› Student Research Competition Magritte: A modern shell language (short presentation) 10:45 - 11:00			‹Programming› Demos Another Decade of SOM Language Implementation: Virtual Machines for Res ... 11:00 - 11:45									‹Programming› Demos LiveTyping in Action - Automatic Type Annotation for Dynamically Typed ... 11:45 - 12:30																								‹Programming› Demos A Language-Parametric Toolchain for Mining Idiomatic Code Patterns 13:45 - 14:15						‹Programming› Demos Quickref: Auto-Documenting the Common Lisp Ecosystem 14:15 - 14:45						‹Programming› Demos Programming Experiences with a Live Programming Environment for Data St ... 14:45 - 15:30															‹Programming› Demos Developing Distributed Systems with ScalaLoci 16:00 - 16:30						‹Programming› Demos Static Verification of JavaScript: IDE Support for Debugging Verificati ... 16:30 - 17:00						‹Programming› Demos Tooling for live big data applications 17:00 - 17:30

Room information: Bellini

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

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

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

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

ProWeb

ProWeb

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

Salon des Refusés

Salon des Refusés

Salon des Refusés

Salon des Refusés

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

Student Research Competition

Demos

Demos

Demos

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

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

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

Tracks

Workshops

Co-hosted Coding Dojos

Co-hosted Symposia

Room information: Bellini

Program Display Configuration

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

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

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

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

ProWeb

ProWeb

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

Salon des Refusés

Salon des Refusés

Salon des Refusés

Salon des Refusés

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

Student Research Competition

Demos

Demos

Demos

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

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

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

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

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

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

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

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

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

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

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

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