Mon 13 Jun 2022 14:50 - 14:55 at Cockatoo - Monday Afternoon

Mon 13 Jun

Displayed time zone: Pacific Time (US & Canada) change

13:30 - 15:00
Monday AfternoonCommute at Cockatoo
13:30
30m
Talk
A Tree Clock Data Structure for Causal Orderings in Concurrent Executions
Commute
Andreas Pavlogiannis Aarhus University
14:00
10m
Live Q&A
Discussion
Commute

14:10
30m
Talk
Commutativity condition synthesis and language support for commute blocks
Commute
Eric Koskinen Stevens Institute of Technology
14:40
10m
Live Q&A
Discussion
Commute

14:50
5m
Talk
Lightning: Servois2: An Extended Commutativity Condition Synthesizer
Commute
Adam Chen Stevens Institute of Technology