Conference Opening (‹Programming› 2022 - Organizational) - ‹Programming› 2022

Mon 11 - Thu 14 April 2022

Who

Ademar Aguiar, Emma Söderberg, Guido Salvaneschi

Track

‹Programming› 2022

Time Zone

The program is currently displayed in (GMT+01:00) Lisbon.

Use conference time zone: (GMT+01:00) LisbonSelect 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

When

Wed 23 Mar 2022 08:45 - 09:00 at Auditorium Nobre - Conference Opening
Mon 11 Apr 2022 06:00 - 06:15 at Virtual Space - ‹Programming› Online Monday Chair(s): Jonathan Edwards

Ademar AguiarGeneral Chair

FEUP, Universidade do Porto

Portugal

Emma SöderbergAuthor

Lund University

Sweden

Guido SalvaneschiSteering Committee Chair

University of St. Gallen

Switzerland

Time Zone

The program is currently displayed in (GMT+01:00) Lisbon.

Use conference time zone: (GMT+01:00) LisbonSelect 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

Session Program

Wed 23 Mar
Displayed time zone: Lisbon change

	08:45 - 09:00	Conference Opening / Social Events / Research Papers at Auditorium Nobre

	08:45 15m Other		Conference Opening G: Ademar Aguiar FEUP, Universidade do Porto, A: Emma Söderberg Lund University, S: Guido Salvaneschi University of St. Gallen

Mon 11 Apr
Displayed time zone: Lisbon change

	06:00 - 09:00	‹Programming› Online Monday / Research Papers at Virtual Space Chair(s): Jonathan Edwards

	06:00 15m Other		Conference Opening G: Ademar Aguiar FEUP, Universidade do Porto, A: Emma Söderberg Lund University, S: Guido Salvaneschi University of St. Gallen
	06:15 25m Research paper		Type Checking Extracted MethodsVol. 6 Research Papers Yuquan FU , Sam Tobin-Hochstadt Indiana University Link to publication
	06:40 25m Research paper		Types for Tables: A Language Design BenchmarkEditors’ AwardVol. 6 Research Papers Kuang-Chen Lu Brown University, USA, Ben Greenman Brown University, Shriram Krishnamurthi Brown University, United States Link to publication
	07:05 25m Research paper		Continuation-Passing Style, Defunctionalization, Accumulations, and AssociativityReviewers’ AwardVol. 6 Research Papers Jeremy Gibbons Department of Computer Science, University of Oxford Link to publication
	07:30 25m Research paper		The Art of the Meta Stream Protocol: Torrents of StreamsVol. 6 Research Papers Christophe De Troyer Vrije Universiteit Brussel, Jens Nicolay Vrije Universiteit Brussel, Wolfgang De Meuter Vrije Universiteit Brussel Link to publication