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
Mon 13 Jun 2022
Tue 14 Jun 2022
Rooms
Cockatoo
Tracks
Commute
Badges
Nothing to filter
Your Program
Nothing to filter
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 |