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 variety of areas, with a common need for commutativity, to share ideas and goals. We aim to include researchers who work on commutativity in many contexts: compilers, program logics, automata, concurrency, distributed systems/CRDTs, ML applications, etc.

The workshop will be held on Monday June 13th and Tuesday June 14th.

Confirmed Talks (as of 13 May)

Speaker Title
Suresh Jagannathan Mergeable Replicated Datatypes
Ori Lahav Abstraction for Crash-Resilient Objects
Mohsen Lesani Commutativity reasoning for automated distributed coordination
Umang Mathur Weakening Mazurkiewicz Traces
Jens Palsberg Commutativity in quantum computing
Andreas Pavlogiannis A Tree Clock Data Structure for Causal Orderings in Concurrent Executions
Shaz Qadeer Commutativity Reasoning in the Civl Verifier
Martin Rinard Commutativity and Approximate Computing
Ilya Sergey Practical Smart Contract Sharding with Commutativity Analysis
Eric, Azadeh, Constantin (time permitting)

Accepted Papers

Title
A Tree Clock Data Structure for Causal Orderings in Concurrent Executions
Commute
Commutativity and Approximate Computing
Commute
Commutativity condition synthesis and language support for commute blocks
Commute
Commutativity in quantum computing
Commute
Commutativity reasoning for automated distributed coordination
Commute
Commutativity Reasoning in the Civl Verifier
Commute
Discussion
Commute

Lightning-2
Commute

Lightning: Servois2: An Extended Commutativity Condition Synthesizer
Commute
Mergeable Replicated Datatypes
Commute
Practical Smart Contract Sharding with Commutativity Analysis
Commute
Pretend synchrony: synchronous verification of asynchronous distributed programs
Commute
Safety Proof Simplification Through Commutativity
Commute
Testing Distributed Protocols using Communication Closure
Commute
Weakening Mazurkiewicz Traces
Commute

Call for Papers

The workshop is open to all who are interested and/or working in the area of Commutativity Reasoning and Applications. This includes researchers in areas such as program analysis, replicated data types, multicore programming models, operating systems, partial order reduction, etc.

The workshop will be a mix of invited/contributed talks and breakout discussions.

If you have any questions or suggestions, please contact commute2022@erickoskinen.com.

Dates
You're viewing the program in a time zone which is different from your device's time zone change time zone

Mon 13 Jun

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

10:30 - 12:00
Monday MorningCommute at Cockatoo
10:30
10m
Talk
Welcome Remarks
Commute
Azadeh Farzan University of Toronto, Constantin Enea Ecole Polytechnique / LIX / CNRS, Eric Koskinen Stevens Institute of Technology
10:40
30m
Talk
Practical Smart Contract Sharding with Commutativity Analysis
Commute
Ilya Sergey National University of Singapore
11:10
10m
Live Q&A
Discussion
Commute

11:20
30m
Talk
Commutativity reasoning for automated distributed coordination
Commute
Mohsen Lesani University of California at Riverside
11:50
10m
Live Q&A
Discussion
Commute

13:30 - 15:00
Monday AfternoonCommute at Cockatoo
13:30
30m
Talk
A Tree Clock Data Structure for Causal Orderings in Concurrent Executions
Commute
Andreas Pavlogiannis Aarhus University
14:00
10m
Live Q&A
Discussion
Commute

14:10
30m
Talk
Commutativity condition synthesis and language support for commute blocks
Commute
Eric Koskinen Stevens Institute of Technology
14:40
10m
Live Q&A
Discussion
Commute

14:50
5m
Talk
Lightning: Servois2: An Extended Commutativity Condition Synthesizer
Commute
Adam Chen Stevens Institute of Technology
15:30 - 17:00
Monday EveningCommute at Cockatoo
15:30
30m
Talk
Commutativity Reasoning in the Civl Verifier
Commute
Shaz Qadeer Novi, USA
16:00
10m
Live Q&A
Discussion
Commute

16:10
30m
Talk
Commutativity in quantum computing
Commute
Jens Palsberg University of California, Los Angeles (UCLA)
16:40
10m
Live Q&A
Discussion
Commute

16:50
5m
Talk
Lightning-2
Commute

Tue 14 Jun

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

10:30 - 12:00
Tuesday MorningCommute at Cockatoo
10:30
30m
Talk
Safety Proof Simplification Through Commutativity
Commute
Azadeh Farzan University of Toronto
11:00
10m
Live Q&A
Discussion
Commute

11:10
30m
Talk
Commutativity and Approximate Computing
Commute
Martin C. Rinard Massachusetts Institute of Technology
11:40
10m
Live Q&A
Discussion
Commute

11:50
5m
Talk
Lightning: Extending Commutativity via Safe Abstraction
Commute
Dominik Klumpp University of Freiburg
File Attached
13:30 - 15:00
Tuesday AfternoonCommute at Cockatoo
13:30
30m
Talk
Weakening Mazurkiewicz Traces
Commute
Umang Mathur National University of Singapore
14:00
10m
Live Q&A
Discussion
Commute

14:10
30m
Talk
Mergeable Replicated Datatypes
Commute
Suresh Jagannathan Purdue University
14:40
10m
Live Q&A
Discussion
Commute

14:50
5m
Talk
Lightning-4
Commute

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
Questions? Use the Commute contact form.