Keynote Talks
I- “Parameterized Verification of Asynchronous Shared-Memory Systems“ (Abstract)
![]() |
Javier Esparza (Bio) Technical University of Munich, Germany |
II- “Scalloc: From Relaxed Concurrent Data Structures to the Fastest Multicore-Scalable Memory Allocator“ (Abstract)
![]() |
Christoph Kirsch (Bio) University of Salzburg, Austria |
III- “Parallelizing Seemingly Sequential Algorithms“(Abstract)
![]() |
Madan Musuvathi (Bio) Microsoft Research, USA |
Dates [No Extensions]
January 9, 2015
Abstract submission deadline
January 18, 2015
Paper submission deadline
March 16, 2015
Acceptance notification
April 13, 2015
Camera ready copy due