Research Track Sessions

 

RS1: Best Research Paper Candidates

• Too Many Cooks: Assessing the Need for Multi-Source Data in Microservice Failure Diagnosis
  Shenglin Zhang, Xiaoyu Feng, Runzhou Wang, Minghua Ma, Wenwei Gu, Yongqian Sun, Zedong Jia, Jinrui Sun and Dan Pei

• SyzOrch: An Orchestration Framework for Resource-Aware and Composable Kernel Fuzzing
  Lukai Xu, Baosheng Wang, Bo Yu, Boyu Chang, Binbin Zhao, Shouling Ji, Danjun Liu, Lei Zhou, Qiang Yang and Yaojia Yang

• Understanding Recommendation System Robustness Against Silent Data Corruption: An Empirical Study
  Dongning Ma, Xun Jiao, Fred Lin, Daniel Moore and Sriram Sankar

RS2: LLMs for Logs and Chatbos

• CSLParser: A Collaborative Framework Using Small and Large Language Models for Log Parsing
  Weijie Hong, Yifan Wu, Lingzhe Zhang, Chiming Duan, Pei Xiao, Minghua He, Xixuan Yang and Ying Li

• DVSTdetector: Dual-View Spatio-Temporal Representation Learning for Intrusion Detection in Industrial Control System
  Xuemin Zhang, Qianrong Zheng, Rui Hao, Zhe Xia, Junwei Zhou and Jianwen Xiang

• AetherLog: Log-based Root Cause Analysis by Integrating Large Language Models with Knowledge Graphs
  Tianyu Cui, Ruowei Fu, Changchang Liu, Wenwei Gu, Yuhe Ji, Shenglin Zhang, Yongqian Sun and Dan Pei

• Towards the Assessment of Task-based Chatbots: From the TOFU-R Snapshot to the BRASATO Curated Dataset
  Elena Masserini, Diego Clerissi, Daniela Micucci, João Rodrigues Campos and Leonardo Mariani

RS3: Vulnerability Detection and Security

• ISGraphVD: Precise Vulnerability Detection for IoT Supply Chains Based on Identifier Sensitive Graph
  Yingli Zhang, Xin Liu, Ziang Liu, Song Li, Nan Li, Weina Niu, Rui Zhou and Qingguo Zhou

• LLM Assisted Dual-View Awareness Framework for Smart Contract Vulnerability Detection
  Wang Jianrong, Yue Yuru, Hu Dengcheng, Li Qi, Li Jinghui and Zhu Wenyu

• Detection of Cross-Channel Invocation Risks in Hyperledger Fabric
  Luca Olivieri

• ShadowGuard: Cryptographic Shadow Stack Protection with XOR Obfuscation and HMAC Integrity
  Sirine Ilahi, Adebayo Omotosho and Christian Hammer

RS4: Fuzzing and Testing

• Fuzzing for Detecting Access Policy Violations in REST APIs
  Andrea Arcuri, Omur Sahin and Man Zhang

• LOFT: An LLM-Enhanced Multi-Objective Search Framework for Fault Injection Testing of Autonomous Driving Systems
  Guangdong You, Shuncheng Tang, Jixiang Zhou, Hezhen Liu, Junfang Jiang, Yinxing Xue and Yanfu Li

• MDPMORPH: An MDP-Based Metamorphic Testing Framework for Deep Reinforcement Learning Agents
  Jiapeng Li, Zheng Zheng, Yuning Xing, Daixu Ren, Steven Cho and Valerio Terragni

• No Vibe Without Comprehension: Measuring Code Understanding in Modern Coding Workflows Using Neurophysiological Signals
  Ricardo Saraiva, Joao Duraes, Paulo De Carvalho, Henrique Madeira and Haytham Hijazi

RS5: Testing and Verification

• Condition Sequence Coverage Criterion and Automatic Test Case Generation for Testing-Based Formal Verification
  Ai Liu, Yang Liu, Lei Rao, Shaoying Liu, Zhibin Yang and Zhiqiu Huang

• XAMT: Cross-Framework API Matching for Testing Deep Learning Libraries
  Bin Duan, Ruican Dong, Dan Dongseong Kim, Naipeng Dong and Guowei Yang

• What Challenges Do Developers Face When Using Verification-Aware Programming Languages?
  Francisco Oliveira, Alexandra Mendes and Carolina Carreira

• Robustness Assessment of the Open vSwitch Kernel Module
  José Flauzino, Marco Vieira and Elias Duarte

RS6: AI for Software Engineering

• Breaking Task Isolation: Enhancing Code Review Automation with Mixture-of-Experts Large Language Models
  Jiayue Tang, Li Yang, Lei Yu, Junyi Lu, Zhirong Huang, Fengjun Zhang and Chun Zuo

• Human-Written vs. AI-Generated Code: A Large-Scale Study of Defects, Vulnerabilities, and Complexity
  Domenico Cotroneo, Cristina Improta and Pietro Liguori

• Beyond Functional Correctness: An Empirical Evaluation of Large Language Models for Text-to-Code Generation
  Rodrigo Pato Nogueira, João R. Campos and Marco Vieira

• Code Generation of Smart Contracts with LLMs: A Case Study on Hyperledger Fabric
  Luca Olivieri, David Beste, Luca Negrini, Lea Schönherr, Antonio Emanuele Cinà and Pietro Ferrara

RS7: Large Language Models

