SPLASH 2022
Mon 5 - Sat 10 December 2022 Auckland, New Zealand
Tue 6 Dec 2022 16:30 - 17:00 at Lecture Theatre 2 - APLAS Papers Chair(s): Joxan Jaffar

We present P3, a new profiler suite for parallel applications on the Java Virtual Machine. P3 specifically targets metrics related to parallelism, concurrency, and synchronization. In particular, P3 profiles the use of concurrent entities (e.g., threads, tasks, actors, futures), constructs and classes to implement synchronization (including locks, thread parking, and the synchronizers from the java.util.concurrent package), lock-free operations (such as atomic and volatile memory accesses), as well as synchronized and concurrent collections. To the best of our knowledge, our suite is the first tool detecting the use of volatile memory accesses, futures, synchronizers, and utility classes commonly used in concurrent programming. Moreover, P3 incurs only moderate profiling overhead. P3 can be readily applied to popular benchmark suites and to public code repositories, facilitating new analyses in the wild. We describe the design and implementation of P3 and discuss how our tool was fundamental in the selection of workloads composing the Renaissance benchmark suite. Moreover, we use P3 to analyze the variability of different metrics for multiple iterations of the Renaissance benchmarks.

Tue 6 Dec

Displayed time zone: Auckland, Wellington change

15:30 - 17:30
APLAS PapersCOVID Time Papers In Person at Lecture Theatre 2
Chair(s): Joxan Jaffar National University of Singapore
15:30
30m
Talk
A Counterexample-Guided Debugger for Non-Recursive Datalog
COVID Time Papers In Person
Van-Dang Tran National Institute of Informatics, Japan, Hiroyuki Kato National Institute of Informatics, Japan, Zhenjiang Hu Peking University
Link to publication DOI
16:00
30m
Talk
A New Refinement Type System for Automated nu-HFLZ Validity Checking
COVID Time Papers In Person
Hiroyuki Katsura , Naoki Iwayama University of Tokyo, Japan, Naoki Kobayashi University of Tokyo, Japan, Takeshi Tsukada Chiba University
Link to publication DOI
16:30
30m
Talk
P3: A Profiler Suite for Parallel Applications on the Java Virtual Machine
COVID Time Papers In Person
Andrea Rosà USI Lugano, Walter Binder USI Lugano
Link to publication DOI
17:00
30m
Talk
Termination Analysis for the pi-Calculus by Reduction to Sequential Program Termination
COVID Time Papers In Person
Tsubasa Shoshi , Takuma Ishikawa The University of Tokyo, Naoki Kobayashi University of Tokyo, Japan, Ken Sakayori University of Bologna, Ryosuke Sato University of Tokyo, Japan, Takeshi Tsukada Chiba University
Link to publication DOI