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.

Wednesday, October 22nd

11:00-12:30 / Room: Europa -- RS1: Best Research Paper Candidates
Session Chair: Fuqun Huang

• 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

14:00-15:30 / Room: Europa -- RS2: LLMs for Logs and Chatbos
Session Chair: Shenglin Zhang

• 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

14:00-15:30 / Room: Atenas -- RS3: Vulnerability Detection and Security
Session Chair: Faiza Loukil

• 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

16:00-17:30 / Room: Europa -- RS4: Fuzzing and Testing
Session Chair: Xiaoting Du

• 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

16:00-17:30 / Room: Atenas -- RS5: Testing and Verification
Session Chair: Plínio Vilela

• 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

• 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

• XAMT: Cross-Framework API Matching for Testing Deep Learning Libraries - (Not presented in the conference)
  Bin Duan, Ruican Dong, Dan Dongseong Kim, Naipeng Dong and Guowei Yang

Thursday, October 23rd

11:15-12:45 / Room: Europa -- RS6: AI for Software Engineering
Session Chair: Leonardo Mariani

• 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

11:15-12:45 / Room: Atenas -- RS7: Large Language Models
Session Chair: Maria Teresa Rossi

• 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

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

16:00-17:30 / Room: Europa -- RS8: Microservices and Cloud
Session Chair: Sigrid Eldh

• 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

16:00-17:30 / Room: Paulista -- RS9: Performance and Reliability
Session Chair: Naghmeh Ivaki

• 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

Friday, October 24th

11:00-12:30 / Room: Europa -- RS10: Data Engineering
Session Chair: Cristina Improta

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

• Detection and Analysis of Poisoned Image in Container Registry - (Not presented in the conference)
  Siyuan Pang, Yongshan Wang, Yepeng Yao, Zhengwei Jiang, Zijing Fan and Baoxu Liu

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

11:00-12:30 / Room: Atenas -- RS11: Security and Privacy
Session Chair: Karthik Pattabiraman

• MalPRE: Malware Protocol Reverse Engineering through Code Slicing and Agentic Workflow - (Not presented in the conference)
  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

14:00-15:30 / Room: Europa -- RS12: Fault Injection and Dependability
Session Chair: Marco Vieira

• 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

• 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

14:00-15:30 / Room: Atenas -- RS13: Software Engineering Practice
Session Chair: João R. Campos

• 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

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