CORA

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