Commute
Mon 13 - Tue 14 June 2022 San Diego, California, United States
co-located with PLDI 2022
All Editions
Mon 13 - Tue 14 June 2022 San Diego, California, United States

Commute with PLDI 2022

This is the first instance of the Commutativity Reasoning & Applications workshop (Commute 2022). Commutativity Reasoning is becoming increasingly common and appears in many contexts. Commutativity is used in the design of systems, in the design of data structures, in proof methodologies, in parallel execution schemes, etc. The goal of this workshop is to bring together researchers that are working in a vari ...