Research Track Sessions

 

Presentation Guidelines: Each research track paper is assigned a 25-minute time slot, which includes questions. Authors are encouraged to limit their presentation to a maximum of 20 minutes and leave at least 5 minutes for questions and discussion.

Research track 1: Best Research Paper Candidates

• API2Beh: Learning Behavior Inclination of APIs for Malware Classification
  Lei Cui, Yiran Zhu, Junnan Yin, Zhiyu Hao, Wei Wang, Peng Liu, Ziqi Yang and Xiaochun Yun

• LiScopeLens: An Open-Source License Incompatibility Analysis Tool Based on Scope Representation of License Terms
  Ziang Liu, Xin Liu, Yingli Zhang, Zihao Zhang, Song Li, Weina Niu, Qingguo Zhou, Rui Zhou and Xiaokang Zhou

• Exploring Hierarchical Patterns for Alert Aggregation in Supercomputers
  Yuan Yuan, Tongqing Zhou, Xiuhong Tan, Yongqian Sun, Yuqi Li, Zhixing Li, Zhiping Cai and Tiejun Li

Research Track 2: Anomaly Detection I

• Detection Latencies of Anomaly Detectors: An Overlooked Perspective?
  Tommaso Puccetti and Andrea Ceccarelli

• Self-Evolutionary Group-wise Log Parsing Based on Large Language Model
  Changhua Pei, Zihan Liu, Jianhui Li, Erhan Zhang, Le Zhang, Haiming Zhang, Wei Chen, Dan Pei and Gaogang Xie

• TimeSeriesBench: An Industrial-Grade Benchmark for Time Series Anomaly Detection Models
  Haotian Si, Jianhui Li, Changhua Pei, Hang Cui, Jingwen Yang, Yongqian Sun, Shenglin Zhang, Jingjing Li, Haiming Zhang, Jing Han, Dan Pei and Gaogang Xie

• Detecting Numerical Deviations in Deep Learning Models Introduced by the TVM Compiler
  Xia Zichao, Chen Yuting, Nie Pengbo and Wang Zihan

Research Track 3: Vulnerability Analysis and Detection

• U2Vul: Vulnerability Analysis Based on Unsupervised Information Integration
  Shaojie Yang, Haoran Xu, Fangliang Xu and Yongjun Wang

• A Comprehensive Study on the Impact of Vulnerable Dependencies on Open-Source Software
  Shree Hari Bittugondanahalli Indra Kumar, Lília Rodrigues Sampaio, André Martin, Andrey Brito and Christof Fetzer

• Fine-Tuning Pre-trained Model with Optimizable Prompt Learning for Code Vulnerability Detection
  Wei Chang, Chunyang Ye and Hui Zhou

• Learning Graph-based Patch Representations for Identifying and Assessing Silent Vulnerability Fixes
  Mei Han, Lulu Wang, Jianming Chang, Bixin Li and Chunguang Zhang

Research Track 4: Anomaly Detection II

• LLMeLog: An Approach for Anomaly Detection based on LLM-enriched Log Events
  Minghua He, Tong Jia, Chiming Duan, Huaqian Cai, Ying Li and Gang Huang

• LogCAE: An Approach for Log-based Anomaly Detection with Active Learning and Contrastive Learning
  Pei Xiao, Tong Jia, Chiming Duan, Huaqian Cai, Ying Li and Gang Huang

• VCRLog: Variable Contents Relationship Perception for Log-based Anomaly Detection
  Jinyuan Wang, Tong Li, Runzi Zhang, Zifang Tang, Di Wu and Zhen Yang

• Leveraging RAG-Enhanced Large Language Model for Semi-Supervised Log Anomaly Detection
  Wanhao Zhang, Qianli Zhang, Enyu Yu, Yuxiang Ren, Yeqing Meng, Mingxi Qiu and Jilong Wang

Research Track 5: Security and Performance

• Enhancing AI-based Generation of Software Exploits with Contextual Information
  Pietro Liguori, Cristina Improta, Roberto Natella, Bojan Cukic and Domenico Cotroneo

• Android's Cat-and-Mouse Game: Understanding Evasion Techniques against Dyanmic Analysis
  Shuang Li, Rui Li, Shishuai Yang and Wenrui Diao

