PLDI 2022 (series) / Commute (series) / Commutativity Reasoning and Applications /
Lightning: Extending Commutativity via Safe Abstraction
Tue 14 Jun 2022 11:50 - 11:55 at Cockatoo - Tuesday Morning
| Slides (presentation.pdf) | 392KiB |
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 | ||
