SPLASH 2023
Sun 22 - Fri 27 October 2023 Cascais, Portugal
Fri 27 Oct 2023 12:12 - 12:30 at Room XII - software development Chair(s): Chandrakana Nandi

The memory allocator plays a key role in the performance of applications, but none of the existing profilers can pinpoint performance slowdowns caused by a memory allocator. Consequently, programmers may spend time improving application code incorrectly or unnecessarily, achieving low or no performance improvement. This paper designs the first profiler—MemPerf—to identify allocator-induced performance slowdowns without comparing against another allocator. Based on the key observation that an allocator may impact the whole life-cycle of heap objects, including the accesses (or uses) of these objects, MemPerf proposes a life-cycle based detection to identify slowdowns caused by slow memory management operations and slow accesses separately. For the prior one, MemPerf proposes a thread-aware and type-aware performance modeling to identify slow management operations. For slow memory accesses, MemPerf utilizes a top-down approach to identify all possible reasons for slow memory accesses introduced by the allocator, mainly due to cache and TLB misses, and further proposes a unified method to identify them correctly and efficiently. Based on our extensive evaluation, MemPerf reports 98% medium and large allocator-reduced slowdowns (larger than 5%) correctly without reporting any false positives. MemPerf also pinpoints multiple known and unknown design issues in widely-used allocators.

Fri 27 Oct

Displayed time zone: Lisbon change

11:00 - 12:30
software developmentOOPSLA at Room XII
Chair(s): Chandrakana Nandi Certora
11:00
18m
Talk
Towards Better Semantics Exploration for Browser Fuzzing
OOPSLA
Chijin Zhou Tsinghua University, Quan Zhang Tsinghua University, Lihua Guo Tsinghua University, Mingzhe Wang Tsinghua University, Yu Jiang Tsinghua University, Qing Liao Harbin Institute of Technology, Zhiyong Wu National University of Defense Technology, Shanshan Li National University of Defense Technology, Bin Gu Beijing Institute of Control Engineering
DOI
11:18
18m
Talk
Live Pattern Matching with Typed HolesDistinguished Paper
OOPSLA
Yongwei Yuan Purdue University, Scott Guest University of Michigan, Eric Griffis University of Michigan, Hannah Potter University of Washington, David Moon University of Michigan, Cyrus Omar University of Michigan
DOI
11:36
18m
Talk
Interactive Debugging of Datalog Programs
OOPSLA
André Pacak JGU Mainz, Sebastian Erdweg JGU Mainz
DOI
11:54
18m
Talk
Accelerating Fuzzing through Prefix-Guided ExecutionDistinguished Paper
OOPSLA
Shaohua Li ETH Zurich, Zhendong Su ETH Zurich
DOI
12:12
18m
Talk
MemPerf: Profiling Allocator-Induced Performance Slowdowns
OOPSLA
Jin Zhou University of Massachusetts at Amherst, Sam Silvestro University of Texas at San Antonio, Steven (Jiaxun) Tang University of Massachusetts at Amherst, Hanmei Yang University of Massachusetts at Amherst, Hongyu Liu University of Texas at San Antonio, Guangming Zeng Synopsys, Bo Wu Colorado School of Mines, Cong Liu University of Texas at Dallas, Tongping Liu University of Massachusetts at Amherst
DOI