• RE-DLC: Learning-driven Reverse Engineering for Deep Learning Compilers
  Minghui Li, Yang Li, Hao Han, Xiaopeng Ke, Tongyu Wang, Fengyuan Xu and Liming Fang

• Assessing the Performance of AI-Generated Code: A Case Study on GitHub Copilot
  Shuang Li, Yuntao Cheng, Jinfu Chen, Jifeng Xuan, Sen He and Weiyi Shang

Research Track 6: Tools and Artifacts

• CovSBOM: Enhancing Software Bill of Materials with Integrated Code Coverage Analysis
  Yunze Zhao, Yuchen Zhang, Dan Chacko and Justin Cappos

• LabelEase: A Semi-Automatic Tool for Efficient and Accurate Trace Labeling in Microservices
  Shenglin Zhang, Zeyu Che, Zhongjie Pan, Xiaohui Nie, Yongqian Sun, Lemeng Pan and Dan Pei

Research Track 7: Safety

• Aspis: Lightweight Neural Network Protection Against Soft Errors
  Anna Schmedding, Lishan Yang, Adwait Jog and Evgenia Smirni

• GAS: Generating Fast & Accurate Surrogate Models for Simulations of Autonomous Vehicle Systems
  Keyur Joshi, Chiao Hsieh, Sayan Mitra and Sasa Misailovic

• Applying Concept-Based Models for Enhanced Safety Argumentation
  João Paulo Costa de Araujo, Balahari Vignesh Balu, Eik Reichmann, Jessica Kelly, Stefan Kugele, Núria Mata and Lars Grunske

• AI-Supported Eliminative Argumentation: Practical Experience Generating Defeaters to Increase Confidence in Assurance Cases
  Torin Viger, Logan Murphy, Simon Diemert, Claudio Menghi, Jeffrey Joyce, Alessio Di Sandro and Marsha Chechik

Research Track 8: Fuzzing

• Multi-level Fuzzing for Document File Formats with Intermediate Representations
  Yifan Wang and Jun Xu

• An Empirical Study on the Distance Metric in Guiding Directed Grey-box Fuzzing
  Tingke Wen, Yuwei Li, Huimin Ma, Zhang Lu and Zulie Pan

• Enhancing Black-box Compiler Option Fuzzing with LLM through Command Feedback
  Taiyan Wang, Ruipeng Wang, Yu Chen, Lu Yu, Zulie Pan, Min Zhang, Huimin Ma and Jinghua Zheng

• History-driven Compiler Fuzzing via Assembling and Scheduling Bug-triggering Code Segments
  Zhenye Fan, Guixin Ye, Tianmin Hu and Zhanyong Tang

Research Track 9: Testing I

• Hierarchy-Aware Regression Test Prioritization
  Hao Wang, Pu Yi, Jeremias Parladorio, Wing Lam, Darko Marinov and Tao Xie

• An Empirical Investigation on Android App Testing Practices
  Tarek Mahmud, Meiru Che, Anne Ngu and Guowei Yang

• Fix The Tests: Augmenting LLMs to Repair Test Cases with Static Collector and Neural Reranker
  Jun Liu, Jiwei Yan, Yuanyuan Xie, Jun Yan and Jian Zhang

• Code Ownership: The Principles, Differences, and Their Associations with Software Quality
  Patanamon Thongtanunam and Chakkrit Tantithamthavorn

Research Track 10: Root Cause Analysis and Program Repair

• SparseRCA: Efficient Root Cause Analysis in Sparse Microservice Testing Trace
  Zhenhe Yao, Haowei Ye, Changhua Pei, Guang Cheng, Guangpei Wang, Zhiwei Liu, Hongwei Chen, Hang Cui, Zeyan Li, Jianhui Li, Gaogang Xie and Dan Pei

• KPIRoot: Efficient Monitoring Metric-based Root Cause Localization in Large-scale Cloud Systems
  Wenwei Gu, Xinying Sun, Jinyang Liu, Yintong Huo, Zhuangbin Chen, Jianping Zhang, Jiazhen Gu, Yongqiang Yang and Michael Lyu

