Filter Program
Dates
Rooms
Tracks
Badges
Your Program
Mon 12 OctDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
Mon 12 Oct
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
09:00 - 10:00 | RSSRRSSR at Boardroom Chair(s): Marc Carwehl Humboldt-Universität zu Berlin, Sinem Getir Yaman University of York, UK | ||
09:00 10mDay opening | Opening RSSR | ||
09:10 50mKeynote | Can Our Systems Survive Their Own Evolution? RSSR | ||
09:00 - 10:00 | |||
09:00 15mDay opening | Opening Doctoral Symposium | ||
09:15 45mKeynote | The Devil's Guide to Doing your PhD Doctoral Symposium Andreas Zeller CISPA Helmholtz Center for Information Security File Attached | ||
09:00 - 10:00 | |||
09:00 60mDay opening | Editors in Conversation: What Makes a Strong TSE and TOSEM Article? JAWs 2 | ||
09:00 - 10:00 | |||
09:00 60mKeynote | What Are We Really Repairing? Lessons from Cloud Failures APR Minghua Ma Microsoft | ||
09:00 - 10:00 | |||
09:00 10mDay opening | SRC Opening & Welcome Student Research Competition | ||
09:10 10mTalk | Making Vulnerability Proof-of-Concepts Trustworthy and Usable: From Empirical Diagnosis to Operational Validation Student Research Competition Wenjing Dang Tianjin University DOI | ||
09:20 10mTalk | Order-Aware State Elimination for Algebraic Program Analysis Student Research Competition Boxuan Zheng Zhejiang University DOI | ||
09:30 10mTalk | Toward Automatically Detecting Cross-Engine Asymptotic Complexity Divergence in JavaScript Student Research Competition Minseok Choe Korea University DOI | ||
09:40 10mTalk | Adaptive Parallel Testing for Floating-Point Branch Coverage Student Research Competition Yunxiang Wu Nanjing University DOI | ||
09:50 10mTalk | Reconstructing Executable Programs from Informal Bug Reports Student Research Competition Ragib Shahariar Ayon Texas State University DOI | ||
09:00 - 10:00 | |||
09:00 15mDay opening | Workshop Opening RASE | ||
09:15 45mKeynote | Combining Large-Scale Datasets, Program Analysis, and AI for Reliable and Trustworthy Software Analysis: Lessons from Android Apps RASE Jacques Klein University of Luxembourg | ||
09:00 - 10:00 | |||
09:00 - 10:00 | TRUST 1TRUST at Forum 6 Chair(s): Yutaro Kashiwa Nara Institute of Science and Technology, Fabio Palomba University of Salerno, Patrizio Pelliccione Gran Sasso Science Institute, Gianmario Voria University of Salerno | ||
09:10 10mDay opening | TRUST 26 Opening TRUST | ||
09:20 12mTalk | Software Project Management with LLM-Based Automation: Coordination, Validation, and Governance in Practice TRUST Ronnie de Souza Santos University of Calgary, Italo Santos University of Hawaii at Manoa, Cleyton Magalhaes Rural Federal University of Pernambuco DOI | ||
09:32 12mTalk | Closed-World Trustworthy Copilots for Legal and Regulatory Text TRUST DOI | ||
09:44 12mTalk | From Regulation to Innovation: Mining High-Impact AI Patents Grounded in the EU AI Act and Korea’s AI Basic Act TRUST Jimin Kim Software Policy & Research Institute, Ho Jun Kang Software Policy & Research Institute, Jaehyun Lee Software Policy & Research Institute DOI | ||
09:00 - 10:00 | Connect & Set the SceneHarness4GenUI at Forum 7 Chair(s): Silvia Abrahão Universitat Politècnica de València, Jieshan Chen CSIRO | ||
09:00 15mDay opening | Introduction & Icebreaker Harness4GenUI | ||
09:15 45mKeynote | GenUI and User Centered Design and their Relationship with Automation Design and Engineering of Interactive Systems and Technologies Harness4GenUI Philippe Palanque ICS-IRIT Université de Toulouse | ||
09:00 - 10:00 | AgenticDevAgenticDev at Forum 8 Chair(s): Giuseppe Di Fatta Free University of Bozen-Bolzano Welcome to AgenticDev 2026 (ACM proceedings)
| ||
09:00 - 10:00 | |||
09:00 30mDay opening | Opening and Introductions New-Faculty Symposium Marcel Böhme MPI-SP - CISPA Helmholtz Center for Information Security File Attached | ||
09:30 30mTalk | Keeping the Flame Alive: Reflections on Building a Meaningful Research Career New-Faculty Symposium File Attached | ||
10:30 - 12:30 | |||
10:30 50mKeynote | Model-centric approaches to assuring AI-based autonomy RSSR | ||
11:20 20mOther | Break-out groups: preparation RSSR | ||
11:40 20mTalk | A Resilience-Oriented Orchestration Framework for Mission Continuity in Multi-Agent Autonomous Systems RSSR Anjali Santhosh University of L'Aquila, Massimo Tivoli University of L'Aquila, Marco Autili University of L'Aquila, Italy | ||
12:00 20mTalk | R²: Repairability-Preserving Recursive Repair for Multimodal Agentic Systems RSSR Dominic Dabish Department of Computer Science, San Diego State University | ||
10:30 - 12:30 | |||
10:30 40mTalk | Automated Explanation-Based Testing and Improvement of Trustworthiness in AI-Based Systems Doctoral Symposium Lam Nguyen Tung Monash University, Australia | ||
11:10 40mTalk | Studying, Identifying, and Fixing Hidden Technical Debt in AI-Intensive Cyber-Physical Systems Doctoral Symposium Beena Beena University of Sannio, Italy | ||
11:50 40mTalk | Efficient Compiler Auto-tuning via Optimization Space Reduction Doctoral Symposium Mingxuan Zhu Peking University | ||
10:30 - 12:30 | |||
10:30 15mPaper | Toward Defensible System Behavior for AI-Generated Software Artifacts RASE Radoslaw Klimek AGH University of Krakow | ||
10:45 20mPaper | TaxVerif: Verification-Oriented COBOL Tax-Code Migration via Invariant Extraction and Semantic Validation RASE Vadim Tynchenko Bauman Moscow State Technical University, Igor Masich Bauman Moscow State Technical University, Dmitry Martysyuk Bauman Moscow State Technical University, Yury Kostromin Bauman Moscow State Technical University, Aleksei Borodulin Bauman Moscow State Technical University, Ivan Malashin Bauman Moscow State Technical University, Vladimir Nelyub Bauman Moscow State Technical University, Andrei Gantimurov Bauman Moscow State Technical University | ||
11:05 15mPaper | NORMA: Automated AI Act Compliance Assessment for AI Training Datasets RASE Elisabetta Arba Sapienza Università di Roma, Allegra Berardi Sapienza Università di Roma, Bedilia Estrada Torres University of Seville, Francesco Leotta Dipartimento di Informatica e Sistemistica (DIS) "A. Ruberti", Univerità "Sapienza" Roma, Flavia Monti Sapienza Università di Roma, Rome, Italy, Massimo Mecella Università di Roma Sapienza | ||
11:20 20mPaper | Can We Trust Strong Teachers? Auditing Knowledge Distillation for Binary Code Similarity Detection RASE | ||
11:40 15mPaper | Whose Specification Did You Test? The Hidden Interpretation Bias in LLM-Generated Test Suites RASE Md Mainul Islam United International University, Dhaka, Bangladesh DOI | ||
11:55 20mPaper | How Grammar-Based Synthetic Data Shapes Behavior Learning: An Empirical Study of Input Generation Strategies RASE Tural Mammadov CISPA Helmholtz Center for Information Security; Saarland University, Alireza Kheradmand CISPA Helmholtz Center for Information Security, Marius Smytzek CISPA Helmholtz Center for Information Security; Saarland University, Andreas Zeller CISPA Helmholtz Center for Information Security | ||
10:30 - 12:30 | AISM Session 1AISM at Forum 16 Chair(s): Sridhar Chimalakonda Indian Institute of Technology Tirupati 10:30 – 10:55 10:55 – 11:20 11:20 – 11:35 11:35 – 12:00 12:00 – 12:25 | ||
10:30 - 12:30 | Explore Emerging Research and PracticeHarness4GenUI at Forum 7 Chair(s): Jieshan Chen CSIRO, Walid Maalej Hasso Plattner Institute/University Potsdam, Zhenchang Xing CSIRO’s Data61; Australian National University | ||
10:30 45mKeynote | What Endures When Everything Evolves? AFS-UI and the Search for Stable Foundations in Generative UI Harness4GenUI Robert Mao ArcBlock, Inc | ||
11:15 20mResearch paper | Toward Frontier-Quality Declarative UI Generation at Small-Model Cost Harness4GenUI A: Yingxiang Yang Amazon, A: Weihang Xiao Amazon, A: Ben Bullough , A: Tushar Deshpande , A: Niresh Agarwal | ||
11:35 20mResearch paper | The Driver Was Never the Problem: Cross-Platform Test Portability as a Semantic Contract Harness4GenUI | ||
11:55 20mShort-paper | Prompt-to-Feature Attribution for Explainable Software Generation Harness4GenUI | ||
12:15 15mOther | Interactive Activity Harness4GenUI | ||
10:30 - 12:30 | AgenticDevAgenticDev at Forum 8 Chair(s): Jean-Marie Mottu Nantes Université, Andrea Rosani Free University of Bozen-Bolzano
Session 2: Agentic Coding
| ||||||||||||||||
10:30 - 12:30 | |||
10:30 30mTalk | Research, People, and Me New-Faculty Symposium | ||
11:00 30mTalk | What Counts and What Matters: Careers, Criteria, and What is Actually Worth Doing New-Faculty Symposium Link to publication File Attached | ||
11:30 30mPanel | Panel 1: Reflections and Mentorship New-Faculty Symposium P: Sukyoung Ryu KAIST, P: Alexander Pretschner TU Munich; fortiss, P: Lionel Briand University of Ottawa, Canada; Lero centre, University of Limerick, Ireland | ||
12:00 30mLive Q&A | 2-on-1: Mentorship Round 1 New-Faculty Symposium Sukyoung Ryu KAIST, Manuel Rigger National University of Singapore, Arie van Deursen TU Delft, Lionel Briand University of Ottawa, Canada; Lero centre, University of Limerick, Ireland, Alexander Pretschner TU Munich; fortiss, Andreas Zeller CISPA Helmholtz Center for Information Security | ||
12:30 - 14:00 | |||
14:00 - 16:00 | |||
14:00 80mKeynote | A brief history of security configuration CONFLANG Patrick Stöckle Siemens AG | ||
15:20 20mTalk | Poliac: Production Observability for LLM-based Infrastructure as Code CONFLANG Haitam El Hayani INRIA, IRISA, Université de Rennes, UMR 6074, Rennes, France, Jolan Philippe University of Orléans -- LIFO, Stéphanie Challita University of Rennes / IRISA | ||
15:40 20mKeynote | How to represent CUE terms as graphs CONFLANG | ||
14:00 - 16:00 | |||
14:00 40mTalk | Evaluating and improving Quality of Experience in virtual environments Doctoral Symposium Lara Ihlbrock None | ||
14:40 40mTalk | Understanding Human-AI Teaming for Software Engineering Practices Doctoral Symposium Jiessie Tie University of Toronto | ||
15:20 40mTalk | Human-centered LLM-based Agents to Support Agile Task Management in Software Engineering Doctoral Symposium Razieh Akbarilalaei Universitat Politècnica de Catalunya | ||
14:00 - 16:00 | |||
14:00 20mResearch paper | Execution Features and Their Relations to Faults: A Replication on Defects4J APR Marius Smytzek CISPA Helmholtz Center for Information Security; Saarland University DOI | ||
14:20 20mShort-paper | Failure Explanations: The Missing Abstraction between Debugging and Repair APR Marius Smytzek CISPA Helmholtz Center for Information Security; Saarland University DOI | ||
14:40 20mResearch paper | AnchorRepair: A Reference-Guided Dual-Agent Framework for Code Translation Repair APR Jiajun Sun Tianjin University, Yaocai Zhao Tianjin University, Fengjie Li Tianjin University, Jiajun Jiang Tianjin University DOI | ||
15:00 20mResearch paper | RAWL: Retrieval-Augmented Smart Contract Repair using Weisfeiler-Lehman-Based Retrieval APR DOI | ||
14:00 - 16:00 | AISMAISM at Forum 16 Chair(s): Sridhar Chimalakonda Indian Institute of Technology Tirupati 2:00 – 2:25 2:25 – 2:50 2:50 – 3:05 3:15 – 4:00 | ||
14:00 - 16:00 | |||
14:00 5mDemonstration | Demo Session: Generative UI for TaskGenAgent Harness4GenUI Razieh Akbarilalaei Universitat Politècnica de Catalunya | ||
14:05 5mDemonstration | Demo Session: GenAI for App Feedback Harness4GenUI Ali Ebrahimi Pourasad HPI, University of Potsdam | ||
14:10 10mDemonstration | Demo Session: AFS-UI Harness4GenUI Robert Mao ArcBlock, Inc | ||
14:20 5mDemonstration | Demo Session: QA Harness4GenUI Razieh Akbarilalaei Universitat Politècnica de Catalunya, Ali Ebrahimi Pourasad HPI, University of Potsdam, Robert Mao ArcBlock, Inc | ||
14:30 60mPanel | Panel Discussion Harness4GenUI Ali Ebrahimi Pourasad HPI, University of Potsdam, Jieshan Chen CSIRO, Silvia Abrahão Universitat Politècnica de València, Philippe Palanque ICS-IRIT Université de Toulouse, P: Robert Mao ArcBlock, Inc | ||
15:30 20mDay closing | Closing Harness4GenUI | ||
14:00 - 16:00 | AgenticDevAgenticDev at Forum 8 Chair(s): Jean-Marie Mottu Nantes Université, Andrea Rosani Free University of Bozen-Bolzano
Session 4: Repair
| ||||||||||||||||||||||||
14:00 - 16:00 | |||
14:00 30mTalk | Career development and leadership growth New-Faculty Symposium Link to publication File Attached | ||
14:30 30mTalk | On the Tenure Track: Lessons Learned So Far New-Faculty Symposium | ||
15:00 30mTalk | On Impact in SE Research New-Faculty Symposium File Attached | ||
15:30 30mPanel | Panel 2: Growth and Career New-Faculty Symposium P: Andreas Zeller CISPA Helmholtz Center for Information Security, P: Arie van Deursen TU Delft, P: Manuel Rigger National University of Singapore | ||
16:30 - 17:30 | |||
16:30 20mTalk | Scopeannon: A Static Analyzer of Ansible’s Scope Ambiguities CONFLANG Olivia Proust IMT Atlantique, Inria, LS2N, UMR 6004, Nantes, France, Hélène Coullon IMT Atlantique, Jolan Philippe University of Orléans -- LIFO, Frederic Loulergue Université d'Orléans | ||
16:50 20mTalk | Verifying the Stability of Terraform Executions CONFLANG Eloi Perdereau University of Orléans -- LIFO, Daniel Sokolowski Amazon Web Services, Jolan Philippe University of Orléans -- LIFO, Hélène Coullon IMT Atlantique, Guido Salvaneschi University of St. Gallen | ||
17:10 20mTalk | Déjà vu? Redundant Dependencies in Terraform CONFLANG Carlos Felgueiras INESC-ID and IST, University of Lisbon, Luís W. Barbosa Faculty of Engineering, University of Porto, Nuno Saavedra INESC-ID and IST, University of Lisbon, Alexandra Mendes Faculty of Engineering, University of Porto, Portugal, João F. Ferreira INESC-ID; University of Porto | ||
16:30 - 17:30 | |||
16:30 40mTalk | Safeguarding the Development and Deployment of Agentic AI Applications in the Enterprise Context Doctoral Symposium Rui Yang Monash University and Transurban | ||
17:10 15mPanel | Ask us Anything Doctoral Symposium Tegan Brennan Stevens Institute of Technology, Malte Mues Bergische Universität Wuppertal, Stefan Brunthaler Munich Computer Systems Research Laboratory (uCSRL), CODE Research Institute, University of the Bundeswehr Munich, Vadim Zaytsev University of Twente | ||
17:25 5mDay closing | Closing Doctoral Symposium | ||
16:30 - 17:30 | |||
16:30 60mDay closing | From Workshop Paper to Journal Article: Minimum Specifications and Next Steps JAWs 2 | ||
16:30 - 17:30 | |||
16:30 50mPanel | Discussion Panel RASE | ||
17:20 10mAwards | Awards & Workshop Closing - chaired by RASE Chairs and AI4I-IAS (Valeria Morra) RASE | ||
16:30 - 18:00 | |||
16:30 20mTalk | AIEngOrchestrator-HITL: Human-in-the-Loop Process Intelligence for Resilient AI Systems RSSR Razan Abualsaud Independent Researcher | ||
17:00 20mTalk | MAVLink Proxy Defense with Intrusion Detection, Safety Quarantine, and Dual-View Deception for UAV Command-and-Control RSSR Utkarsh Balu Lubal CSU Long Beach, Muhammad Abdul Basit Ur Rahim California State University Long Beach, Muhammad Rizwan Abid Florida Polytechnic University, Lakeland | ||
17:30 20mOther | Break-out groups: summary RSSR | ||
17:50 10mDay closing | Closing RSSR | ||
16:30 - 17:30 | AgenticDevAgenticDev at Forum 8 Chair(s): Jean-Marie Mottu Nantes Université, Andrea Rosani Free University of Bozen-Bolzano
| |||||||||||||||||||
16:30 - 17:30 | |||
16:30 30mLive Q&A | 2-on-1: Mentorship Round 2 New-Faculty Symposium Sukyoung Ryu KAIST, Manuel Rigger National University of Singapore, Arie van Deursen TU Delft, Alexander Pretschner TU Munich; fortiss, Lionel Briand University of Ottawa, Canada; Lero centre, University of Limerick, Ireland, Andreas Zeller CISPA Helmholtz Center for Information Security | ||
17:00 30mDay closing | Summary and Closing New-Faculty Symposium Marcel Böhme MPI-SP - CISPA Helmholtz Center for Information Security | ||
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
08:30 - 09:00 | |||
08:30 30mDay opening | ASE Opening Organization Stefan Winter LMU Munich, Shiva Nejati University of Ottawa, Justyna Petke University College London | ||
09:00 - 17:30 | |||
09:00 - 17:30 | |||
09:00 - 10:00 | |||
09:00 60mKeynote | Trust the Delta: Rethinking Software Validation in the AI Era Keynotes Michael Pradel CISPA Helmholtz Center for Information Security | ||
10:00 - 10:30 | |||
10:30 - 12:30 | AI and Software Engineering: AI4SE 1Research Papers at Forum 1 Chair(s): Lwin Khin Shar Singapore Management University | ||
10:30 15mTalk | How Reasoning Shapes Social Bias in LLM-Generated Code? Research Papers Weifeng Sun Singapore Management University, Jieke Shi Singapore Management University, Zhou Yang University of Alberta; Alberta Machine Intelligence Institute, Yuchen Chen Nanjing University, Hongyan Li Chongqing University, Meng Yan Chongqing University, David Lo Singapore Management University DOI | ||
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 DOI | ||
11:00 15mTalk | Exact-IaC: Execution-Driven Exact Knowledge Injection for Reliable IaC Synthesis Research Papers DOI | ||
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 at Chinese Academy of Sciences, Jie Liu Institute of Software at Chinese Academy of Sciences, Shuai Wang Institute of Software at Chinese Academy of Sciences, Zhirou Ma Institute of Software at Chinese Academy of Sciences, Dan Ye Institute of Software at Chinese Academy of Sciences DOI | ||
11:30 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; Shanghai Qi Zhi Institute, Zihan Liu Shanghai Jiao Tong University; Shanghai Qi Zhi Institute, 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; Shanghai Qi Zhi Institute, Yun Lin Shanghai Jiao Tong University, Minyi Guo Shanghai Jiao Tong University, Jin Song Dong National University of Singapore DOI | ||
11:45 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 DOI | ||
12:00 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 DOI | ||
12:15 15mTalk | Formal Verification-Integrated Reinforcement Learning for Automated ORM Schema Synthesis Research Papers DOI Media Attached File Attached | ||
10:30 - 12:30 | Security and Other Non-Functional Properties: Reliability and Availability 1Industry Showcase / Research Papers at Forum 15 Chair(s): Abhishek Tiwari University of Southern Denmark | ||
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 DOI | ||
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, Saravan Rajmohan Microsoft, Yingnong Dang Microsoft, Hongyu Zhang Chongqing University DOI | ||
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 DOI 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 | ||
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, 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 Hong Kong University of Science and Technology DOI 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 | Security and Other Non-Functional Properties: Security and Privacy 1Research Papers / Tools and Datasets / NIER at Forum 16 Chair(s): Chanchal K. Roy University of Saskatchewan | ||
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 DOI | ||
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 Chinese University of Hong Kong, Mingxue Zhang Zhejiang University; Hangzhou High-Tech Zone (Binjiang) Institute of Blockchain and Data Security, Wei Meng Chinese University of Hong Kong, Michael Lyu Chinese University of Hong Kong DOI | ||
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 DOI | ||
11:25 15mTalk | Evaluating Inference-Time Defenses 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 DOI | ||
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 Xuanwu Lab, 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 Xuanwu Lab DOI | ||
11:55 15mTalk | Execution-as-Configuration: Security Smells in Model Configuration Artifacts Research Papers Mohammed Latif Siddiq University of Notre Dame, Prince Noah Johnson University of Notre Dame, Joanna C. S. Santos University of Notre Dame DOI | ||
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 Pre-print | ||
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 Link to publication DOI | ||
10:30 - 12:30 | |||
10:30 - 12:30 | Human and Social Aspects: Program Comprehension and VisualizationResearch Papers / Journal First / Industry Showcase at Forum 6 Chair(s): Masud Rahman Dalhousie University | ||
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 National University of Singapore, Imam Nur Bani Yusuf National University of Singapore, Abhik Roychoudhury National University of Singapore DOI 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; Zhejiang University DOI 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, Hongyu Kuang Nanjing University, Ratnadira Widyasari Singapore Management University, He Zhang Nanjing University, Xiaoxing Ma Nanjing University, Julia Lawall Inria, David Lo Singapore Management University DOI 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 DOI Pre-print | ||
12:15 15mTalk | Same Scrutiny, More Time: Eye Tracking Insights into Reviewing LLM-Labelled Code Research Papers Ranim Khojah Chalmers University of Technology; University of Gothenburg, Francisco Gomes de Oliveira Neto Chalmers University of Technology; University of Gothenburg, Mazen Mohamad RISE Research Institutes of Sweden; Chalmers University of Technology, Julian Frattini Chalmers University of Technology; University of Gothenburg, Philipp Leitner Chalmers University of Technology; University of Gothenburg DOI Pre-print | ||
10:30 - 12:30 | Maintenance and Evolution: Refactoring and Reengineering 1Research Papers / Industry Showcase at Forum 8 Chair(s): Denys Poshyvanyk William & Mary | ||
10:30 15mTalk | If You Build It, Will They Come? Lessons from 20 Years of Industrial Use of a Code Transformation DSL Industry Showcase DOI Pre-print | ||
10:45 15mTalk | PCodeTrans: Translate Decompiled Pseudocode to Trace-Level Equivalent Source Code Research Papers Yuxin Cui Tsinghua University, Zeyu Gao Tsinghua University, Siliang Qin Institute of Information Engineering at Chinese Academy of Sciences, Yuanda Wang Peking University, Jiaming Wang Tsinghua University, xizeLuo Hunan University, Peng Zhou Tsinghua University, Chao Zhang Tsinghua University DOI | ||
11:00 15mTalk | Beyond Text Matching: Towards Reference-Free Evaluation for Human-Oriented Binary Reverse Engineering Research Papers Xiuwei Shang University of Science and Technology of China; 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; Alberta Machine Intelligence Institute, Shaoyin Cheng University of Science and Technology of China; Anhui Province Key Laboratory of Digital Security, Guoqiang Chen University of Science and Technology of China, Weiming Zhang University of Science and Technology of China; Anhui Province Key Laboratory of Digital Security, David Lo Singapore Management University DOI 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 Tsinghua 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; Nanjing University, Gaozhan Yu Nanjing University, Ye Wang Southeast University DOI | ||
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, 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 Chinese University of Hong Kong DOI | ||
12:00 15mTalk | Needle in the Repo: Diagnosing Maintainability Failures in AI-Generated Repository Edits Research Papers Haichao Zhu Qualcomm, Qian Zhang University of California at Riverside, Jiyuan Wang Tulane University, Zhaorui Yang University of California at Riverside, Yuxin Qiu University of California at Riverside DOI | ||
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; Inria; CNRS; IRISA, Djamel Eddine Khelladi CNRS; University of Rennes; Inria; IRISA, Mathieu Acher INSA; University of Rennes; Inria; CNRS; IRISA Link to publication DOI | ||
12:30 - 14:00 | |||
14:00 - 16:00 | AI and Software Engineering: AI4SE 2Research Papers / Industry Showcase at Forum 1 Chair(s): Shengcheng Yu Technical University of Munich | ||
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 DOI | ||
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 Zalusky University of Central Florida, Zachary Burkett University of Central Florida, Paul Gazzillo University of Central Florida DOI Pre-print Media Attached | ||
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 DOI | ||
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, Zibin Zheng Sun Yat-sen University DOI | ||
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, jiafeng Harbin Institute of Technology, Shenzhen, Kui Liu Huawei Technologies | ||
15:15 15mTalk | Instruction Alignment for Binary Code Representation Learning Research Papers DOI 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 DOI | ||
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, Lili Xiao Donghua University, Zhipeng Xue Zhejiang University DOI | ||
14:00 - 16:00 | Maintenance and Evolution: API Design and ManagementResearch Papers / Industry Showcase / Journal First at Forum 16 Chair(s): Massimiliano Di Penta University of Sannio, Italy | ||
14:00 15mTalk | Understanding the Code and Architectural Smells Generated by LLMs and Autonomous Agents Research Papers Yuecai Zhu Concordia University, Nikolaos Tsantalis Concordia University, Peter Rigby Concordia University DOI | ||
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 DOI | ||
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 DOI | ||
15:00 15mTalk | Implicit, Yet Impactful: Understanding Hidden Dependencies in Java Projects Research Papers Lyuye Zhang Nankai University; Nanyang Technological University, Chengwei Liu Nankai University, Fangyuan Zhang Nanyang Technological University, Yiran Zhang Nanyang Technological University, Yuan Zhou Zhejiang Sci-Tech University, Yang Liu Nanyang Technological University DOI | ||
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 DOI | ||
15:30 15mTalk | DAGGER: Dynamic Agentic Graph-Guided Efficient Reasoner for Container Image Dependency Optimization Research Papers DOI Pre-print | ||
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 | Testing and Analysis: Regression and Model-Based Testing 2Industry Showcase / Tools and Datasets / Journal First / Research Papers at Forum 2 Chair(s): Yuekang Li University of New South Wales | ||
14:00 15mTalk | Piece by Piece: Automating Combination Interaction GUI Testing via Planning and Dual Memory Research Papers Zhe Liu Institute of Software at Chinese Academy of Sciences, Oujin Wang Tsinghua University, Junjie Wang Institute of Software at Chinese Academy of Sciences, Chunyang Chen TU Munich, Mengzhuo Chen Institute of Software at Chinese Academy of Sciences, Boyu Wu University of Chinese Academy of Sciences, Yuekai Huang University of Chinese Academy of Sciences; Institute of Software at Chinese Academy of Sciences, Qing Wang Institute of Software at Chinese Academy of Sciences DOI | ||
14:15 15mTalk | AgentExecutor: Partial Code Execution via Agentic Context Generation Research Papers Junkai Chen Singapore Management University, Chengran Yang Singapore Management University, Xing Hu Zhejiang University, Zhenhao Li York University, Xin Xia Zhejiang University, David Lo Singapore Management University DOI | ||
14:30 15mTalk | Evaluating the Maintainability of ViewModel Tests using Multi-modal DSLs: An Industrial Mixed-Methods Study Research Papers DOI Pre-print | ||
14:45 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 Wuhan University; Peking University DOI | ||
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 Link to publication DOI Authorizer link | ||
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, Zhendong Su ETH Zurich, John Hughes Chalmers University of Technology, Sweden | ||
14:00 - 16:00 | |||
14:00 - 16:00 | Security and Other Non-Functional Properties: Security and Privacy 2Journal First / Research Papers / Industry Showcase at Forum 6 Chair(s): Jiongchi Yu Nanyang Technological University | ||
14:00 15mTalk | Mind the Gap: Do Widely-Used SAST Tools Really Cover the Language-Specific Top CWEs? Research Papers zhilin li Institute of Software at Chinese Academy of Sciences; University of Chinese Academy of Sciences, 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; Beijing Key Laboratory of Intelligent Software Engineering; University of Chinese Academy of Sciences, Jun Yan Institute of Software at Chinese Academy of Sciences; Beijing Key Laboratory of Intelligent Software Engineering; University of Chinese Academy of Sciences DOI | ||
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, Hao Zhu Peking University, Yang Xiao Institute of Information Engineering at Chinese Academy of Sciences; University of Chinese Academy of Sciences, Ge Li Peking University DOI | ||
14:30 15mTalk | One Is Not Enough: The Untold Story of Multiple Security Patches for One Vulnerability Research Papers Fangyuan Zhang Nanyang Technological University, Lyuye Zhang Nankai University; 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 DOI | ||
14:45 15mTalk | Are Reasoning Traces Faithful in LLM-Based Code Vulnerability Detection? Research Papers Wang Jialai National University of Singapore, Juncheng Lu Tsinghua 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 DOI | ||
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 University of Technology Sydney, Haoyu Wang Huazhong University of Science and Technology DOI | ||
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 Link to publication DOI Pre-print | ||
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 Technologies, 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 SonarSource, 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 | Security and Other Non-Functional Properties: Performance 1Industry Showcase / Research Papers at Forum 7 Chair(s): Malte Mues Bergische Universität Wuppertal | ||
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; fortiss, Weiyi Shang University of Waterloo, Manfred Hauswirth Fraunhofer FOKUS; Technische Universität Berlin, Sonja Schimmler Fraunhofer FOKUS; Technische Universität Berlin DOI | ||
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; Hangzhou High-Tech Zone (Binjiang) Institute of Blockchain and Data Security DOI | ||
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 Beihang University, 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 DOI Media Attached | ||
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 | ||
16:00 - 16:30 | |||
16:30 - 17:30 | AI and Software Engineering: SE4AI 1Research Papers / Journal First at Forum 1 Chair(s): Andrea Stocco TU Munich; fortiss | ||
16:30 15mTalk | Tensor-Based Batch Fuzzing with Adaptive Perturbation Scaling for Deep Neural Networks Research Papers DOI | ||
16:45 15mTalk | AgentChaos: Chaos Engineering for Agent Systems via Programmatic Fault Injection Research Papers Gou Tan Sun Yat-sen University, 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, Weifeng Sun Singapore Management University, 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 DOI | ||
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 Beihang University, Shihai Wang Beihang University, Bin Liu Beihang University, Jialuo Chen Zhejiang University, Wenjing Zhu Beihang University, Yu Liu Beihang University, Tengfei Shi Beihang University, Shudi Guo Beihang University DOI | ||
16:30 - 17:30 | Requirements and Design: Software Architecture and DesignIndustry Showcase / Tools and Datasets / Research Papers at Forum 15 Chair(s): Nan Niu University of North Florida | ||
16:30 15mTalk | MicroAgent: Context-Augmented Multi-agent Framework for Automatic Microservice Decomposition Research Papers Zishan Su Chinese University of Hong Kong, Junjie Huang 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 Chinese University of Hong Kong DOI | ||
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 Beihang University, Chunming Hu Beihang University, Yanliang Li Independent Researcher, Zhou Yang University of Alberta; 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 DOI File Attached | ||
17:20 10mTalk | CAS2UML: A Handwritten Sketch-to-PlantUML Dataset for Class and Activity Diagrams Tools and Datasets DOI | ||
16:30 - 17:30 | Security and Other Non-Functional Properties: Security and Privacy 3Tools and Datasets / Research Papers / Industry Showcase at Forum 16 Chair(s): Narges Khakpour Newcastle University, Malte Mues Bergische Universität Wuppertal | ||
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 Queen's University, Xing Hu Zhejiang University, Xin Xia Zhejiang University, Xiaohu Yang Zhejiang University DOI | ||
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, Hyoungshick Kim Sungkyunkwan University, Haehyun Cho Soongsil University DOI | ||
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 Pre-print | ||
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 | Testing and Analysis: Fuzzing and Mutation Testing 1Research Papers / Industry Showcase at Forum 2 Chair(s): Seongmin Lee University of California at Los Angeles | ||
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 DOI | ||
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 DOI | ||
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 DOI | ||
16:30 - 17:30 | |||
16:30 - 17:30 | Security and Other Non-Functional Properties: Reliability and Availability 2Research Papers / Industry Showcase at Forum 7 Chair(s): Yannic Noller Ruhr University Bochum | ||
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 Zhejiang University, Jiayi Chen Zhejiang University, Zhiwei Ling Zhejiang University, Shuiguang Deng Zhejiang University DOI | ||
16:45 15mTalk | Source-Free Detection and Impact Analysis of Compiler Optimization Problems in Mobile Applications Research Papers Han Hu Independent Researcher, Xiaoheng Xie Independent Researcher, Bo Sun Huawei, Jian Gu Monash University, Gang Fan Huawei Hong Kong Research Center, Li Li Beihang University DOI | ||
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 Beihang University, 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 Sun Yat-sen University, Pengfei Chen Sun Yat-sen University, Zhihan Jiang 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 Chinese University of Hong Kong | ||
18:00 - 21:30 | |||
18:00 3h30mSocial Event | Conferene Reception Catering | ||
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 - 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. File Attached | ||
10:00 - 10:30 | |||
10:30 - 12:30 | AI and Software Engineering: AI4SE 3NIER / Research Papers / Industry Showcase / Tools and Datasets at Forum 1 Chair(s): Shuyin Ouyang King's College London | ||
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 Chinese University of Hong Kong, Pinjia He Chinese University of Hong Kong DOI 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 paluno, 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 Sankar 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 DOI Pre-print | ||
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 Ant Group; University of New South Wales, Cuiyun Gao Harbin Institute of Technology DOI | ||
11:50 15mTalk | LLM Agents Can See Code Repositories Research Papers Dongjian Ma Shanghai Jiao Tong University, Silin Chen Shanghai Jiao Tong University, Yufei Yang Xi'an Jiaotong University, Yuling Shi Shanghai Jiao Tong University, Yanfu Yan Zhejiang University, Xiaodong Gu Shanghai Jiao Tong University DOI | ||
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 at 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 2Industry Showcase / Research Papers / Journal First at Forum 2 Chair(s): Junjie Wang Institute of Software at Chinese Academy of Sciences | ||
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 Link to publication DOI Pre-print 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 Nanjing University, Weifeng Sun Singapore Management University, Guoqing Xie Nanjing University, Chenxing Zhong Nanjing University of Science and Technology, Quanjun Zhang Nanjing University of Science and Technology DOI | ||
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, Bo Shen Northwestern Polytechnical University DOI | ||
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 Queen's University, Shin Hwei Tan Concordia University, Tse-Hsun (Peter) Chen Concordia University DOI | ||
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 Beihang University, Xiaofei Xie Singapore Management University, Chunyang Chen TU Munich DOI Pre-print | ||
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, Quanjun Zhang Nanjing University of Science and Technology DOI | ||
10:30 - 12:30 | |||
10:30 - 12:30 | Security and Other Non-Functional Properties: Security and Privacy 4Journal First / Research Papers / Industry Showcase at Forum 6 Chair(s): Ruijie Meng Cispa Helmholtz Center for Information Security | ||
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 Link to publication DOI 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 Hong Kong University of Science and Technology; Fudan University, Yuchong Xie Hong Kong University of Science and Technology, Dongdong She Hong Kong University of Science and Technology DOI | ||
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, Merve Astekin SINTEF, Arda Goknil SINTEF, Hasan Sozer Ozyegin University, Yan Naing Tun Singapore Management University, Erik Johannes Husom SINTEF, Lwin Khin Shar Singapore Management University, Lingxiao Jiang Singapore Management University DOI | ||
11:30 15mTalk | Decompiling the Web: Automated Semantic Recovery of Post-compilation Abstraction Leaks Research Papers DOI | ||
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 DOI Pre-print | ||
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 Athanor AI, Min-Chien Hsu Carnegie Mellon University, Nuno Sabino Carnegie Mellon University, Limin Jia Carnegie Mellon University, Ruben Martins Carnegie Mellon University, Darion Cassel Carnegie Mellon University, Kevin Cheang University of California at Berkeley DOI Pre-print | ||
10:30 - 12:30 | Maintenance and Evolution: Refactoring and Reengineering 2Research Papers / Tools and Datasets / Journal First at Forum 7 Chair(s): Vadim Zaytsev University of Twente | ||
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 DOI | ||
10:45 15mTalk | Latent Reuse in Agent Skills: Multi-modal Clone Detection at Ecosystem Scale Research Papers Jiaying Zhu Nanyang Technological University, Lyuye Zhang Nankai University; Nanyang Technological University, Wenbo Guo Nanyang Technological University, Yang Liu Nanyang Technological University DOI | ||
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 Polytechnic University of Madrid, Giuseppe Scanniello University of Salerno Link to publication DOI | ||
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 DOI Pre-print | ||
11:30 15mTalk | LLM-Based Agents for Identifying Bug-Introducing Commits Research Papers Niklas Risse MPI-SP; CISPA Helmholtz Center for Information Security, Marcel Böhme MPI-SP - CISPA Helmholtz Center for Information Security DOI Pre-print Media Attached | ||
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 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 2Research Papers / Industry Showcase / Journal First at Forum 8 Chair(s): Shane McIntosh University of Waterloo | ||
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, Guisheng Fan East China University of Science and Technology; Shanghai Engineering Research Center of Smart Energy, 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 ScaDS.AI; Leipzig University DOI Pre-print | ||
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 Pre-print | ||
11:15 15mTalk | To Ban or Not to Ban? How Open Source Projects Govern GenAI Contributions Research Papers DOI Pre-print | ||
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 DOI 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 DOI Pre-print Media Attached | ||
12:30 - 14:00 | |||
14:00 - 16:00 | Security and Other Non-Functional Properties: Reliability and Availability 3Research Papers / Industry Showcase / Journal First at Forum 15 Chair(s): Jingzhi Gong King's College London | ||
14:00 15mTalk | HERO: Hypothesis-Centered Root-Cause Analysis for Microservice Incidents Research Papers Jiewei Lyu Sun Yat-sen University, Junquan Yi Sun Yat-sen University, Shu Liang Tencent, Pengfei Chen Sun Yat-sen University, Long Pan Tencent DOI | ||
14:15 15mTalk | Observability of web applications: an industrial case study Journal First Anas Shatnawi Berger-Levrault, Bachar Rima Université de Montpellier, LIRMM, France, Zakarea AL SHARA Associate Professor, Software Engineering Department, Jordan University of Science and Technology , Gabriel Darbord Berger-Levrault, Abdelhak-Djamel Seriai University of Montpellier, France, Christophe Bortolaso Berger-Levault, France DOI | ||
14:30 15mTalk | Enhancing Trace-Based Root Cause Analysis for Microservice Systems via Code Change Understanding Research Papers Min Zhang Xidian University; Fudan University, Chenxi Zhang Xidian University, Senyu Xie Fudan University, Shihong Chen McDonald's, Lei Wu McDonald's, Xin Peng Fudan University DOI | ||
14:45 15mTalk | Bifrost: Empowering Pretrained Language Model with Fallibility Representation for Log-Based Fault Diagnosis Research Papers Minghua He Peking University, Tong Jia Peking University, Lingzhe Zhang Peking University, 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 Peking University DOI | ||
15:00 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 | ||
15:15 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 Peking University, Xiang Zhang Bytedance, Ying Li Peking University | ||
15:30 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, Juncheng Hu Jilin University, Haotian Si Independent Researcher, Cenjie Hu Shenyang Institute of Automation at Chinese Academy of Sciences, Quan Zhou Beijing Academy of Science and Technology, Yongchang Hu Huawei Technologies, Lei Han Huawei Technologies, Dan Pei Tsinghua University, Changhua Pei Computer Network Information Center at Chinese Academy of Sciences; University of Chinese Academy of Sciences, Gaogang Xie Computer Network Information Center at Chinese Academy of Sciences DOI | ||
15:45 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 | ||
14:00 - 16:00 | Security and Other Non-Functional Properties: Security and Privacy 5Research Papers / Journal First / Industry Showcase at Forum 16 Chair(s): Jacques Klein University of Luxembourg | ||
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 - Vietnam National University Ho Chi Minh City, Hoang Quoc Bao Hua Ho Chi Minh City University of Technology - Vietnam National University Ho Chi Minh City, Xuan-Bach Le Ho Chi Minh City University of Technology - Vietnam National University Ho Chi Minh City DOI | ||
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 DOI | ||
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 Lübeck, Joseph Bienhüls University of Lübeck, Kristoffer Hempel University of Lübeck, Felix Mächtle University of Lübeck, Thomas Eisenbarth University of Lübeck DOI | ||
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, Song Wang York University DOI | ||
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 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, hong huang Institute of Software at Chinese Academy of Sciences; University of Chinese Academy of Sciences, Haiming Chen Institute of Software at Chinese Academy of Sciences, Guiyi He Institute of Software at Chinese Academy of Sciences; University of Chinese Academy of Sciences DOI | ||
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 Nankai University; Nanyang Technological University, Fangyuan Zhang Nanyang Technological University, Bingyang Ren Xidian University, Yang Liu Nanyang Technological University, Hui Li Xidian University DOI | ||
14:00 - 16:00 | Testing and Analysis: Static and Dynamic Analysis 1Research Papers / Journal First at Forum 2 Chair(s): Dirk Beyer LMU Munich | ||
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 at Chinese Academy of Sciences; University of Chinese Academy of Sciences, Liqiang Ji Institute of Software at Chinese Academy of Sciences; University of Chinese Academy of Sciences, Jiwei Yan Institute of Software at Chinese Academy of Sciences; Beijing Key Laboratory of Intelligent Software Engineering; University of Chinese Academy of Sciences, Linjie Pan Huawei Technologies, Jinsong Ren Huawei Technologies, Jun Yan Institute of Software at Chinese Academy of Sciences; Beijing Key Laboratory of Intelligent Software Engineering; University of Chinese Academy of Sciences, Jian Zhang Institute of Software at Chinese Academy of Sciences; University of Chinese Academy of Sciences DOI | ||
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 Siyu Chen Purdue University, Chungha Sung Amazon Web Services, Xuyang Li Purdue University, Jingbo Wang Purdue University DOI | ||
14:45 15mTalk | Large Language Model Enabled Symbolic Execution for Automated Functional Analysis Research Papers Meixi Liu National University of Defense Technology, Zhenbang Chen National University of Defense Technology, Xudong Wang National University of Defense Technology, Ziran He National University of Defense Technology, 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 DOI | ||
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 DOI | ||
15:30 15mTalk | IncSFS: Incremental Full-Sparse Flow-Sensitive Pointer Analysis for C/C++ Research Papers Kunlin Liu National University of Defense Technology, Zhenbang Chen National University of Defense Technology, Piyi Zu National University of Defense Technology, Yide Du National University of Defense Technology, Ji Wang National University of Defense Technology DOI | ||
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 Applications, Feng Hong Beijing Institute of Computer Technology and Applications, Hongliang Liang Beijing University of Posts and Telecommunications, Qiuping Yi Beijing University of Posts and Telecommunications DOI | ||
14:00 - 16:00 | |||
14:00 - 16:00 | Software Analytics: Mining Software Repositories 1Research Papers / Journal First at Forum 6 Chair(s): Maleknaz Nayebi York University | ||
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 DOI | ||
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 DOI 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, Guisheng Fan East China University of Science and Technology; Shanghai Engineering Research Center of Smart Energy, 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 DOI | ||
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, 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 DOI | ||
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 at Chinese Academy of Sciences; University of Chinese Academy of Sciences, Mengyao Lyu Nanyang Technological University, Wu Jiahui Nanyang Technological University, Lei Yu Institute of Software at Chinese Academy of Sciences; University of Chinese Academy of Sciences, Chengwei Liu Nankai University, Fengjun Zhang Institute of Software at Chinese Academy of Sciences, Li Yang Institute of Software at Chinese Academy of Sciences, Chun Zuo Sinosoft, Yang Liu Nanyang Technological University DOI | ||
15:45 15mTalk | SustainSR: Interpretable OSS Sustainability Prediction via Symbolic Regression Research Papers Yang Deng Wuhan University; Duke Kunshan University, Mustafa Misir Duke Kunshan University, Jinfu Chen Wuhan University, Jifeng Xuan Wuhan University DOI | ||
14:00 - 16:00 | Testing and Analysis: Regression and Model-Based Testing 4Tools and Datasets / Journal First / Research Papers at Forum 7 Chair(s): Michael Pradel CISPA Helmholtz Center for Information Security | ||
14:15 15mTalk | TDRepro: A Neurosymbolic Approach to Reproducing Timing-Dependent Flaky Test Failures Research Papers Shanto Rahman University of Texas at Austin, Talank Baral George Mason University, August Shi University of Texas at Austin, Wing Lam George Mason University DOI 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, 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 Fudan University, Tao Xie Peking University DOI | ||
14:45 15mTalk | Feature-Focused Test Generation Research Papers José Antonio Zamudio Amaya CISPA Helmholtz Center for Information Security, Gaetano Sapia CISPA Helmholtz Center for Information Security; MPI-SP, Alexi Turcotte CISPA Helmholtz Center for Information Security, David Benavides Universidad de Sevilla, Marcel Böhme MPI-SP - CISPA Helmholtz Center for Information Security, Andreas Zeller CISPA Helmholtz Center for Information Security DOI Pre-print Media Attached File Attached | ||
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 Technologies 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, Alberto Petrucci Gran Sasso Science Institute, Franco Raimondi Gran Sasso Science Institute, Emerson Sales Gran Sasso Tech, Paolo Serri Thales Alenia Space Italia DOI | ||
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 4Research Papers / Tools and Datasets / Industry Showcase / NIER at Forum 8 Chair(s): Shin Yoo KAIST | ||
14:00 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 Link to publication | ||
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 MPI-SP - CISPA Helmholtz Center for Information Security DOI Pre-print | ||
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 - Vietnam National University Ho Chi Minh City | ||
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 Chinese University of Hong Kong, Yuxuan Wan Chinese University of Hong Kong, Yintong Huo Singapore Management University 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 DOI | ||
15:20 15mTalk | Smart Contract Synthesis via Multi-modal Specifications Research Papers Tanglin Chen ShanghaiTech University, Haoxian Chen ShanghaiTech University, Huilin Xiang ShanghaiTech University, Yuepeng Wang Simon Fraser University DOI | ||
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 | 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 | ||
16:00 - 16:30 | |||
16:30 - 17:00 | ASE AwardAwards at Plenary Room (Forum 1-3) Chair(s): Shiva Nejati University of Ottawa, Justyna Petke University College London, Stefan Winter LMU Munich | ||
16:30 30mAwards | ASE Award Awards | ||
17:00 - 17:30 | |||
17:00 30mAwards | Usage, costs, and benefits of continuous integration in open-source projects Awards Michael Hilton Carnegie Mellon University, Timothy Tunnell , kai huang , Darko Marinov University of Illinois at Urbana-Champaign, Danny Dig University of Colorado Boulder, JetBrains Research DOI | ||
18:30 - 22:30 | |||
18:30 4hSocial 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 - 17:30 | |||
09:00 - 10:00 | Keynote 3: MyraKeynotes at Plenary Room (Forum 1-3) Chair(s): Justyna Petke University College London | ||
09:00 60mKeynote | Lost in Automated Specifications: A Time and Space Odyssey in System Testing Keynotes Myra Cohen Iowa State University | ||
10:00 - 10:30 | |||
10:30 - 12:30 | AI and Software Engineering: AI4SE 5Research Papers / Industry Showcase at Forum 1 Chair(s): Sungmin Kang National University of Singapore | ||
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; fortiss, 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 at Chinese Academy of Sciences, Tiankuo Zhao Wuhan University, Dongming Jin Peking University, Lei Li University of Hong Kong, Zhi Jin Wuhan University; Peking University DOI | ||
11:00 15mTalk | Pattern over Pixels: Measuring Pattern Completion Bias in Multimodal Code Generation Research Papers DOI Pre-print | ||
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 Nanjing University, Qiong Wu Nanjing University, Shangqing Liu Nanjing University, Lei Bu Nanjing University, Xuandong Li Nanjing University DOI | ||
11:45 15mTalk | AEG-Edit: Bridging API Evolution and Code Semantics for Accurate API Usage in Code Generation Research Papers Yitong Lin Zhejiang University; Hangzhou High-Tech Zone (Binjiang) Institute of Blockchain and Data Security, Haoye Tian Aalto University, Dehai Zhao Zhejiang University, Chao Ni Zhejiang University; Hangzhou High-Tech Zone (Binjiang) Institute of Blockchain and Data Security, Xiaohu Yang Zhejiang University, Xiaoxue Ren Zhejiang University; Hangzhou High-Tech Zone (Binjiang) Institute of Blockchain and Data Security DOI | ||
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; Hangzhou High-Tech Zone (Binjiang) Institute of Blockchain and Data Security DOI | ||
12:15 15mTalk | Towards Fully Automated Medical Imaging Code Generation via Validation-Based Context Engineering Research Papers Zixiao Zhao University of Auckland, Jing Sun 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 DOI | ||
10:30 - 12:30 | Formal Aspects of Software Engineering: Software Validation and VerificationResearch Papers / Tools and Datasets / Industry Showcase at Forum 15 Chair(s): Shahar Maoz Tel Aviv University | ||
10:30 15mTalk | Generating Loop Invariants for Deductive Verification using Iterator Profiles Research Papers DOI | ||
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 Ohio State University DOI | ||
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 University of California at San Diego, 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, Qiyuan Zhao National University of Singapore, Peter Müller ETH Zurich, Ilya Sergey National University of Singapore DOI Pre-print | ||
11:30 15mTalk | KVerus: Scalable and Resilient Formal Verification Proof Generation for Rust Code Industry Showcase Yuwei Liu Ant Group, Xinyi Wan Ant Group, Yanhao Wang Independent Researcher, Minghua Wang Ant Group, Lin Huang Ant Group, Tao Wei Ant Group Link to publication DOI | ||
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 DOI | ||
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 | Maintenance and Evolution: Debugging and Fault LocalizationResearch Papers / Journal First / Industry Showcase at Forum 16 Chair(s): Gregory Gay Chalmers University of Technology and University of Gothenburg | ||
10:30 15mTalk | Efficient Black-Box Fault Localization for System-Level Test Code Using Large Language Models Journal First Ahmadreza Saboor Yaraghi University of Ottawa, Golnaz Gharachorlu University of Ottawa, Sakina Fatima Fujitsu Research, Lionel Briand University of Ottawa, Canada; Lero centre, University of Limerick, Ireland, Ruiyuan Wan , Ruifeng Gao Huawei Inc. DOI | ||
10:45 15mTalk | COBug: A Bug Localization Pipeline for COBOL: Does It Work? An Exploratory Study Research Papers Kavyasri Gajula Indian Institute of Technology Tirupati, Phanindra Kodela Indian Institute of Technology Tirupati, Sridhar Chimalakonda Indian Institute of Technology Tirupati DOI | ||
11:00 15mTalk | Improving IR-based Bug Localization with Semantics-Driven Query Reduction Journal First DOI | ||
11:15 15mTalk | BugMentor: Generating Answers to Follow-up Questions from Software Bug Reports using Structured Information Retrieval and Neural Text Generation Journal First DOI | ||
11:30 15mTalk | MERA: A Multi-expert LLM Framework for Severity Assessment of User Tickets in Mobile OS Beta Testing Industry Showcase Yongqian Sun Nankai University, Yimin Zuo Nankai University, Qingliang Zhang Nankai University, Bowen Hao Nankai University, Wenwei Gu Nankai University, Jiaqi Luan Nankai University, Sixu Zhou Nankai University, Shenglin Zhang Nankai University, Dan Pei Tsinghua University | ||
11:45 15mTalk | Disassembly-Augmented Root Cause Analysis for C/C++ Segmentation Faults in SAP HANA Industry Showcase Jihoon Jung SAP Labs Korea, Chansong You SAP Labs Korea, Jingun Hong SAP Labs Korea, Thomas Bach SAP, Gabin An Korea University | ||
12:00 15mTalk | One Sentence Can Kill the Bug: Auto-replay Mobile App Crashes from One-sentence Overviews Journal First Yuchao Huang , Junjie Wang Institute of Software at Chinese Academy of Sciences, Zhe Liu Institute of Software, Chinese Academy of Sciences, Mingyang Li Institute of Software at Chinese Academy of Sciences; University of Chinese Academy of Sciences, Song Wang York University, Chunyang Chen TU Munich, Yuanzhe Hu Institute of Software, Chinese Academy of Sciences, Qing Wang Institute of Software at Chinese Academy of Sciences DOI | ||
10:30 - 12:30 | Security and Other Non-Functional Properties: Security and Privacy 6Research Papers / Tools and Datasets / Journal First at Forum 2 Chair(s): Tegan Brennan Stevens Institute of Technology | ||
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 JetBrains, Rocco Oliveto University of Molise, Remo Pareschi University of Molise DOI | ||
10:45 15mResearch paper | SmartPoC: Validating Smart Contract Vulnerability Findings through PoC Generation and Execution Research Papers Longfei Chen Tsinghua University, Ruibin Yan Peking University, Taiyu Wong Tsinghua University, Yiyang Chen Tsinghua University, Wang Jialai National University of Singapore, Chao Zhang Tsinghua University DOI | ||
11:00 15mTalk | Zero-Knowledge VMs: Security and Usability in Practice Research Papers Jinan Jiang Hong Kong Polytechnic University, Jinzhao Chu Hong Kong Polytechnic University, Pengyu Xue Hong Kong Polytechnic University, Xinghao Peng Hong Kong Polytechnic University, Haoran Qin Hong Kong Polytechnic University, Xiapu Luo Hong Kong Polytechnic University DOI | ||
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 Huazhong University of Science and Technology, Yanjie Zhao Huazhong University of Science and Technology, Yayi Wang Ant Group, Kan Yu Ant Group, Haoyu Wang Huazhong University of Science and Technology DOI | ||
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 Institute of Software at Chinese Academy of Sciences; University of Chinese Academy of Sciences, 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 at Chinese Academy of Sciences DOI | ||
11:55 15mTalk | How Your Credentials Are Leaked by LLM Agent Skills: An Empirical Study Research Papers Zhihao Chen Griffith University, Ying Zhang Wake Forest University, Yi Liu Griffith University, Gelei Deng Nanyang Technological University, Yuekang Li University of New South Wales, Yanjun Zhang Griffith University, Jianting Ning Zhejiang Sci-Tech University, Leo Zhang Griffith University, Lei Ma University of Tokyo; University of Alberta, Zhiqiang Li Independent Researcher DOI | ||
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 | |||
10:30 - 12:30 | Testing and Analysis: Regression and Model-Based Testing 5Tools and Datasets / Research Papers / Industry Showcase / NIER at Forum 6 Chair(s): Giovanni Denaro University of Milano - Bicocca | ||
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: An 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 TU Munich; fortiss, Matthias Weil Technical University of Munich (TUM), Andrea Stocco TU Munich; fortiss DOI 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, Ting Su East China Normal University DOI | ||
11:30 15mTalk | Test Suite Generation for Simulink Models: An Experience with Reactis Industry Showcase Andrea Bombarda University of Bergamo, Nunzio Marco Bisceglia Gran Sasso Science Institute (GSSI), 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 DOI 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 DOI | ||
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 DOI | ||
10:30 - 12:30 | Security and Other Non-Functional Properties: Dependability and Safety 1Tools and Datasets / Research Papers at Forum 7 Chair(s): Neelofar Neelofar Royal Melbourne Institure of Techonlogy (RMIT) | ||
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 Télécom Paris; Institut Polytechnique de Paris DOI Pre-print File Attached | ||
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 Tianjin University, Qiang Hu Tianjin University, Junjie Wang Tianjin University DOI | ||
11:00 15mTalk | Precise and Efficient Static Data Race Detection Research Papers Pei Wang Tsinghua University; Key Laboratory for Information System Security; Beijing National Research Center for Information Science and Technology, Zhihang Sun Tsinghua University; Key Laboratory for Information System Security; Beijing National Research Center for Information Science and Technology, Fei He Tsinghua University; Key Laboratory for Information System Security; Beijing National Research Center for Information Science and Technology DOI | ||
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, Yucheng Qiu Hangzhou Institute for Advanced Study at University of Chinese Academy of Sciences, Rui Han Hangzhou Institute for Advanced Study at University of Chinese Academy of Sciences, Hang Gao Institute of Software at Chinese Academy of Sciences; University of Chinese Academy of Sciences, Jian Zhang Institute of Software at Chinese Academy of Sciences; University of Chinese Academy of Sciences DOI | ||
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 DOI | ||
11:45 10mTalk | SAF: An AI-Agent-Ready and Browser-Accessible Static Analysis Framework for LLVM IR Tools and Datasets Yuekang Li University of New South Wales, Wei Li UNSW Sydney, Wei Song University of New South Wales; CSIRO's Data61, Yi Liu Griffith University, Gelei Deng Nanyang Technological University DOI | ||
11:55 15mTalk | Trace-Driven Automated PoC Synthesis for On-Chain Attacks Research Papers Xing Su Nanjing University, Hao Wu Nanjing University, Hanzhong Liang Nanjing University, Yunlin Jiang Nanjing University, Yuxi Cheng Nanjing University, Yating Liu Nanjing University, Fengyuan Xu Nanjing University, Sheng Zhong Nanjing University DOI | ||
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 | Testing and Analysis: Fuzzing and Mutation Testing 2Research Papers at Forum 8 Chair(s): Mijung Kim UNIST | ||
10:30 15mTalk | Learning the Lexical Structure of Black-Box Systems by Parsing Systematic String Edit Mutations Research Papers Moeketsi Raselimo Humboldt University of Berlin, Lars Grunske Humboldt University of Berlin, Bernd Fischer Stellenbosch University DOI | ||
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, Taegyu Kim Pennsylvania State University DOI | ||
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 DOI Pre-print | ||
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 Nanyang Technological University, Yue Xue MetaTrust Labs, Cong Wu Wuhan University DOI | ||
11:30 15mTalk | RamFuzz: LLM-Guided Greybox Fuzzing for Spatial Memory Corruption via Valid Range Violation Research Papers Shangzhi Xu University of New South Wales; CSIRO's Data61, Wei Song University of New South Wales; CSIRO's Data61, Yuekang Li University of New South Wales, Nan Sun University of New South Wales, Muhammad Ejaz Ahmed CSIRO's Data61, Willy Susilo University of Wollongong, Benjamin Turnbull University of New South Wales, Xiao Cheng Macquarie University, Siqi Ma University of Wollongong DOI | ||
11:45 15mTalk | Maximal Format-Free Data Repair Research Papers Zijian Luo University of Sydney, Xi Wu University of Sydney, Hong Jin Kang University of Sydney, Alan Fekete University of Sydney, Rahul Gopinath University of Sydney DOI | ||
12:00 15mTalk | CtxFuzz: Context-Aware Directed Fuzzing via Runtime Fuzzer-Agent Cooperation Research Papers Jiho Kim Georgia Institute of Technology, Dongkwan Kim Microsoft, HyungSeok Han Microsoft, Youngjoon Kim Georgia Institute of Technology, Soyeon Park Independent Researcher, Sangwoo Ji Samsung Electronics, Joshua Wang Georgia Institute of Technology, Dae R. Jeong Seoul National University, Taesoo Kim Georgia Institute of Technology DOI | ||
12:15 15mTalk | From Function to Repository: Towards Understanding and an Agentic Approach for Repo-Level Directed Input Generation Research Papers Haoyu Wang Huazhong University of Science and Technology, 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 DOI | ||
12:30 - 14:00 | |||
14:00 - 16:00 | AI and Software Engineering: SE4AI 3Research Papers / Journal First at Forum 1 Chair(s): Myra Cohen Iowa State University | ||
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 China University of Geosciences (Beijing), Zhiwu Xu Shenzhen University, Linhai Jing China University of Geosciences (Beijing) DOI | ||
14:30 15mTalk | Targeted Deep Learning System Boundary Testing Journal First Oliver Weißl TUM, 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 TU 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 Research, Alessandro Orso University of Georgia, Raju Pavuluri IBM Research, Saurabh Sinha IBM Research, Maja Vukovic IBM Research DOI | ||
15:00 15mTalk | XMutant: XAI-based fuzzing for deep learning systems Journal First Xingcheng Chen Technical University of Munich & fortiss GmbH, Matteo Biagiola USI Lugano; University of St. Gallen, Vincenzo Riccio University of Udine, Marcelo d'Amorim North Carolina State University, Andrea Stocco TU Munich; fortiss DOI Pre-print | ||
15:15 15mTalk | Optimization-Free Repair of Code LLMs: A Closed-Form Fisher-Guided Bayesian Approach Research Papers Zhiyu Duan Beihang University, Chong Bian China Mobile, iainzhang Beihang University, Shunkun Yang Beihang University DOI | ||
15:30 15mTalk | Evolution-Aware Regression Test Prioritization of ML-Enabled Systems using Gradient-Based Behavior Vectors Research Papers DOI 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, Xianyun Cheng National University of Singapore, Tianlin Li Beihang University, Yuwei Zheng Beihang University, Yue Yang Xi'an University of Architecture and Technology, Yang Liu Nanyang Technological University DOI | ||
14:00 - 16:00 | Testing and Analysis: Fuzzing and Mutation Testing 3Research Papers / Tools and Datasets / Journal First / Industry Showcase at Forum 16 Chair(s): Michaël Marcozzi Université Paris-Saclay; CEA List | ||
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 Technologies 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 DOI | ||
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 Shandong University, Jiaqian Peng Institute of Information Engineering at 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 at 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 DOI | ||
14:55 15mTalk | Hybrid Fuzzing in Input Generation Logic Research Papers Siwei Wei Institute of Software at Chinese Academy of Sciences; University of Chinese Academy of Sciences, Shihao Zhu Institute of Software at Chinese Academy of Sciences, Ruijie Meng Cispa Helmholtz Center for Information Security, Yan Cai Institute of Software at Chinese Academy of Sciences DOI | ||
15:10 15mTalk | Accurate and Low-Cost Residual Risk Assessment via Sampled Profiling and Structure-Aware Coverage Amplification Research Papers Seongmin Lee University of California at Los Angeles, Işıl Özgü University of California at Los Angeles, Marcel Böhme MPI-SP - CISPA Helmholtz Center for Information Security, Miryung Kim University of California at Los Angeles DOI | ||
15:25 15mTalk | Gray-Box Fuzzing in Local Space Research Papers DOI | ||
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 | Testing and Analysis: Static and Dynamic Analysis 2Research Papers / Industry Showcase at Forum 2 Chair(s): Ningyu He Hong Kong Polytechnic University | ||
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 DOI Pre-print | ||
14:15 15mTalk | PL4SA: Optimized Partial Library Selection for Efficient Static Analysis Research Papers DOI | ||
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 Hong Kong University of Science and Technology, Bo Wang Beijing Jiaotong University, Xin Peng Fudan University, Zhen Dong Fudan University DOI | ||
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 Pre-print | ||
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; University of Chinese Academy of Sciences; Zhongguancun Laboratory, Jie Lu Institute of Computing Technology at Chinese Academy of Sciences; University of Chinese Academy of Sciences, Mingtao Huang Institute of Computing Technology at Chinese Academy of Sciences; University of Chinese Academy of Sciences, Chenghang Shi Institute of Computing Technology at Chinese Academy of Sciences; University of Chinese Academy of Sciences, Yongheng Huang Institute of Computing Technology at Chinese Academy of Sciences; University of Chinese Academy of Sciences, Haofeng Li Institute of Computing Technology at Chinese Academy of Sciences; University of Chinese Academy of Sciences, 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; Zhongguancun Laboratory DOI | ||
15:15 15mTalk | GPU-Accelerated Belief Propagation for Program Analysis Research Papers DOI Pre-print | ||
15:30 15mTalk | TasmScan: Continuation-Aware Taint Analysis for TVM Bytecode with Savelist Abstraction Research Papers Yixuan Liu Nanyang Technological University, Yin Wu Xi'an Jiaotong University, Yi Li Nanyang Technological University DOI Pre-print | ||
15:45 15mTalk | Safe Multi-site Binary Instrumentation of Running x86-64 Programs Research Papers DOI | ||
14:00 - 16:00 | |||
14:00 - 16:00 | AI and Software Engineering: AI4SE 6Industry Showcase / Research Papers at Forum 8 Chair(s): Masud Rahman Dalhousie University | ||
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 DOI Pre-print | ||
14:15 15mTalk | From Runnable Code to Shippable Applications: Test-Driven Development for Full-Stack Web Application Generation Research Papers Yuxuan Wan Chinese University of Hong Kong, Tingshuo Liang Chinese University of Hong Kong, Jiakai Xu Columbia University in the City of New York, Jingyu Xiao Chinese University of Hong Kong, Yintong Huo Singapore Management University, Michael Lyu Chinese University of Hong Kong DOI | ||
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, Leonardo Mariani University of Milano-Bicocca DOI | ||
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, Lecheng Wang Peking University, Zinan Sheng Peking University, Kui Liu Huawei Technologies, Ge Li Peking University, Zhi Jin Wuhan University; Peking University DOI | ||
15:15 15mTalk | Compressing Code Context for LLM-Based Issue Resolution Research Papers Haoxiang Jia Peking University, Earl T. Barr University College London, Sergey Mechtaev Peking University DOI | ||
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 Technologies, Xiaohu Yang Zhejiang University, Xin Xia Zhejiang University DOI | ||
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, Chetan Bansal Microsoft, Saravan Rajmohan Microsoft, Minghua Ma Microsoft DOI | ||
16:00 - 16:30 | |||
16:30 - 17:30 | Human and Social Aspects: Human-Computer InterfaceResearch Papers / NIER at Forum 1 Chair(s): Kathryn Stolee North Carolina State University | ||
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 DOI | ||
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 DOI | ||
17:00 10mTalk | Towards Multilingual AI-Assisted Software Engineering NIER Shivadharshan Sankar Indian Institute of Technology Tirupati, Anirudh Arrepu Indian Institute of Technology Tirupati, Sridhar Chimalakonda Indian Institute of Technology Tirupati | ||
17:20 10mTalk | Agentic Code Review in the Terminal: A Trajectory-Level Analysis of Behavior, Cost, and Human-Alignment NIER Wachiraphan (Ping) Charoenwet SonarSource, 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 | Security and Other Non-Functional Properties: Dependability and Safety 2Industry Showcase / Tools and Datasets at Forum 16 Chair(s): Yannic Noller Ruhr University Bochum | ||
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 DOI Media Attached | ||
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 | Software Analytics: Mining Software Repositories 2Research Papers / Journal First at Forum 2 Chair(s): Shane McIntosh University of Waterloo | ||
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 DOI | ||
17:00 15mTalk | How Quantum Bugs Live and Die: A Lifecycle-Based Empirical Study of Bugs in Quantum Software Research Papers Yasai Shi Beihang University, Xiangxin Meng Beihang University, Xiangjie Huang Beihang University, Jian Zhang Beihang University, Tianyu Wo Beihang University, Xu Wang Beihang University DOI | ||
16:30 - 17:30 | |||
16:30 - 17:30 | Security and Other Non-Functional Properties: Security and Privacy 8Research Papers / Journal First / Industry Showcase at Forum 6 Chair(s): Seongmin Lee University of California at Los Angeles | ||
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 360 Vulnerability Research Institute, Zhihan Wei 360 Vulnerability Research Institute, Qi Li Tsinghua University, Ke Xu Tsinghua University DOI | ||
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 DOI | ||
16:30 - 17:30 | Formal Aspects of Software Engineering: Specification Languages 2Research Papers / Journal First at Forum 7 Chair(s): Dominik Sobania paluno, University of Duisburg-Essen | ||
16:30 15mTalk | Barista: Synthesizing Typestate Specifications with LLM Agents Research Papers Catarina Gamboa Carnegie Mellon University; University of Lisbon, Paulo Canelas Carnegie Mellon University; University of Lisbon, Ricardo Costa University of Lisbon, Márcio Caetano University of Lisbon, Jonathan Aldrich Carnegie Mellon University, Alcides Fonseca University of Lisbon DOI Pre-print | ||
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 Xidian University DOI | ||
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, Xiaofei Xie Singapore Management University DOI | ||
16:30 - 17:30 | Testing and Analysis: Regression and Model-Based Testing 6Research Papers / Journal First at Forum 8 Chair(s): Andrea Stocco TU Munich; fortiss | ||
16:30 15mTalk | PWCC: Probability-Weighted Combinatorial Coverage for Risk-Informed Scenario Testing of Autonomous Systems Research Papers Borhaneddine Hamadou Universite Paris-Saclay, CEA List, Chokri Mraidha Université Paris-Saclay; CEA List, Nicholas Matragkas Université Paris-Saclay; CEA List DOI | ||
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 USI Lugano; University of St. Gallen, Andrea Stocco TU Munich; fortiss DOI Pre-print | ||
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 Nanjing University, Enyi Tang Nanjing University, Hengrui Xu Nanjing University, Haoxiang Tian Nanyang Technological University, Minghui Wei Nanjing University, An Guo Hong Kong Polytechnic University DOI | ||
17:45 - 18:15 | |||
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
08:45 - 10:00 | |||
08:45 15mDay opening | Opening Remarks KLEE Cristian Cadar Imperial College London | ||
09:00 60mKeynote | Deriving Test Oracles for Verification Infrastructure KLEE Maria Christakis TU Wien | ||
09:00 - 10:00 | |||
09:00 40mDay opening | Welcome LiveWrite Carmen Armenti REVEAL @ Software Institute - USI, Lugano, Switzerland, Tim Menzies North Carolina State University | ||
09:40 20mOther | Livewrite in Action! LiveWrite | ||
09:00 - 10:00 | |||
09:00 5mDay opening | Opening Remarks CPAchecker Dirk Beyer LMU Munich | ||
09:05 55mTalk | Bi-Abductive Analysis of Code with Pointers and Advanced Low-Level Operations CPAchecker Tomas Vojnar Masaryk University | ||
09:00 - 10:00 | Session 1 - Multi-Agent Systems for Requirements Engineering and Software DesignMAS-GAIN at Forum 13 Chair(s): Giacomo Valente DISIM, University of L'Aquila | ||
09:00 5mDay opening | MAS-GAIN Opening Session MAS-GAIN Giacomo Valente DISIM, University of L'Aquila | ||
09:05 25mFull-paper | Decompose to Conquer: A Multi-Agent LLM Pipeline for Requirements Engineering and Software Design MAS-GAIN | ||
09:30 15mShort-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 | ||
09:45 15mShort-paper | A Workflow-Driven Multi-Agent Architecture for Requirements Engineering MAS-GAIN Radoslaw Klimek AGH University of Krakow | ||
09:00 - 10:00 | SWGenoSWGeno at Forum 14 Chair(s): Lyuye Zhang Nankai University; Nanyang Technological University, Yang Liu Nanyang Technological University, Chengwei Liu Nankai University | ||
09:00 15mTalk | The Gene Is Not the Gate: Conceptualizing the Semantic Genome of Quantum Software SWGeno | ||
09:15 15mTalk | From Code to Knowledge: Enhancing Coding Agents via Reverse-Engineered Software Knowledge SWGeno | ||
09:30 15mTalk | ForkOps: Operating Fleets of Generated Software Variants SWGeno | ||
09:45 15mTalk | RepoTune: Co-Evolving Vulnerability Detection with a Repository's Genome SWGeno | ||
09:00 - 10:00 | |||
09:00 15mDay opening | Opening ASYDE | ||
09:15 14mTalk | Refinement for Correct Iterative Model-Based Systems Engineering of Cyber-Physical Systems ASYDE Luca Brodo Hochschule Hamm-Lippstadt, Giuseppe Scalora Hamm-Lippstadt University of Applied Sciences, Stefan Henkler Hochschule Hamm-Lippstadt | ||
09:29 14mTalk | Systematic evaluation of security flaws in low-level code generated by LLMs ASYDE Fynn Janson Technische Hochschule Mannheim, Peter Barth Technische Hochschule Mannheim, Eric Heim Technische Hochschule Mannheim | ||
09:43 17mTalk | Towards a Vertically Integrated Compiler Infrastructure to Improve Solver Time during Symbolic Execution ASYDE Sören Tempel Technische Universität Braunschweig, Christian Dietrich Technische Universität Braunschweig | ||
09:00 - 10:00 | |||
09:00 60mKeynote | LLM-Driven Requirements Engineering: Automating Dependencies, Regulatory Tracing, and Impact Analysis POVC Lionel Briand University of Ottawa, Canada; Lero centre, University of Limerick, Ireland | ||
09:00 - 10:00 | |||
09:00 10mDay opening | Welcome SECUTE Emanuele Iannone Hamburg University of Technology | ||
09:10 50mKeynote | Language Models as Penetration Testing Agents: Surprising Capabilities and Ethical Dimensions SECUTE Jürgen Cito TU Wien | ||
10:30 - 12:30 | |||
10:30 2hOther | Livewrite in Action! LiveWrite | ||
10:30 - 12:30 | |||
10:30 30mTalk | SV-LIB support in CPAchecker CPAchecker Marian Lingsch-Rosenfeld LMU Munich | ||
11:00 30mTalk | Interpolation-Based Termination Analysis in CPAchecker CPAchecker Marek Jankola LMU Munich File Attached | ||
11:30 30mTalk | Optimizations for Distributed Summary Synthesis CPAchecker Matthias Kettl LMU Munich | ||
12:00 30mTalk | Extensions of Distributed Summary Synthesis CPAchecker | ||
10:30 - 12:30 | Session 2 - Agent Architectures, Orchestration, and Reliability & Session 3 - Agentic AI for Software Analysis and Infrastructure-as-CodeMAS-GAIN at Forum 13 Chair(s): Giacomo Valente DISIM, University of L'Aquila | ||
10:30 25mFull-paper | Towards Declarative Composition of Heterogeneous AI Agents MAS-GAIN Antonio Marcos Alves Morais State University of Ceara (UECE), Paulo Henrique Federal University of Ceará, Felip Manyà Artificial Intelligence Research Institute (IIIA-CSIC) | ||
10:55 25mFull-paper | Sufficiently Advanced Agents Are Indistinguishable from Erlang: An Operational Mapping from OTP to Multi-Agent LLM Systems MAS-GAIN Mick Darling Dollhouse Research | ||
11:20 25mFull-paper | Does Architecture Matter? Comparing Multi-Agent Workflows for Filtering and Prioritizing Static Analysis Findings MAS-GAIN Linus Bennin TU Darmstadt and Fraunhofer IEM, Oshando Johnson Fraunhofer IEM, Eric Bodden Heinz Nixdorf Institute at Paderborn University & Fraunhofer IEM | ||
11:45 25mFull-paper | Towards Reliable Agentic Infrastructure Provisioning with LLMs MAS-GAIN Yhon Castañeda Universidad de los Andes, Camilo Escobar-Velásquez Universidad de los Andes, Colombia | ||
12:10 5mDay closing | MAS-GAIN Closing Session and Final Wrap-up MAS-GAIN Giacomo Valente DISIM, University of L'Aquila | ||
10:30 - 12:30 | SWGenoSWGeno at Forum 14 Chair(s): Chengwei Liu Nankai University, Lyuye Zhang Nankai University; Nanyang Technological University | ||
10:30 15mTalk | Seeing the Forest: A Taxonomy-Guided Analysis and Improvement of Malicious PyPI Package Detectors SWGeno | ||
10:45 45mKeynote | The Bad AI Bubble. Implications for Security and Software Engineering Research SWGeno | ||
11:30 15mTalk | Vulnerability Proof-of-Concepts in Software Supply Chain: Real-World Usage Scenarios from the Perspective of Migration SWGeno | ||
10:30 - 12:30 | |||
10:30 30mTalk | Prompts Matter: On the Impact of Code Smell Remediation with Large Language Models POVC | ||
11:00 30mTalk | Geometry-Aware Prompt Context for Model Consistency Management POVC Monalisha Ojha University of Mannheim, Shilpi Gupta University of Mannheim, Rahul Sharma Karlsruhe Institute of Technology | ||
11:30 30mTalk | Agent4RE: A Self-refining Multi-agent Framework for End-to-End Software Requirements Engineering and Benchmarking POVC Yongjian Tang Siemens AG, Germany, Linhan Li Technical University of Munich, Thomas Runkler Siemens AG Link to publication DOI Pre-print | ||
12:00 30mTalk | Prompt Pipelines as Engineered Artifacts: Regression-Testing a Multi-Agent Threat-Modeling Pipeline POVC Eldar Mametov Innopolis University, Andrey Sadovykh Softeam, Eugene Zouev Innopolis University, Alberto Sillitti Centre for Applied Software Engineering | ||
10:30 - 10:50 | |||
10:30 5mPoster | Automatic Unit-Test Generation Based on Symbolic Execution KLEE Tigran Avagyan RAU, Levon Shahbazyan Center of Advanced Software Technologies, Russian-Armenian University, Hovhannes Movsisyan RAU, Hayk Aslanyan RAU | ||
10:35 5mPoster | EAR: Debugging Libraries through API Call Traces KLEE | ||
10:40 5mPoster | Interprocedural Symbolic Static Analysis for Go KLEE | ||
10:50 - 12:30 | Exploration Strategies for Symbolic ExecutionKLEE at Forum 8 Chair(s): Frank Busse Independent Researcher | ||
10:50 20mTalk | FeatMaker: Automated Feature Engineering for Search Strategy of Symbolic Execution KLEE | ||
11:10 20mTalk | Guiding Symbolic Execution with Static Analysis and LLMs for Vulnerability Discovery KLEE Md Shafiuzzaman University of California at Santa Barbara, Achintya Desai UCSB, Wenbo Guo University of California, Santa Barbara, Tevfik Bultan University of California at Santa Barbara | ||
11:30 20mTalk | Enhancing Symbolic Execution of Programs for Control Flow Path Feasibility Analysis KLEE | ||
11:50 20mTalk | Enhancing Symbolic Execution with Self-Configuring Parameters KLEE | ||
12:10 20mTalk | Triggering the Hidden: Oracle Design Meets KLEE for Backdoor Detection KLEE Michaël Marcozzi Université Paris-Saclay; CEA List | ||
12:30 - 14:00 | |||
14:00 - 16:00 | |||
14:00 2hOther | Livewrite in Action! LiveWrite | ||
14:00 - 16:00 | Session 2 (Developments in Software Analysis)CPAchecker at Forum 11 Chair(s): Marek Jankola LMU Munich | ||
14:00 30mTalk | Distributed Summary Synthesis Multi-processing CPAchecker Akshay Warrier LMU Munich | ||
14:30 30mTalk | Trace Equations for Program Verification CPAchecker Gidon Ernst LMU Munich | ||
15:00 30mTalk | Leveraging Function Contracts for Blame Analysis CPAchecker Nicola Thoben University of Oldenburg | ||
15:30 30mTalk | ACF: Debugging Long-Running Systems with Tracing and Unit Test Execution CPAchecker Pavel Parizek Charles University | ||
14:00 - 16:00 | |||
14:00 30mTalk | VibeCheck - Assessing the Quality of LLM-Generated Unit Tests: A Multi-Agent Empirical Study Across Heterogeneous Repositories POVC Anika Tabassum University of Dhaka, Intesum Mushahid University of Dhaka, Md. Fahim Arefin University of Dhaka, Tarannum Shaila Zaman University of Maryland Baltimore County | ||
14:30 30mTalk | TurnCost: Turns, Not Observations—Cache-Aware Loop Engineering for Coding Agents POVC | ||
15:00 30mTalk | Towards Trace-Guided Automated Program Repair POVC David Georg Reichelt Lancaster University Leipzig, Leipzig, Germany, Shinhyung Yang Kiel University, Wilhelm Hasselbring Kiel University DOI | ||
15:30 30mTalk | Ranking Is Not Authority: Executable Context-Routing Contracts for Coding Agents POVC Nikhil Mahesh None | ||
14:00 - 16:00 | LLMs, Specifications and Proofs with and for Symbolic ExecutionKLEE at Forum 8 Chair(s): Daniel Schemmel | ||
14:00 20mPoster | Extended Lunch Poster Session KLEE | ||
14:20 20mTalk | Defusing Logic Bombs in Symbolic Execution with LLM-Generated Ghost Code KLEE | ||
14:40 20mTalk | Enhancing Symbolic Execution with Machine-Checked Safety Proofs KLEE | ||
15:00 20mTalk | Agentic Concolic Execution KLEE Zhengxiong Luo National University of Singapore, Huan Zhao National University of Singapore, Dylan Wolff National University of Singapore, Cristian Cadar Imperial College London, Abhik Roychoudhury National University of Singapore | ||
15:20 20mTalk | LLM-Driven Generation of Summaries for Symbolic Execution KLEE Frederico Ramos Instituto Superior Técnico, João Matos Instituto Superior Técnico, Jorge Hristovsky Instituto Superior Técnico, Pedro Adão IST-ULisboa and Instituto de Telecomunicações, Ruben Martins Carnegie Mellon University, José Fragoso Santos INESC-ID; Instituto Superior Técnico - University of Lisbon | ||
15:40 20mTalk | A Case Study in Firmware Verification: Applying Formal Methods to Intel TDX Module KLEE Dirk Beyer LMU Munich, Po-Chun Chien LMU Munich, Bo-Yuan Huang Intel, USA, Nian-Ze Lee National Taiwan University, Taiwan, Thomas Lemberger Technische Hochschule Deggendorf | ||
14:00 - 16:00 | ATIQSER Opening, Keynote, and TalksATIQSER at Forum 9 Chair(s): Jürgen Cito TU Wien, Ben Hermann University of Stuttgart | ||
14:00 10mDay opening | Welcome to ATIQSER 2026 ATIQSER | ||
14:10 50mKeynote | What We Learned in 15 Years of Artifact Evaluation ATIQSER Ben Hermann University of Stuttgart | ||
15:00 20mTalk | doi-checker: A Tool for Validating References of Research Papers ATIQSER DOI | ||
15:20 20mTalk | ATIBA: Grounded Integrity and Quality Checking for Research Papers ATIQSER Veli Karakaya Bilkent University, Semih Çağlar Bilkent University, Turkey, Yusuf Yiğit Korkmaz Bilkent University, Eray Tüzün Bilkent University DOI | ||
15:40 20mTalk | RefVerifier: Semi-Automated Reference Claim Verification for Scientific Manuscripts ATIQSER Stefania Mocan Technical University of Munich, Florian Angermeir fortiss, Mark Kreitz University of the Bundeswehr Munich DOI Pre-print | ||
16:30 - 17:30 | |||
16:30 60mDay closing | Debriefing LiveWrite Carmen Armenti REVEAL @ Software Institute - USI, Lugano, Switzerland, Dario Di Nucci University of Salerno, Tim Menzies North Carolina State University, Klaus Schmid University of Hildesheim | ||
16:30 - 17:30 | |||
16:30 30mTalk | CPAchecker Development in 2026 CPAchecker File Attached | ||
17:00 25mDay closing | Discussion and Closing CPAchecker Dirk Beyer LMU Munich | ||
16:30 - 17:30 | |||
16:30 30mTalk | Your Prompt Is Only Half the Prompt: Silent Chat-Template Drift in Open-Weight Model Repositories POVC Simarjot Khanna Independent Researcher | ||
16:30 - 17:35 | |||
16:30 60mKeynote | The Role of SAT Solving in Automated Reasoning KLEE Armin Biere University of Freiburg, Germany | ||
17:30 5mDay closing | Closing Remarks KLEE Cristian Cadar Imperial College London | ||