DtTsa: A Dynamic Thread-Sharing Analysis Tool for Multithreaded Programs
This program is tentative and subject to change.
Understanding which memory locations are actually shared across threads is fundamental for maintaining, debugging,and testing multithreaded software.However, this information is difficult to obtain in a developer-friendly form: static analyses often report conservative candidate sets, while race detectors typically expose pair-oriented bug reports rather than a compact view of the program’s sharing structure. This paper presents DtTsa,an open-source synchronization-aware dynamic thread-sharing analysis tool for C/C++ programs. DtTsa combines LLVM-based instrumentation, runtime tracing of memory and synchronization events, and offline aggregation to produce source-level sharing reports from concrete executions.Rather than exposing raw traces, DtTsa summarizes shared access sites with their functions, access kinds, read-write interactions, and observed synchronization contexts. An empirical evaluation on three benchmark suites shows that DtTsa produces concise and stable execution-grounded reports, covers many race-relevant access sites, and incurs practical overhead. The artifact is available at https://doi.org/10.5281/zenodo.20438303, and the video is available at https://youtu.be/r3uho1OcJ6U.
This program is tentative and subject to change.
Wed 16 SepDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
16:00 - 17:30 | Session 10 - The Reliability Lab: Measuring What MattersResearch Papers Track / Tool Demonstration and Data Showcase Track / Industry Track / Replication and Negative Results at A52S Theme: Security & Reliability | ||
16:00 20mPaper | Regression Test Selection at Scale Industry Track Laiba Mehnaz Google LLC, Jingyuan Wang Google LLC, Brandon Stewart Google LLC, Daniel Jaewon Lee Google LLC, Zhuolin Song Google LLC, Randall Parker Google LLC, Ilya Kavalerov Google LLC | ||
16:20 20mPaper | A Replication study of "DevEx in Action" on French SMEs Replication and Negative Results Anna Cathelineau Inria, centre de l'Universite de Lille, Stéphane Ducasse Univ. Lille, Inria, CNRS, Centrale Lille, UMR 9189 CRIStAL, Nicolas Anquetil University of Lille, Lille, France | ||
16:40 20mPaper | Understanding and Detecting Accessibility Issues in Ageing-Fit Mobile Applications Research Papers Track Wenjie Li Anhui Normal University;State Key Laboratory for Novel Software Technology,Nanjing University, Weiwei Jiang Nanjing University of Information Science and Technology, Cong Li ETH Zurich, Yepang Liu Southern University of Science and Technology, Kaizhong Zuo Anhui Normal University, Chang Xu Nanjing University | ||
17:00 10mShort-paper | DtTsa: A Dynamic Thread-Sharing Analysis Tool for Multithreaded Programs Tool Demonstration and Data Showcase Track Jun Zhang Xidian University, Cheng Wen Xidian University, Jie Su Xidian University, Bin Yu Xidian University, Yuandao Cai Hong Kong University of Science and Technology, Xiaoxue Ma City University of Hong Kong, Mengda He SCEDT, Teesside University, Shengchao Qin Xidian University Media Attached | ||
17:10 10mShort-paper | KMP-Impact: Enhancing PR Review of Dependency Updates in Kotlin Multiplatform Tool Demonstration and Data Showcase Track Esteban Castelblanco-Gomez Universidad de los Andes, Colombia, Santiago Reyes-Cortes Universidad de los Andes, Colombia, Santiago Bobadilla-Suarez Universidad de los Andes, Colombia, Camilo Escobar-Velásquez Universidad de los Andes, Colombia | ||