Filter Program
Dates
Rooms
Tracks
Badges
Your Program
Tue 13 OctDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
Tue 13 Oct
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
09:00 - 17:30 | |||
09:00 8h30mOther | Quiet Room Organization | ||
09:00 - 10:00 | |||
09:00 60mKeynote | TBA (mp) Keynotes Michael Pradel CISPA Helmholtz Center for Information Security | ||
10:30 - 12:30 | |||
10:30 15mTalk | How Reasoning Shapes Social Bias in LLM-Generated Code? Research Papers Weifeng Sun Singapore Management University, Singapore, Jieke Shi Singapore Management University, Zhou Yang University of Alberta; CIFAR AI Chair; Alberta Machine Intelligence Institute , Yuchen Chen Nanjing University, Hongyan Li Chongqing University, Meng Yan Chongqing University, David Lo Singapore Management University | ||
10:45 15mTalk | Think Before You Code: Dual Reasoning for the NLSafety–Utility Trade-Off in LLM Code Generation Research Papers Honghao Tan Concordia University, Haibo Wang Concordia University, Shin Hwei Tan Concordia University | ||
11:00 15mTalk | Exact-IaC: Execution-Driven Exact Knowledge Injection for Reliable IaC Synthesis Research Papers | ||
11:15 15mTalk | SwiftGram: Dynamic Lexical Forking for Precise and Efficient Grammar-Constrained Decoding Research Papers Shuyi Ling Institute of Software at Chinese Academy of Sciences, Liangyi Kang Institute of Software, Chinese Academy of Sciences, Jie Liu Institute of Software, Chinese Academy of Sciences, Shuai Wang Institute of Software, Chinese Academy of Sciences, Zhirou Ma Institute of Software, Chinese Academy of Sciences, Dan Ye Institute of Software at Chinese Academy of Sciences | ||
11:30 15mTalk | Formal Verification-Integrated Reinforcement Learning for Automated ORM Schema Synthesis Research Papers Media Attached | ||
11:45 15mTalk | AlphaCu: A Transformation-Driven Synthesis Framework for LLM-Based GPU Kernel Generation Research Papers Yangjie Zhou National University of Singapore, Xing Ma Shanghai Jiao Tong University, Zihan Liu Shanghai Jiao Tong University, Wang Qing Tsinghua University, Weihao Cui Shanghai Jiao Tong University, Sun Wu Shanghai Jiao Tong University, Hanjing Wang Harvard University, Binhang Qi National University of Singapore, Jingwen Leng Shanghai Jiao Tong University, Yun Lin Shanghai Jiao Tong University, Minyi Guo Shanghai Jiao Tong University, Jin Song Dong National University of Singapore | ||
12:00 15mTalk | MultiKernelBench: A Multi-platform Benchmark for Kernel Generation Research Papers Zhongzhen Wen Nanjing University, zhangyinghui Nanjing University, Zhong Li Nanjing University, Zhongxin Liu Zhejiang University, Linna Xie Nanjing University, Tian Zhang Nanjing University | ||
12:15 15mTalk | RealisticTritonBench: A Benchmark for Triton-Kernel Generation in Real-World AI Frameworks Research Papers Jinjun Huang Zhejiang University, Zhongzhen Wen Nanjing University, Tongtong Xu Huawei, Meng Yan Chongqing University, Xin Xia Zhejiang University, Zhongxin Liu Zhejiang University | ||
10:30 - 12:30 | Security and Other Non-Functional Properties: Reliability and Availability 1Research Papers / Industry Showcase at Forum 15 | ||
10:30 15mTalk | TELLER: Non-intrusive Cross-Layer Root-Cause Analysis for LLM Inference Research Papers Ruilin Xu Sun Yat-sen University, Junyi Li Sun Yat-sen University, Pengfei Chen Sun Yat-sen University, Zongxuan Xie Sun Yat-sen University | ||
10:45 15mTalk | When Does AI Actually Help in Incident Response? Identifying Good First Messages in Cloud Service Incidents Research Papers Minghua Ma Microsoft, Rujia Wang Microsoft, Chetan Bansal Microsoft Research, Saravan Rajmohan Microsoft, Yingnong Dang Microsoft Azure, Hongyu Zhang Chongqing University | ||
11:00 15mTalk | Expanding Guard Reach: Online Learning-Driven Incremental Kernel Panic Diagnosis Industry Showcase Yicheng Sui Nankai University, Xiaotian Wang Nankai University, Hailin Zhang Nankai University, Shenglin Zhang Nankai University, Binhong Jiang Nankai University, Heng Zheng Nankai University, Yongqian Sun Nankai University, Yuzhi Zhang Nankai University, Yang Zhang ByteDance Inc., Xin Wu ByteDance Inc., Liangyan Peng ByteDance, Linlin Han ByteDance, Feng Wang ByteDance Inc., Xiaozhou Liu ByteDance Inc., Yu Zhang ByteDance Inc. | ||
11:15 15mTalk | GALA: Graph-Augmented LLM Agents for Root Cause Analysis and Incident Response in Microservices Research Papers Yifang Tian University of Toronto, Yaming Liu University of Toronto, Zichun Chong University of Toronto, Zihang Huang University of Toronto, Yiran Li University of Toronto, Hans-Arno Jacobsen University of Toronto Pre-print | ||
11:30 15mTalk | OpsAgent: An Evolving Multi-agent System for Incident Management in Microservices Industry Showcase Yu Luo Nankai University, Jiamin Jiang Nankai University, Jingfei Feng Nankai University, Lei Tao Nankai University, Qingliang Zhang Nankai University, Xidao Wen Alibaba Cloud, Yongqian Sun Nankai University, Shenglin Zhang Nankai University, Tong Liu Lenovo (TianJin) Co., Ltd., Wenjie Zhang Lenovo, Dan Pei Tsinghua University, China | ||
11:45 15mTalk | ActionNex: A Production-Grade System for Next-Best-Action Recommendation in Cloud Outage Management Industry Showcase Zhenfeng Lin Microsoft, Haoji Hu Microsoft, Ming Hao Microsoft, Xuchao Zhang Microsoft, Yudi He Microsoft, Oleg Kulygin Microsoft, Hatay Tuna Microsoft, Chetan Bansal Microsoft Research, Ze Li Microsoft Azure, Murali Chintalapati Microsoft Azure, Sheila Jiang Microsoft, Salman Zafar Microsoft, Angie Anderson Microsoft, Ryan zhang | ||
12:00 15mTalk | ReLog: Execution-Aware Logging with Runtime Feedback for LLM-Oriented Debugging Research Papers Xin Wang The Hong Kong University of Science and Technology (Guangzhou), Yang Feng The Hong Kong University of Science and Technology (Guangzhou), Xiaoqian Jiao Hong Kong University of Science and Technology, Yang Zhang Hebei University of Science and Technology, Zhenhao Li York University, Zishuo Ding The Hong Kong University of Science and Technology (Guangzhou) Pre-print | ||
12:15 15mTalk | Towards Reliable Alarm Flood Reduction in Data Center via Grammar-Guided Verifiable LLM Reasoning Industry Showcase Jiacheng Liu Peking University; Institute for AI Industry Research (AIR), Tsinghua University, Guocong Lin Tsinghua University, Jichao Yan Tsinghua University, Huiwen Zheng GDS Holdings, Hongli Ma GDS Holdings, Changhao Zhou GDS Holdings, Zhiyi Yu GDS Holdings, Yuanchun Li Institute for AI Industry Research (AIR), Tsinghua University, Yunxin Liu Tsinghua University, Ding Li Peking University, Tao Xie Peking University, Yao Guo Peking University | ||
10:30 - 12:30 | AI and Software Engineering: Autonomous and Self-Adapting SystemsResearch Papers / Tools and Datasets / Industry Showcase at Forum 2 | ||
10:30 15mTalk | ProbGuard: Proactive Runtime Monitoring for LLM Agent Safety via Probabilistic Prediction Research Papers Haoyu Wang School of Computing and Information Systems, Singapore Management University, Chris Poskitt Singapore Management University, Jiali Wei Xi'an Jiaotong University, Jun Sun Singapore Management University Pre-print | ||
10:45 15mTalk | What Breaks When LLMs Code? Characterizing Operational Safety Failures of Agentic Code Assistants Research Papers Pre-print | ||
11:00 15mTalk | Maintaining Control States for Initialization-Aware GRPO in Industrial LLM Workflows Industry Showcase Chen Liu Peking University, Zhenzhao Yuan Tencent, Fengyuan Fan Tencent, Limei Che Tencent, qiao qian , Qingyuan Liang Peking University, Zeyu Sun Institute of Software, Chinese Academy of Sciences, Lu Zhang Peking University | ||
11:15 15mTalk | From Plan to Action: How Well Do Agents Follow the Plan? Research Papers Shuyang Liu , Saman Dehghan University of Illinois Urbana Champaign, Jatin Ganhotra IBM Research, Martin Hirzel IBM Research, Reyhaneh Jabbarvand University of Illinois at Urbana-Champaign | ||
11:30 15mTalk | Safeguarding LLM Agents from Misalignment through Provenance Analysis Research Papers Yining She Carnegie Mellon University, Yiliang Liang Carnegie Mellon University, Eunsuk Kang Carnegie Mellon University | ||
11:45 10mTalk | Introducing Safe LLM-Agent Execution via Typed Tool Mediation and World-Effect Evaluation Tools and Datasets Jun Zhou Chongqing Normal University; Chongqing Electric Power College, Tao Jia Chongqing Normal University; Southwest University DOI | ||
11:55 10mTalk | FeatX: Editing Software by Editing Features for Repository-Level Code Evolution Tools and Datasets Xutian Li Peking University, Yifeng Zhu Peking University, Xianlin Zhao Peking University, Yanzhen Zou Peking University, Lu Zhang Peking University, Bing Xie Peking University DOI Pre-print | ||
12:05 10mTalk | Graphectory Viewer: A Tool for Process-Centric Analysis of Agentic Software Trajectories Tools and Datasets Charlie Jyu University of Illinois at Urbana-Champaign, Shuyang Liu , Reyhaneh Jabbarvand University of Illinois at Urbana-Champaign DOI | ||
10:30 - 12:30 | Human and Social Aspects: Program Comprehension and VisualizationResearch Papers / Industry Showcase / Journal First at Forum 3 | ||
10:30 15mTalk | Issue-Oriented Agent-Based Framework for Automated Review Comment Generation Journal First Shuochuan Li College of Intelligence and Computing, Tianjin University, Dong Wang Tianjin University, Patanamon Thongtanunam University of Melbourne, Zan Wang Tianjin University, Jiuqiao Yu University of California Berkeley, Junjie Chen Tianjin University DOI | ||
10:45 15mTalk | ExplainBench: Evaluating Code Explanations from Agents Research Papers Zhiyuan Pan Zhejiang University, Sungmin Kang NUS, Imam Nur Bani Yusuf Singapore Management University, Singapore, Abhik Roychoudhury National University of Singapore Pre-print | ||
11:00 15mTalk | Automating Low-Risk Code Review at Meta: RADAR, Risk Calibration, and Review Efficiency Industry Showcase Audris Mockus University of Tennessee, Peter C Rigby Meta / Concordia University, Nachiappan Nagappan Meta Platforms, Inc. | ||
11:15 15mTalk | RepoProbe: Benchmarking Architecture-Aware Repository Comprehension with Checklists Research Papers Yuexi Yang Zhejiang University, Alyssa Wu Tencent, Ji Luo Tencent, Richeng Xuan Tencent, Zhichao Hu Tencent, Yuhong Liu Tencent, Zhen Qin Zhejiang University Pre-print | ||
11:30 15mTalk | “We Must Have Missed This Comment”: Detecting and Repairing Stale Function References in Linux Kernel Comments Research Papers Kexin Sun Nanjing University, Yunbo Lyu Singapore Management University, Xutong Ma Inria Paris, Hongyu Kuang Nanjing University, Ratnadira Widyasari Singapore Management University, Singapore, He Zhang Nanjing University, Xiaoxing Ma Nanjing University, Julia Lawall Inria, David Lo Singapore Management University Pre-print | ||
11:45 15mTalk | How Developer Coreness Influences the Patch-Review Process: A Mixed-Method Study Journal First Christian Hechtl Saarland University, Thomas Bock Carnegie Mellon University, Ralf Ramsauer OTH Regensburg, Wolfgang Mauerer OTH Regensburg / Siemens AG, Sven Apel Saarland University DOI Pre-print | ||
12:00 15mTalk | On the Reliability of Code Comprehension Proxies Research Papers Erfan Arvan New Jersey Institute of Technology, Nadeeshan De Silva William & Mary, Oscar Chaparro William & Mary, Martin Kellogg New Jersey Institute of Technology | ||
12:15 15mTalk | Same Scrutiny, More Time: Eye Tracking Insights into Reviewing LLM-Labelled Code Research Papers Ranim Khojah Chalmers University of Technology and University of Gothenburg, Francisco Gomes de Oliveira Neto Chalmers | University of Gothenburg, Mazen Mohamad Chalmers | RISE - Research Institutes of Sweden, Julian Frattini Chalmers | University of Gothenburg, Philipp Leitner Chalmers | University of Gothenburg | ||
10:30 - 12:30 | Security and Other Non-Functional Properties: Security and Privacy 1Tools and Datasets / NIER / Research Papers at Forum 6 | ||
10:30 15mTalk | An Empirical Study of Data Access Practice in Android AR Apps to Understand User Privacy Risks Research Papers Sabbir Hussain Meraj University of Texas at San Antonio, Long Trac University of Texas at San Antonio, Xiaoyin Wang University of Texas at San Antonio, Xusheng Xiao Arizona State University, Wei Wang University of Texas at San Antonio, USA | ||
10:45 10mTalk | Software Engineering Meets the EU AI Act: Artifacts, Patterns, and Future Directions NIER Sridhar Chimalakonda Indian Institute of Technology Tirupati, Karimi Upendra Indian Institute of Technology Tirupati | ||
10:55 15mTalk | When Extensions Lie: Large-Scale Study of Privacy Policy Compliance in Browser Extensions Research Papers Zilun Wang Chinese University of Hong Kong, Zeyang Zhuang The Chinese University of Hong Kong, Mingxue Zhang Zhejiang University, Wei Meng Chinese University of Hong Kong, Michael Lyu CUHK, Hong Kong | ||
11:10 15mTalk | VeriSBOM: Secure and Verifiable SBOM Sharing via Zero-Knowledge Proofs Research Papers Gianpietro Castiglione Newcastle University, Shahriar Ebrahimi Newcastle University, Narges Khakpour Newcastle University, UK | ||
11:25 15mTalk | Guided Decoding as a Defense against Package Hallucination in LLM-Generated Code Research Papers Alberick Euraste Djire University of Luxembourg, Iyiola E. Olatunji University of Luxembourg, Melissa Tessa University of Luxembourg, Earl T. Barr University College London, Jacques Klein University of Luxembourg, Tegawendé F. Bissyandé University of Luxembourg | ||
11:40 15mTalk | Post-quantum Cryptography in the Wild: Assessing the Readiness of Open-Source Ecosystems Research Papers Tongxin Yuan Shanghai Jiao Tong University, Zhanpeng Liu Tencent, Jiashuo Liang Tencent Xuanwu Lab, Zhuosheng Zhang Shanghai Jiao Tong University, Gongshen Liu Shanghai Jiao Tong University, Yang Yu Tencent Xuanwu Lab, Guancheng Li Tencent | ||
11:55 15mTalk | Execution-as-Configuration: Security Smells in Model Configuration Artifacts Research Papers Mohammed Latif Siddiq Meta Platforms, Prince Noah Johnson University of Notre Dame, Joanna C. S. Santos University of Notre Dame | ||
12:10 10mTalk | AIGen: Automating AI Bill of Materials Generation through Hybrid MLOps Integration Tools and Datasets Federica Pepe University of Sannio, Daniele Bifolco University of Sannio, Costantino Martignetti University of Sannio, Aureliano D'Amici Smart Shaped, Fabiano Izzo Smart Shaped, Damian Andrew Tamburri University of Sannio - JADS/NXP Semiconductors, Massimiliano Di Penta University of Sannio, Italy DOI | ||
12:20 10mTalk | AIRBORNE: Augmented fIne-grained softwaRe Bill Of mateRials geNerator for stack ovErflow Tools and Datasets Sabato Nocera University of Salerno, Massimiliano Di Penta University of Sannio, Italy, Simone Romano University of Salerno, Giuseppe Scanniello University of Salerno DOI | ||
10:30 - 12:30 | Maintenance and Evolution: Refactoring and Reengineering 1Research Papers / Industry Showcase at Forum 8 | ||
10:30 15mTalk | If You Build It, Will They Come? Lessons from 20 Years of Industrial Use of a Code Transformation DSL Industry Showcase | ||
10:45 15mTalk | PCodeTrans: Translate Decompiled Pseudocode to Trace-Level Equivalent Source Code Research Papers Yuxin Cui Institute for Network Sciences and Cyberspace, Tsinghua University, Zeyu Gao Tsinghua University, Siliang Qin Institute of Information Engineering, Chinese Academy of Sciences. School of Cyber Security, University of Chinese Academy of Sciences, China, Yuanda Wang Peking University, JiaMing Wang Tsinghua University, xizeLuo Hunan University, Peng Zhou Tsinghua University, Chao Zhang Tsinghua University | ||
11:00 15mTalk | Beyond Text Matching: Towards Reference-Free Evaluation for Human-Oriented Binary Reverse Engineering Research Papers Xiuwei Shang Singapore Management University, Li Hu University of Science and Technology of China, Xiao Jiang University of Science and Technology of China, Jieke Shi Singapore Management University, Junda He Singapore Management University, Zhou Yang University of Alberta; CIFAR AI Chair; Alberta Machine Intelligence Institute , Shaoyin Cheng University of Science and Technology of China, Guoqiang Chen University of Science and Technology of China, Weiming Zhang University of Science and Technology of China, David Lo Singapore Management University Pre-print | ||
11:15 15mTalk | The CodeInverter Suite: Structure- and Data-Aware Binary Decompilation with Efficient LLMs Research Papers Peipei Liu Zhongguancun Laboratory, Jian Sun Zhongguancun Laboratory, Rongkang Sun Zhongguancun Laboratory, Li Chen Zhongguancun Laboratory, Zhaoteng Yan Zhongguancun Laboratory, Xiaoling Zhang Zhongguancun Laboratory, Dawei Wang Zhongguancun Laboratory, Dapeng Sun Zhongguancun Laboratory, Peizheng Zhang Zhongguancun Laboratory, Dan Li Sun Yat-sen University DOI Pre-print | ||
11:30 15mTalk | HyBinMAS: LLM-Powered Hybrid Analysis for Function Name Recovery of Stripped Binaries Research Papers Chenxi Wang Nanjing University, Lei Xu Nanjing University, Xincheng He Jiangnan University, Gaozhan Yu Nanjing University, Ye Wang Southeast University | ||
11:45 15mTalk | BDiff: Block-Aware and Accurate Text-Based Code Differencing Research Papers Yao Lu National University of Defense Technology, Wanwei Liu National University of Defense Technology, Tanghaoran Zhang National University of Defense Technology, Kang Yang National University of Defense Technology, Yang Zhang National University of Defense Technology, China, Wenyu Xu National University of Defense Technology, Longfei Sun National University of Defense Technology, Xinjun Mao National University of Defense Technology, Shuzheng Gao Chinese University of Hong Kong, Michael Lyu CUHK, Hong Kong | ||
12:00 15mTalk | Needle in the Repo: Diagnosing Maintainability Failures in AI-Generated Repository Edits Research Papers Haichao Zhu Reality Vison, Qian Zhang University of California at Riverside, Jiyuan Wang Tulane University, Zhaorui Yang University of California, Riverside, Yuxin Qiu University of California at Riverside | ||
12:15 15mTalk | Code Transformation Rule Synthesis using LLMs: Potential and Limits Research Papers Axel Allain INSA; University of Rennes; Inria; CNRS; IRISA, Aymeric Blot University of Rennes, IRISA / INRIA, Djamel Eddine Khelladi CNRS, IRISA, University of Rennes, Mathieu Acher Univ Rennes, Inria, CNRS, IRISA | ||
14:00 - 16:00 | |||
14:00 15mTalk | ExeCRE: Execution-Consistency Guided Reliability Estimation for Self-Correcting Code Generation Research Papers Yiru Dong Beihang University, Richong Zhang Beihang University, Fanshuang Kong Beihang University, Si Chen Beihang University | ||
14:15 15mTalk | Translation Tag Team: Formal Rules and LLMs Translate More Macros Together Than Apart Research Papers Brent Pappas University of Central Florida, Joseph Zaluksy University of Central Florida, Zachary Burkett University of Central Florida, Paul Gazzillo University of Central Florida Pre-print | ||
14:30 15mTalk | Regression Accumulation in Multi-turn LLM Programming Conversations Research Papers Andie Huang Massey University, Lin Ma Alibaba Research Center for Complexity Sciences; Hangzhou Normal University, Amjed Tahir Massey University, Qian Zhang University of California at Riverside, Liwen Xiao University of Otago, Lysa Xiao University of Otago | ||
14:45 15mTalk | When Comments Mislead: An Empirical Study of Outdated Comments in LLM-Based Code Completion Research Papers Zhikun Xia Sun Yat-sen University, Yuan Huang Sun Yat-sen University, Xiangping Chen Sun Yat-sen University, China, Zibin Zheng Sun Yat-sen University | ||
15:00 15mTalk | Towards Reliable C-to-Rust Translation with Rule-Guided Reasoning and Reinforcement Learning Industry Showcase Feng Luo Harbin Institute of Technology (Shenzhen), Jiachen Liu Harbin Institute of Technology, Shenzhen, Cuiyun Gao Harbin Institute of Technology, Shenzhen, jiafeng Harbin Institute of Technology, Shenzhen, Kui Liu Huawei | ||
15:15 15mTalk | Instruction Alignment for Binary Code Representation Learning Research Papers Pre-print | ||
15:30 15mTalk | Post-hoc Attention Steering of Large Language Models for Robust Code Understanding under Obfuscation Research Papers Xiaokai Rong University of Texas at Dallas, Aashish Yadavally University of Central Florida, Tien N. Nguyen University of Texas at Dallas | ||
15:45 15mTalk | Lost in Translation, Found in Summary: Summary-Driven Supervision for Cross-Language Code Retrieval Research Papers Zhijie Liu Independent Researcher, Yisi Liu Donghua University, Linxi Jiang Independent Researcher, Yutian Tang University of Glasgow, United Kingdom, Lili Xiao Donghua University, Zhipeng Xue Zhejiang University | ||
14:00 - 16:00 | Formal Aspects of Software Engineering: Specification Languages 1Research Papers / Industry Showcase / Tools and Datasets / Journal First / NIER at Forum 15 | ||
14:00 15mTalk | RFC2TLA+: Extracting and Verifying Formal Models from RFC Documents using Continuous LLM Feedback Research Papers Guozhen Ding University of Toronto, Kexin Li University of Toronto, Ilya Grishchenko University of Toronto, David Lie University of Toronto, Canada DOI Pre-print | ||
14:15 15mTalk | Exploring Development Methods for Reactive Synthesis Specifications Journal First Dor Ma'ayan Tel Aviv University, Shahar Maoz Tel Aviv University, Jan Oliver Ringert Bauhaus-University Weimar DOI | ||
14:30 10mTalk | TLCrafter: Peeling the Layers of Natural Language to Reveal Temporal Logic Specifications Tools and Datasets Cheng Wen Xidian University, Wenjun Ke Xidian University, Xiao Liang Xidian University, Zhi Ma Xidian University, Xiaoyong Xue Fermat Labs, Shengchao Qin Xidian University, Cong Tian Xidian University DOI | ||
14:40 10mTalk | ACSLBench: A Verified C/ACSL Corpus and Benchmark with Compositional Call Chains for Formal Specification Synthesis Tools and Datasets Hu Junjie Xidian University, Cheng Wen Xidian University, Bin Yu Xidian University, Jialun Cao Hong Kong University of Science and Technology, Dugang Liu Shenzhen University, Weidi Sun Peking University, Haokun Li Peking University, Shengchao Qin Xidian University, Cong Tian Xidian University DOI | ||
14:50 10mTalk | Can Formal Specifications Be Synthesized from Tests Alone? NIER Tianhai Liu Karlsruhe Institute of Technology (KIT), and aicas GmbH, Maximilian Müller KIT, Tobias Hey Karlsruhe Institute of Technology (KIT), Vitus Lüntzel KIT, Muhammad Minhas KIT, Anne Koziolek Karlsruhe Institute of Technology, Bernhard Beckert Karlsruhe Institute of Technology DOI | ||
15:00 15mTalk | Formula Completion Suggestions for Alloy Models with Selection Guidance Research Papers Mohammad Nurullah Patwary University of Texas at Arlington, Allison Sullivan University of Texas at Arlington | ||
15:15 15mTalk | Beyond Benchmarks: A Case Study of LLM-Generated Verus Specification Failures on Asterinas Vostd Industry Showcase Dugang Liu Shenzhen University, Ding Wang Shenzhen University, Chao Jiang Shenzhen University, Shenzhen, China, Cheng Wen Xidian University, Zhiwu Xu Shenzhen University, Zhong Ming Shenzhen University, Yuwei Liu Ant Group, Xinyi Wan , Lin Huang Ant Group | ||
15:30 15mTalk | All or Nothing: How Library Type Annotations Affect Client-Side Errors in Python Research Papers Eric Asare New York University Abu Dhabi, Luca Di Grazia University of St. Gallen, Sarah Nadi New York University Abu Dhabi | ||
15:45 15mTalk | MiniPoly: Automatic Extraction of Efficient JavaScript Polyfill from Language Specification Research Papers | ||
14:00 - 16:00 | Testing and Analysis: Regression and Model-Based Testing 2Industry Showcase / Research Papers / Journal First at Forum 2 | ||
14:00 15mTalk | Piece by Piece: Automating Combination Interaction GUI Testing via Planning and Dual Memory Research Papers Zhe Liu Institute of Software, Chinese Academy of Sciences, Oujin Wang Institute of Software, Chinese Academy of Sciences, Junjie Wang Institute of Software at Chinese Academy of Sciences, Chunyang Chen TU Munich, Mengzhuo Chen Institute of Software, Chinese Academy of Sciences, Boyu Wu Institute of Software at Chinese Academy of Sciences, Yuekai Huang Institute of Software, Chinese Academy of Sciences, Qing Wang Institute of Software at Chinese Academy of Sciences DOI | ||
14:15 15mTalk | GraphDroid: Asynchronous LLM-Based Mobile App GUI Testing via History-Aware Exploration and Hybrid Intent Fulfillment Research Papers Xiaolei Li Hong Kong University of Science and Technology; Southern University of Science and Technology; Guangzhou HKUST Fok Ying Tung Research Institute, Jialun Cao Hong Kong University of Science and Technology, Zhijian Hou City University of Hong Kong, Yuzhi Zhao City University of Hong Kong, Yepang Liu Southern University of Science and Technology, Shing-Chi Cheung Hong Kong University of Science and Technology | ||
14:30 15mTalk | Evaluating the Maintainability of ViewModel Tests using Multi-modal DSLs: An Industrial Mixed-Methods Study Research Papers Mario Fuksa University of Stuttgart, Sandro Speth Technical University of Munich, Steffen Becker University of Stuttgart | ||
14:45 15mTalk | WebCQ: Cooperative Multi-agent Deep Reinforcement Learning for Scalable Web GUI Testing Research Papers Yujia Fan Southern University of Science and Technology, Sinan Wang Southern University of Science and Technology, Zebang Fei Southern University of Science and Technology, Yao Qin Southern University of Science and Technology, Huaxuan Li Southern University of Science and Technology, Yepang Liu Southern University of Science and Technology | ||
15:00 15mTalk | Using Large Language Models to Test Voice User Interfaces Journal First Emanuela Guglielmi University of Molise, Angelica Spina University of Molise, Gabriele Bavota Software Institute @ Università della Svizzera Italiana, Rocco Oliveto University of Molise, Simone Scalabrino University of Molise DOI | ||
15:15 15mTalk | VUI Testing of VPA Apps via Behavior Model-Enhanced LLM Agents Journal First Suwan Li Nanjing University, Lei Bu Nanjing University, Shangqing Liu Nanjing University, Guangdong Bai City University of Hong Kong, Fuman Xie University of Queensland, Kai Chen Institute of Information Engineering at Chinese Academy of Sciences; University of Chinese Academy of Sciences, Chang Yue Institute of Information Engineering, Chinese Academy of Sciences, China; School of Cyber Security, University of Chinese Academy of Sciences, China DOI | ||
15:30 15mTalk | Doc2Test: An Industrial Multi-agent Framework for Document-Driven End-to-End Selenium Test Generation Industry Showcase Andrea Lops Polytechnic University of Bari, Italy, Antonio Ferrara Politecnico di Bari, Fedelucio Narducci Polytechnic University of Bari, Azzurra Ragone University of Bari, Michelantonio Trizio Wideverse | ||
15:45 15mIndustry talk | Model-Guided Property-Based Testing of WeChat Pay at Billion-User Scale Industry Showcase Xiangchen Shen East China Normal University, Yiting Wang East China Normal University, Ting Su East China Normal University, Jingjing Liang East China Normal University, Jingling Sun University of Electronic Science and Technology of China, Xixian Liang East China Normal University, Haiying Sun East China Normal University, Xinjie Xu Tencent, Haochuan Lu Tencent, Yuetang Deng Tencent, Pengcheng Wang Tencent, China, Geguang Pu East China Normal University, China, Zhendong Su ETH Zurich, John Hughes Chalmers University of Technology, Sweden | ||
14:00 - 16:00 | Security and Other Non-Functional Properties: Security and Privacy 2Research Papers / Industry Showcase / Journal First at Forum 3 | ||
14:00 15mTalk | Mind the Gap: Do Widely-Used SAST Tools Really Cover the Language-Specific Top CWEs? Research Papers zhilin li , Yiran Nie Hangzhou Institute for Advanced Study at University of Chinese Academy of Sciences, Xianglong Qi Beijing University of Technology, Jiwei Yan Institute of Software at Chinese Academy of Sciences, Jun Yan Institute of Software, Chinese Academy of Sciences | ||
14:15 15mTalk | Perception, Reasoning, and Action: A ReAct-Based Vulnerability Detection Framework with Repository-Level Reasoning Research Papers Xin-Cheng Wen Harbin Institute of Technology, Hanyue Luo Harbin Institute of Technology, Cuiyun Gao Harbin Institute of Technology, Shenzhen, Hao Zhu Peking University, Yang Xiao Chinese Academy of Sciences, Ge Li Peking University | ||
14:30 15mTalk | One Is Not Enough: The Untold Story of Multiple Security Patches for One Vulnerability Research Papers Fangyuan Zhang , Lyuye Zhang Nanyang Technological University, Lingling Fan Nankai University, Chengwei Liu Nankai University, Yinan Li Nankai University, Liang Huang Qi An Xin Technology Group, Yang Liu Nanyang Technological University, Zheli Liu Nankai University, Sen Chen Nankai University | ||
14:45 15mTalk | Are Reasoning Traces Faithful in LLM-Based Code Vulnerability Detection? Research Papers Wang Jialai National University of Singapore, Juncheng Lu Southeast University, Songtao Yang Zhongguancun Laboratory, Bingyi He Huazhong University of Science and Technology, Zeyu Gao Tsinghua University, Chao Zhang Tsinghua University, Shuai Wang Hong Kong University of Science and Technology | ||
15:00 15mTalk | Harnessing Uncertainty in Code Language Models: Lessons from Vulnerability Detection Research Papers Haodong Li Huazhong University of Science and Technology, Xiao Cheng Macquarie University, Xudong Wang Zhongguancun Institute of Artificial Intelligence, Zhihao Guo UTS, Haoyu Wang Huazhong University of Science and Technology | ||
15:15 15mTalk | UntrustVul: Automated Untrustworthy Alert Identification in Vulnerability Detection Models Journal First Lam Nguyen Tung Monash University, Australia, Xiaoning Du Monash University, Neelofar Neelofar Royal Melbourne Institure of Techonlogy (RMIT), Aldeida Aleti Monash University DOI | ||
15:30 15mTalk | No Isolated Evolution, No Blind Search: Memory-Guided Prompt Co-evolution for Industrial Multi-agent Vulnerability Detection Industry Showcase Jie Xu City University of Hong Kong, Zihan Wu City University of Hong Kong, Yun Peng Fudan University, Chun Yong Chong Monash University Malaysia, Linghan Meng Huawei, Kui Liu Huawei, Xiaohua Jia City University of Hong Kong | ||
15:45 15mTalk | AgenticSCR: An Autonomous Agentic Secure Code Review for Immature Vulnerabilities Detection Industry Showcase Wachiraphan (Ping) Charoenwet University of Melbourne, Kla Tantithamthavorn Monash University, Patanamon Thongtanunam University of Melbourne, Hong Yi Lin The University of Melbourne, Minwoo Jeong Atlassian, Ming Wu Atlassian | ||
14:00 - 16:00 | Maintenance and Evolution: API Design and ManagementResearch Papers / Industry Showcase / Journal First at Forum 6 | ||
14:00 15mTalk | Understanding the Code and Architectural Smells Generated by LLMs and Autonomous Agents Research Papers Yuecai Zhu Bell Mobility, Nikolaos Tsantalis Concordia University, Peter Rigby Concordia University; Meta | ||
14:15 15mTalk | ABACI: Automated Downstream Bug Resolution via Semantic-Aware Bisection and Convergent Backporting Industry Showcase Runzhe Wang Alibaba Group, Yuanhang Zhou Alibaba Cloud Computing, Qingming Su Alibaba Cloud Computing, Yong Yang Alibaba Cloud Computing, Xiaohai Shi Alibaba Group, Tao Ma Alibaba Group | ||
14:30 15mTalk | HyTri: Hybrid Triage of CI Failures via LLM Guided Semantic Reasoning and Change Attribution Research Papers Lior Broide Ben-Gurion University of the Negev, Argaman Mordoch Ben-Gurion University of the Negev, Roni Stern Ben-Gurion University of the Negev | ||
14:45 15mTalk | Beyond Syntactic Differencing: Semantic-Aware Scheduling for Cross-Configuration Incremental Builds Research Papers Xiaolong Dai Nanjing University, Shanshan Li Nanjing University, Jun Lyu Nanjing University, Xintao Niu Nanjing University | ||
15:00 15mTalk | Implicit, Yet Impactful: Understanding Hidden Dependencies in Java Projects Research Papers Lyuye Zhang Nanyang Technological University, Chengwei Liu Nankai University, Fangyuan Zhang , Yiran Zhang Nanyang Technological University, Yuan Zhou Zhejiang Sci-Tech University, Yang Liu Nanyang Technological University | ||
15:15 15mTalk | DepUpgrade: Automating Dependency Upgrade through State-Path Exploration Research Papers Yifan An Beihang University, Xiangxi Ma Beihang University, Wentong Tian Beihang University, Xuanqi Wang Beihang University, Qingao Dong Beihang university, Xiang Gao Beihang University, Hailong Sun Beihang University | ||
15:30 15mTalk | DAGGER: Dynamic Agentic Graph-Guided Efficient Reasoner for Container Image Dependency Optimization Research Papers Shikhar Vashistha Dept. of Computer Science & Engineering, Indian Institute of Technology, Roorkee, India, Neetesh Kumar IIT Roorkee | ||
15:45 15mTalk | Byam: Fixing Breaking Dependency Updates with Large Language Models Journal First Frank Reyes Garcia KTH Royal Institute of Technology, May Mahmoud New York University Abu Dhabi, Federico Bono KTH Royal Institute of Technology, Sarah Nadi New York University Abu Dhabi, Benoit Baudry Université de Montréal, Martin Monperrus KTH Royal Institute of Technology DOI | ||
14:00 - 16:00 | Security and Other Non-Functional Properties: Performance 1Research Papers / Industry Showcase at Forum 7 | ||
14:00 15mTalk | Stop When It Matters: Detectability-Guided Microbenchmarking for Performance Regression Testing Research Papers Zongxiong Chen Fraunhofer FOKUS, Derui Zhu Rochester Institute of Technology, Jinfu Chen Wuhan University, Kundi Yao Ontario Tech University, Alexander Pretschner TU Munich, Weiyi Shang University of Waterloo, Manfred Hauswirth Fraunhofer FOKUS, Sonja Schimmler Fraunhofer FOKUS & TU Berlin | ||
14:15 15mTalk | Multi-level Code Optimization via Mixture of Prompts Research Papers Yun Peng Fudan University, Jun Wan Zhejiang University, Jiakun Liu Harbin Institute of Technology, Shuzheng Gao Chinese University of Hong Kong, David Lo Singapore Management University, Xiaoxue Ren Zhejiang University | ||
14:30 15mResearch paper | Less Is More: Tuning Configurable Systems with Imperfect Fidelity Research Papers Yulong Ye University of Birmingham, Miqing Li University of Birmingham, Tao Chen University of Birmingham DOI Pre-print | ||
14:45 15mTalk | Characterizing and Mitigating Productivity Loss in Large-Scale Model Training: An Empirical Study Industry Showcase Dinghao Xue Beihang University, Yanxiang Chen Beihang University, Junhong Liu Beihang University, Yepeng Zhang Kuaishou, Guangsen Ni Kuaishou, Menghao Zhang Beihang University, Tianyu Wo , Zheng Zheng Beihang University, Chunming Hu Beihang University, Jin Ouyang Kuaishou Inc., Renyu Yang Beihang University | ||
15:00 15mTalk | Understanding the Performance-Effectiveness Trade-Offs of AddressSanitizer in Real-World Programs: An Empirical Study Industry Showcase Jiaxin Xi Xidian University, Cheng Wen Xidian University, Zhiwei Lin Xidian University, Yuandao Cai Hong Kong University of Science and Technology, Jie Su Xidian University, Bin Yu Xidian University, Zhuohua Li The Chinese University of Hong Kong, Shengchao Qin Xidian University | ||
15:15 15mTalk | Li-WaC: A Lightweight WebAssembly Container for Independently Upgradable IoT Applications in Xiaomi Vela Industry Showcase Bin Liao , Canfeng Zheng Sun Yat-sen University, Shiwen Shan Sun Yat-sen University, Qi Huang Beijing Xiaomi Mobile Software, Junjie Dong Beijing Xiaomi Mobile Software, Xiang Xiao Beijing Xiaomi Mobile Software, Yaoyao Gu Beijing Xiaomi Mobile Software, Yuxin Su Sun Yat-sen University | ||
15:30 15mTalk | DBRepro: Automated Database Synthesis via a Hybrid Constraint-Solving Approach for Reproducing Slow Queries Industry Showcase zhaoyang zhang Renmin University of China, Shuang Liu Renmin University of China, Dengfeng Xu China Electronics Technology Kingbase (Beijing) Technologies, Wei Lu Renmin University of China, China, Jianquan Leng China Electronics Technology Kingbase (Beijing) Technologies, Sheng Du China Electronics Technology Kingbase (Beijing) Technologies, Xiaoyong Du Renmin University of China | ||
15:45 15mTalk | WiseSword: An Automated Computation Graph Partitioning Tool for Industrial DLRM Deployment on Ascend NPUs Industry Showcase Ke Cheng Nanjing University, Yuhan Zhang Huawei Technologies, Bo Pan Huawei Technologies Co., Ltd., Jiawei Zhu Huawei Technologies, Qidong Zhang Huawei Technologies, Yuting Yan Nanjing University, Zhengyong Zhang Huawei Technologies, Yibo Jin Huawei Technologies, Sheng Zhang Nanjing University | ||
14:00 - 16:00 | Testing and Analysis: Automated Program Repair and Synthesis 1Research Papers / Industry Showcase / Tools and Datasets / NIER at Forum 8 | ||
14:00 15mTalk | RegoMender: A Multi-agent Framework for Automated Rego Policy Repair Research Papers Ruijie Zhang Institute of Information Engineering at Chinese Academy of Sciences, Huaxiao Yin Institute of Information Engineering at Chinese Academy of Sciences; University of Chinese Academy of Sciences, Li Hu University of Science and Technology of China, Fanqi Kong Peking University, Haozhe Liang University of Chinese Academy of Sciences, Shaoyin Cheng University of Science and Technology of China, Kun Zhang Institute of Information Engineering at Chinese Academy of Sciences, Bibo Tu Institute of Information Engineering, Chinese Academy of Sciences and School of Cyber Security, University of Chinese Academy of Sciences | ||
14:15 15mTalk | DesignFix: Context-Augmented Repair of Design Rule Violations Research Papers | ||
14:30 15mTalk | ArkEval: Benchmarking and Evaluating Automated Code Repair for ArkTS Research Papers bang xie Shanghai Jiao Tong University, Senjian Zhang Shanghai Jiao Tong University, Zhiyuan Peng Shanghai Jiao Tong University, Wei Chen Shanghai Jiao Tong University, Xin Yin Zhejiang University, Chenhao Ying Shanghai Jiao Tong University, Yuan Luo Shanghai Jiao Tong University | ||
14:45 15mTalk | LaMAR: Latent Multi-agent Collaboration via KV-Cache Communication for Automated Program Repair Research Papers Rui Jiao Xidian University, Yue Zhang Auburn University, Zhexuan Feng Xidian University, Jinku Li Xidian University | ||
15:00 15mTalk | From Security Findings to Verified Fixes: Automated Repair of Infrastructure-as-Code Misconfigurations Industry Showcase Ying Li University of California, Los Angeles, Tamjid Rahat Amazon Web Services, Yingjun Lyu Amazon Web Services, Omer Tripp Amazon Web Services, George Argyros Amazon Web Services | ||
15:15 15mTalk | Catching Developers in the Flow: Low-Latency Agentic Program Repair at Google Scale Industry Showcase Celal Ziftci Google, Spencer Greene Google, Ray Liu Google, Livio Dalloro Google, Lorenzo Dini Google | ||
15:30 10mTalk | TraceGate: A Framework for Policy-Controlled Failure Evidence in LLM-Assisted Program Repair Tools and Datasets Nicolas Schuler Karlsruhe Institute of Technology (KIT), Vincenzo Scotti Karlsruhe Institute of Technology, Raffaela Mirandola Karlsruhe Institute of Technology (KIT) DOI Media Attached | ||
15:40 10mTalk | Is Three the Magic Number? An Empirical Evaluation of LLM-Based Repair Loops NIER Tobias Kiecker Humboldt-Universität zu Berlin, Eik Reichmann Humboldt-Universität zu Berlin, Hosung Kang Korea University, Gabin An Korea University, Lars Grunske Humboldt-Universität zu Berlin Pre-print | ||
15:50 10mTalk | ReproBreak: A Dataset of Reproducible Web Locator Breaks Tools and Datasets Thiago Santos de Moura Ruhr University Bochum, Leon Adamietz Ruhr University Bochum, Samra Mehboob Ruhr University Bochum, Yannic Noller Ruhr University Bochum DOI | ||
16:30 - 17:30 | |||
16:30 15mTalk | Tensor-Based Batch Fuzzing with Adaptive Perturbation Scaling for Deep Neural Networks Research Papers | ||
16:45 15mTalk | AgentChaos: Chaos Engineering for Agent Systems via Programmatic Fault Injection Research Papers Gou Tan School of Systems Science and Engineering, Sun Yat-sen University, Guangzhou, China, Zhensu Sun Singapore Management University, Jieke Shi Singapore Management University, Ting Zhang Monash University, Zilong He Sun Yat-sen University, Qingfu Wu Sun Yat-sen University, Shuai Liang Sun Yat-sen University; China Unicom Software Research Institute: Beijing, CN, Weifeng Sun Singapore Management University, Singapore, Junda He Singapore Management University, Pengfei Chen Sun Yat-sen University, Chuanfu Zhang Sun Yat-Sen University, Lwin Khin Shar Singapore Management University, David Lo Singapore Management University | ||
17:00 15mTalk | How Composite Metamorphic Relations Enhance Test Effectiveness of DNN Testing: An Empirical Study Journal First Huayao Wu Nanjing University, Peng Wang Nanjing University, Shengyou Hu Nanjing University, Xintao Niu Nanjing University, Changhai Nie Nanjing University, Tsong Yueh Chen Swinburne University of Technology DOI | ||
17:15 15mTalk | When Ambiguity Meets Atypicality: Dual-Perspective Test Input Prioritization for DNNs Research Papers Haoran Li , Shihai Wang Beihang University, Bin Liu Beihang University, Jialuo Chen Zhejiang University, Wenjing Zhu Beihang University, Yu Liu Clarkson University, Tengfei Shi Beihang University, Shudi Guo Beihang University | ||
16:30 - 17:30 | Requirements and Design: Software Architecture and DesignIndustry Showcase / Research Papers / Tools and Datasets at Forum 15 | ||
16:30 15mTalk | MicroAgent: Context-Augmented Multi-agent Framework for Automatic Microservice Decomposition Research Papers Zishan Su Chinese University of Hong Kong, Junjie Huang The Chinese University of Hong Kong, Shiwen Shan Sun Yat-sen University, chenxingyan Sun Yat-sen University, Hui Zeng Sun Yat-sen University, Yuxin Su Sun Yat-sen University, Yanlin Wang Sun Yat-sen University, Michael Lyu CUHK, Hong Kong | ||
16:45 15mTalk | MicroWeaver: A Constraint-Guided Structure–Semantic Aware Approach to Automated Microservice Decomposition Industry Showcase Huitian Xue Beihang University, Kairui Zhang Beihang University, Chenxi Zhang Xidian University, Zheng Li Queen's University Belfast, UK, Chuan Luo Beihang University, Yilong Yang Beihang University, Tianyu Wo , Chunming Hu Beihang University, Yanliang Li Independent Researcher, Zhou Yang University of Alberta; CIFAR AI Chair; Alberta Machine Intelligence Institute , Penghao Zhang Kuaishou Inc., Tiezi Zhang Kuaishou, Renyu Yang Beihang University | ||
17:00 10mTalk | The ARDoCo Tool Landscape: REST API, TraceView, and TraceViz for Architecture Traceability Tools and Datasets Jan Keim Karlsruhe Institute of Technology (KIT), Dominik Fuchß Karlsruhe Institute of Technology (KIT), Sophie Corallo Karlsruhe Institute of Technology, Tobias Hey Karlsruhe Institute of Technology (KIT), Julian Winter KIT, Kevin Feichtinger Karlsruhe Institute of Technology (KIT) DOI Pre-print | ||
17:10 10mTalk | DAL: Decoupled Aspect-Based Layering of I/O Processing for Automotive Software Industry Showcase Muhammet USLU CARIAD SE - Volkswagen Group, Atif Imran Penkar TU Dortmund, Robert Rasche Tensor embedded GmbH, Olaf Spinczyk Universität Osnabrück, Marc Fessler Cariad; Volkswagen Group, Michael Unterreiner Porsche AG | ||
17:20 10mTalk | CAS2UML: A Handwritten Sketch-to-PlantUML Dataset for Class and Activity Diagrams Tools and Datasets DOI | ||
16:30 - 17:30 | |||
16:30 15mTalk | TDiFf: Detecting Bugs in DataFrame Systems via Transferred DBMS Test Cases Research Papers Jiaxin Hu Xiamen University, Shaowei Chen Fujian Agriculture and Forestry University, Rongxin Wu Xiamen University | ||
16:45 15mTalk | Fuzz4DB: A Practice of LLM-Agent-Guided Fuzzing for Database Feature-Level Delta Testing Industry Showcase Chunling Qin Renmin University of China; Tencent, Yong Hu Tencent, Xiao Zhang Renmin University of China, Jinchuan Chen Renmin University of China, Fangtao Gu Renmin University of China, Baoxun Wang Tencent, Yuxing Chen Tencent, Anqun Pan Tencent, Lixiong Zheng Tencent | ||
17:00 15mTalk | KQFuzz: Knowledge-Guided Fuzzing for Quantum Libraries via Large Language Models Research Papers Fuyuan Xia Shanghai Jiao Tong University, Qixin Zhang Nanyang Technological University, Chenhao Ying Shanghai Jiao Tong University, Haojin Zhu Shanghai Jiao Tong University, Shuai Wang Hong Kong University of Science and Technology, Yuan Luo Shanghai Jiao Tong University, Pingchuan Ma Zhejiang University of Technology, Yuxuan Du Nanyang Technological University | ||
17:15 15mTalk | Finding Typing-Related Bugs in JVM Implementations Research Papers Yanzhou Lu Tianjin University, Junjie Chen Tianjin University, Yingquan Zhao Tianjin University, Tianchang Gao Tianjin University, Zan Wang Tianjin University | ||
16:30 - 17:30 | Security and Other Non-Functional Properties: Security and Privacy 3Industry Showcase / Research Papers / Tools and Datasets at Forum 6 | ||
16:30 15mTalk | Assessing the Cross-Version Applicability of Java Library Vulnerability Exploits Research Papers Zirui Chen Zhejiang University, Qi Zhan Zhejiang University, Jiayuan Zhou Huawei, Xing Hu Zhejiang University, Xin Xia Zhejiang University, Xiaohu Yang Zhejiang University | ||
16:45 15mTalk | RAVEN: Measuring Detection Instability in Anti-virus Engines under Semantics-Preserving Perturbations Research Papers Younghoon Ban Soongsil University, Beomjin Jin Ajou University, Doowon Kim University of Tennessee, Knoxville, Hyoungshick Kim Sungkyunkwan University, Haehyun Cho Soongsil University | ||
17:00 10mTalk | JavaVulBench: A Java Vulnerability Benchmark with Realistic Splits, a Unified Multi-backend Harness, and a Leakage-Aware Evaluation Mode Tools and Datasets Norbert Szolnoki Sándor University of Szeged, Gabor Antal Department of Software Engineering, University of Szeged DOI | ||
17:10 10mTalk | AgentSysFilter: A Multi-agent Analysis Approach for Scenario-Aware Syscall Limitation Tools and Datasets Dongyang Zhan Harbin Institute of Technology, Xingchen Yan Harbin Institute of Technology, Zhaofeng Yu Harbin Institute of Technology, Yangfan Guo Harbin Institute of Technology, tan kai Harbin Institute of Technology, Langtong Zhang Macau University of Science and Technology DOI | ||
17:20 10mTalk | Vulnerability Tracking using Normalized Scope+Offset Industry Showcase Julian Thome GitLab Inc., Hua Yan GitLab Inc., Lucas Charles GitLab Inc., Craig Smith GitLab, Jason Leasure Independent Researcher | ||
16:30 - 17:30 | Security and Other Non-Functional Properties: Reliability and Availability 2Industry Showcase / Research Papers at Forum 7 | ||
16:30 15mTalk | ARMOR: A Robust Self-Supervised Framework for Root Cause Analysis in Microservices under Missing Modality Research Papers Wenzhuo Qian Zhejiang University, Hailiang Zhao Zhejiang University, Ziqi Wang Zhejiang University, Zhipeng Gao Shanghai Institute for Advanced Study - Zhejiang University, Jiayi Chen Zhejiang University, Zhiwei Ling Zhejiang University, Shuiguang Deng Zhejiang University; Alibaba-Zhejiang University Joint Institute of Frontier Technologies | ||
16:45 15mTalk | Source-Free Detection and Impact Analysis of Compiler Optimization Problems in Mobile Applications Research Papers | ||
17:00 15mTalk | CAPMix: Robust KPI Anomaly Detection for AIOps in Noisy and Dynamic Environments Industry Showcase Xudong Mou Beihang University, Rui Wang Beijing Normal University, Tiejun Wang Beihang University, Zexin Wu Beihang University, Fangda Guo Chinese Academy of Sciences, Jie Sun Zhejiang University, Shiru Chen Inspur, Penghao Zhang Kuaishou Inc., Tiezi Zhang Kuaishou, Tianyu Wo , Hao Peng Zhejiang Normal University, Chunming Hu Beihang University, Xudong Liu Beihang University, Renyu Yang Beihang University | ||
17:15 15mTalk | OpsLens: Runbook-Free Root Cause Analysis via Multi-agent Collaboration and Tool Management Industry Showcase Haiyu Huang CUHK, Jiewei Lyu Sun Yat-sen University, Gou Tan School of Systems Science and Engineering, Sun Yat-sen University, Guangzhou, China, Pengfei Chen Sun Yat-sen University, Zhihan Jiang The Chinese University of Hong Kong, Guangba Yu The Chinese University of Hong Kong, Penghui Mi Huawei, Fuqiang Wang Huawei, Jian Han Huawei, Chongkang Tan Individual Researcher, Michael Lyu CUHK, Hong Kong | ||
Wed 14 OctDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
Wed 14 Oct
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
09:00 - 17:30 | |||
09:00 - 10:00 | |||
09:00 60mKeynote | Beyond the Hype: What AI Really Did to Software Engineering Keynotes Joost Noppen Applied Research, British Telecommunications plc. | ||
10:30 - 12:30 | AI and Software Engineering: AI4SE 3Research Papers / NIER / Industry Showcase / Tools and Datasets at Forum 1 | ||
10:30 15mTalk | PAIChecker: Uncovering and Checking PR-Issue Misalignment in SWE-Bench-Like Benchmarks Research Papers Manyi Wang The Chinese University of Hong Kong, Shenzhen, Junjielong Xu The Chinese University of Hong Kong, Shenzhen, Pinjia He Chinese University of Hong Kong, Shenzhen Pre-print | ||
10:45 15mTalk | REAP: Automatic Curation of Coding Agent Benchmarks from Interactive Production Usage Industry Showcase Smriti Jha Facebook, US, Matteo Paltenghi University of Stuttgart, Chandra Sekhar Maddila Meta Platforms, Inc., Vijayaraghavan Murali Meta Platforms Inc., Shubham Ugare Meta, Satish Chandra Meta Platforms, Inc. Pre-print | ||
11:00 10mTalk | SkillMOO: Multi-objective Optimization of Agent Skills for Software Engineering NIER Jingzhi Gong King's College London, Ruizhen Gu Queen's University Belfast, Zhiwei Fei Nanjing University, Yazhuo Cao King's College London, Lukas Twist King's College London, Alina Geiger , Shuo Han , Dominik Sobania University of Duisburg-Essen, Federica Sarro University College London, Jie M. Zhang Mistral AI and King's College London | ||
11:10 10mTalk | RELY-SE: A Dashboard for Measuring Operational Reliability of AI Coding Agents Tools and Datasets Akilesh P Indian Institute of Technology Tirupati, Shivadharshan S Indian Institute of Technology Tirupati, Sridhar Chimalakonda Indian Institute of Technology Tirupati, Vibhu Saujanya Sharma Accenture Labs, Vikrant Kaulgud Accenture Labs, India DOI | ||
11:20 15mTalk | Automated Table Reproduction via Code Generation Research Papers Doehyun Baek CISPA Helmholtz Center for Information Security, Michael Pradel CISPA Helmholtz Center for Information Security | ||
11:35 15mTalk | Free Is More: Empowering Software Agents via Issue-Free Trajectory Learning and Entropy-Aware RLVR Training Research Papers Xin-Cheng Wen Harbin Institute of Technology, Binbin Chen Ant Group, Haoxuan Lan Zhejiang University, Hang Yu Ant Group, Peng Di Kunlunxin & UNSW Sydney, Cuiyun Gao Harbin Institute of Technology, Shenzhen | ||
11:50 15mTalk | LLM Agents Can See Code Repositories Research Papers Dongjian Ma Shanghai Jiao Tong University, Silin Chen Shanghai Jiao Tong University, yufeiyang Xi'an Jiaotong University, Yuling Shi Shanghai Jiao Tong University, Yanfu Yan Zhejiang University, Xiaodong Gu Shanghai Jiao Tong University | ||
12:05 15mTalk | ReCodeAgent: A Multi-agent Workflow for Language-Agnostic Translation and Validation of Large-Scale Repositories Research Papers Ali Reza Ibrahimzada University of Illinois Urbana-Champaign, Brandon Paulsen Amazon, Daniel Kroening Amazon, Reyhaneh Jabbarvand University of Illinois at Urbana-Champaign DOI Pre-print Media Attached | ||
12:20 10mTalk | K-COBAgent: A Knowledge-Driven Multi-agent Framework for COBOL Modernization NIER Kavyasri Gajula Indian Institute of Technology Tirupati, Phanindra Kodela Indian Institute of Technology Tirupati, Sridhar Chimalakonda Indian Institute of Technology Tirupati | ||
10:30 - 12:30 | Testing and Analysis: Automated Program Repair and Synthesis 2Research Papers / Industry Showcase / Journal First at Forum 2 | ||
10:30 15mTalk | Kozuchi Agent: A Language-Agnostic Open-Weight Agent for Software Repair Industry Showcase Mehdi Bahrami Fujitsu Research of America Inc., Kosaku Kimura Fujitsu Research, Satoshi Munakata Fujitsu, Satoshi Nakashima Fujitsu Research, Yu Ishikawa Fujitsu Research, Kosuke Maeda Fujitsu Research, Nao Soma Fujitsu Research, Kenichi Kobayashi Fujitsu Research, Keisuke Miyazaki Fujitsu Research, Keizo Kato Fujitsu Research, Shigeki Fukuta Fujitsu Research, Tatsuo Kumano Fujitsu Research, Nobutaka Imamura Fujitsu Research, Kevin Musgrave Fujitsu Research of America, Shahbaz Abdul Khader Fujitsu Research of Europe, Kwun Ho Ngan Fujitsu Research of Europe, Joe Townsend Fujitsu Research of Europe, Fayas Asharindavida Fujitsu Research, Matthieu Parizy Fujitsu Research of Europe, Akira Sakai Fujitsu Research of Europe, Yuma Ichikawa Fujitsu Research, Yang Zhao Fujitsu Research & Development, Michiaki Takizawa Fujitsu Research, Taku Fukui Fujitsu Research, Hiroki Ohtsuji Fujitsu Research, Wei-Peng Chen Fujitsu Research of America, Inc., Hiro Kobashi Fujitsu Research Media Attached | ||
10:45 15mTalk | InfraAPR: An Agent-Based Repair Framework for Cloud Infrastructure-as-Code Programs Industry Showcase Quan Chen Harbin Institute of Technology, Shenzhen, China / Pengcheng Laboratory, China, Zhao Liu , Chunfang Li Pengcheng Laboratory, YiFan Zhang Nanjing University, Ning Hu PengCheng Laboratory, Qing Liao Harbin Institute of Technology | ||
11:00 15mTalk | MultiFixer: A Coordinator-Proposer Based Multi-agent Framework for Fixing Multi-hunk Bugs Research Papers hai chuan hu Nanjing University of Science and Technology, Chunrong Fang Nanjing University, ye shang Nanjing University, Jiawei Liu University of Illinois at Urbana-Champaign, Weifeng Sun Singapore Management University, Singapore, Guoqing Xie Nanjing University, Chenxing Zhong Nanjing University, Quanjun Zhang Nanjing University of Science and Technology | ||
11:15 15mTalk | From Guessing to Seeing: Enhancing LLM-Based Program Repair via Trace-Guided Multi-strategy Debate Research Papers Jiaqing Wu Northwestern Polytechnical University, Tong Wu Northwestern Polytechnical University, Manqing Zhang Northwestern Polytechnical University, Yunwei Dong Northwestern Polytechnical University, School of Computer Science and Engineering, Bo Shen Northwestern Polytechnical University | ||
11:30 15mTalk | Probe to Generate: Program Variant-Guided Test Augmentation for Repository-Level Repair Benchmarks Research Papers Chenglin Li Concordia University, Yisen Xu Concordia University, Zehao Wang Concordia University, Shin Hwei Tan Concordia University, Tse-Hsun (Peter) Chen Concordia University | ||
11:45 15mTalk | A11YRepair: Bridging Web Accessibility Barriers via Knowledge-Enhanced Divide-and-Conquer Repair Research Papers Kai Huang TU Munich, Ling Zhu TU Munich, Jian Zhang Nanyang Technological University, Xiaofei Xie Singapore Management University, Chunyang Chen TU Munich | ||
12:00 15mTalk | PrevaRank: Ranking Plausible Patches by Historic Feature Frequencies Journal First Shifat Sahariar Bhuiyan Università della Svizzera italiana, Abhishek Tiwari University of Southern Denmark, Yu Pei Hong Kong Polytechnic University, Carlo A. Furia Università della Svizzera italiana (USI) DOI | ||
12:15 15mTalk | PSearch: Search-Based Patch Generation in the Era of LLM-Based Automated Program Repair Research Papers hai chuan hu Nanjing University of Science and Technology, ye shang Nanjing University, Weifeng Sun Singapore Management University, Singapore, Quanjun Zhang Nanjing University of Science and Technology | ||
10:30 - 12:30 | Security and Other Non-Functional Properties: Security and Privacy 4Research Papers / Industry Showcase / Journal First at Forum 3 | ||
10:30 15mTalk | GraphQLer: Enhancing GraphQL Security with Context-Aware API Testing Industry Showcase Omar Tsai Simon Fraser University, Jianing Li Simon Fraser University, Tsz Tung Cheung Simon Fraser University, Lejing Huang Simon Fraser University, Hao Zhu Simon Fraser University, Jianrui Xiao Simon Fraser University, Iman Sharafaldin Forward Security, Mohammad A. Tayebi Simon Fraser University Pre-print | ||
10:45 15mTalk | When Compression Becomes an Attack Surface: Black-Box Attacks on Prompt-Compressed LLM Agents Research Papers Zesen Liu Hong Kong University of Science and Technology, Zhixiang Zhang Fudan University, Yuchong Xie Hong Kong University of Science and Technology, Dongdong She HKUST (The Hong Kong University of Science and Technology) | ||
11:00 15mTalk | Self-Discovering Security Oracles: Meta-learning Vulnerability Detection Strategies through Adversarial Self-Play Research Papers Media Attached | ||
11:15 15mTalk | To Think or Not to Think: Evaluating LLM Reasoning and Agents in Vulnerability Detection Research Papers Hua Beng Tan Singapore Management University, Ratnadira Widyasari Singapore Management University, Singapore, Merve Astekin SINTEF, Arda Goknil SINTEF Digital, Hasan Sozer Ozyegin University, Yan Naing Tun Singapore Management University, Erik Johannes Husom SINTEF Digital, Lwin Khin Shar Singapore Management University, Lingxiao Jiang Singapore Management University | ||
11:30 15mTalk | Decompiling the Web: Automated Semantic Recovery of Post-compilation Abstraction Leaks Research Papers | ||
11:45 15mTalk | Context-Enhanced Vulnerability Detection Based on Large Language Models Journal First Yixin Yang , Bowen Xu Beihang University, Xiang Gao Beihang University, Hailong Sun Beihang University DOI | ||
12:00 15mTalk | CLEAR: Causal Context-Based Agentic Reasoning for Vulnerability Detection Research Papers Sungju Yun Hanyang University, Sijune hwang Hanyang University, Yeonjoon Lee Hanyang University, Kyungtae Kang Hanyang University, Sungbin Park Hanyang University | ||
12:15 15mTalk | Learning to Triage Vulnerability Reports from Program Analysis: An Empirical Study in Node.js Research Papers Ronghao Ni Carnegie Mellon University, Aidan Z.H. Yang Amazon Web Services, Min-Chien Hsu Carnegie Mellon University, Nuno Sabino Carnegie Mellon University, Limin Jia Carnegie Mellon University, Ruben Martins Carnegie Mellon University, Darion Cassel Amazon Web Services, Kevin Cheang Amazon Web Services Pre-print | ||
10:30 - 12:30 | Testing and Analysis: Regression and Model-Based Testing 3Industry Showcase / Journal First / Research Papers / Tools and Datasets / NIER at Forum 6 | ||
10:30 15mTalk | Scenario-Guided LLM-based Mobile App GUI Testing Journal First Shengcheng Yu Technical University of Munich, Yuchen Ling Nanjing University, Chunrong Fang Nanjing University, Quan Zhou Nanjing University, Yi Zhao State Key Laboratory for Novel Software Technology, Nanjing University, Chunyang Chen TU Munich, Shaomin Zhu TongJi University, Zhenyu Chen Nanjing University DOI | ||
10:45 15mTalk | Repository-Aware Metamorphic Relation Generation for Augmented Reality Applications using Large Language Models Research Papers | ||
11:00 15mTalk | PropGen: Automated Property Generation for Property-Based Testing of Mobile Apps Research Papers Yiheng Xiong Singapore Management University, Shiwen Song Singapore Management University, Bo Ma East China Normal University, Ting Su East China Normal University, Xiaofei Xie Singapore Management University | ||
11:15 15mTalk | DragonCrawl: A Generative, Intent-Based Framework for Scalable Mobile End-to-End Testing Industry Showcase Sowjanya Puligadda Uber Technologies, Inc., Mengdie Zhang Uber Technologies, Inc., Ali Zamani Uber Technologies, Inc., Dhruva Dixith Kurra Uber Technologies, Eric Chen Uber Technologies, Juan Marcano Uber Technologies Pre-print | ||
11:30 15mTalk | Testing IFrame Rendering in Web Browsers Research Papers | ||
11:45 15mTalk | LDMDroid: Leveraging LLMs for Detecting Data Manipulation Errors in Android Apps Journal First DOI | ||
12:00 10mTalk | Screen-Conditioned Runtime Discrepancy for Security-Aware Android GUI Exploration NIER Amirmohammad Pasdar University of Melbourne, Thuan Pham University of Melbourne, Toby Murray University of Melbourne | ||
12:10 10mTalk | E-CoDrive: A Co-Simulation Framework for Testing Energy-Critical Driving Scenarios Tools and Datasets Manfredi Napolitano University of Naples Federico II, Alessandra Somma University of Naples Federico II, Alessio Gambi Austrian Institute of Technology (AIT), Andrea Stocco Technical University of Munich, fortiss, Nicola Mazzocca University of Naples Federico II DOI Pre-print | ||
12:20 10mTalk | Cam2Sim: Neural Scenario Reconstruction for Closed-Loop Autonomous Driving Simulation Tools and Datasets Davide Jannussi Politecnico di Torino, Stefano Carlo Lambertenghi Technische Universität München, fortiss GmbH, Constantin Carste TU Munich, Andrea Stocco Technical University of Munich, fortiss DOI Pre-print | ||
10:30 - 12:30 | Maintenance and Evolution: Refactoring and Reengineering 2Research Papers / Tools and Datasets / Journal First at Forum 7 | ||
10:30 15mTalk | Structure-Guided Semantic Deobfuscation of Android Identifiers Research Papers Mingyang Chen Shandong University, Zhentao Xie Shandong University, Yaqi Gao Shandong University, Shuang Li Shandong University, Wenrui Diao Shandong University | ||
10:45 15mTalk | Latent Reuse in Agent Skills: Multi-modal Clone Detection at Ecosystem Scale Research Papers Jiaying Zhu Nanyang Technological University, Lyuye Zhang Nanyang Technological University, Wenbo Guo Nanyang Technological University, Yang Liu Nanyang Technological University | ||
11:00 15mTalk | On the Effects of Customized Configurations of Static Code Analysis Tools: A Prospective Cohort Study of SonarQube Cloud Research Papers Sabato Nocera University of Salerno, Sira Vegas Universidad Politecnica de Madrid, Giuseppe Scanniello University of Salerno | ||
11:15 15mTalk | A Unified Model for Cross-Domain Clone Detection via Model Merging Research Papers Palash Ranjan Roy University of Saskatchewan, Banani Roy University of Saskatchewan, Kevin Schneider University of Saskatchewan, Chanchal K. Roy University of Saskatchewan Pre-print | ||
11:30 15mTalk | LLM-Based Agents for Identifying Bug-Introducing Commits Research Papers Niklas Risse Max-Planck-Institute for Security and Privacy, Marcel Böhme CISPA Helmholtz Center for Information Security | ||
11:45 10mTalk | A Smart Assistant for Debugging Tools and Datasets DOI | ||
11:55 10mTalk | LintCFG: DSL-Driven Linter Configuration Generation for Coding Standards Tools and Datasets Yi Tang Nanjing University, zejun zhang Nanjing University, Zhenchang Xing CSIRO's Data61, Minxue Pan Nanjing University, Tian Zhang Nanjing University, Xuandong Li Nanjing University DOI | ||
12:05 10mTalk | SmellCC: A Tool for Automated Code Smells Remediation Tools and Datasets Xiaoting Zhang Zhejiang University, Yujie Zhang Zhejiang University, Zhipeng Gao Shanghai Institute for Advanced Study - Zhejiang University, Xing Hu Zhejiang University, Xin Xia Zhejiang University DOI | ||
12:15 15mTalk | Smelly-shot is All You Need: An Empirical Study to Compare In-Context Learning versus Fine-Tuning for Code Smell Detection Journal First Nawaf Alomari King Fahd University of Petroleum and Minerals, Moussa Redah King Fahd University of Petroleum and Minerals, Ahmad Ashraf King Fahd University of Petroleum and Minerals, Mohammad Alshayeb King Fahd University of Petroleum & Minerals DOI | ||
10:30 - 12:30 | Human and Social Aspects: Software Engineering Processes 2Journal First / Industry Showcase / Research Papers at Forum 8 | ||
10:30 15mTalk | A Longitudinal Analysis of Software Development Evolution in a Financial Organization Industry Showcase Wentao Chen East China University of Science and Technology, Zehong Zhang East China University of Science and Technology, Huiqun Yu East China University of Science and Technology; Shanghai Engineering Research Center of Smart Energy, Guisheng Fan East China University of Science and Technology, Huan Wang Orient Securities Company Limited, Kaiwen Zhi East China University of Science and Technology | ||
10:45 15mTalk | Fragmented Markers, Mixed Results: A Systematic Review of AI Coding Assistants and Developer Productivity Research Papers Annemarie Wittig Leipzig University, Alina Mailach Leipzig University, Norbert Siegmund Leipzig University | ||
11:00 15mTalk | Command Coding: A Methodological Framework for AI-Accelerated Software Development Industry Showcase Thomas S. Villani New Jersey Innovation Institute, Martin Kellogg New Jersey Institute of Technology | ||
11:15 15mTalk | To Ban or Not to Ban? How Open Source Projects Govern GenAI Contributions Research Papers Pre-print | ||
11:30 15mTalk | What characteristics make ChatGPT effective for software issue resolution? An empirical study of task, project, and conversational signals in GitHub issues Journal First Ramtin Ehsani Drexel University, Sakshi Pathak Drexel University, Esteban Parra Rodriguez Belmont University, Sonia Haiduc Florida State University, Preetha Chatterjee Drexel University, USA DOI | ||
11:45 15mTalk | “Should I Give Up Now?” Investigating LLM Pitfalls in Software Engineering Journal First Jiessie Tie University of Toronto, Bingsheng Yao Northeastern University, Tianshi Li Northeastern University, Hongbo Fang University of Chicago, Syed Ishtiaque Ahmed University of Toronto, Dakuo Wang Northeastern University, Shurui Zhou University of Toronto DOI | ||
12:00 15mTalk | A Low-Cost Human-in-the-Loop Investigation of Toxicity on GitHub at Scale Research Papers Rahat Rizvi Rahman Virginia Commonwealth University, Mia Mohammad Imran Missouri University of Science and Technology, Kostadin Damevski Virginia Commonwealth University Pre-print | ||
12:15 15mTalk | Programming by Chat: A Large-Scale Behavioral Analysis of 11,579 Real-World AI-Assisted IDE Sessions Research Papers Ningzhi Tang University of Notre Dame, Chaoran Chen University of Notre Dame, Zihan Fang Vanderbilt University, Gelei Xu University of Notre Dame, Maria Dhakal University of Notre Dame, Yiyu Shi University of Notre Dame, Collin McMillan University of Notre Dame, Yu Huang Vanderbilt University, Toby Jia-Jun Li University of Notre Dame Pre-print | ||
14:00 - 16:00 | |||
14:00 15mTalk | Benchmarking Contextual Understanding for In-Car Conversational Systems Journal First Philipp Habicht Humboldt Universität Berlin, Lev Sorokin BMW Group, Technical University of Munich, Abdullah Saydemir Technische Universität München, Ken Friedl BMW Group, Andrea Stocco Technical University of Munich, fortiss DOI | ||
14:15 15mTalk | Understanding Bugs in Modern Agentic Frameworks: A Study of Symptoms, Root Causes, and Triggering Conditions Research Papers | ||
14:30 15mTalk | DiffGAN: A Test Generation Approach for Differential Testing of Deep Neural Networks for Image Analysis Journal First Zohreh Aghababaeyan University of Ottawa, Canada, Manel Abdellatif École de Technologie Supérieure, Lionel Briand University of Ottawa, Canada; Lero centre, University of Limerick, Ireland, Ramesh S DOI | ||
14:45 15mTalk | Search-Based Testing of Vision Language Models for In-Car Scene Understanding Industry Showcase Lev Sorokin BMW Group, Technical University of Munich, Chen Yang TU Munich, Ken Friedl BMW Group, Andrea Stocco Technical University of Munich, fortiss Pre-print | ||
15:00 15mTalk | When Knowledge Changes: Metamorphic Testing of RAG Systems with Mutations Research Papers Jinhan Kim Università della Svizzera italiana, Samuele Pasini Università della Svizzera italiana, Paolo Tonella USI Lugano Pre-print | ||
15:15 15mTalk | Automated Assertion Generation and Regression Testing for Machine Learning Notebooks Research Papers Yingao (Elaine) Yao Cornell University, Vedant Nimje Veermata Jijabai Technological Institute, Varun Viswanath Dwarkadas J Sanghvi College of Engineering, Saikat Dutta Cornell University | ||
15:30 15mTalk | False-Positive Bug Reports in Deep Learning Compilers: Stages, Root Causes, and Mitigation Journal First Lili Huang College of Intelligence and Computing, Tianjin University, Qingchao Shen Tianjin University, Dong Wang Tianjin University, Yunping Wu Tianjin University, Meng Wang University of Bristol, Junjie Chen Tianjin University DOI | ||
15:45 15mTalk | CIPIHunter: Detecting Configuration-Induced Prediction Instability in Deep Learning Frameworks Research Papers Yanzhou Mu UNIST (Ulsan National Institute of Science and Technology), Korea, Shuo Meng Nantong University, Mijung Kim UNIST, Xiang Chen Nantong University, Chunrong Fang Nanjing University, Zhenyu Chen Nanjing University, Juan Zhai University of Massachusetts at Amherst | ||
14:00 - 16:00 | Security and Other Non-Functional Properties: Reliability and Availability 3Research Papers / Journal First / Industry Showcase at Forum 15 | ||
14:00 15mTalk | HERO: Hypothesis-Centered Root-Cause Analysis for Microservice Incidents Research Papers Jiewei Lyu Sun Yat-sen University, Junquan Yi Tencent, Shu Liang Tencent, Pengfei Chen Sun Yat-sen University, Long Pan Tencent | ||
14:15 15mTalk | Enhancing Trace-Based Root Cause Analysis for Microservice Systems via Code Change Understanding Research Papers Min Zhang Fudan University, Chenxi Zhang Xidian University, Senyu Xie Fudan University, Shihong Chen McDonald's, Lei Wu McDonald's China, Xin Peng Fudan University | ||
14:30 15mTalk | Bifrost: Empowering Pretrained Language Model with Fallibility Representation for Log-Based Fault Diagnosis Research Papers Minghua He Peking University, Tong Jia Institute for Artificial Intelligence, Peking University, Beijing, China, Lingzhe Zhang Peking University, China, Chiming Duan Peking University, Xinlong Zhao Peking University, Leyi Pan Tsinghua University, Cheng Wang Alibaba Group, Kangjin Wang Alibaba Group, Yinghao Yu Alibaba Group, Liping Zhang Alibaba Group, Yifan Wu Peking University, Ying Li School of Software and Microelectronics, Peking University, Beijing, China | ||
14:45 15mTalk | LLM-Assisted Joint Ticket and Log Analysis for Incident Triage in Intelligent and Connected Vehicles Industry Showcase Ruowei Fu Nankai University, Shenglin Zhang Nankai University, Wenwei Gu Nankai University, Weiguo Li Huawei, Yongqian Sun Nankai University, Dan Pei Tsinghua University, China | ||
15:00 15mTalk | AlarmClaw: Context-Enriched Alarm Management with Category-/Severity-Aware Incident Graphs Industry Showcase Siyu Yu Peking University, Meizhen Li ByteDance, Jiacheng Yang ByteDance, Yifan Wu Peking University, Ning Wang Bytedance, Zhaoxing Chen Bytedance, Ming Liu Bytedance, Xinchi Ren ByteDance, Xincheng Ren ByteDance, Chan Li Bytedance, Tong Jia Institute for Artificial Intelligence, Peking University, Beijing, China, Xiang Zhang Bytedance, Ying Li School of Software and Microelectronics, Peking University, Beijing, China | ||
15:15 15mTalk | Smart Brain: Semantic Anomaly Detection for Operational Time Series in Large Scale Service Systems Research Papers Hang Cui University of Chinese Academy of Sciences; Computer Network Information Center at Chinese Academy of Sciences, Zexin Wang Computer Network Information Center at Chinese Academy of Sciences, Jingjing Li Computer Network Information Center at Chinese Academy of Sciences; University of Chinese Academy of Sciences, Juncheng Hu Jilin University, Haotian Si Independent Researcher, Cenjie Hu Shenyang Institute of Automation at Chinese Academy of Sciences; University of Chinese Academy of Sciences, Quan Zhou Computer Network Information Center at Chinese Academy of Sciences, Yongchang Hu Huawei Technologies, Lei Han Huawei Technologies, Dan Pei Tsinghua University, China, Changhua Pei Computer Network Information Center at Chinese Academy of Sciences, Gaogang Xie Computer Network Information Center at Chinese Academy of Sciences | ||
15:30 15mTalk | KRCA: An Efficient Root Cause Analysis System in Hyper-scale Microservice Systems via Agentic AI Industry Showcase Jiamin Jiang Nankai University, Jingfei Feng Nankai University, Yu Luo Nankai University, Qingliang Zhang Nankai University, Yongqian Sun Nankai University, Wenwei Gu Nankai University, Shenglin Zhang Nankai University, Tianyu Cui Kuaishou Technology, Yao Wu Kuaishou Technology, Jielong Huang Kuaishou Technology, Nan Qi Kuaishou Technology, Dan Pei Tsinghua University, China | ||
15:45 15mTalk | Assessing the adoption of security policies by developers in terraform across different cloud providers Journal First Alexandre Verdet Polytechnique Montreal, Mohammad Hamdaqa Polytechnique Montreal, Leuson Da Silva Polytechnique Montreal, Foutse Khomh Polytechnique Montréal DOI | ||
14:00 - 16:00 | |||
14:00 15mResearch paper | Every Scenario Matters: Scenario-Guided White-Box Testing for Static Code Checkers Powered by LLMs Research Papers Jun Liu Institute of Software, Chinese Academy of Sciences, Liqiang Ji Institute of Software at Chinese Academy of Sciences, Jiwei Yan Institute of Software at Chinese Academy of Sciences, Linjie Pan Huawei Technologies, Jinsong Ren Huawei Technologies, Jun Yan Institute of Software, Chinese Academy of Sciences, Jian Zhang Institute of Software at Chinese Academy of Sciences; University of Chinese Academy of Sciences | ||
14:15 15mTalk | Intent-Aware Defect Pattern Extraction from Singular Examples Journal First Jiachen Han Tianjin university, Fengjie Li Tianjin University, Jiajun Jiang Tianjin University, Ruihang Fan Tianjin University, Yingfei Xiong Peking University, Linjie Pan Huawei Technologies, Bilian Wang Huawei Cloud Computing Technologies Co. Ltd., Junjie Chen Tianjin University DOI | ||
14:30 15mTalk | Conflict Extraction in Probabilistic Datalog Analyses Research Papers | ||
14:45 15mTalk | Large Language Model Enabled Symbolic Execution for Automated Functional Analysis Research Papers Meixi Liu National University of Defense Technology, Changsha, China, Zhenbang Chen College of Computer, National University of Defense Technology, Xudong Wang College of Computer Science and Technology, NationalUniversity of Defense Technology, Ziran He National University of Defense Technology, Changsha, China, Jiachen Gu National University of Defense Technology, Minghui Chen National University of Defense Technology, Lei Wang National University of Defense Technology, Wei Dong National University of Defense Technology | ||
15:00 15mTalk | Orbis: Guiding Symbolic Execution Techniques to Maximize Option-Related Branch Coverage Research Papers Minjong Kim Sungkyunkwan University, Sungjae Hwang Sungkyunkwan University, Sooyoung Cha Sungkyunkwan University DOI Pre-print | ||
15:15 15mTalk | SIMD-Accelerated Sparse Bit-Vectors for Pointer Analysis Research Papers | ||
15:30 15mTalk | IncSFS: Incremental Full-Sparse Flow-Sensitive Pointer Analysis for C/C++ Research Papers Kunlin Liu School of Computer, National University of Defense Technology, China, Zhenbang Chen College of Computer, National University of Defense Technology, Piyi Zu National University of Defense Technology, Yide Du College of Computer Science and Technology, NationalUniversity of Defense Technology, Ji Wang National University of Defense Technology | ||
15:45 15mTalk | PELSE: Asymmetric-Evidence-Guided MCU Peripheral Model Synthesis Research Papers Guohao Wu Beijing University of Posts and Telecommunications, Chunlin Wang Fudan University, Rui Yao Beijing Institute of Computer Technology and Application, Feng Hong Beijing Institute of Computer Technology and Applications, Hongliang Liang Beijing University of Posts ad Telecommunications, Qiuping Yi Beijing University of Posts and Telecommunications | ||
14:00 - 16:00 | |||
14:00 15mTalk | Characterizing the Landscape of Open-Source Satellite Software Research Papers Jinfeng Wen Beijing University of Posts and Telecommunications, Qi Liang Beijing University of Posts and Telecommunications, Yuehan Sun Beijing University of Posts and Telecommunications, Federica Sarro University College London, Ao Zhou Beijing University of Posts and Telecommunications, Xuanzhe Liu Peking University, Shangguang Wang Beijing University of Posts and Telecommunications | ||
14:15 15mTalk | Recovering Revisions of Pull Requests with Altered History Research Papers Gengyi Sun University of Waterloo, Georges Aaron RANDRIANAINA University of Waterloo, Tao Xiao Kyushu University, Yasutaka Kamei Kyushu University, Shane McIntosh University of Waterloo Pre-print | ||
14:30 15mTalk | An Exploratory Study on LLM-Generated Code and Comments in Code Repositories Journal First Yongyi Ji University of Leicester, Jiaji Wang University of Leicester, Yi Zhou University of Leicester, Fuxiang Chen University of Leicester, UK, Hongji Yang Leicester University, England DOI | ||
14:45 15mTalk | RealAIGC: Towards More Realistic Evaluation of AI-Generated Code Detection in Real-World Code Repository Research Papers Wentao Chen East China University of Science and Technology, Yufei Chen East China University of Science and Technology, Huiqun Yu East China University of Science and Technology; Shanghai Engineering Research Center of Smart Energy, Guisheng Fan East China University of Science and Technology, Kaiwen Zhi East China University of Science and Technology, Peite Guo East China University of Science and Technology, Jianyuan Yu East China University of Science and Technology | ||
15:00 15mTalk | Looks Good, but Does It Run? A Large-Scale Empirical Study of the Executability of Example Code in Model Cards Research Papers Simeng Yao National University of Defense Technology, Jialin Zhao National University of Defense Technology, Yang Zhang National University of Defense Technology, China, Tun Li National University of Defense Technology, Tao Wang National University of Defense Technology, Changrong Xie National University of Defense Technology, Zezhou Tang National University of Defense Technology, Yiwen Wu National University of Defense Technology | ||
15:15 15mTalk | Observing Fine-Grained Changes in Jupyter Notebooks During Development Time Journal First Sergey Titov JetBrains Research, Konstantin Grotov JetBrains Research, Constructor University, Cristina Sarasua Department of Informatics, University of Zurich, Zurich, Switzerland, Yaroslav Golubev JetBrains Research, Dhivyabharathi Ramasamy University of Zurich, Switzerland, Alberto Bacchelli IfI, University of Zurich, Abraham Bernstein Department of Informatics, University of Zurich, Zurich, Switzerland, Timofey Bryksin JetBrains Research DOI | ||
15:30 15mTalk | ATLAS: Agentic Taxonomy of LArge-Scale Software Ecosystems Research Papers Junyi Lu Institute of Software, Chinese Academy of Sciences, University of Chinese Academy of Sciences, China, Mengyao Lyu Nanyang Technological University, Wu Jiahui Nanyang Technological University, Singapore, Lei Yu Institute of Software, Chinese Academy of Sciences, University of Chinese Academy of Sciences, China, Chengwei Liu Nankai University, Fengjun Zhang Institute of Software, Chinese Academy of Sciences, China, Li Yang Institute of Software, Chinese Academy of Sciences, Chun Zuo Sinosoft, Yang Liu Nanyang Technological University | ||
15:45 15mTalk | SustainSR: Interpretable OSS Sustainability Prediction via Symbolic Regression Research Papers Yang Deng Wuhan university, Mustafa Misir Duke Kunshan University, Jinfu Chen Wuhan University, Jifeng Xuan Wuhan University | ||
14:00 - 16:00 | Security and Other Non-Functional Properties: Security and Privacy 5Journal First / Industry Showcase / Research Papers at Forum 6 | ||
14:00 15mTalk | GraphLedger: Repository-Level Vulnerability Detection via Graph-Based Compression and Assumption Validation Research Papers Thi-Hong-Cuc Le Ho Chi Minh City University of Technology, Hoang Quoc Bao Hua Ho Chi Minh City University of Technology, Xuan-Bach Le Ho Chi Minh City University of Technology | ||
14:15 15mTalk | Breaking Customized LLMs for Coding: Automated Red Teaming for Instruction Backdoor Attacks Research Papers Yuchen Chen Nanjing University, Wei Cheng Nanjing University of Aeronautics and Astronautics, Yuan Xiao Nanjing University, Weisong Sun Nanyang Technological University, Chunrong Fang Nanjing University, Yang Liu Nanyang Technological University, Zhenyu Chen Nanjing University, Baowen Xu Nanjing University | ||
14:30 15mTalk | IAM Policy Autopilot: Static Analysis for Policy Generation from Application Code Industry Showcase Antonio Filieri AWS and Imperial College London, Luke Kennedy Amazon Web Services, Kevin Luo Amazon Web Services, Matt Luttrell Amazon Web Services, Adrian Palacios Amazon Web Services, Akash Panda Amazon Web Services, Neha Rungta Amazon Web Services, Matthias Schlaipfer Amazon Web Services, Karan Jit Singh Amazon Web Services, Anvesh Tanuku Amazon Web Services, Nick Winans Amazon Web Services, Diana Yin Amazon Web Services, Weiben Zhang Amazon Web Services | ||
14:45 15mTalk | A Comprehensive Evaluation of Code Language Models for Security Patch Detection Research Papers Nils Loose University of Luebeck, Joseph Bienhüls University of Lübeck, Kristoffer Hempel University of Lübeck, Felix Mächtle University of Luebeck, Thomas Eisenbarth University of Lübeck | ||
15:00 15mTalk | LLMs as Hackers: Autonomous Linux Privilege Escalation Attacks Journal First DOI | ||
15:15 15mTalk | “Impossible to Hide Secret ...”: Uncovering Security and Privacy Issues in LLM-Native IDEs Research Papers Mostafijur Rahman Akhond York University, Md Afif Al Mamun University of Calgary, Gias Uddin York University, Canada, Song Wang York University | ||
15:30 15mTalk | ReSEDA: Automatic and Precise Program-Level ReDoS Triage via Interprocedural Taint Analysis and Agentic Exploit Generation Research Papers Rongchen Li Institute of Software at Chinese Academy of Sciences; University of Chinese Academy of Sciences, Weihao Su ISCAS, Chengyao Peng Institute of Software at Chinese Academy of Sciences; University of Chinese Academy of Sciences, hong huang Institute of Software at Chinese Academy of Sciences; University of Chinese Academy of Sciences, Haiming Chen Institute of Software, Chinese Academy of Sciences, Guiyi He Institute of Software at Chinese Academy of Sciences; University of Chinese Academy of Sciences | ||
15:45 15mTalk | Benchmarking Automated Security Patch Backporting: How Far Are We? Research Papers Jincheng Yang Xidian University, Yulong Fu Xidian University, Chengwei Liu Nankai University, Lyuye Zhang Nanyang Technological University, Fangyuan Zhang , Bingyang Ren Xidian University, Yang Liu Nanyang Technological University, Hui Li Beijing University of Posts and Telecommunications | ||
14:00 - 16:00 | Testing and Analysis: Regression and Model-Based Testing 4Research Papers / Tools and Datasets / Journal First at Forum 7 | ||
14:00 15mTalk | AgentExecutor: Partial Code Execution via Agentic Context Generation Research Papers Junkai Chen Singapore Management University, Singapore, Chengran Yang Singapore Management University, Singapore, Xing Hu Zhejiang University, Zhenhao Li York University, Xin Xia Zhejiang University, David Lo Singapore Management University | ||
14:15 15mTalk | TDRepro: A Neurosymbolic Approach to Reproducing Timing-Dependent Flaky Test Failures Research Papers Shanto Rahman The University of Texas at Austin, Talank Baral George Mason University, August Shi The University of Texas at Austin, Wing Lam George Mason University Pre-print | ||
14:30 15mTalk | Synthesizing File-Level Data for Unit Test Generation with Chain-of-Thoughts via Self-Debugging Research Papers Ziyue Hua Peking University, Tianyu Chen Microsoft Research Asia, Yeyun Gong Microsoft Research, Shuai Lu Microsoft Research, Peng Cheng Microsoft Research, Qinglin Zhu King's College London, Yibo He Peking University, Yingjie Fu Peking University, Wenpin Jiao Peking University, Wei Yang UT Dallas, Tao Xie Peking University | ||
14:45 15mTalk | Feature-Focused Test Generation Research Papers José Antonio Zamudio Amaya CISPA Helmholtz Center for Information Security, Gaetano Sapia Max Planck Institute for Security and Privacy (MPI-SP), Alexi Turcotte CISPA, David Benavides Universidad de Sevilla, Marcel Böhme CISPA Helmholtz Center for Information Security, Andreas Zeller CISPA Helmholtz Center for Information Security DOI Pre-print | ||
15:00 15mTalk | Hallucination to Consensus: Multi-Agent LLMs for End-to-End JUnit Test Generation Journal First Xu Qinghua Lero Research Centre, University of Limerick, Guancheng Wang Lero, University of Limerick, Ireland, Lionel Briand University of Ottawa, Canada; Lero centre, University of Limerick, Ireland, Kui Liu Huawei DOI | ||
15:15 10mTalk | FlakeFighters: A PyTest Plugin to Detect Flaky Test Failures Tools and Datasets Michael Foster The University of Sheffield, Owain Parry University of Edinburgh, Michael Hilton Carnegie Mellon University, Gregory Kapfhammer Allegheny College, Phil McMinn University of Sheffield DOI | ||
15:25 10mTalk | multiplex: A Modular LLM-Based Mutation Framework Tools and Datasets Megan Maton University of Sheffield, UK, Gregory Kapfhammer Allegheny College, Phil McMinn University of Sheffield DOI | ||
15:35 15mTalk | Don’t Retest Everything: Auditable Regression Scoping for Safety-Critical Systems Research Papers Francesco Basciani Gran Sasso Science Institute, Daniele Masti Gran Sasso Science Institute, Patrizio Pelliccione Gran Sasso Science Institute, L'Aquila, Italy, Alberto Petrucci Gran Sasso Science Institute (GSSI), Franco Raimondi Gran Sasso Science Institute (GSSI), Emerson Sales Gran Sasso Tech, Paolo Serri Thales Alenia Space Italia | ||
15:50 10mTalk | TORI: A Tool for Oracle Quality Assessment Tools and Datasets Facundo Molina Complutense University of Madrid, Nazareno Aguirre University of Rio Cuarto/CONICET, Argentina, and Guangdong Technion-Israel Institute of Technology, China, Alessandra Gorla IMDEA Software Institute DOI | ||
14:00 - 16:00 | AI and Software Engineering: AI4SE 4Industry Showcase / NIER / Research Papers / Tools and Datasets at Forum 8 | ||
14:00 15mTalk | Why Is This on My Bill? Documentation-Grounded Rule Learning for Itemized Bill Explanation Industry Showcase Martin Schäf Amazon Web Services, Muhammad Numair Mansur Amazon Web Services, John Konstantinides Amazon Web Services, Willem Visser Stellenbosch University, Jason Lefever Drexel University | ||
14:15 10mTalk | Empirical Computation: Prompting versus Programming NIER Eric Tang Carnegie Mellon University, Jing Liu Max Planck Institute for Security and Privacy, Marcel Böhme CISPA Helmholtz Center for Information Security | ||
14:25 10mTalk | BESSER-NN: Visual Neural Network Design and Automated Code Generation with the BESSER Low-Code Platform Tools and Datasets Nadia Daoudi Luxembourg Institute of Science and Technology, Armen Sulejmani Luxembourg Institute of Science and Technology, Jordi Cabot Luxembourg Institute of Science and Technology DOI | ||
14:35 10mTalk | Distributional Program Analysis: Treating Large Language Models as Program Samplers NIER Tuan Phat Tran-Truong Ho Chi Minh City University of Technology, Xuan-Bach Le Ho Chi Minh City University of Technology | ||
14:45 10mTalk | UIBenchKit: A Unified Toolkit for Design-to-Code Model Evaluation Tools and Datasets Chinh T. Le Singapore Management University, Trevor Yee Siang Ong Singapore Management University, Jingyu Xiao The Chinese University of Hong Kong, Yuxuan Wan The Chinese University of Hong Kong, Yintong Huo Singapore Management University, Singapore DOI | ||
14:55 10mTalk | IP-Preserving Enterprise System Modernization via LLM-Driven Specification Extraction and Multi-target Code Generation Industry Showcase Andreas Biesdorf Trier University of Applied Sciences and Siemens AG, Foundational Technologies, Garching, Eckhard Seibert Siemens, Nicole Wengatz Siemens, Bart Carpels Euroports, Tom Schoonbaert Euroports | ||
15:05 15mTalk | SecChain: Operationalizing Security Guidelines for Multi-agent Smart Contract Generation Research Papers Dianxiang Sun Nanyang Technological University, Liming Nie Shenzhen Technology University, Yang Liu Nanyang Technological University | ||
15:20 15mTalk | Smart Contract Synthesis via Multi-modal Specifications Research Papers Tanglin Chen ShanghaiTech University, China, Haoxian Chen ShanghaiTech University, Huilin Xiang ShanghaiTech University, Yuepeng Wang Simon Fraser University | ||
15:35 10mTalk | MergeSE: Post-Hoc Model Merging for Software Engineering Tasks without Retraining Tools and Datasets Palash Ranjan Roy University of Saskatchewan, Banani Roy University of Saskatchewan, Kevin Schneider University of Saskatchewan, Chanchal K. Roy University of Saskatchewan DOI Pre-print Media Attached | ||
15:45 15mTalk | Requirements-Augmented Generation for Trustworthy Acceptance Testing of LLM-Based Software Industry Showcase Fanyu Wang Monash University, Chetan Arora Monash University, Zhenping Xie Jiangnan University, Yonghui Liu Australian National University, Kla Tantithamthavorn Monash University, Aldeida Aleti Monash University, Siwei Jiang Yiwuyishi Intelligent Technology (Nantong); Tianjin University | ||
18:30 - 23:00 | |||
18:30 4h30mSocial Event | Conference Dinner Catering | ||
Thu 15 OctDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
Thu 15 Oct
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
09:00 - 17:30 | |||
09:00 - 10:00 | |||
09:00 60mKeynote | TBA (mc) Keynotes Myra Cohen Iowa State University | ||
10:30 - 12:30 | |||
10:30 15mTalk | DepWareTrans: Dependency-Aware Incremental Repository Migration across Co-executable Languages Industry Showcase Sivajeet Chand Technical University of Munich, Alexander Pretschner TU Munich, Steve Haupt andrena objects, Derui Zhu Rochester Institute of Technology, Sushant Kumar Pandey University of Groningen, The Netherlands Pre-print | ||
10:45 15mTalk | Aligning User Requirement with Large Language Model in Code Generation Research Papers Jia Li Wuhan University, Ruiqi Bai Wuhan University, Yangkang Luo Wuhan University, Yiran Zhang Nanyang Technological University, Wentao Yang Wuhan University, Zeyu Sun Institute of Software, Chinese Academy of Sciences, Tiankuo Zhao Wuhan University, Dongming Jin Peking University, China, Lei Li University of Hong Kong, Zhi Jin Peking University, Wuhan University | ||
11:00 15mTalk | Pattern over Pixels: Measuring Pattern Completion Bias in Multimodal Code Generation Research Papers Khai Nguyen William & Mary, Oscar Chaparro William & Mary, Antonio Mastropaolo William and Mary, USA | ||
11:15 15mTalk | Customizing an LLM for Enterprise Software Engineering Industry Showcase Aditya Kini Google, Satish Chandra Meta Platforms, Inc., Milad Hashemi Google DeepMind, Saksham Thakur Google, Aditya Pandey Google, Vincent Nguyen Google, Marc Brockschmidt Google DeepMind, Franjo Ivančić Google, Danny Tarlow Google, Parthasarathy Ranganathan Google, Petros Maniatis Google DeepMind, Ahmed Omran Google, Zaheer Abbas Google DeepMind, Anita Gergely Google DeepMind, Martin Sevenich Google, Gufeng Zhang Google, Amy Hua Google, Alexander Frömmgen Google, Inc. | ||
11:30 15mTalk | From Vibe to Spec: An Empirical Study to Demystify Specifications in Code Generation Research Papers Ruirui He Nanjing University, Hanqing Lu Nanjing University, Lezhi Ma Nanjing University, Kai Ye University of Hong Kong, Qiong Wu Shandong Normal University, Shangqing Liu Nanjing University, Lei Bu Nanjing University, Xuandong Li Nanjing University | ||
11:45 15mTalk | AEG-Edit: Bridging API Evolution and Code Semantics for Accurate API Usage in Code Generation Research Papers Yitong Lin Zhejiang University, Haoye Tian Aalto University, Dehai Zhao Zhejiang University, Chao Ni Zhejiang University, Xiaohu Yang Zhejiang University, Xiaoxue Ren Zhejiang University | ||
12:00 15mTalk | Effective and Efficient Context Retrieval via Partial Dependency Graph for Repository-Level Code Generation Research Papers Zhongxin Liu Zhejiang University, Zhonghao Jiang Zhejiang University, Zhifan Ye Zhejiang University, Haoye Wang Hangzhou City University, Jiakun Liu Harbin Institute of Technology, Xiaoxue Ren Zhejiang University | ||
12:15 15mTalk | Towards Fully Automated Medical Imaging Code Generation via Validation-Based Context Engineering Research Papers Zixiao Zhao University of Auckland, Jing Sun School of Computer Science, University of Auckland, Zhe Hou Griffith University, Cheng-Hao Cai Monash University, Qian Liu University of Auckland, Mengze Li University of Auckland, Zijian Zhang Beijing Institute of Technology, Jin Song Dong National University of Singapore | ||
10:30 - 12:30 | Formal Aspects of Software Engineering: Software Validation and VerificationResearch Papers / Industry Showcase / Tools and Datasets at Forum 15 | ||
10:30 15mTalk | Generating Loop Invariants for Deductive Verification Using Iterator Profiles Research Papers | ||
10:45 15mTalk | Clarity: From Formal System Designs to Verified RL Controllers Research Papers Austin O'Quinn Ohio State University, Conor Snedeker Ohio State University, Max Taylor Boise State University, Lance Joneckis Idaho National Lab, Christopher Stewart The Ohio State University, USA | ||
11:00 15mTalk | ControlsDSL: A Language for Verifiable Cloud Configuration Controls Industry Showcase Miyriee Alair Amazon Web Services, Shrutarshi Basu Amazon Web Services, Sean Cai Amazon Web Services, Loris D'Antoni Amazon Web Services, Julio Delgado Jr. Amazon Web Services, Antonio Filieri AWS and Imperial College London, Andrew Gacek Amazon, USA, Anand Goyal Amazon Web Services, Sebastiaan Joosten Amazon Web Services, Varad Panch Amazon Web Services, Sorawee Porncharoenwase Amazon Web Services, Vishwanath Raman Amazon Web Services, Niloofar Razavi Amazon Web Services, Neha Rungta Amazon Web Services, Mike Schliep Amazon Web Services, Preethi Sekaran Amazon Web Services, Chase Johnson University of Minnesota | ||
11:15 15mTalk | Certified Program Synthesis with a Multi-modal Verifier Research Papers Yueyang Feng National University of Singapore, Dipesh Kafle National University of Singapore, Vladimir Gladshtein National University of Singapore, Vitaly Kurin Neapolis University Pafos, George Pîrlea National University of Singapore, Singapore, Qiyuan Zhao National University of Singapore, Peter Müller ETH Zurich, Ilya Sergey National University of Singapore | ||
11:30 15mTalk | KVerus: Scalable and Resilient Formal Verification Proof Generation for Rust Code Industry Showcase Yuwei Liu Ant Group, Xinyi Wan , Yanhao Wang Independent Researcher, Minghua Wang Ant Group, Lin Huang Ant Group, Tao Wei Ant Group | ||
11:45 15mTalk | Automated Lemma Discovery in Agentic Program Verification Research Papers Huan Zhao National University of Singapore, Haoxin Tu National University of Singapore, Zhengyao Liu National University of Singapore, Martin C. Rinard Massachusetts Institute of Technology, Abhik Roychoudhury National University of Singapore | ||
12:00 10mTalk | ProofPulse: Interactive Proof Coverage Analysis for Dafny Tools and Datasets Álvaro F. Silva INESC TEC; University of Porto, Ruben Martins Carnegie Mellon University, Alexandra Mendes Faculty of Engineering, University of Porto, Portugal DOI | ||
12:10 10mTalk | DSpec2Test: Specification-Driven Test Generation in Dafny Tools and Datasets Sofia Vieira Pinto INESC TEC; University of Porto, Álvaro F. Silva INESC TEC; University of Porto, João Pascoal Faria Faculty of Engineering, University of Porto and INESC TEC, Alexandra Mendes Faculty of Engineering, University of Porto, Portugal DOI | ||
12:20 10mTalk | QUTest: A Native Testing Framework for Quantum Programs Tools and Datasets José Campos Faculty of Engineering of the University of Porto, Portugal DOI | ||
10:30 - 12:30 | Security and Other Non-Functional Properties: Security and Privacy 6Tools and Datasets / Research Papers / Journal First at Forum 2 | ||
10:30 15mTalk | An empirical analysis of vulnerability detection tools for solidity smart contracts Journal First Francesco Salzano University of Molise, Cosmo Kevin Antenucci University of Molise, Simone Scalabrino University of Molise, Giovanni Rosa Universidad Rey Juan Carlos, Rocco Oliveto University of Molise, Remo Pareschi University of Molise DOI | ||
10:45 15mTalk | SmartPoC: Validating Smart Contract Vulnerability Findings through PoC Generation and Execution Research Papers Longfei Chen Tsinghua University, China, Ruibin Yan Peking University, Taiyu Wong Tsinghua University, Yiyang Chen Tsinghua University, Wang Jialai National University of Singapore, Chao Zhang Tsinghua University | ||
11:00 15mTalk | Zero-Knowledge VMs: Security and Usability in Practice Research Papers Jinan Jiang The Hong Kong Polytechnic University, Jinzhao Chu , Pengyu Xue Hong Kong Polytechnic University, Xinghao Peng , Haoran Qin The Hong Kong Polytechnic University, Xiapu Luo Hong Kong Polytechnic University | ||
11:15 10mTalk | GoLiSA: An Advanced Static Analysis Tool for Detecting Potential Risks and Vulnerabilities in Hyperledger Fabric Smart Contracts Tools and Datasets Luca Olivieri University Ca' Foscari, Venice, Luca Negrini Ca’ Foscari University of Venice, Vincenzo Arceri University of Parma, Italy, Pietro Ferrara Ca’ Foscari University of Venice, Fausto Spoto University of Verona, Italy, Agostino Cortesi Ca’ Foscari University of Venice DOI Media Attached | ||
11:25 15mTalk | MalSkills: Detecting Malicious Skills in the Agentic Supply Chain via Neuro-symbolic Reasoning Research Papers Shenao Wang Huazhong University of Science and Technology, HeJunjie , Yanjie Zhao Huazhong University of Science and Technology, Yayi Wang Ant Group, Kan Yu Ant Group, Haoyu Wang Huazhong University of Science and Technology | ||
11:40 15mTalk | LARA: Static ReDoS Detection for Regular Expressions with Lookahead via Matching Automata Research Papers Mengxi Wang Institute of Software at Chinese Academy of Sciences; University of Chinese Academy of Sciences, Chengyao Peng Institute of Software at Chinese Academy of Sciences; University of Chinese Academy of Sciences, Weihao Su ISCAS, Guiyi He Institute of Software at Chinese Academy of Sciences; University of Chinese Academy of Sciences, Rongchen Li Institute of Software at Chinese Academy of Sciences; University of Chinese Academy of Sciences, hong huang Institute of Software at Chinese Academy of Sciences; University of Chinese Academy of Sciences, Haiming Chen Institute of Software, Chinese Academy of Sciences | ||
11:55 15mTalk | How Your Credentials Are Leaked by LLM Agent Skills: An Empirical Study Research Papers Zhihao Chen Fujian Normal University, Ying Zhang Wake Forest University, Yi Liu Griffith University, Gelei Deng Nanyang Technological University, Yuekang Li UNSW, Yanjun Zhang Deakin University, Jianting Ning Zhejiang Sci-Tech University, Leo Zhang Griffith University, Lei Ma The University of Tokyo & University of Alberta, Zhiqiang Li Independent Researcher | ||
12:10 10mTalk | AIALIB: A Threat Library for AI-Generated Code Tools and Datasets DOI | ||
12:20 10mTalk | Cochise: A Reference Harness for Autonomous Penetration Testing Tools and Datasets DOI Pre-print | ||
10:30 - 12:30 | Testing and Analysis: Regression and Model-Based Testing 5NIER / Research Papers / Industry Showcase / Tools and Datasets at Forum 3 | ||
10:30 10mTalk | FaultForge: A Business-Semantics-Driven Cross-Layer Fault Injection Framework for Microservice NIER Yongxin Yang Beijing University of Posts and Telecommunications, Yang Yang Beijing University of Chemical Technology, Anni Jiang Beijing University of Posts and Telecommunications, Mingyuan Yang Beijing University of Posts and Telecommunications, Peng Yu Beijing University of Posts and Telecommunications | ||
10:40 10mTalk | DT-Drive: A Tool for Deterministic Replay-Based Testing and Debugging of Autonomous Driving Systems Tools and Datasets Sanjeetha Pennada The University of Sheffield, Matthew Leach University of Sheffield, Olek Osikowicz University of Sheffield, UK, Donghwan Shin University of Sheffield DOI | ||
10:50 10mTalk | Continuous On-Commit Certification Testing of Railway Control Software [Experience Report] Industry Showcase Jacopo Maltagliati University of Milano-Bicocca, Salvatore De Simone Rete Ferroviaria Italiana, Giovanni Denaro University of Milano - Bicocca | ||
11:00 15mTalk | Real-World Perturbation Testing of Autonomous Driving Systems Research Papers Stefano Carlo Lambertenghi Technische Universität München, fortiss GmbH, Matthias Weil TU Munich, Andrea Stocco Technical University of Munich, fortiss Pre-print | ||
11:15 15mTalk | Property-Based Testing of Wafer Handling Robots via Model-Based Planning and Fuzzing Research Papers Ruiyang Xu East China Normal University, Jingjing Liang East China Normal University, Guoyue Zheng East China Normal University, Geguang Pu East China Normal University, China, Ting Su East China Normal University | ||
11:30 15mTalk | Test Suite Generation for Simulink Models: An Experience with Reactis Industry Showcase Andrea Bombarda University of Bergamo, Nunzio Marco Bisceglia , Marco Saini University of Bergamo, Federico Formica McMaster University, Angelo Gargantini University of Bergamo, Claudio Menghi University of Bergamo; McMaster University | ||
11:45 15mTalk | Where Does Balance Break? Boundary Discovery for Game Balance Testing under a Finite Simulation Budget Research Papers Hiroki Mukai Ritsumeikan University, Yusaku Kato Ritsumeikan University, Norihiro Yoshida Ritsumeikan University, Erina Makihara Ritsumeikan University, Katsuro Inoue Ritsumeikan University Pre-print | ||
12:00 15mTalk | QDoctor: Probe-Based Testing for Quantum Programs Research Papers Qichen Wang Kyushu University, Shangzhou Xia Kyushu University, Xiaoyu Guo Kyushu University, Jianjun Zhao Kyushu University | ||
12:15 15mTalk | Quantum Squeeziness: An Information Theoretical Metric for Quantum Software Testability Research Papers Avner Bensoussan King's College London, Hector Menendez King’s College London, Mohammad Reza Mousavi King's College London | ||
10:30 - 12:30 | Security and Other Non-Functional Properties: Dependability and Safety 1Research Papers / Tools and Datasets at Forum 7 | ||
10:30 15mTalk | Not In My Git Yard: Catching Backdoors at Commit and Release Time Research Papers Dimitri Kokkonis Université Paris-Saclay, CEA, List, Michaël Marcozzi Université Paris-Saclay, CEA, List, Stefano Zacchiroli LTCI, Télécom Paris, Institut Polytechnique de Paris, Palaiseau, France DOI Pre-print | ||
10:45 15mTalk | IntOAgent: A Practical Framework for Automated Detection and Triggering of Integer Overflow Vulnerabilities Research Papers Yuelin Wang Tianjin University, Jiongchi Yu Nanyang Technological University, Xiaofei Xie Singapore Management University, Yaohui Sun Tianjin University, Tianyu Shi Tianjin University, Yanbang Sun College of Intelligence and Computing, Tianjin University, Qiang Hu Tianjin University, Junjie Wang Tianjin University | ||
11:00 15mTalk | Precise and Efficient Static Data Race Detection Research Papers | ||
11:15 15mTalk | From Thread to Pool: Modeling and Static Detection of Thread Pool Misuses in Java Programs Research Papers Baoquan Cui Institute of Software at Chinese Academy of Sciences, China, Yucheng Qiu Hangzhou Institute for Advanced Study at University of Chinese Academy of Sciences, Rui Han Institute of Software at Chinese Academy of Sciences; University of Chinese Academy of Sciences, Hang Gao Institute of Software at Chinese Academy of Sciences, Jian Zhang Institute of Software at Chinese Academy of Sciences; University of Chinese Academy of Sciences | ||
11:30 15mTalk | SafeDep: Detecting State Mutation Unsoundness in Rust via Dependency Slicing and LLM Reasoning Research Papers Zihao Rao Fudan University, Yilin Chen Fudan University, Chengjun Chen Ant Group, Hui Xu Fudan University | ||
11:45 10mTalk | SAF: An AI-Agent-Ready and Browser-Accessible Static Analysis Framework for LLVM IR Tools and Datasets Yuekang Li UNSW, Wei Li UNSW Sydney, Wei Song University of New South Wales, Yi Liu Griffith University, Gelei Deng Nanyang Technological University DOI | ||
11:55 15mTalk | Automated PoC Synthesis from On-Chain Attack Transactions Research Papers Xing Su National Key Lab for Novel Software Technology, Nanjing University, China, Hao Wu , Hanzhong Liang National Key Lab for Novel Software Technology, Nanjing University, China, Yunlin Jiang Nanjing University, Yuxi Cheng Nanjing University, Yating Liu Nanjing University, Fengyuan Xu National Key Lab for Novel Software Technology, Nanjing University, China, Sheng Zhong National Key Lab for Novel Software Technology, Nanjing University, China | ||
12:10 10mTalk | MASSIV: A Hybrid RAG for Automated Defeater Extraction in Autonomous Driving Safety Cases Tools and Datasets Tihomir Rohlinger University of Stuttgart; Cariad, Daniel Ratiu Cariad, Stefan Wagner Technical University of Munich DOI | ||
12:20 10mTalk | xDECAF: An Extensible Data Flow Diagram Analysis Framework for Information Security Tools and Datasets Benjamin Arp KIT, Felix Schwickerath Karlsruhe Institute of Technology (KIT), Alexander Vogt KIT, Tom Hüller KIT, Nils Niehues Karlsruhe Institute of Technology (KIT), Nicolas Boltz Karlsruhe Institute of Technology (KIT) DOI | ||
10:30 - 12:30 | |||
10:30 15mTalk | Learning the Lexical Structure of Black-Box Systems by Parsing Systematic String Edit Mutations Research Papers Moeketsi Raselimo Humboldt-Universität zu Berlin, Lars Grunske Humboldt-Universität zu Berlin, Bernd Fischer Stellenbosch University | ||
10:45 15mTalk | Planner-Fuzz: Overcoming Diagnostic Saturation in UAV Planners via Boundary-Oriented Fuzzing Research Papers Rongbo Chen Zhejiang University, Chengcheng Zhao Zhejiang University, Peng Cheng Zhejiang University, Jiming Chen Zhejiang University; Hangzhou Dianzi University, Taegyu Kim The Pennsylvania State University | ||
11:00 15mTalk | SpecTrum: Specification-Guided Differential Fuzzing for Ethereum Consensus Clients Research Papers Seokhun Jeong KAIST, Gyeongmin Dan Sungkyunkwan University, Sukyoung Ryu KAIST, Sungjae Hwang Sungkyunkwan University | ||
11:15 15mTalk | Breaking the Isolation: Coordinated Multi-agent Fuzzing for Smart Contracts with Multi-dimensional Objective Learning Research Papers Ruichao Liang Wuhan University, Ruochen Cao Wuhan University, Jing Chen Wuhan University, Kun He Wuhan University, Yebo Feng Jiangsu Luyu Technology, Yue Xue Metatrust Labs, Cong Wu Wuhan University | ||
11:30 15mTalk | RamFuzz: LLM-Guided Greybox Fuzzing for Spatial Memory Corruption via Valid Range Violation Research Papers Shangzhi Xu The University of New South Wales, Wei Song University of New South Wales, Yuekang Li UNSW, Nan Sun University of New South Wales, Muhammad Ejaz Ahmed Data61, CSIRO, Willy Susilo University of Wollongong, Benjamin Turnbull University of New South Wales, Xiao Cheng Macquarie University, Siqi Ma University of Wollongong | ||
11:45 15mTalk | Maximal Format-Free Data Repair Research Papers Zijian Luo University of Sydney, Australia, Xi Wu The University of Sydney, Hong Jin Kang University of Sydney, Alan Fekete University of Sydney, Rahul Gopinath University of Sydney | ||
12:00 15mTalk | CtxFuzz: Context-Aware Directed Fuzzing via Runtime Fuzzer-Agent Cooperation Research Papers Jiho Kim Georgia Institute of Technology, Dongkwan Kim Georgia Institute of Technology, HyungSeok Han Microsoft, Youngjoon Kim Georgia Institute of Technology, Soyeon Park , Sangwoo Ji Samsung Electronics, Joshua Wang Georgia Institute of Technology, Dae R. Jeong Seoul National University, Taesoo Kim Georgia Institute of Technology | ||
12:15 15mTalk | From Function to Repository: Towards Understanding and an Agentic Approach for Repo-Level Directed Input Generation Research Papers Haoyu Wang , Ming Wen Huazhong University of Science and Technology, Haoran Yan Huazhong University of Science and Technology, Jiayi Huang Huazhong University of Science and Technology, Xuanhua Shi Huazhong University of Science and Technology, Hai Jin Huazhong University of Science and Technology | ||
14:00 - 16:00 | |||
14:00 15mTalk | RAGVA: Engineering retrieval augmented generation-based virtual assistants in practice Journal First Rui Yang Monash University and Transurban, Michael Fu The University of Melbourne, Kla Tantithamthavorn Monash University, Chetan Arora Monash University, Lisa Vandenhurk Transurban, Joey Chua Transurban DOI | ||
14:15 15mTalk | Localizing Data Annotation Faults in Semantic Segmentation Systems Research Papers Pengyi Yang China University of Geosciences (Beijing), Teng Long School of Artificial Intelligence, China University of Geosciences (Beijing), Zhiwu Xu Shenzhen University, Linhai Jing China University of Geosciences | ||
14:30 15mTalk | Targeted Deep Learning System Boundary Testing Journal First Oliver Weißl , Amr Abdellatif Technical University of Munich, Xingcheng Chen Technical University of Munich & fortiss GmbH, Giorgi Merabishvili North Carolina State University, Vincenzo Riccio University of Udine, Severin Kacianka fortiss GmbH, Andrea Stocco Technical University of Munich, fortiss DOI | ||
14:45 15mTalk | Tangent: An Empirical Study of Testing Practices for LLM-Based Agent Applications Research Papers Rangeet Pan IBM Research, Tyler Stennett Georgia Institute of Technology, Divya Sankar IBM Research, Bridget McGinn IBM Resesarch, Alessandro Orso University of Georgia, USA, Raju Pavuluri IBM T.J. Watson Research Center, Saurabh Sinha IBM Research, Maja Vukovic IBM Research | ||
15:00 15mTalk | XMutant: XAI-based fuzzing for deep learning systems Journal First Xingcheng Chen Technical University of Munich & fortiss GmbH, Matteo Biagiola University of St. Gallen and Università della Svizzera italiana, Vincenzo Riccio University of Udine, Marcelo d'Amorim North Carolina State University, Andrea Stocco Technical University of Munich, fortiss DOI | ||
15:15 15mTalk | Gradient-Free Repair of Code LLMs: A Closed-Form Fisher-Guided Bayesian Approach Research Papers | ||
15:30 15mTalk | Evolution-Aware Regression Test Prioritization of ML-Enabled Systems using Gradient-Based Behavior Vectors Research Papers Eunho Cho Korea Advanced Institute of Science and Technology (KAIST), Donghwan Shin University of Sheffield, In-Young Ko Korea Advanced Institute of Science and Technology Pre-print | ||
15:45 15mTalk | Not as Sweet by Another Name: An Empirical Study of Format Robustness in LLM Document Workflows Research Papers Xiaoyu Zhang Nanyang Technological University, Singapore, Xianyun Cheng Central South University, Tianlin Li Beihang University, China, Yuwei Zheng Beihang University, Yue Yang Xi'an University of Architecture and Technology, Yang Liu Nanyang Technological University | ||
14:00 - 16:00 | |||
14:00 15mTalk | Testing Static Analyzers via Semantic-Preserving Mutators Learned from Real-World Refactoring Practice Research Papers Meilin Li Chongqing University, Kaixuan Li Nanyang Technological University, Zifan Xie Chongqing University, Shiyu Qiu Huazhong University of Science and Technology, Ming Wen Huazhong University of Science and Technology, Maolin Sun Nanjing University, Hongyu Zhang Chongqing University Pre-print | ||
14:15 15mTalk | PL4SA: Optimized Partial Library Selection for Efficient Static Analysis Research Papers Guohao Feng Nanjing University, Yifei Lu State Key Laboratory for Novel Software Technology, Nanjing University, China, Minxue Pan Nanjing University | ||
14:30 15mTalk | Verifier-in-the-Loop LLM Solving of Heap Constraints for Concolic Execution Research Papers Shaoran Xia Fudan University, Leyi Cheng Soochow University, Caihua Dong Fudan University, Dongdong She HKUST (The Hong Kong University of Science and Technology), Bo Wang Beijing Jiaotong University, Xin Peng Fudan University, Zhen Dong Fudan University | ||
14:45 15mTalk | Top-Down Multi-agent LLM System with Runtime Data for MISRA C Violation Detection Industry Showcase Ahcheong Lee KAIST, Yeongbin Kang KAIST, Sechang Jang KAIST, Heechan Yang , Moonzoo Kim VplusLab; KAIST | ||
15:00 15mTalk | Tracing the Invisible: Semantic Message Flow Discovery via Data Contracts in Real-World Distributed Systems Research Papers youlong chen Institute of Computing Technology at Chinese Academy of Sciences; Zhongguancun Laboratory, Jie Lu Institute of Computing Technology at Chinese Academy of Sciences, mingtao huang Institute of Computing Technology at Chinese Academy of Sciences; University of Chinese Academy of Sciences, Chenghang Shi SKLP, Institute of Computing Technology, CAS, Yongheng Huang Institute of Computing Technology at Chinese Academy of Sciences; University of Chinese Academy of Sciences, Haofeng Li SKLP, Institute of Computing Technology, CAS, Dong Liu Center Research Institute, ZTE Coporation, China, Mengna Ma Zhongguancun Laboratory, Yong Liu Zhongguancun Laboratory; Qi An Xin Technology Group, Qinfen Hao Institute of Computing Technology at Chinese Academy of Sciences; University of Chinese Academy of Sciences; Zhongguancun Laboratory, Lian Li Institute of Computing Technology at Chinese Academy of Sciences; University of Chinese Academy of Sciences | ||
15:15 15mTalk | GPU-Accelerated Belief Propagation for Program Analysis Research Papers | ||
15:30 15mTalk | TasmScan: Continuation-Aware Taint Analysis for TVM Bytecode with Savelist Abstraction Research Papers Yixuan Liu Nanyang Technological University, Singapore, Yin Wu Xi'an Jiaotong University, Yi Li Nanyang Technological University Pre-print | ||
15:45 15mTalk | Safe Multi-site Binary Instrumentation of Running x86-64 Programs Research Papers Jihun Baek UNIST, Sanghoon Han UNIST, Hyungon Moon Ulsan National Institute of Science and Technology (UNIST) | ||
14:00 - 16:00 | Testing and Analysis: Fuzzing and Mutation Testing 3Tools and Datasets / Research Papers / Journal First / Industry Showcase at Forum 6 | ||
14:00 15mTalk | Mutation-Guided Unit Test Generation with a Large Language Model Journal First Guancheng Wang Lero, University of Limerick, Ireland, Xu Qinghua Lero Research Centre, University of Limerick, Lionel Briand University of Ottawa, Canada; Lero centre, University of Limerick, Ireland, Kui Liu Huawei DOI | ||
14:15 10mTalk | Marv: An Interactive Tool for Visualising and Reviewing the Results of Mutation Analysis Tools and Datasets Daniel Wells University of Sheffield, Zalán Lévai University of Sheffield, Phil McMinn University of Sheffield DOI | ||
14:25 15mTalk | ConfFuzz: Parameter-Aware Greybox Fuzzing for Configurable Cloud Systems Research Papers Shuai Wang University of Illinois at Urbana-Champaign, Hao Wang University of California at Berkeley, Darko Marinov University of Illinois at Urbana-Champaign, Tianyin Xu University of Illinois at Urbana-Champaign, Yongle Zhang Purdue University | ||
14:40 15mTalk | ExcavatorFuzz: LLM-Guided Path-Difficulty-Driven Directed Greybox Fuzzing Research Papers Kaiyu Xie Institute of Information Engineering at Chinese Academy of Sciences, Siyuan Li University of Chinese Academy of Sciences & Institute of Information Engineering Chinese Academy of Sciences, China, Jiaqian Peng Institute of Information Engineering, Chinese Academy of Sciences, Yun Yang Institute of Information Engineering at Chinese Academy of Sciences, Yaowen Zheng Institute of Information Engineering at Chinese Academy of Sciences, Kai Cheng Institute of Information Engineering, Chinese Academy of Sciences; School of Cyber Security, University of Chinese Academy of Sciences, Jiayu Zhang Institute of Information Engineering at Chinese Academy of Sciences, Shizhao Tian Institute of Information Engineering at Chinese Academy of Sciences, liyubo Institute of Information Engineering at Chinese Academy of Sciences, Hongsong Zhu Institute of Information Engineering at Chinese Academy of Sciences; University of Chinese Academy of Sciences | ||
14:55 15mTalk | Hybrid Fuzzing in Input Generation Logic Research Papers Siwei Wei State Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences, and University of Chinese Academy of Sciences Beijing, China, Shihao Zhu State Key Laboratory of Computer Science,Institute of Software,Chinese Academy of Sciences,China, Ruijie Meng National University of Singapore, Yan Cai Institute of Software at Chinese Academy of Sciences | ||
15:10 15mTalk | Accurate and Low-Cost Residual Risk Assessment via Sampled Profiling and Structure-Aware Coverage Amplification Research Papers Seongmin Lee UCLA, Işıl Özgü University of California at Los Angeles, Marcel Böhme CISPA Helmholtz Center for Information Security, Miryung Kim UCLA and Amazon Web Services | ||
15:25 15mTalk | Gray-Box Fuzzing in Local Space Research Papers | ||
15:40 10mTalk | InsightQL: A Unified Code Database for Fuzz Blocker Analysis Tools and Datasets Wentao Gao University of Melbourne, Renata Borovica-Gajic University of Melbourne, Sang Kil Cha KAIST, Michael Fu The University of Melbourne, Tian Qiu , Thuan Pham University of Melbourne DOI | ||
15:50 10mTalk | Mutation Testing of Simulink Cyber-Physical System Models: Challenges and Solutions in Practice Industry Showcase Murat Kavak University of Antwerp; Flanders Make, Onur Kilincceker University of Antwerp and Flanders Make vzw, Serge Demeyer University of Antwerp and Flanders Make vzw, Kevin Vandenbroucke Duco, Halim Abdurrahman Ceylan Department of International Computer, Graduate School of Natural and Applied Sciences, Ege University, Izmir, Türkiye Pre-print | ||
14:00 - 16:00 | Security and Other Non-Functional Properties: Performance 2Tools and Datasets / Research Papers / Industry Showcase at Forum 7 | ||
14:00 15mTalk | EffiHolmes: Differential Profiling-Guided Repository Level Time Inefficiency Fix Localization Research Papers Haowen Yang Hong Kong University of Science and Technology, Yun Peng Fudan University, Zishuo Ding The Hong Kong University of Science and Technology (Guangzhou) | ||
14:15 15mTalk | Assessing Uncertainty in Performance Modeling: Conformal Prediction vs. Bayesian Regression Research Papers Stefan Jahns Universität Leipzig, Johannes Dorn Leipzig University, Max Weber Leipzig University, Sven Apel Saarland University, Norbert Siegmund Leipzig University | ||
14:30 15mTalk | Beyond Single-Level PGO: Understanding and Harnessing Cross-Level Optimization Effects in Industrial Systems Industry Showcase Dong Liu Center Research Institute, ZTE Coporation, China, Yifan Cheng University of Electronic Science and Technology of China, Yunfeng Cui ZTE Corporation, Ting Chen University of Electronic Science and Technology of China, Jiachi Chen Zhejiang University, Zhihong Xue ZTE Corporation, Chong Hu ZTE Corporation, Shengyu Cheng ZTE Corporation | ||
14:45 10mTalk | Baseliner: A Plugin-Oriented, Hardware-Agnostic GPU Benchmarking Library Tools and Datasets DOI | ||
14:55 10mTalk | CppPerf: An Automated Pipeline and Dataset for Performance-Improving C++ Commits Tools and Datasets DOI | ||
15:05 10mTalk | EnergyTrackr: A Modular Energy Regressions Detection Tool Tools and Datasets François Bechet University of Namur, Jérôme Maquoi University of Namur, Luís Cruz TU Delft, Benoît Vanderose University of Namur, Xavier Devroey University of Namur DOI Pre-print Media Attached | ||
15:15 15mTalk | SimServing: Native-Execution Simulation for Evolution-Resilient LLM Serving Configuration Tuning Research Papers Yujie Huang The Chinese University of Hong Kong, Jiazhen Gu Chinese University of Hong Kong, Zhihan Jiang The Chinese University of Hong Kong, Michael Lyu CUHK, Hong Kong | ||
15:30 15mTalk | Discovering Performance Archetypes: Critical-Path-Aware Pattern Analysis and Regression Detection Research Papers Kaveh Shahedi Polytechnique Montréal, Heng Li Polytechnique Montréal, Maxime Lamothe Polytechnique Montreal, Foutse Khomh Polytechnique Montréal | ||
15:45 15mTalk | Bridging the Gap between Intent and Impact: An Empirical Study of GPU Optimizations in Deep Learning Frameworks Research Papers Siqi Wang Zhejiang University, Fanjing Luo Zhejiang University, Xing Hu Zhejiang University, Xinyu Wang Zhejiang University, Xin Xia Zhejiang University | ||
14:00 - 16:00 | |||
14:00 15mTalk | Doc2Feat-Bench: Evaluating Documentation-Driven Feature Addition Research Papers Zhonghao Jiang Zhejiang University, Le Deng Zhejiang University, Jialun Cao Hong Kong University of Science and Technology, Michael Pradel CISPA Helmholtz Center for Information Security, Zhongxin Liu Zhejiang University | ||
14:15 15mTalk | From Runnable Code to Shippable Applications: Test-Driven Development for Full-Stack Web Application Generation Research Papers Yuxuan Wan The Chinese University of Hong Kong, Tingshuo Liang Chinese University of Hong Kong, Jiakai Xu Columbia University in the City of New York, Jingyu Xiao The Chinese University of Hong Kong, Yintong Huo Singapore Management University, Singapore, Michael Lyu CUHK, Hong Kong | ||
14:30 15mTalk | DCAS: Decoupling CLI Agent Scaffolding to Internalize Planning across Scaffolds Industry Showcase Kishanthan Thangarajah Centre for Software Excellence, Huawei Canada, Boyuan Chen Centre for Software Excellence, Huawei Canada, Ahmed E. Hassan Queen’s University | ||
14:45 15mTalk | Generation of Web Apps with Agentic IDEs: An Empirical Assessment Research Papers Manuel Marceca University of Milano-Bicocca, Maria Teresa Rossi Gran Sasso Science Institute (GSSI), L’Aquila, Italy, Leonardo Mariani University of Milano-Bicocca | ||
15:00 15mTalk | Revisiting LLMs on New Feature Implementation in Real-World Software Development Practices Research Papers Jia Li Wuhan University, Tingxuan Huang Wuhan University, Tiankuo Zhao Wuhan University, Yiming Wang Wuhan University, Yiran Zhang Nanyang Technological University, Anshun Hu Wuhan University, Kechi Zhang Peking University, China, Lecheng Wang Peking University, Zinan Sheng Peking University, Kui Liu Huawei, Ge Li Peking University, Zhi Jin Peking University, Wuhan University | ||
15:15 15mTalk | Compressing Code Context for LLM-Based Issue Resolution Research Papers Haoxiang Jia Peking University, Earl T. Barr University College London, Sergey Mechatev Peking University | ||
15:30 15mTalk | RACE-Bench: A Reasoning-Augmented Benchmark for Repository-Level Code Agents on Feature Addition Research Papers Shuhan Liu Zhejiang University, Zhiyi Zhao Zhejiang University, Xing Hu Zhejiang University, Kui Liu Huawei, Xiaohu Yang Zhejiang University, Xin Xia Zhejiang University | ||
15:45 15mTalk | Debugging the Debuggers: Failure-Anchored Structured Recovery for Software Engineering Agents Industry Showcase Chenyu Zhao Nankai University, Shenglin Zhang Nankai University, Yihang Lin Nankai University, Wenwei Gu Nankai University, Zhimin Chen Nankai University, Yongqian Sun Nankai University, Dan Pei Tsinghua University, China, Chetan Bansal Microsoft Research, Saravan Rajmohan Microsoft, Minghua Ma Microsoft | ||
16:30 - 17:30 | Human and Social Aspects: Human-Computer InterfaceNIER / Research Papers / Tools and Datasets at Forum 1 | ||
16:30 15mTalk | Toward Inclusive Programming Support for Novice Programmers with Dyslexia: Insights from a Comparative Study Research Papers Zihan Fang Vanderbilt University, Janice Chung Vanderbilt University, Ruijia Chen University of Wisconsin-Madison, Marcia Barnes Vanderbilt University, Yuhang Zhao University of Wisconsin-Madison, Yu Huang Vanderbilt University | ||
16:45 15mTalk | A Selective Undo/Redo Algorithm for Dependency-Constrained Operation Histories Based on Change Propagation Research Papers Xiaoxiong Fan Tsinghua University, Hou Tam Tsinghua University, Hanxi Zhu Tsinghua University, Song-Hai Zhang Tsinghua University | ||
17:00 10mTalk | Towards Multilingual AI-Assisted Software Engineering NIER Shivadharshan S Indian Institute of Technology Tirupati, Anirudh Arrepu Indian Institute of Technology Tirupati, Sridhar Chimalakonda Indian Institute of Technology Tirupati | ||
17:10 10mTalk | AutoFLC: An LLM-Based Flowchart Generation Tool for Legacy Code Repository Tools and Datasets Yixing Luo Beijing Institute of Control Engineering, Longxing Yang Beijing Institute of Control Engineering, Xiaofeng Li Beijing Institute of Control Engineering, Bin Gu Beijing Institute of Control Engineering, Zhi Jin Peking University, Wuhan University DOI | ||
17:20 10mTalk | Agentic Code Review in the Terminal: A Trajectory-Level Analysis of Behavior, Cost, and Human-Alignment NIER Wachiraphan (Ping) Charoenwet University of Melbourne, Kla Tantithamthavorn Monash University, Patanamon Thongtanunam University of Melbourne, Hong Yi Lin The University of Melbourne, Minwoo Jeong Atlassian, Ming Wu Atlassian | ||
16:30 - 17:30 | Formal Aspects of Software Engineering: Formal Methods and Model Checking 2Industry Showcase / Research Papers at Forum 15 | ||
16:30 15mTalk | VARIES: Verification Harness Synthesis and Efficient Scheduling for Unsoundness Detection in Rust Libraries Research Papers Huan Li Zhejiang University, Xing Hu Zhejiang University, Xin Xia Zhejiang University, Xinyu Wang Zhejiang University | ||
16:45 15mTalk | Sound and Efficient Statistical Model Checking for Probabilities and Bounded Rewards Research Papers Hao Bu Ant Group; Zhejiang University, Lin Huang Ant Group, Tao Wei Ant Group, Jingyi Wang Zhejiang University | ||
17:00 15mTalk | FlowChecker: One Command to Model Check Control-Flow Rules in Industrial Java Industry Showcase Qiuye Wang Alibaba Cloud Computing, Liqing Cao Alibaba Cloud Computing, Wei Hu Alibaba Cloud Computing, Dengcheng He Alibaba Cloud Computing | ||
17:15 15mTalk | Inferring the Shape of Data Frames in R Programs using Abstract Interpretation Research Papers DOI Pre-print | ||
16:30 - 17:30 | |||
16:30 15mTalk | From Exploration to Revelation: App-Level Context-Aware Deceptive Pattern Detection for Mobile Applications Journal First Jieshan Chen CSIRO, Zhen Wang CSIRO Data61, Jiamou Sun CSIRO's Data61, Zhenchang Xing CSIRO’s Data61; Australian National University, Qinghua Lu CSIRO Data61, Qing Huang School of Computer Information Engineering, Jiangxi Normal University, Xiwei (Sherry) Xu Data61, CSIRO, Liming Zhu CSIRO’s Data61 DOI | ||
16:45 15mTalk | A Few Pages of Markdown: Committed AI Configuration and Lower Quality Cost after Coding-Agent Adoption Research Papers Yegor Denisov-Blanch Stanford University, Shyam Agarwal Carnegie Mellon University, Pavel Azaletskiy Grid Dynamics, Hao He Carnegie Mellon University, Rylan Schaeffer Stanford University, Brando Miranda Stanford University, Bogdan Vasilescu Carnegie Mellon University, Sanmi Koyejo Stanford University | ||
17:00 15mTalk | How Quantum Bugs Live and Die: A Lifecycle-Based Empirical Study of Bugs in Quantum Software Research Papers Yasai Shi , Xiangxin Meng Bytedance, Xiangjie Huang Beihang University, Jian Zhang Nanyang Technological University, Tianyu Wo , Xu Wang Beihang University | ||
17:15 15mTalk | CodeFault: Predicting Fault Risks from Code Changes via Multi-modal Learning Research Papers Yifan Xiao Peking University, Shijie Li China Southern Power Grid Company Limited, Yu Huang Peking University | ||
16:30 - 17:30 | Security and Other Non-Functional Properties: Security and Privacy 8Research Papers / Industry Showcase / Journal First at Forum 3 | ||
16:30 15mTalk | Evidence-Grounded Logic Vulnerability Detection for Smart Contracts via Runtime Context Reasoning Research Papers Guang Gong Tsinghua University; 360 Vulnerability Research Institute, Yucong Jiang 360 Vulnerability Research Institute, Rong Jian 360 Vulnerability Research Institute, Xiaotao Feng , Zhihan Wei 360 Vulnerability Research Institute, Qi Li Tsinghua University, Ke Xu Tsinghua University; Zhongguancun Laboratory | ||
16:45 15mTalk | Airdrop Scams in Practice: An Industry-Oriented Taxonomy, Benchmark, and Tool Audit Industry Showcase Ningyu He Hong Kong Polytechnic University, Xiaohui Hu Huazhong University of Science and Technology, Haoyu Wang Huazhong University of Science and Technology | ||
17:00 15mTalk | PoCo: Agentic Proof-of-Concept Exploit Generation for Smart Contracts Journal First Vivi Andersson KTH Royal Institute of Technology, Sofia Bobadilla KTH Royal Institute of Technology, Sweden, Harald Hobbelhagen KTH Royal Institute of Technology, Martin Monperrus KTH Royal Institute of Technology DOI | ||
17:15 15mTalk | Demystifying Solana Bots: From GitHub Blueprints to On-Chain Fingerprints Research Papers Xiaoye Zheng Zhejiang University, Yujing Chen Zhejiang University, Minghao Wu Zhejiang University, David Lo Singapore Management University, Difan Xie Hangzhou High-Tech Zone (Binjiang) Institute of Blockchain and Data Security, Daoyuan Wu Lingnan University, Xiaohu Yang Zhejiang University, Zhiyuan Wan Zhejiang University | ||
16:30 - 17:30 | Security and Other Non-Functional Properties: Dependability and Safety 2Industry Showcase / Research Papers / Tools and Datasets at Forum 6 | ||
16:30 15mTalk | Understanding Real-World Ordering-Related Concurrency Bugs under Weak-Memory and Cross-Architecture Settings Industry Showcase Shaohao Wang Xidian University, Cheng Wen Xidian University, Yuandao Cai Hong Kong University of Science and Technology, Shengchao Qin Xidian University, Jie Su Xidian University, Mengda He Huawei Technologies Co., Ltd., Xiaoxue Ma City University of Hong Kong, Cong Tian Xidian University | ||
16:45 15mTalk | Context-Aware Trust Verification for Identity-Based Software Signing Research Papers Chinenye Okafor Purdue University, James C. Davis Purdue University, Santiago Torres-Arias Purdue University | ||
17:00 10mTalk | Deployment Risk Assessment using Diff-Aware Features: A Case Study at Prime Video Industry Showcase Mayur Premkumar Kurup Amazon.com, Hyunjae Suh University of California, Irvine, Swathi Vaidyanathan Amazon Prime Video, Pranesh Vyas Amazon Prime Video, Srinidhi Madabhushi Amazon Prime Video, Yegor Silyutin Amazon Prime Video | ||
17:10 10mTalk | ThreatCraft: Automated Attack Scenario Generation via Hybrid Rule-Based and LLM-Driven Reasoning Tools and Datasets Dohee Kang Korea University, Jiwon Kwak Korea University, Geunwoo Baek Korea University, Seungjoo Kim Korea University DOI | ||
17:20 10mTalk | The EVerest Dataset for Secure Software Engineering Tools and Datasets Sophie Corallo Karlsruhe Institute of Technology, Debora Grupp KIT, Dominik Fuchß Karlsruhe Institute of Technology (KIT), Jan Keim Karlsruhe Institute of Technology (KIT), Frederik Reiche Karlsruhe Institute of Technology, Tobias Hey Karlsruhe Institute of Technology (KIT), Anne Koziolek Karlsruhe Institute of Technology DOI Pre-print Media Attached | ||
16:30 - 17:30 | Formal Aspects of Software Engineering: Specification Languages 2Journal First / Research Papers at Forum 7 | ||
16:30 15mTalk | Barista: Synthesizing Typestate Specifications with LLM Agents Research Papers Catarina Gamboa Carnegie Mellon University and University of Lisbon, Paulo Canelas SonarSource, Ricardo Costa University of Lisbon, Marcio Caetano University of Lisbon, Jonathan Aldrich Carnegie Mellon University, Alcides Fonseca LASIGE; University of Lisbon | ||
16:45 15mTalk | SpecFSM: Extracting and Repairing Finite State Machines from Protocol Specification Documents Research Papers Xiangdong Li Beijing University of Posts and Telecommunications, DaWei Huang Beijing University of Posts and Telecommunications, Jingjing Guan Beijing University of Posts and Telecommunications, Hui Li Beijing University of Posts and Telecommunications | ||
17:00 15mTalk | Diagnosing Violations of State-based Specifications in iCFTL Journal First Cristina Stratan University of Luxembourg, Claudio Mandrioli University of Luxembourg, Domenico Bianculli University of Luxembourg DOI | ||
17:15 15mTalk | Refine2Diff: Detecting Protocol Specification–Implementation Inconsistencies via Specification-Driven Code Refinement Research Papers Yuekun Wang Singapore Management University, Lili Quan Singapore Management University (SMU), Xiaofei Xie Singapore Management University | ||
16:30 - 17:30 | Testing and Analysis: Regression and Model-Based Testing 6Research Papers / Journal First at Forum 8 | ||
16:30 15mTalk | PWCC: Probability-Weighted Combinatorial Coverage for Risk-Informed Scenario Testing of Autonomous Systems Research Papers Borhaneddine Hamadou Université Paris-Saclay; CEA List, Chokri Mraidha Université Paris-Saclay, CEA, List, Nicholas Matragkas Université Paris-Saclay, CEA, List. | ||
16:45 15mTalk | Constrained Co-evolutionary Differential Metamorphic Testing for Autonomous Systems with an Interpretability Approach Journal First Hossein Yousefizadeh School of EECS, University of Ottawa, Shenghui Gu University of Ottawa, Lionel Briand University of Ottawa, Canada; Lero centre, University of Limerick, Ireland, Ali Nasr Huawei Technologies Canada Co., Ltd DOI | ||
17:00 15mTalk | Simulator Ensembles for Trustworthy Autonomous Driving Systems Testing Journal First Lev Sorokin BMW Group, Technical University of Munich, Matteo Biagiola University of St. Gallen and Università della Svizzera italiana, Andrea Stocco Technical University of Munich, fortiss DOI | ||
17:15 15mTalk | TrackTest: Trajectory Generation and Prioritization for Testing Multiple Object Tracking System Research Papers Xinyu Gao Nanjing University, Haoxin Chen Nanjing University, Shuoxiao Zhang State Key Laboratory for Novel Software Technology Nanjing University, Nanjing, China, Enyi Tang Nanjing University, Hengrui Xu Nanjing University, Haoxiang Tian Nanyang Technological University, Singapore, Minghui Wei Nanjing University, An Guo The Hong Kong Polytechnic Universituy | ||
17:45 - 18:15 | |||
17:45 30mDay closing | Closing of ASE 2026 Organization | ||
Fri 16 OctDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
Fri 16 Oct
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
09:00 - 10:00 | |||
09:00 20mShort-paper | A Workflow-Driven Multi-Agent Architecture for Requirements Engineering MAS-GAIN Radoslaw Klimek AGH University of Krakow | ||
09:20 20mFull-paper | Decompose to Conquer: A Multi-Agent LLM Pipeline for Requirements Engineering and Software Design MAS-GAIN | ||
09:40 15mFull-paper | SAGE: Source-Aligned Governance for Human–Agent Requirements Clarification in Multi-Agent Software Engineering MAS-GAIN Tingting Feng Product Research and Development Department, China Unicom Smart City Research Institute, Meifang Xue , Jian Wang , Zhongyan Du Product Research and Development Department, China Unicom Smart City Research Institute | ||