• FaaSRCA: Full Lifecycle Root Cause Analysis for Serverless Applications
  Jin Huang, Pengfei Chen, Guangba Yu, Yilun Wang, Haiyu Huang and Zilong He

• RATCHET: Retrieval Augmented Transformer for Program Repair
  Jian Wang, Shangqing Liu, Xiaofei Xie, Siow Jing Kai, Kui Liu and Yi Li

Research Track 11: Testing II

• Testing Diverse Geographical Features of Autonomous Driving Systems
  Seongdeok Seo, Judy Lee and Mijung Kim

• Themis: Automatic and Efficient Deep Learning System Testing with Strong Fault Detection Capability
  Dong Huang, Tsz On Li, Xiaofei Xie and Heming Cui

• A Combinatorial Interaction Testing Method for Multi-Label Image Classifier
  Peng Wang, Shengyou Hu, Huayao Wu, Xintao Niu, Changhai Nie and Lin Chen

• Mutation-Based Integration Testing of Knowledge Graph Applications
  Tobias John, Einar Broch Johnsen and Eduard Kamburjan

Research Track 12: Fault Monitoring, Prediction and Diagnosis

• DRLFailureMonitor: A Dynamic Failure Monitoring Approach for Deep Reinforcement Learning Systems
  Cai Yi, Zheng Zheng, Wan Xiaohui and Liu Zhihao

• Can We Trust Auto-Mitigation? Improving Cloud Failure Prediction with Uncertain Positive Learning
  Haozhe Li, Minghua Ma, Yudong Liu, Pu Zhao, Shuo Li, Lingling Zheng, Ze Li, Murali Chintalapati, Yingnong Dang, Chetan Bansal, Saravan Rajmohan, Qingwei Lin and Dongmei Zhang

• Demystifying and Extracting Fault-indicating Information from Logs for Failure Diagnosis
  Junjie Huang, Zhihan Jiang, Jinyang Liu, Yintong Huo, Jiazhen Gu, Zhuangbin Chen, Cong Feng, Hui Dong, Zengyin Yang and Michael Lyu

• Large Language Models Can Provide Accurate and Interpretable Incident Triage
  Zexin Wang, Jianhui Li, Minghua Ma, Ze Li, Yu Kang, Chaoyun Zhang, Chetan Bansal, Murali Chintalapati, Saravan Rajmohan, Qingwei Lin, Dongmei Zhang, Changhua Pei and Gaogang Xie

Research Track 13: Security and Privacy

• A Security Verification Framework for the LoRaWAN Protocol with Application in the Manufacturing Industry
  Wenting Dong, Huibiao Zhu, Sini Chen and Ning Ge

• MDIplier: Protocol Format Recovery via Hierarchical Inference
  Kai Liang, Zhengxiong Luo, Yanyang Zhao, Wenlong Zhang, Ronghua Shi, Yu Jiang, Heyuan Shi and Chao Hu

• Beyond the Horizon: Exploring Cross-Market Security Discrepancies in Parallel Android Apps
  Shishuai Yang, Guangdong Bai, Ruoyan Lin, Jialong Guo and Wenrui Diao

• Understanding and Detecting Privacy Leakage Vulnerabilities in Hyperledger Fabric Chaincodes
  Ziming Chen, Yue Li, Jianbo Gao, Jiashuo Zhang, Ke Wang, Jianbin Hu, Zhi Guan and Zhong Chen

Research Track 14: Performance and Reliability Analysis and Prediction

• Understanding Atomics and Memory Ordering Issues in Real-World Rust Software
  Cheng Wang, Tengfei Tu, Sujuan Qin, Guangjun Wu, Fei Gao and Mingchao Wan

• A Compositional Approach to Coordinated Software Rejuvenation of Component-Based Systems
  Tommaso Botarelli, Laura Carnevali, Leonardo Paroli and Enrico Vicario

• Feedback-Directed Cross-Layer Optimization of Cloud-Based Functional Actor Applications
  Andrea Cappelletti and Mark Grechanik

• Exact Computation of Network Reliability with Sentential Decision Diagram
  Delong Li, Jiayu Zeng, Liangda Fang, Chaonan Wang, Lin Cui and Quanlong Guan