PLDI 2022 (series) / Commute (series) /
Commute Program
This is the Commute program - see the full program for PLDI 2022 and all affiliated events.
Filter Program
Dates
Rooms
Tracks
Badges
Your Program
Mon 13 JunDisplayed time zone: Pacific Time (US & Canada) change
Mon 13 Jun
Displayed 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
Tue 14 Jun
Displayed 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 |