Keynote Talks

I- “Parameterized Verification of Asynchronous Shared-Memory Systems“ (Abstract)

Esparza Javier Esparza (Bio)
Technical University of Munich, Germany

II- “Scalloc: From Relaxed Concurrent Data Structures to the Fastest Multicore-Scalable Memory Allocator“ (Abstract)

Kirsch Christoph Kirsch (Bio)
University of Salzburg, Austria

III- “Parallelizing Seemingly Sequential Algorithms“(Abstract)

Madan 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



The proceedings of the conference will be published in Springer’s Lecture Notes in Computer Science