ASE 2024
Sun 27 October - Fri 1 November 2024 Sacramento, California, United States
Wed 30 Oct 2024 10:45 - 11:00 at Compagno - Program analysis 2 Chair(s): Qingkai Shi

Performance analysis is challenging as different components (e.g.,different libraries, and applications) of a complex system can interact with each other. However, few existing tools focus on understanding such interactions. To bridge this gap, we propose a novel analysis method–“Cross Flow Analysis (XFA)”– that monitors the interactions/flows across these components. We also built the Scaler profiler that provides a holistic view of the time spent on each component (e.g., library or application) and every API inside each component. This paper proposes multiple new techniques, such as Universal Shadow Table, and Relation-Aware Data Folding. These techniques enable Scaler to achieve low runtime overhead, low memory overhead, and high profiling accuracy. Based on our extensive experimental results, Scaler detects multiple unknown performance issues inside widely-used applications, and therefore will be a useful complement to existing work.

Wed 30 Oct

Displayed time zone: Pacific Time (US & Canada) change

10:30 - 12:00
Program analysis 2Research Papers / Industry Showcase at Compagno
Chair(s): Qingkai Shi Nanjing University
10:30
15m
Talk
Semantic-Enhanced Indirect Call Analysis with Large Language Models
Research Papers
Baijun Cheng Peking University, Cen Zhang Nanyang Technological University, Kailong Wang Huazhong University of Science and Technology, Ling Shi Nanyang Technological University, Yang Liu Nanyang Technological University, Haoyu Wang Huazhong University of Science and Technology, Yao Guo Peking University, Xiangqun Chen Peking University
10:45
15m
Talk
Scaler: Efficient and Effective Cross Flow Analysis
Research Papers
Steven (Jiaxun) Tang University of Massachusetts Amherst, Mingcan Xiang University of Massachusetts Amherst, Yang Wang The Ohio State University, Bo Wu Colorado School of Mines, Jianjun Chen Bytedance, Tongping Liu ByteDance
11:00
15m
Talk
AXA: Cross-Language Analysis through Integration of Single-Language Analyses
Research Papers
Tobias Roth TU Darmstadt | ATHENE - National Research Center for Applied Cybersecurity, Darmstadt, Julius Näumann TU Darmstadt | ATHENE - National Research Center for Applied Cybersecurity, Darmstadt, Dominik Helm University of Duisburg-Essen; TU Darmstadt; National Research Center for Applied Cybersecurity ATHENE, Sven Keidel TU Darmstadt, Mira Mezini TU Darmstadt; hessian.AI; National Research Center for Applied Cybersecurity ATHENE
Link to publication DOI Pre-print
11:15
15m
Talk
TypeFSL: Type Prediction from Binaries via Inter-procedural Data-flow Analysis and Few-shot Learning
Research Papers
Zirui Song The Chinese University of Hong Kong, YuTong Zhou The Chinese University of Hong Kong, Shuaike Dong Ant Group, Ke Zhang , Kehuan Zhang The Chinese University of Hong Kong
11:30
15m
Talk
Experience Report on Applying Program Analysis Techniques for Mainframe Application Understanding
Industry Showcase
Shivali Agarwal IBM, Hiroaki Nakamura IBM Research Tokyo, Rami Katan IBM Research Haifa
11:45
15m
Talk
Diagnosis via Proofs of Unsatisfiability for First-Order Logic with Relational Objects
Research Papers
Nick Feng University of Toronto, Lina Marsso University of Toronto, Marsha Chechik University of Toronto