SPLASH 2020
Sun 15 - Sat 21 November 2020 Online Conference
Sun 15 Nov 2020 08:20 - 09:00 at SPLASH-VII - Posters Session 1
Sun 15 Nov 2020 20:20 - 21:00 at SPLASH-VII - Posters Session 1 Mirror

This paper presents CAMP, a new static performance analysis framework for message-passing concurrent and distributed systems, based on the theory of multiparty session types (MPST). Understanding the run-time performance of concurrent and distributed systems is of great importance for the identification of bottlenecks and optimisation opportunities. In the message-passing setting, these bottlenecks are generally communication overheads and synchronisation times. Despite its importance, reasoning about these intensional properties of software, such as performance, has received little attention, compared to verifying extensional properties, such as correctness. Behavioural protocol specifications based on sessions types capture not only extensional, but also intensional properties of concurrent and distributed systems. CAMP augments MPST with annotations of communication latency and local computation cost, defined as estimated execution times, that we use to extract cost equations from protocol descriptions. CAMP is also extendable to analyse asynchronous communication optimisation built on a recent advance of session type theories. We apply our tool to different existing benchmarks and usecases in the literature with a wide range of communication protocols, implemented in C, MPI-C, Java, Go and OCaml. Our benchmarks show that, in most of the cases, we predict an upper-bound on the real execution costs with < 15 % error.

Sun 15 Nov
Times are displayed in time zone: Central Time (US & Canada) change

08:20 - 09:00: Posters Session 1Posters at SPLASH-VII +12h
08:20 - 09:00
Poster
Posters
Aaron BembenekHarvard University, Michael GreenbergPomona College, Stephen ChongHarvard University
08:20 - 09:00
Poster
Posters
Matthew SotoudehUniversity of California, Davis, Aditya V. ThakurUniversity of California, Davis
08:20 - 09:00
Poster
Posters
Ningning XieThe University of Hong Kong, Bruno C. d. S. OliveiraUniversity of Hong Kong, Xuan BiThe University of Hong Kong, Tom SchrijversKU Leuven
08:20 - 09:00
Poster
Posters
Jenna WiseCarnegie Mellon University, Johannes BaderJane Street, Cameron WongJane Street, Jonathan AldrichCarnegie Mellon University, Éric TanterUniversity of Chile, Joshua SunshineCarnegie Mellon University
08:20 - 09:00
Poster
Posters
Arjen RouvoetDelft University of Technology, Hendrik van AntwerpenDelft University of Technology, Casper Bach PoulsenDelft University of Technology, Robbert KrebbersRadboud University Nijmegen, Eelco VisserDelft University of Technology
08:20 - 09:00
Poster
Posters
Sadegh DalvandiUniversity of Surrey, Simon DohertyUniversity of Sheffield, Brijesh DongolUniversity of Surrey, Heike WehrheimPaderborn University
08:20 - 09:00
Poster
Posters
08:20 - 09:00
Poster
Posters
Michael CoblenzUniversity of Maryland at College Park, Jonathan AldrichCarnegie Mellon University, Brad A. MyersCarnegie Mellon University, Joshua SunshineCarnegie Mellon University
08:20 - 09:00
Poster
Posters
Keigo ImaiGifu University, Rumyana NeykovaBrunel University London, Nobuko YoshidaImperial College London, Shoji YuenNagoya University
08:20 - 09:00
Poster
Posters
Julia GabetImperial College London, Nobuko YoshidaImperial College London
08:20 - 09:00
Poster
Posters
David Castro-PerezImperial College London, Nobuko YoshidaImperial College London
08:20 - 09:00
Poster
Posters
Jennifer FishCarnegie Mellon University, Darya MelicherGoogle, Jonathan AldrichCarnegie Mellon University
08:20 - 09:00
Poster
Posters
Dominik WintererETH Zurich, Chengyu ZhangEast China Normal University, Zhendong SuETH Zurich
08:20 - 09:00
Poster
Posters
Alexandros TasosImperial College London, Juliana Franco, Sophia DrossopoulouImperial College London, Tobias WrigstadUppsala University, Sweden, Susan EisenbachImperial College London
08:20 - 09:00
Poster
Posters
Xuejing HuangThe University of Hong Kong, Bruno C. d. S. OliveiraUniversity of Hong Kong
08:20 - 09:00
Poster
Posters
Dietrich GeislerCornell University, Irene YoonUniversity of Pennsylvania, Aditi KabraCarnegie Mellon University, Horace HeCornell University, Yinnon SandersCornell University, Adrian SampsonCornell University
20:20 - 21:00: Posters Session 1 MirrorPosters at SPLASH-VII
20:20 - 21:00
Poster
Posters
Matthew SotoudehUniversity of California, Davis, Aditya V. ThakurUniversity of California, Davis
20:20 - 21:00
Poster
Posters
Julia GabetImperial College London, Nobuko YoshidaImperial College London
20:20 - 21:00
Poster
Posters
Dominik WintererETH Zurich, Chengyu ZhangEast China Normal University, Zhendong SuETH Zurich
20:20 - 21:00
Poster
Posters
Xuejing HuangThe University of Hong Kong, Bruno C. d. S. OliveiraUniversity of Hong Kong
20:20 - 21:00
Poster
Posters
Arjen RouvoetDelft University of Technology, Hendrik van AntwerpenDelft University of Technology, Casper Bach PoulsenDelft University of Technology, Robbert KrebbersRadboud University Nijmegen, Eelco VisserDelft University of Technology
20:20 - 21:00
Poster
Posters
Jennifer FishCarnegie Mellon University, Darya MelicherGoogle, Jonathan AldrichCarnegie Mellon University
20:20 - 21:00
Poster
Posters
David Castro-PerezImperial College London, Nobuko YoshidaImperial College London
20:20 - 21:00
Poster
Posters
Sadegh DalvandiUniversity of Surrey, Simon DohertyUniversity of Sheffield, Brijesh DongolUniversity of Surrey, Heike WehrheimPaderborn University
20:20 - 21:00
Poster
Posters
Aaron BembenekHarvard University, Michael GreenbergPomona College, Stephen ChongHarvard University
20:20 - 21:00
Poster
Posters
20:20 - 21:00
Poster
Posters
Ningning XieThe University of Hong Kong, Bruno C. d. S. OliveiraUniversity of Hong Kong, Xuan BiThe University of Hong Kong, Tom SchrijversKU Leuven
20:20 - 21:00
Poster
Posters
Alexandros TasosImperial College London, Juliana Franco, Sophia DrossopoulouImperial College London, Tobias WrigstadUppsala University, Sweden, Susan EisenbachImperial College London
20:20 - 21:00
Poster
Posters
Jenna WiseCarnegie Mellon University, Johannes BaderJane Street, Cameron WongJane Street, Jonathan AldrichCarnegie Mellon University, Éric TanterUniversity of Chile, Joshua SunshineCarnegie Mellon University
20:20 - 21:00
Poster
Posters
Keigo ImaiGifu University, Rumyana NeykovaBrunel University London, Nobuko YoshidaImperial College London, Shoji YuenNagoya University
20:20 - 21:00
Poster
Posters
Michael CoblenzUniversity of Maryland at College Park, Jonathan AldrichCarnegie Mellon University, Brad A. MyersCarnegie Mellon University, Joshua SunshineCarnegie Mellon University
20:20 - 21:00
Poster
Posters
Dietrich GeislerCornell University, Irene YoonUniversity of Pennsylvania, Aditi KabraCarnegie Mellon University, Horace HeCornell University, Yinnon SandersCornell University, Adrian SampsonCornell University