The Theory and Practice of Concurrency Workshop will occur on October 16th
in Vienna, Austria (co-located with DISC 2017), and focuses on recent
developments in  concurrent data structure design.

Program:

9:00 – 9:45: Robert E. Tarjan (Princeton University and Intertrust
Technologies)
Title: Concurrent Disjoint Set Union

9:45 – 10:30: Tim Harris (Oracle Labs)
Title: Benchmarking concurrent data structures (or “Do those numbers mean
what you think they mean?”)

10:30-11:00 – Break

11:00 – 11:45 – Maurice Herlihy (Brown University)
Title: Concurrency Models for Smart Contracts

11:45 – 12:30 – Aleksandar Dragojevic (Microsoft Research)
Title: FaRM: Concurrency Lessons Learned

12:30 – 14:00 – Break

14:00 – 14:45 – Panel Discussion

14:45 – 15:30 - Nir Shavit (MIT and TAU)
Title: DEF: A New Programming Language for Concurrent Data Structure Design

15:30 – 16:00 – Break

16:00 – 16:45 – Vasileios Trigonakis (Oracle Labs)
Title: Towards Scalable Synchronization on Multi-Cores

16:45 – 17:30 – Trevor Brown (IST Austria & Technion)
Title: Good Data Structure Experiments are RARE

Website:

http://people.csail.mit.edu/alistarh/?page_id=161

Registration:

Through DISC 2017:
http://www.disc-conference.org/wp/disc2017/registration

Local Information:

http://www.disc-conference.org/wp/disc2017/local-arrangements/