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