Closing Remarks & Business Meeting (Commute - Commutativity Reasoning and Applications) - PLDI 2022

Mon 13 - Fri 17 June 2022 San Diego, California, United States

Who

Eric Koskinen, Azadeh Farzan, Constantin Enea

Track

Time Zone

The program is currently displayed in (GMT-07:00) Pacific Time (US & Canada).

Use conference time zone: (GMT-07:00) Pacific Time (US & Canada)Select 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

Tue 14 Jun 2022 16:50 - 17:00 at Cockatoo - Tuesday Evening

Eric Koskinen

Stevens Institute of Technology

United States

Azadeh Farzan

University of Toronto

Canada

Constantin Enea

Ecole Polytechnique / LIX / CNRS

France

Time Zone

The program is currently displayed in (GMT-07:00) Pacific Time (US & Canada).

Use conference time zone: (GMT-07:00) Pacific Time (US & Canada)Select 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

Tue 14 Jun
Displayed time zone: Pacific Time (US & Canada) change

	15:30 - 17:00	Tuesday EveningCommute at Cockatoo

	15:30 30m Talk		Testing Distributed Protocols using Communication Closure Commute Constantin Enea Ecole Polytechnique / LIX / CNRS
	16:00 10m Live Q&A		Discussion Commute
	16:10 30m Talk		Pretend synchrony: synchronous verification of asynchronous distributed programs Commute Klaus v. Gleissenthall Vrije Universiteit Amsterdam, Netherlands
	16:40 10m Live Q&A		Discussion Commute
	16:50 10m Day closing		Closing Remarks & Business Meeting Commute Eric Koskinen Stevens Institute of Technology, Azadeh Farzan University of Toronto, Constantin Enea Ecole Polytechnique / LIX / CNRS