Tue 14 Jun 2022 11:10 - 11:40 at Cockatoo - Tuesday Morning

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