Formalizing the Equivalence between Select-&-Merge and Conclaves-&-MLVs (CP 2026) - PLDI 2026

Mon 15 - Fri 19 June 2026 Boulder, Colorado, United States

Who

Mako P. Bates, Xueying Qin, Joseph P. Near, Marco Peressotti

Track

Time Zone

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

Use conference time zone: (GMT-06:00) Mountain 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 16 Jun 2026 14:30 - 14:55 at Trailhead - Choreographic Foundations Chair(s): Andrew K. Hirsch

Mako P. Bates

University of Vermont

United States

Xueying Qin

University of Southern Denmark

Denmark

Joseph P. Near

University of Vermont

United States

Marco Peressotti

University of Southern Denmark

Denmark

Time Zone

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

Use conference time zone: (GMT-06:00) Mountain 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 16 Jun
Displayed time zone: Mountain Time (US & Canada) change

	13:40 - 15:20	Choreographic FoundationsCP at Trailhead Chair(s): Andrew K. Hirsch University at Buffalo, SUNY

	13:40 25m Talk		Probabilistic Performance of Asynchronous Data-Flow Choreographies CP Mako P. Bates University of Vermont Pre-print
	14:05 25m Talk		Bushwhacking towards Event-Driven Chorex CP Ashton Wiersdorf University of Utah, Ben Greenman University of Utah
	14:30 25m Talk		Formalizing the Equivalence between Select-&-Merge and Conclaves-&-MLVs CP Mako P. Bates University of Vermont, Xueying Qin University of Southern Denmark, Joseph P. Near University of Vermont, Marco Peressotti University of Southern Denmark
	14:55 25m Talk		Parametric Choreographies for Distributed Programming CP John Liagouris , Ankush Das Boston University