Write a Blog >>
SPLASH 2019
Sun 20 - Fri 25 October 2019 Athens, Greece
Fri 25 Oct 2019 11:45 - 12:07 at Olympia - Concurrency Chair(s): Sophia Drossopoulou

We present Parallely, a programming language and a system for verification of approximations in parallel message-passing programs. Parallely’s language can express various software and hardware level approximations that reduce the computation and communication overheads at the cost of result accuracy.

Parallely’s safety analysis can prove the absence of deadlocks in approximate computations and its type system can ensure that approximate values do not interfere with precise values. Parallely’s quantitative accuracy analysis can reason about the frequency and magnitude of error. To support such analyses, Parallely presents an approximation-aware version of canonical sequentialization, a recently proposed verification technique that generates sequential programs that capture the semantics of well-structured parallel programs (i.e., ones that satisfy a symmetric nondeterminism property). To the best of our knowledge, Parallely is the first system designed to analyze parallel approximate programs.

We demonstrate the effectiveness of Parallely on eight benchmark applications from the domains of graph analytics, image processing, and numerical analysis and five well-known computational kernels amenable to approximation. We encoded and studied five approximation mechanisms from literature. Our implementation of Parallely automatically and efficiently proves type safety, reliability, and accuracy properties of the approximate benchmarks.

This program is tentative and subject to change.

Fri 25 Oct

splash-2019-oopsla
11:00 - 12:30: OOPSLA - Concurrency at Olympia
Chair(s): Sophia DrossopoulouImperial College London
splash-2019-oopsla11:00 - 11:22
Talk
Yoav ZurielTechnion - Israel, Michal FriedmanTechnion - Israel, Gali SheffiTechnion - Israel, Nachshon CohenAmazon, Erez PetrankTechnion - Israel
splash-2019-oopsla11:22 - 11:45
Talk
Azalea RaadMPI-SWS, Germany, John WickersonImperial College London, Viktor VafeiadisMPI-SWS, Germany
splash-2019-oopsla11:45 - 12:07
Talk
Vimuth FernandoUniversity of Illinois at Urbana-Champaign, Keyur JoshiUniversity of Illinois at Urbana-Champaign, Sasa MisailovicUniversity of Illinois at Urbana-Champaign
splash-2019-oopsla12:07 - 12:30
Talk
Kaan GençOhio State University, Jake RoemerOhio State University, Yufan XuOhio State University, Michael BondOhio State University