• A Cascaded Pipeline for Self-Directed, Model-Agnostic Unit Test Generation via LLMs
  Chao Ni, Xiaoya Wang, Xin Yin, Liushan Chen and Guojun Ma

• AUVANA: An Efficient and Automatic Approach to Variable Rename Refactoring via Large Pre-trained Language Model
  Shiqi Cheng, Chenjie Shen, Li Yang, Lei Yu, Fengjun Zhang and Chun Zuo

• Enhancing Reliability Assurance for DNN against Numerical Defect with Large Language Models
  Jingyu Liu, Jun Ai, Haoran Su and Tao Shi

• ASASQL: Active Data Synthesis and Annotation for Efficient Natural Language SQL Generation in Cloud Systems
  Ruiqin Zheng, Zhiyuan Wu, Shengbing Shi, Qiang Bai, Hao Li, Hui Yu and Weigang Wu

RS8: Microservices and Cloud

• Integrating GraphSAGE and Mamba for Self-Supervised Spatio-Temporal Fault Detection in Microservice Systems
  Shenglin Zhang, Yingke Li, Jianjin Tang, Chenyu Zhao, Wenwei Gu, Yongqian Sun and Dan Pei

• DeST: An Unsupervised Decoupled Spatio-Temporal Framework for Microservice Incident Management
  Xiaohui Nie, Hang Cui, Changhua Pei, Haotian Si, Ke Xiang, Jingjing Li, Yanbiao Li, Gaogang Xie and Dan Pei

• ClusterRCA: An End-to-End Approach for Network Fault Localization and Classification for HPC System
  Yongqian Sun, Xijie Pan, Xiao Xiong, Lei Tao, Jiaju Wang, Shenglin Zhang, Yuan Yuan, Yuqi Li and Kunlin Jian

• An Empirical Study of Production Incidents in Generative AI Cloud Services
  Haoran Yan, Yinfang Chen, Minghua Ma, Ming Wen, Shan Lu, Shenglin Zhang, Tianyin Xu, Rujia Wang, Chetan Bansal, Saravan Rajmohan, Chaoyun Zhang, Qingwei Lin and Dongmei Zhang

RS9: Performance and Reliability

• Unleashing The Efficiency of Rust: An Empirical Study of Performance Bugs in Rust Projects
  Cui Chenhao and Hui Xu

• bBench: A Comprehensive Performance Benchmark for Blockchain Applications
  Fernando R Vidal, Nuno Laranjeiro and Naghmeh Ivaki

• Prepared for the Unknown: Adapting AIOps Capacity Forecasting Models to Data Changes
  Lorena Poenaru-Olaru, Wouter van'T Hof, Adrian Stańdo, Arkadiusz P. Trawiński, Eileen Kapel, Jan S. Rellermeyer, Luis Cruz and Arie van Deursen

• Exploiting the Availability-Continuity Trade-off in Imperfect Retraining of Machine Learning Systems
  Zhengji Wang and Fumio Machida

RS10: Data Engineering

• Automatic Data Repair without Format Specifications
  Zijian Luo, Lukas Kirschner, Ezekiel Soremekun and Rahul Gopinath

• Reliable Version Merging Based on Deep Semantic and logical Understanding of Critical Context
  Mengdan Fan, Wei Zhang, Haiyan Zhao and Zhi Jin

• Detection and Analysis of Poisoned Image in Container Registry
  Siyuan Pang, Yongshan Wang, Yepeng Yao, Zhengwei Jiang, Zijing Fan and Baoxu Liu

RS11: Security and Privacy

• MalPRE: Malware Protocol Reverse Engineering through Code Slicing and Agentic Workflow
  Huang Yuyao, Kang Fei, Shu Hui and Huo Guoyu

• Enhancing Privacy and Robustness in Federated Learning with Local Data Distribution Invariance and Byzantine-Resilient Aggregation
  Bakary Dolo, Faiza Loukil, Khouloud Boukadi and Kave Salamatian

• Exploring the generalizability of software vulnerability classes via replication and synthesis
  Mohammad Ahmad and Katerina Goseva-Popstojanova

RS12: Fault Injection and Dependability

• DLAFI: Software-Based Fault Injection for Permanent Faults in Deep Learning Accelerators
  Seyedmani Sadati, Abraham Chan, Udit Kumar Agarwal and Karthik Pattabiraman

• Detecting Dependability Failures in Healthcare Scenarios via Digital Shadows
  Bruno Guindani, Matteo Camilli, Livia Lestingi and Marcello Bersani

• Effective, Efficient, and Environmentally Friendly Out-of-Model-Scope Detection Methodology
  Zhenyu Yang, Ettore Merlo, Clément Bénesse and Lina Marsso

RS13: Software Engineering Practice

• Refactoring ≠ Bug-Inducing: Improving Defect Prediction with Code Change Tactics Analysis
  Feifei Niu, Junqian Shao, Christoph Mayr-Dorn, Liguo Huang, Wesley Klewerton Guez Assunção, Chuanyi Li, Jidong Ge and Alexander Egyed

• SimFuzz: Conflict-Aware Parallel Fuzzing via Incremental Path Similarity Clustering
  Xuan Meng, Danjun Liu, Xu Zhou, Peihong Lin, Chenyifan Liu, Lei Zhou, Wei Xie, Baosheng Wang and Peng Wang

• ZeroLog: Zero-Label Generalizable Cross-System Log-based Anomaly Detection
  Xinlong Zhao, Tong Jia, Minghua He, Ying Li and Gang Huang