SANER 2026
Tue 17 - Fri 20 March 2026 Limassol, Cyprus

Continuous profiling has recently emerged as the ``fourth pillar'' of cloud-native observability, providing detailed stack-trace data that shows function-level behavior in production systems. However, existing profiling tools are mainly used for visualization and manual debugging, with limited support for automated anomaly detection and Root Cause Analysis (RCA). To address this limitation, we introduce ProfRCA, a new framework for automated anomaly detection and RCA using continuous profiling data. We represent call stack samples in profiling as graphs to better capture function relationships and use Graph Neural Networks (GNNs) to detect abnormal patterns. For RCA, we use Large Language Models (LLMs) to analyze anomalous call paths impacted by system calls based on function names and context, providing a clearer diagnosis. Experiments with system call delay faults show that ProfRCA improves RCA accuracy by at least 30\% compared to traditional methods. By using historical data with the Retrieval-Augmented Generation (RAG) technique, ProfRCA strengthens the LLM’s ability to diagnose issues, providing more accurate and useful insights. These results highlight the value of using contextual information in RCA and show how our approach leads to a better understanding of system behavior and anomalies.

Fri 20 Mar

Displayed time zone: Athens change

11:00 - 12:30
Session 6B - Program Analysis Symbolic Execution and Root Cause AnalysisResearch Track / Reproducibility Studies and Negative Results (RENE) Track / Journal First Track / Early Research Achievement (ERA) Track at Megaron Beta
Chair(s): Lev Sorokin BMW Group, Technische Universität München, Germany
11:00
15m
Talk
ProfRCA: LLM-Enabled Fine-grained Root Cause Analysis with Continuous Profiling Data
Research Track
Siyuan Ye School of Computer Science and Engineering, Sun Yat-sen University, Gou Tan School of Systems Science and Engineering, Sun Yat-sen University, Guangzhou, China, Wanqi  Yang Sun Yat-Sen University, Pengfei Chen Sun Yat-sen University
11:15
15m
Talk
Path-Optimal Symbolic Execution of Heap-Manipulating Programs
Research Track
Pietro Braione University of Milano-Bicocca, Giovanni Denaro University of Milano - Bicocca, Luca Guglielmo Università degli Studi di Milano-Bicocca
11:30
15m
Talk
Symbolic Analysis for Repairing Bugs in Concurrent Persistent-Memory Programs
Research Track
Tooba Khan University of Southern California, Srivatsan Ravi University of Southern California, Chao Wang University of Southern California
11:45
15m
Talk
Modular unification of unilingual pointer analyses to multilingual FFI-based programs
Journal First Track
Jyoti Prakash University of Southern Denmark, Abhishek Tiwari University of Southern Denmark, Christian Hammer University of Passau
12:00
15m
Talk
Static Analysis Traces can help Dynamic Symbolic Execution: a Replication Study
Reproducibility Studies and Negative Results (RENE) Track
Sriteja Kummita Paderborn University, Fabian Schiebel Heinz Nixdorf Institute, Paderborn University, Eric Bodden Heinz Nixdorf Institute at Paderborn University & Fraunhofer IEM, Miao Miao The University of Texas at Dallas, Shiyi Wei University of Texas at Dallas
12:15
7m
Talk
Towards Analyzing N-language Polyglot Programs
Early Research Achievement (ERA) Track
Jyoti Prakash University of Southern Denmark, Abhishek Tiwari University of Southern Denmark, Mikkel Baun Kjærgaard University of Southern Denmark