Research Track Sessions

 

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

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

• 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

• 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

• 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

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

• 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

• 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

• 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

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

• 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

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

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

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

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

• 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

• 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

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

• 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

• 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

• 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

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

• 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

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

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

• 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

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

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

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

• 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

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

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

• 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

• 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

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

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

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

• 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

• 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

• 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

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

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

• 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

• 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

• 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