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
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.
Mon 13 JunDisplayed time zone: Pacific Time (US & Canada) change
10:30 - 12:00 | |||
10:30 10mTalk | Welcome Remarks Commute Azadeh Farzan University of Toronto, Constantin Enea Ecole Polytechnique / LIX / CNRS, Eric Koskinen Stevens Institute of Technology | ||
10:40 30mTalk | Practical Smart Contract Sharding with Commutativity Analysis Commute Ilya Sergey National University of Singapore | ||
11:10 10mLive Q&A | Discussion Commute | ||
11:20 30mTalk | Commutativity reasoning for automated distributed coordination Commute Mohsen Lesani University of California at Riverside | ||
11:50 10mLive Q&A | Discussion Commute | ||
13:30 - 15:00 | |||
13:30 30mTalk | A Tree Clock Data Structure for Causal Orderings in Concurrent Executions Commute Andreas Pavlogiannis Aarhus University | ||
14:00 10mLive Q&A | Discussion Commute | ||
14:10 30mTalk | Commutativity condition synthesis and language support for commute blocks Commute Eric Koskinen Stevens Institute of Technology | ||
14:40 10mLive Q&A | Discussion Commute | ||
14:50 5mTalk | Lightning: Servois2: An Extended Commutativity Condition Synthesizer Commute Adam Chen Stevens Institute of Technology | ||
15:30 - 17:00 | |||
15:30 30mTalk | Commutativity Reasoning in the Civl Verifier Commute Shaz Qadeer Novi, USA | ||
16:00 10mLive Q&A | Discussion Commute | ||
16:10 30mTalk | Commutativity in quantum computing Commute Jens Palsberg University of California, Los Angeles (UCLA) | ||
16:40 10mLive Q&A | Discussion Commute | ||
16:50 5mTalk | Lightning-2 Commute | ||
Tue 14 JunDisplayed time zone: Pacific Time (US & Canada) change
10:30 - 12:00 | |||
10:30 30mTalk | Safety Proof Simplification Through Commutativity Commute Azadeh Farzan University of Toronto | ||
11:00 10mLive Q&A | Discussion Commute | ||
11:10 30mTalk | Commutativity and Approximate Computing Commute Martin C. Rinard Massachusetts Institute of Technology | ||
11:40 10mLive Q&A | Discussion Commute | ||
11:50 5mTalk | Lightning: Extending Commutativity via Safe Abstraction Commute Dominik Klumpp University of Freiburg File Attached | ||
13:30 - 15:00 | |||
13:30 30mTalk | Weakening Mazurkiewicz Traces Commute Umang Mathur National University of Singapore | ||
14:00 10mLive Q&A | Discussion Commute | ||
14:10 30mTalk | Mergeable Replicated Datatypes Commute Suresh Jagannathan Purdue University | ||
14:40 10mLive Q&A | Discussion Commute | ||
14:50 5mTalk | Lightning-4 Commute | ||
15:30 - 17:00 | |||
15:30 30mTalk | Testing Distributed Protocols using Communication Closure Commute Constantin Enea Ecole Polytechnique / LIX / CNRS | ||
16:00 10mLive Q&A | Discussion Commute | ||
16:10 30mTalk | Pretend synchrony: synchronous verification of asynchronous distributed programs Commute Klaus v. Gleissenthall Vrije Universiteit Amsterdam, Netherlands | ||
16:40 10mLive Q&A | Discussion Commute | ||
16:50 10mDay closing | Closing Remarks & Business Meeting Commute Eric Koskinen Stevens Institute of Technology, Azadeh Farzan University of Toronto, Constantin Enea Ecole Polytechnique / LIX / CNRS | ||
