Tue 19 Jun

deepspec-2018-papers
14:00 - 15:40: DeepSpec 2018 - Concurrency and Concurrent Operating Systems at Columbus Ballroom B
deepspec-2018-papers14:00 - 14:30
Talk
Jieung KimYale University, USA
deepspec-2018-papers14:30 - 15:00
Talk
Thomas SewellUNSW, Australia
deepspec-2018-papers15:00 - 15:30
Talk
William ManskyPrinceton University