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 - 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 - 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 | Welcome and KeynoteAISM at Forum 16 Chair(s): Sridhar Chimalakonda Indian Institute of Technology Tirupati | ||
09:00 - 10:00 | |||
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): Andrea Rosani Free University of Bozen-Bolzano Welcome to AgenticDev | ||
09:00 - 10:00 | |||
09:00 30mDay opening | Opening and Introductions New-Faculty Symposium Marcel Böhme CISPA Helmholtz Center for Information Security | ||
09:30 30mTalk | Keeping the Flame Alive: Reflections on Building a Meaningful Research Career New-Faculty Symposium | ||
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 - 12:30 | |||
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 | ||
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, Alireza Kheradmand CISPA Helmholtz Center for Information Security, Marius Smytzek CISPA Helmholtz Center for Information Security, 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 | |||
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
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 | ||
11:30 30mPanel | Panel 1: Reflections and Mentorship New-Faculty Symposium P: Sukyoung Ryu KAIST, P: Alexander Pretschner TU Munich, 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, Andreas Zeller CISPA Helmholtz Center for Information Security | ||
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 - 16:00 | |||
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 30mDemonstration | Demo Session Harness4GenUI | ||
14:30 60mPanel | Panel Discussion & Round Table Harness4GenUI | ||
15:30 20mDay closing | Closing Harness4GenUI | ||
14:00 - 16:00 | AgenticDevAgenticDev at Forum 8
Session 4: Repair
| ||||||||||||||||||||||||||
14:00 - 16:00 | |||
14:00 30mTalk | Career development and leadership growth New-Faculty Symposium | ||
14:30 30mTalk | On the Tenure Track: Lessons Learned So Far New-Faculty Symposium | ||
15:00 30mTalk | [TBD] New-Faculty Symposium | ||
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 IMT Atlantique, 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 Faculty of Engineering, University of Porto & INESC-ID | ||
16:30 - 17:30 | |||
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 - 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
| ||||||||||||||
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, 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 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 - 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: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, Singapore, Jieke Shi Singapore Management University, Zhou Yang University of Alberta; CIFAR AI Chair; Alberta Machine Intelligence Institute , Yuchen Chen Nanjing University, Hongyan Li Chongqing University, Meng Yan Chongqing University, David Lo Singapore Management University | ||
10:45 15mTalk | Think Before You Code: Dual Reasoning for the NLSafety–Utility Trade-Off in LLM Code Generation Research Papers Honghao Tan Concordia University, Haibo Wang Concordia University, Shin Hwei Tan Concordia University | ||
11:00 15mTalk | Exact-IaC: Execution-Driven Exact Knowledge Injection for Reliable IaC Synthesis Research Papers | ||
11:15 15mTalk | SwiftGram: Dynamic Lexical Forking for Precise and Efficient Grammar-Constrained Decoding Research Papers Shuyi Ling Institute of Software at Chinese Academy of Sciences, Liangyi Kang Institute of Software, Chinese Academy of Sciences, Jie Liu Institute of Software, Chinese Academy of Sciences, Shuai Wang Institute of Software, Chinese Academy of Sciences, Zhirou Ma Institute of Software, Chinese Academy of Sciences, Dan Ye Institute of Software at Chinese Academy of Sciences | ||
11:30 15mTalk | Formal Verification-Integrated Reinforcement Learning for Automated ORM Schema Synthesis Research Papers DOI Media Attached File Attached | ||
11:45 15mTalk | AlphaCu: A Transformation-Driven Synthesis Framework for LLM-Based GPU Kernel Generation Research Papers Yangjie Zhou National University of Singapore, Xing Ma Shanghai Jiao Tong University, Zihan Liu Shanghai Jiao Tong University, Wang Qing Tsinghua University, Weihao Cui Shanghai Jiao Tong University, Sun Wu Shanghai Jiao Tong University, Hanjing Wang Harvard University, Binhang Qi National University of Singapore, Jingwen Leng Shanghai Jiao Tong University, Yun Lin Shanghai Jiao Tong University, Minyi Guo Shanghai Jiao Tong University, Jin Song Dong National University of Singapore | ||
12:00 15mTalk | MultiKernelBench: A Multi-platform Benchmark for Kernel Generation Research Papers Zhongzhen Wen Nanjing University, zhangyinghui Nanjing University, Zhong Li Nanjing University, Zhongxin Liu Zhejiang University, Linna Xie Nanjing University, Tian Zhang Nanjing University | ||
12:15 15mTalk | RealisticTritonBench: A Benchmark for Triton-Kernel Generation in Real-World AI Frameworks Research Papers Jinjun Huang Zhejiang University, Zhongzhen Wen Nanjing University, Tongtong Xu Huawei, Meng Yan Chongqing University, Xin Xia Zhejiang University, Zhongxin Liu Zhejiang University | ||
10:30 - 12:30 | Security and Other Non-Functional Properties: Reliability and Availability 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 | ||
10:45 15mTalk | When Does AI Actually Help in Incident Response? Identifying Good First Messages in Cloud Service Incidents Research Papers Minghua Ma Microsoft, Rujia Wang Microsoft, Chetan Bansal Microsoft Research, Saravan Rajmohan Microsoft, Yingnong Dang Microsoft Azure, Hongyu Zhang Chongqing University | ||
11:00 15mTalk | Expanding Guard Reach: Online Learning-Driven Incremental Kernel Panic Diagnosis Industry Showcase Yicheng Sui Nankai University, Xiaotian Wang Nankai University, Hailin Zhang Nankai University, Shenglin Zhang Nankai University, Binhong Jiang Nankai University, Heng Zheng Nankai University, Yongqian Sun Nankai University, Yuzhi Zhang Nankai University, Yang Zhang ByteDance Inc., Xin Wu ByteDance Inc., Liangyan Peng ByteDance, Linlin Han ByteDance, Feng Wang ByteDance Inc., Xiaozhou Liu ByteDance Inc., Yu Zhang ByteDance Inc. | ||
11:15 15mTalk | GALA: Graph-Augmented LLM Agents for Root Cause Analysis and Incident Response in Microservices Research Papers Yifang Tian University of Toronto, Yaming Liu University of Toronto, Zichun Chong University of Toronto, Zihang Huang University of Toronto, Yiran Li University of Toronto, Hans-Arno Jacobsen University of Toronto Pre-print | ||
11:30 15mTalk | OpsAgent: An Evolving Multi-agent System for Incident Management in Microservices Industry Showcase Yu Luo Nankai University, Jiamin Jiang Nankai University, Jingfei Feng Nankai University, Lei Tao Nankai University, Qingliang Zhang Nankai University, Xidao Wen Alibaba Cloud, Yongqian Sun Nankai University, Shenglin Zhang Nankai University, Tong Liu Lenovo (TianJin) Co., Ltd., Wenjie Zhang Lenovo, Dan Pei Tsinghua University, China | ||
11:45 15mTalk | ActionNex: A Production-Grade System for Next-Best-Action Recommendation in Cloud Outage Management Industry Showcase Zhenfeng Lin Microsoft, Haoji Hu Microsoft, Ming Hao Microsoft, Xuchao Zhang Microsoft, Yudi He Microsoft, Oleg Kulygin Microsoft, Hatay Tuna Microsoft, Chetan Bansal Microsoft Research, Ze Li Microsoft Azure, Murali Chintalapati Microsoft Azure, Sheila Jiang Microsoft, Salman Zafar Microsoft, Angie Anderson Microsoft, Ryan zhang | ||
12:00 15mTalk | ReLog: Execution-Aware Logging with Runtime Feedback for LLM-Oriented Debugging Research Papers Xin Wang The Hong Kong University of Science and Technology (Guangzhou), Yang Feng The Hong Kong University of Science and Technology (Guangzhou), Xiaoqian Jiao Hong Kong University of Science and Technology, Yang Zhang Hebei University of Science and Technology, Zhenhao Li York University, Zishuo Ding The Hong Kong University of Science and Technology (Guangzhou) Pre-print | ||
12:15 15mTalk | Towards Reliable Alarm Flood Reduction in Data Center via Grammar-Guided Verifiable LLM Reasoning Industry Showcase Jiacheng Liu Peking University; Institute for AI Industry Research (AIR), Tsinghua University, Guocong Lin Tsinghua University, Jichao Yan Tsinghua University, Huiwen Zheng GDS Holdings, Hongli Ma GDS Holdings, Changhao Zhou GDS Holdings, Zhiyi Yu GDS Holdings, Yuanchun Li Institute for AI Industry Research (AIR), Tsinghua University, Yunxin Liu Tsinghua University, Ding Li Peking University, Tao Xie Peking University, Yao Guo Peking University | ||
10:30 - 12:30 | 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, USA | ||
10:45 10mTalk | Software Engineering Meets the EU AI Act: Artifacts, Patterns, and Future Directions NIER Sridhar Chimalakonda Indian Institute of Technology Tirupati, Karimi Upendra Indian Institute of Technology Tirupati | ||
10:55 15mTalk | When Extensions Lie: Large-Scale Study of Privacy Policy Compliance in Browser Extensions Research Papers Zilun Wang Chinese University of Hong Kong, Zeyang Zhuang The Chinese University of Hong Kong, Mingxue Zhang Zhejiang University, Wei Meng Chinese University of Hong Kong, Michael Lyu CUHK, Hong Kong | ||
11:10 15mTalk | VeriSBOM: Secure and Verifiable SBOM Sharing via Zero-Knowledge Proofs Research Papers Gianpietro Castiglione Newcastle University, Shahriar Ebrahimi Newcastle University, Narges Khakpour Newcastle University, UK | ||
11:25 15mTalk | 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 | ||
11:40 15mTalk | Post-quantum Cryptography in the Wild: Assessing the Readiness of Open-Source Ecosystems Research Papers Tongxin Yuan Shanghai Jiao Tong University, Zhanpeng Liu Tencent, Jiashuo Liang Tencent Xuanwu Lab, Zhuosheng Zhang Shanghai Jiao Tong University, Gongshen Liu Shanghai Jiao Tong University, Yang Yu Tencent Xuanwu Lab, Guancheng Li Tencent | ||
11:55 15mTalk | Execution-as-Configuration: Security Smells in Model Configuration Artifacts Research Papers Mohammed Latif Siddiq Meta Platforms, Prince Noah Johnson University of Notre Dame, Joanna C. S. Santos University of Notre Dame | ||
12:10 10mTalk | AIGen: Automating AI Bill of Materials Generation through Hybrid MLOps Integration Tools and Datasets Federica Pepe University of Sannio, Daniele Bifolco University of Sannio, Costantino Martignetti University of Sannio, Aureliano D'Amici Smart Shaped, Fabiano Izzo Smart Shaped, Damian Andrew Tamburri University of Sannio - JADS/NXP Semiconductors, Massimiliano Di Penta University of Sannio, Italy DOI 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 DOI Pre-print | ||
10:30 - 12:30 | AI and Software Engineering: Autonomous and Self-Adapting SystemsResearch Papers / Tools and Datasets / Industry Showcase / Journal First at Forum 2 Chair(s): Chunyang Chen TU Munich | ||
10:30 15mTalk | ProbGuard: Proactive Runtime Monitoring for LLM Agent Safety via Probabilistic Prediction Research Papers Haoyu Wang School of Computing and Information Systems, Singapore Management University, Chris Poskitt Singapore Management University, Jiali Wei Xi'an Jiaotong University, Jun Sun Singapore Management University Pre-print | ||
10:45 15mTalk | What Breaks When LLMs Code? Characterizing Operational Safety Failures of Agentic Code Assistants Research Papers Pre-print | ||
11:00 15mTalk | Maintaining Control States for Initialization-Aware GRPO in Industrial LLM Workflows Industry Showcase Chen Liu Peking University, Zhenzhao Yuan Tencent, Fengyuan Fan Tencent, Limei Che Tencent, qiao qian , Qingyuan Liang Peking University, Zeyu Sun Institute of Software, Chinese Academy of Sciences, Lu Zhang Peking University | ||
11:15 15mTalk | From Plan to Action: How Well Do Agents Follow the Plan? Research Papers Shuyang Liu University of Illinois at Urbana-Champaign, Saman Dehghan University of Illinois Urbana Champaign, Jatin Ganhotra IBM Research, Martin Hirzel IBM Research, Reyhaneh Jabbarvand University of Illinois at Urbana-Champaign | ||
11:30 15mTalk | Safeguarding LLM Agents from Misalignment through Provenance Analysis Research Papers Yining She Carnegie Mellon University, Yiliang Liang Carnegie Mellon University, Eunsuk Kang Carnegie Mellon University Pre-print | ||
11:45 10mTalk | Introducing Safe LLM-Agent Execution via Typed Tool Mediation and World-Effect Evaluation Tools and Datasets Jun Zhou Chongqing Normal University; Chongqing Electric Power College, Tao Jia Chongqing Normal University; Southwest University DOI | ||
11:55 10mTalk | FeatX: Editing Software by Editing Features for Repository-Level Code Evolution Tools and Datasets Xutian Li Peking University, Yifeng Zhu Peking University, Xianlin Zhao Peking University, Yanzhen Zou Peking University, Lu Zhang Peking University, Bing Xie Peking University DOI Pre-print | ||
12:05 10mTalk | Graphectory Viewer: A Tool for Process-Centric Analysis of Agentic Software Trajectories Tools and Datasets Charlie Jyu University of Illinois at Urbana-Champaign, Shuyang Liu University of Illinois at Urbana-Champaign, Reyhaneh Jabbarvand University of Illinois at Urbana-Champaign DOI | ||
12:15 15mTalk | Assessing the adoption of security policies by developers in terraform across different cloud providers Journal First Alexandre Verdet Databricks, Mohammad Hamdaqa Polytechnique Montreal, Leuson Da Silva Polytechnique Montreal, Foutse Khomh Polytechnique Montréal 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 NUS, Imam Nur Bani Yusuf Singapore Management University, Singapore, Abhik Roychoudhury National University of Singapore Pre-print | ||
11:00 15mTalk | Automating Low-Risk Code Review at Meta: RADAR, Risk Calibration, and Review Efficiency Industry Showcase Audris Mockus University of Tennessee, Peter C Rigby Meta / Concordia University, Nachiappan Nagappan Meta Platforms, Inc. | ||
11:15 15mTalk | RepoProbe: Benchmarking Architecture-Aware Repository Comprehension with Checklists Research Papers Yuexi Yang Zhejiang University, Alyssa Wu Tencent, Ji Luo Tencent, Richeng Xuan Tencent, Zhichao Hu Tencent, Yuhong Liu Tencent, Zhen Qin Zhejiang University Pre-print | ||
11:30 15mTalk | “We Must Have Missed This Comment”: Detecting and Repairing Stale Function References in Linux Kernel Comments Research Papers Kexin Sun Nanjing University, Yunbo Lyu Singapore Management University, Xutong Ma Inria Paris, Hongyu Kuang Nanjing University, Ratnadira Widyasari Singapore Management University, Singapore, He Zhang Nanjing University, Xiaoxing Ma Nanjing University, Julia Lawall Inria, David Lo Singapore Management University Pre-print | ||
11:45 15mTalk | How Developer Coreness Influences the Patch-Review Process: A Mixed-Method Study Journal First Christian Hechtl Saarland University, Thomas Bock Carnegie Mellon University, Ralf Ramsauer OTH Regensburg, Wolfgang Mauerer OTH Regensburg / Siemens AG, Sven Apel Saarland University DOI Pre-print | ||
12:00 15mTalk | On the Reliability of Code Comprehension Proxies Research Papers Erfan Arvan New Jersey Institute of Technology, Nadeeshan De Silva William & Mary, Oscar Chaparro William & Mary, Martin Kellogg New Jersey Institute of Technology 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 and University of Gothenburg, Francisco Gomes de Oliveira Neto Chalmers | University of Gothenburg, Mazen Mohamad Chalmers | RISE - Research Institutes of Sweden, Julian Frattini Chalmers | University of Gothenburg, Philipp Leitner Chalmers | University of Gothenburg 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 | ||
10:45 15mTalk | PCodeTrans: Translate Decompiled Pseudocode to Trace-Level Equivalent Source Code Research Papers Yuxin Cui Institute for Network Sciences and Cyberspace, Tsinghua University, Zeyu Gao Tsinghua University, Siliang Qin Institute of Information Engineering, Chinese Academy of Sciences. School of Cyber Security, University of Chinese Academy of Sciences, China, Yuanda Wang Peking University, JiaMing Wang Tsinghua University, xizeLuo Hunan University, Peng Zhou Tsinghua University, Chao Zhang Tsinghua University | ||
11:00 15mTalk | Beyond Text Matching: Towards Reference-Free Evaluation for Human-Oriented Binary Reverse Engineering Research Papers Xiuwei Shang Singapore Management University, Li Hu University of Science and Technology of China, Xiao Jiang University of Science and Technology of China, Jieke Shi Singapore Management University, Junda He Singapore Management University, Zhou Yang University of Alberta; CIFAR AI Chair; Alberta Machine Intelligence Institute , Shaoyin Cheng University of Science and Technology of China, Guoqiang Chen University of Science and Technology of China, Weiming Zhang University of Science and Technology of China, David Lo Singapore Management University Pre-print | ||
11:15 15mTalk | The CodeInverter Suite: Structure- and Data-Aware Binary Decompilation with Efficient LLMs Research Papers Peipei Liu Zhongguancun Laboratory, Jian Sun Zhongguancun Laboratory, Rongkang Sun Zhongguancun Laboratory, Li Chen Zhongguancun Laboratory, Zhaoteng Yan Zhongguancun Laboratory, Xiaoling Zhang Zhongguancun Laboratory, Dawei Wang Zhongguancun Laboratory, Dapeng Sun Zhongguancun Laboratory, Peizheng Zhang Zhongguancun Laboratory, Dan Li Sun Yat-sen University DOI Pre-print | ||
11:30 15mTalk | HyBinMAS: LLM-Powered Hybrid Analysis for Function Name Recovery of Stripped Binaries Research Papers Chenxi Wang Nanjing University, Lei Xu Nanjing University, Xincheng He Jiangnan University, Gaozhan Yu Nanjing University, Ye Wang Southeast University 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, China, Wenyu Xu National University of Defense Technology, Longfei Sun National University of Defense Technology, Xinjun Mao National University of Defense Technology, Shuzheng Gao Chinese University of Hong Kong, Michael Lyu CUHK, Hong Kong | ||
12:00 15mTalk | Needle in the Repo: Diagnosing Maintainability Failures in AI-Generated Repository Edits Research Papers Haichao Zhu Reality Vison, Qian Zhang University of California at Riverside, Jiyuan Wang Tulane University, Zhaorui Yang University of California, Riverside, Yuxin Qiu University of California at Riverside | ||
12:15 15mTalk | Code Transformation Rule Synthesis using LLMs: Potential and Limits Research Papers Axel Allain INSA; University of Rennes; Inria; CNRS; IRISA, Aymeric Blot University of Rennes, IRISA / INRIA, Djamel Eddine Khelladi CNRS, IRISA, University of Rennes, Mathieu Acher Univ Rennes, Inria, CNRS, IRISA Link to publication DOI | ||
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 | ||
14:15 15mTalk | Translation Tag Team: Formal Rules and LLMs Translate More Macros Together Than Apart Research Papers Brent Pappas University of Central Florida, Joseph Zaluksy University of Central Florida, Zachary Burkett University of Central Florida, Paul Gazzillo University of Central Florida Pre-print 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 | ||
14:45 15mTalk | When Comments Mislead: An Empirical Study of Outdated Comments in LLM-Based Code Completion Research Papers Zhikun Xia Sun Yat-sen University, Yuan Huang Sun Yat-sen University, Xiangping Chen Sun Yat-sen University, China, Zibin Zheng Sun Yat-sen University | ||
15:00 15mTalk | Towards Reliable C-to-Rust Translation with Rule-Guided Reasoning and Reinforcement Learning Industry Showcase Feng Luo Harbin Institute of Technology (Shenzhen), Jiachen Liu Harbin Institute of Technology, Shenzhen, Cuiyun Gao Harbin Institute of Technology, Shenzhen, jiafeng Harbin Institute of Technology, Shenzhen, Kui Liu Huawei | ||
15:15 15mTalk | Instruction Alignment for Binary Code Representation Learning Research Papers Pre-print | ||
15:30 15mTalk | Post-hoc Attention Steering of Large Language Models for Robust Code Understanding under Obfuscation Research Papers Xiaokai Rong University of Texas at Dallas, Aashish Yadavally University of Central Florida, Tien N. Nguyen University of Texas at Dallas | ||
15:45 15mTalk | Lost in Translation, Found in Summary: Summary-Driven Supervision for Cross-Language Code Retrieval Research Papers Zhijie Liu Independent Researcher, Yisi Liu Donghua University, Linxi Jiang Independent Researcher, Yutian Tang University of Glasgow, Lili Xiao Donghua University, Zhipeng Xue Zhejiang University | ||
14:00 - 16:00 | Formal Aspects of Software Engineering: Specification Languages 1NIER / Research Papers / Industry Showcase / Journal First / Tools and Datasets at Forum 15 Chair(s): Thomas Vogel Humboldt-Universtität zu Berlin | ||
14:00 15mTalk | RFC2TLA+: Extracting and Verifying Formal Models from RFC Documents using Continuous LLM Feedback Research Papers Guozhen Ding University of Toronto, Kexin Li University of Toronto, Ilya Grishchenko University of Toronto, David Lie University of Toronto, Canada DOI Pre-print | ||
14:15 15mTalk | Exploring Development Methods for Reactive Synthesis Specifications Journal First Dor Ma'ayan Tel Aviv University, Shahar Maoz Tel Aviv University, Jan Oliver Ringert Bauhaus-University Weimar DOI | ||
14:30 10mTalk | TLCrafter: Peeling the Layers of Natural Language to Reveal Temporal Logic Specifications Tools and Datasets Cheng Wen Xidian University, Wenjun Ke Xidian University, Xiao Liang Xidian University, Zhi Ma Xidian University, Xiaoyong Xue Fermat Labs, Shengchao Qin Xidian University, Cong Tian Xidian University DOI | ||
14:40 10mTalk | ACSLBench: A Verified C/ACSL Corpus and Benchmark with Compositional Call Chains for Formal Specification Synthesis Tools and Datasets Hu Junjie Xidian University, Cheng Wen Xidian University, Bin Yu Xidian University, Jialun Cao Hong Kong University of Science and Technology, Dugang Liu Shenzhen University, Weidi Sun Peking University, Haokun Li Peking University, Shengchao Qin Xidian University, Cong Tian Xidian University DOI | ||
14:50 10mTalk | Can Formal Specifications Be Synthesized from Tests Alone? NIER Tianhai Liu Karlsruhe Institute of Technology (KIT), and aicas GmbH, Maximilian Müller KIT, Tobias Hey Karlsruhe Institute of Technology (KIT), Vitus Lüntzel KIT, Muhammad Minhas KIT, Anne Koziolek Karlsruhe Institute of Technology, Bernhard Beckert Karlsruhe Institute of Technology DOI | ||
15:00 15mTalk | Formula Completion Suggestions for Alloy Models with Selection Guidance Research Papers Mohammad Nurullah Patwary University of Texas at Arlington, Allison Sullivan University of Texas at Arlington | ||
15:15 15mTalk | Beyond Benchmarks: A Case Study of LLM-Generated Verus Specification Failures on Asterinas Vostd Industry Showcase Dugang Liu Shenzhen University, Ding Wang Shenzhen University, Chao Jiang Shenzhen University, Shenzhen, China, Cheng Wen Xidian University, Zhiwu Xu Shenzhen University, Zhong Ming Shenzhen University, Yuwei Liu Ant Group, Xinyi Wan , Lin Huang Ant Group | ||
15:30 15mTalk | All or Nothing: How Library Type Annotations Affect Client-Side Errors in Python Research Papers Eric Asare New York University Abu Dhabi, Luca Di Grazia University of St. Gallen, Sarah Nadi New York University Abu Dhabi Pre-print | ||
15:45 15mResearch paper | MiniPoly: Automatic Extraction of Efficient JavaScript Polyfill from Language Specification Research Papers DOI Pre-print | ||
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; Bell Canada, Nikolaos Tsantalis Concordia University, Peter Rigby Concordia University; Meta | ||
14:15 15mTalk | ABACI: Automated Downstream Bug Resolution via Semantic-Aware Bisection and Convergent Backporting Industry Showcase Runzhe Wang Alibaba Group, Yuanhang Zhou Alibaba Cloud Computing, Qingming Su Alibaba Cloud Computing, Yong Yang Alibaba Cloud Computing, Xiaohai Shi Alibaba Group, Tao Ma Alibaba Group | ||
14:30 15mTalk | HyTri: Hybrid Triage of CI Failures via LLM Guided Semantic Reasoning and Change Attribution Research Papers Lior Broide Ben-Gurion University of the Negev, Argaman Mordoch Ben-Gurion University of the Negev, Roni Stern Ben-Gurion University of the Negev | ||
14:45 15mTalk | Beyond Syntactic Differencing: Semantic-Aware Scheduling for Cross-Configuration Incremental Builds Research Papers Xiaolong Dai Nanjing University, Shanshan Li Nanjing University, Jun Lyu Nanjing University, Xintao Niu Nanjing University | ||
15:00 15mTalk | Implicit, Yet Impactful: Understanding Hidden Dependencies in Java Projects Research Papers Lyuye Zhang Nankai University; Nanyang Technological University, Chengwei Liu Nankai University, Fangyuan Zhang Nankai University, Yiran Zhang Nanyang Technological University, Yuan Zhou Zhejiang Sci-Tech University, Yang Liu Nanyang Technological University | ||
15:15 15mTalk | DepUpgrade: Automating Dependency Upgrade through State-Path Exploration Research Papers Yifan An Beihang University, Xiangxi Ma Beihang University, Wentong Tian Beihang University, Xuanqi Wang Beihang University, Qingao Dong Beihang university, Xiang Gao Beihang University, Hailong Sun Beihang University | ||
15:30 15mTalk | DAGGER: Dynamic Agentic Graph-Guided Efficient Reasoner for Container Image Dependency Optimization Research Papers Shikhar Vashistha Dept. of Computer Science & Engineering, Indian Institute of Technology, Roorkee, India, Neetesh Kumar IIT Roorkee 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 / Research Papers / Journal First at Forum 2 Chair(s): Yuekang Li UNSW Sydney | ||
14:00 15mTalk | Piece by Piece: Automating Combination Interaction GUI Testing via Planning and Dual Memory Research Papers Zhe Liu Institute of Software, Chinese Academy of Sciences, Oujin Wang Institute of Software, Chinese Academy of Sciences, Junjie Wang Institute of Software at Chinese Academy of Sciences, Chunyang Chen TU Munich, Mengzhuo Chen Institute of Software, Chinese Academy of Sciences, Boyu Wu Institute of Software at Chinese Academy of Sciences, Yuekai Huang Institute of Software, Chinese Academy of Sciences, Qing Wang Institute of Software at Chinese Academy of Sciences DOI | ||
14:15 15mTalk | AgentExecutor: Partial Code Execution via Agentic Context Generation Research Papers Junkai Chen Singapore Management University, Chengran Yang Singapore Management University, Singapore, Xing Hu Zhejiang University, Zhenhao Li York University, Xin Xia Zhejiang University, David Lo Singapore Management University | ||
14:30 15mTalk | Evaluating the Maintainability of ViewModel Tests using Multi-modal DSLs: An Industrial Mixed-Methods Study Research Papers Mario Fuksa University of Stuttgart, Sandro Speth Technical University of Munich, Steffen Becker University of Stuttgart Pre-print | ||
14:45 15mTalk | WebCQ: Cooperative Multi-agent Deep Reinforcement Learning for Scalable Web GUI Testing Research Papers Yujia Fan Southern University of Science and Technology, Sinan Wang Southern University of Science and Technology, Zebang Fei Southern University of Science and Technology, Yao Qin Southern University of Science and Technology, Huaxuan Li Southern University of Science and Technology, Yepang Liu Southern University of Science and Technology | ||
15:00 15mTalk | Using Large Language Models to Test Voice User Interfaces Journal First Emanuela Guglielmi University of Molise, Angelica Spina University of Molise, Gabriele Bavota Software Institute @ Università della Svizzera Italiana, Rocco Oliveto University of Molise, Simone Scalabrino University of Molise DOI | ||
15:15 15mTalk | VUI Testing of VPA Apps via Behavior Model-Enhanced LLM Agents Journal First Suwan Li Nanjing University, Lei Bu Nanjing University, Shangqing Liu Nanjing University, Guangdong Bai City University of Hong Kong, Fuman Xie University of Queensland, Kai Chen Institute of Information Engineering at Chinese Academy of Sciences; University of Chinese Academy of Sciences, Chang Yue Institute of Information Engineering, Chinese Academy of Sciences, China; School of Cyber Security, University of Chinese Academy of Sciences, China DOI | ||
15:30 15mTalk | Doc2Test: An Industrial Multi-agent Framework for Document-Driven End-to-End Selenium Test Generation Industry Showcase Andrea Lops Polytechnic University of Bari, Italy, Antonio Ferrara Politecnico di Bari, Fedelucio Narducci Polytechnic University of Bari, Azzurra Ragone University of Bari, Michelantonio Trizio Wideverse | ||
15:45 15mIndustry talk | Model-Guided Property-Based Testing of WeChat Pay at Billion-User Scale Industry Showcase Xiangchen Shen East China Normal University, Yiting Wang East China Normal University, Ting Su East China Normal University, Jingjing Liang East China Normal University, Jingling Sun University of Electronic Science and Technology of China, Xixian Liang East China Normal University, Haiying Sun East China Normal University, Xinjie Xu Tencent, Haochuan Lu Tencent, Yuetang Deng Tencent, Pengcheng Wang Tencent, China, Geguang Pu East China Normal University, China, Zhendong Su ETH Zurich, John Hughes Chalmers University of Technology, Sweden | ||
14:00 - 16:00 | |||
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 , Yiran Nie Hangzhou Institute for Advanced Study at University of Chinese Academy of Sciences, Xianglong Qi Beijing University of Technology, Jiwei Yan Institute of Software at Chinese Academy of Sciences, Jun Yan Institute of Software, Chinese Academy of Sciences | ||
14:15 15mTalk | Perception, Reasoning, and Action: A ReAct-Based Vulnerability Detection Framework with Repository-Level Reasoning Research Papers Xin-Cheng Wen Harbin Institute of Technology, Hanyue Luo Harbin Institute of Technology, Cuiyun Gao Harbin Institute of Technology, Shenzhen, Hao Zhu Peking University, Yang Xiao Institute of Information Engineering at Chinese Academy of Sciences; University of Chinese Academy of Sciences, Ge Li Peking University | ||
14:30 15mTalk | One Is Not Enough: The Untold Story of Multiple Security Patches for One Vulnerability Research Papers Fangyuan Zhang Nankai 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 Southeast University, Songtao Yang Zhongguancun Laboratory, Bingyi He Huazhong University of Science and Technology, Zeyu Gao Tsinghua University, Chao Zhang Tsinghua University, Shuai Wang Hong Kong University of Science and Technology | ||
15:00 15mTalk | Harnessing Uncertainty in Code Language Models: Lessons from Vulnerability Detection Research Papers Haodong Li Huazhong University of Science and Technology, Xiao Cheng Macquarie University, Xudong Wang Zhongguancun Institute of Artificial Intelligence, Zhihao Guo UTS, Haoyu Wang Huazhong University of Science and Technology | ||
15:15 15mTalk | UntrustVul: Automated Untrustworthy Alert Identification in Vulnerability Detection Models Journal First Lam Nguyen Tung Monash University, Australia, Xiaoning Du Monash University, Neelofar Neelofar Royal Melbourne Institure of Techonlogy (RMIT), Aldeida Aleti Monash University 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, 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, Weiyi Shang University of Waterloo, Manfred Hauswirth Fraunhofer FOKUS, Sonja Schimmler Fraunhofer FOKUS & TU Berlin | ||
14:15 15mTalk | Multi-level Code Optimization via Mixture of Prompts Research Papers Yun Peng Fudan University, Jun Wan Zhejiang University, Jiakun Liu Harbin Institute of Technology, Shuzheng Gao Chinese University of Hong Kong, David Lo Singapore Management University, Xiaoxue Ren Zhejiang University | ||
14:30 15mResearch paper | Less Is More: Tuning Configurable Systems with Imperfect Fidelity Research Papers Yulong Ye University of Birmingham, Miqing Li University of Birmingham, Tao Chen University of Birmingham DOI Pre-print | ||
14:45 15mTalk | Characterizing and Mitigating Productivity Loss in Large-Scale Model Training: An Empirical Study Industry Showcase Dinghao Xue Beihang University, Yanxiang Chen Beihang University, Junhong Liu Beihang University, Yepeng Zhang Kuaishou, Guangsen Ni Kuaishou, Menghao Zhang Beihang University, Tianyu Wo , Zheng Zheng Beihang University, Chunming Hu Beihang University, Jin Ouyang Kuaishou Inc., Renyu Yang Beihang University | ||
15:00 15mTalk | Understanding the Performance-Effectiveness Trade-Offs of AddressSanitizer in Real-World Programs: An Empirical Study Industry Showcase Jiaxin Xi Xidian University, Cheng Wen Xidian University, Zhiwei Lin Xidian University, Yuandao Cai Hong Kong University of Science and Technology, Jie Su Xidian University, Bin Yu Xidian University, Zhuohua Li The Chinese University of Hong Kong, Shengchao Qin Xidian University | ||
15:15 15mTalk | Li-WaC: A Lightweight WebAssembly Container for Independently Upgradable IoT Applications in Xiaomi Vela Industry Showcase Bin Liao , Canfeng Zheng Sun Yat-sen University, Shiwen Shan Sun Yat-sen University, Qi Huang Beijing Xiaomi Mobile Software, Junjie Dong Beijing Xiaomi Mobile Software, Xiang Xiao Beijing Xiaomi Mobile Software, Yaoyao Gu Beijing Xiaomi Mobile Software, Yuxin Su Sun Yat-sen University | ||
15:30 15mTalk | DBRepro: Automated Database Synthesis via a Hybrid Constraint-Solving Approach for Reproducing Slow Queries Industry Showcase zhaoyang zhang Renmin University of China, Shuang Liu Renmin University of China, Dengfeng Xu China Electronics Technology Kingbase (Beijing) Technologies, Wei Lu Renmin University of China, China, Jianquan Leng China Electronics Technology Kingbase (Beijing) Technologies, Sheng Du China Electronics Technology Kingbase (Beijing) Technologies, Xiaoyong Du Renmin University of China | ||
15:45 15mTalk | WiseSword: An Automated Computation Graph Partitioning Tool for Industrial DLRM Deployment on Ascend NPUs Industry Showcase Ke Cheng Nanjing University, Yuhan Zhang Huawei Technologies, Bo Pan Huawei Technologies Co., Ltd., Jiawei Zhu Huawei Technologies, Qidong Zhang Huawei Technologies, Yuting Yan Nanjing University, Zhengyong Zhang Huawei Technologies, Yibo Jin Huawei Technologies, Sheng Zhang Nanjing University | ||
14:00 - 16:00 | Testing and Analysis: Automated Program Repair and Synthesis 1Research Papers / NIER / Industry Showcase / Tools and Datasets at Forum 8 Chair(s): Lars Grunske Humboldt-Universität zu Berlin | ||
14:00 15mTalk | RegoMender: A Multi-agent Framework for Automated Rego Policy Repair Research Papers Ruijie Zhang Institute of Information Engineering at Chinese Academy of Sciences, Huaxiao Yin Institute of Information Engineering at Chinese Academy of Sciences; University of Chinese Academy of Sciences, Li Hu University of Science and Technology of China, Fanqi Kong Peking University, Haozhe Liang University of Chinese Academy of Sciences, Shaoyin Cheng University of Science and Technology of China, Kun Zhang Institute of Information Engineering at Chinese Academy of Sciences, Bibo Tu Institute of Information Engineering, Chinese Academy of Sciences and School of Cyber Security, University of Chinese Academy of Sciences | ||
14:15 15mTalk | DesignFix: Context-Augmented Repair of Design Rule Violations Research Papers | ||
14:30 15mTalk | ArkEval: Benchmarking and Evaluating Automated Code Repair for ArkTS Research Papers bang xie Shanghai Jiao Tong University, Senjian Zhang Shanghai Jiao Tong University, Zhiyuan Peng Shanghai Jiao Tong University, Wei Chen Shanghai Jiao Tong University, Xin Yin Zhejiang University, Chenhao Ying Shanghai Jiao Tong University, Yuan Luo Shanghai Jiao Tong University | ||
14:45 15mTalk | LaMAR: Latent Multi-agent Collaboration via KV-Cache Communication for Automated Program Repair Research Papers Rui Jiao Xidian University, Yue Zhang Auburn University, Zhexuan Feng Xidian University, Jinku Li Xidian University | ||
15:00 15mTalk | From Security Findings to Verified Fixes: Automated Repair of Infrastructure-as-Code Misconfigurations Industry Showcase Ying Li University of California, Los Angeles, Tamjid Rahat Amazon Web Services, Yingjun Lyu Amazon Web Services, Omer Tripp Amazon Web Services, George Argyros Amazon Web Services | ||
15:15 15mTalk | Catching Developers in the Flow: Low-Latency Agentic Program Repair at Google Scale Industry Showcase Celal Ziftci Google, Spencer Greene Google, Ray Liu Google, Livio Dalloro Google, Lorenzo Dini Google | ||
15:30 10mTalk | TraceGate: A Framework for Policy-Controlled Failure Evidence in LLM-Assisted Program Repair Tools and Datasets Nicolas Schuler Karlsruhe Institute of Technology (KIT), Vincenzo Scotti Karlsruhe Institute of Technology, Raffaela Mirandola Karlsruhe Institute of Technology (KIT) DOI Media Attached | ||
15:40 10mTalk | Is Three the Magic Number? An Empirical Evaluation of LLM-Based Repair Loops NIER Tobias Kiecker Humboldt-Universität zu Berlin, Eik Reichmann Humboldt-Universität zu Berlin, Hosung Kang Korea University, Gabin An Korea University, Lars Grunske Humboldt-Universität zu Berlin Pre-print | ||
15:50 10mTalk | ReproBreak: A Dataset of Reproducible Web Locator Breaks Tools and Datasets Thiago Santos de Moura Ruhr University Bochum, Leon Adamietz Ruhr University Bochum, Samra Mehboob Ruhr University Bochum, Yannic Noller Ruhr University Bochum DOI Pre-print Media Attached | ||
16:30 - 17:30 | AI and Software Engineering: SE4AI 1Research Papers / Journal First at Forum 1 Chair(s): Andrea Stocco Technical University of Munich, fortiss | ||
16:30 15mTalk | Tensor-Based Batch Fuzzing with Adaptive Perturbation Scaling for Deep Neural Networks Research Papers | ||
16:45 15mTalk | AgentChaos: Chaos Engineering for Agent Systems via Programmatic Fault Injection Research Papers Gou Tan School of Systems Science and Engineering, Sun Yat-sen University, Guangzhou, China, Zhensu Sun Singapore Management University, Jieke Shi Singapore Management University, Ting Zhang Monash University, Zilong He Sun Yat-sen University, Qingfu Wu Sun Yat-sen University, Shuai Liang Sun Yat-sen University; China Unicom Software Research Institute: Beijing, CN, Weifeng Sun Singapore Management University, Singapore, Junda He Singapore Management University, Pengfei Chen Sun Yat-sen University, Chuanfu Zhang Sun Yat-Sen University, Lwin Khin Shar Singapore Management University, David Lo Singapore Management University | ||
17:00 15mTalk | How Composite Metamorphic Relations Enhance Test Effectiveness of DNN Testing: An Empirical Study Journal First Huayao Wu Nanjing University, Peng Wang Nanjing University, Shengyou Hu Nanjing University, Xintao Niu Nanjing University, Changhai Nie Nanjing University, Tsong Yueh Chen Swinburne University of Technology DOI | ||
17:15 15mTalk | When Ambiguity Meets Atypicality: Dual-Perspective Test Input Prioritization for DNNs Research Papers Haoran Li , Shihai Wang Beihang University, Bin Liu Beihang University, Jialuo Chen Zhejiang University, Wenjing Zhu Beihang University, Yu Liu Clarkson University, Tengfei Shi Beihang University, Shudi Guo Beihang University | ||
16:30 - 17:30 | Requirements and Design: Software Architecture and DesignIndustry Showcase / 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 The Chinese University of Hong Kong, Shiwen Shan Sun Yat-sen University, chenxingyan Sun Yat-sen University, Hui Zeng Sun Yat-sen University, Yuxin Su Sun Yat-sen University, Yanlin Wang Sun Yat-sen University, Michael Lyu CUHK, Hong Kong | ||
16:45 15mTalk | MicroWeaver: A Constraint-Guided Structure–Semantic Aware Approach to Automated Microservice Decomposition Industry Showcase Huitian Xue Beihang University, Kairui Zhang Beihang University, Chenxi Zhang Xidian University, Zheng Li Queen's University Belfast, UK, Chuan Luo Beihang University, Yilong Yang Beihang University, Tianyu Wo , Chunming Hu Beihang University, Yanliang Li Independent Researcher, Zhou Yang University of Alberta; CIFAR AI Chair; Alberta Machine Intelligence Institute , Penghao Zhang Kuaishou Inc., Tiezi Zhang Kuaishou, Renyu Yang Beihang University | ||
17:00 10mTalk | The ARDoCo Tool Landscape: REST API, TraceView, and TraceViz for Architecture Traceability Tools and Datasets Jan Keim Karlsruhe Institute of Technology (KIT), Dominik Fuchß Karlsruhe Institute of Technology (KIT), Sophie Corallo Karlsruhe Institute of Technology, Tobias Hey Karlsruhe Institute of Technology (KIT), Julian Winter KIT, Kevin Feichtinger Karlsruhe Institute of Technology (KIT) DOI Pre-print | ||
17:10 10mTalk | DAL: Decoupled Aspect-Based Layering of I/O Processing for Automotive Software Industry Showcase Muhammet USLU CARIAD SE - Volkswagen Group, Atif Imran Penkar TU Dortmund, Robert Rasche Tensor embedded GmbH, Olaf Spinczyk Universität Osnabrück, Marc Fessler Cariad; Volkswagen Group, Michael Unterreiner Porsche AG DOI | ||
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, UK | ||
16:30 15mTalk | Assessing the Cross-Version Applicability of Java Library Vulnerability Exploits Research Papers Zirui Chen Zhejiang University, Qi Zhan Zhejiang University, Jiayuan Zhou Huawei, Xing Hu Zhejiang University, Xin Xia Zhejiang University, Xiaohu Yang Zhejiang University | ||
16:45 15mTalk | RAVEN: Measuring Detection Instability in Anti-virus Engines under Semantics-Preserving Perturbations Research Papers Younghoon Ban Soongsil University, Beomjin Jin Ajou University, Doowon Kim University of Tennessee, Knoxville, Hyoungshick Kim Sungkyunkwan University, Haehyun Cho Soongsil University | ||
17:00 10mTalk | JavaVulBench: A Java Vulnerability Benchmark with Realistic Splits, a Unified Multi-backend Harness, and a Leakage-Aware Evaluation Mode Tools and Datasets Norbert Szolnoki Sándor University of Szeged, Gabor Antal Department of Software Engineering, University of Szeged DOI 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 UCLA | ||
16:30 15mTalk | TDiFf: Detecting Bugs in DataFrame Systems via Transferred DBMS Test Cases Research Papers Jiaxin Hu Xiamen University, Shaowei Chen Fujian Agriculture and Forestry University, Rongxin Wu Xiamen University | ||
16:45 15mTalk | Fuzz4DB: A Practice of LLM-Agent-Guided Fuzzing for Database Feature-Level Delta Testing Industry Showcase Chunling Qin Renmin University of China; Tencent, Yong Hu Tencent, Xiao Zhang Renmin University of China, Jinchuan Chen Renmin University of China, Fangtao Gu Renmin University of China, Baoxun Wang Tencent, Yuxing Chen Tencent, Anqun Pan Tencent, Lixiong Zheng Tencent | ||
17:00 15mTalk | KQFuzz: Knowledge-Guided Fuzzing for Quantum Libraries via Large Language Models Research Papers Fuyuan Xia Shanghai Jiao Tong University, Qixin Zhang Nanyang Technological University, Chenhao Ying Shanghai Jiao Tong University, Haojin Zhu Shanghai Jiao Tong University, Shuai Wang Hong Kong University of Science and Technology, Yuan Luo Shanghai Jiao Tong University, Pingchuan Ma Zhejiang University of Technology, Yuxuan Du Nanyang Technological University | ||
17:15 15mTalk | Finding Typing-Related Bugs in JVM Implementations Research Papers Yanzhou Lu Tianjin University, Junjie Chen Tianjin University, Yingquan Zhao Tianjin University, Tianchang Gao Tianjin University, Zan Wang Tianjin University | ||
16:30 - 17:30 | |||
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 Shanghai Institute for Advanced Study - Zhejiang University, Jiayi Chen Zhejiang University, Zhiwei Ling Zhejiang University, Shuiguang Deng Zhejiang University | ||
16:45 15mTalk | Source-Free Detection and Impact Analysis of Compiler Optimization Problems in Mobile Applications Research Papers | ||
17:00 15mTalk | CAPMix: Robust KPI Anomaly Detection for AIOps in Noisy and Dynamic Environments Industry Showcase Xudong Mou Beihang University, Rui Wang Beijing Normal University, Tiejun Wang Beihang University, Zexin Wu Beihang University, Fangda Guo Chinese Academy of Sciences, Jie Sun Zhejiang University, Shiru Chen Inspur, Penghao Zhang Kuaishou Inc., Tiezi Zhang Kuaishou, Tianyu Wo , Hao Peng Zhejiang Normal University, Chunming Hu Beihang University, Xudong Liu Beihang University, Renyu Yang Beihang University | ||
17:15 15mTalk | OpsLens: Runbook-Free Root Cause Analysis via Multi-agent Collaboration and Tool Management Industry Showcase Haiyu Huang CUHK, Jiewei Lyu Sun Yat-sen University, Gou Tan School of Systems Science and Engineering, Sun Yat-sen University, Guangzhou, China, Pengfei Chen Sun Yat-sen University, Zhihan Jiang The Chinese University of Hong Kong, Guangba Yu The Chinese University of Hong Kong, Penghui Mi Huawei, Fuqiang Wang Huawei, Jian Han Huawei, Chongkang Tan Individual Researcher, Michael Lyu CUHK, Hong Kong | ||
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 - 17:30 | |||
09:00 - 10:00 | |||
09:00 60mKeynote | Beyond the Hype: What AI Really Did to Software Engineering Keynotes Joost Noppen Applied Research, British Telecommunications plc. | ||
10:30 - 12:30 | AI and Software Engineering: AI4SE 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 The Chinese University of Hong Kong, Shenzhen, Pinjia He Chinese University of Hong Kong, Shenzhen Pre-print | ||
10:45 15mTalk | REAP: Automatic Curation of Coding Agent Benchmarks from Interactive Production Usage Industry Showcase Smriti Jha Facebook, US, Matteo Paltenghi University of Stuttgart, Chandra Sekhar Maddila Meta Platforms, Inc., Vijayaraghavan Murali Meta Platforms Inc., Shubham Ugare Meta, Satish Chandra Meta Platforms, Inc. Pre-print | ||
11:00 10mTalk | SkillMOO: Multi-objective Optimization of Agent Skills for Software Engineering NIER Jingzhi Gong King's College London, Ruizhen Gu Queen's University Belfast, Zhiwei Fei Nanjing University, Yazhuo Cao King's College London, Lukas Twist King's College London, Alina Geiger , Shuo Han , Dominik Sobania 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 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 Kunlunxin & UNSW Sydney, Cuiyun Gao Harbin Institute of Technology, Shenzhen | ||
11:50 15mTalk | LLM Agents Can See Code Repositories Research Papers Dongjian Ma Shanghai Jiao Tong University, Silin Chen Shanghai Jiao Tong University, yufeiyang Xi'an Jiaotong University, Yuling Shi Shanghai Jiao Tong University, Yanfu Yan Zhejiang University, Xiaodong Gu Shanghai Jiao Tong University | ||
12:05 15mTalk | ReCodeAgent: A Multi-agent Workflow for Language-Agnostic Translation and Validation of Large-Scale Repositories Research Papers Ali Reza Ibrahimzada University of Illinois Urbana-Champaign, Brandon Paulsen Amazon, Daniel Kroening Amazon, Reyhaneh Jabbarvand University of Illinois at Urbana-Champaign DOI Pre-print Media Attached | ||
12:20 10mTalk | K-COBAgent: A Knowledge-Driven Multi-agent Framework for COBOL Modernization NIER Kavyasri Gajula Indian Institute of Technology Tirupati, Phanindra Kodela Indian Institute of Technology Tirupati, Sridhar Chimalakonda Indian Institute of Technology Tirupati | ||
10:30 - 12:30 | Testing and Analysis: Regression and Model-Based Testing 3Research Papers / Tools and Datasets / Journal First / Industry Showcase / NIER at Forum 16 Chair(s): Mingfei Cheng Singapore Management University | ||
10:30 15mTalk | Scenario-Guided LLM-based Mobile App GUI Testing Journal First Shengcheng Yu Technical University of Munich, Yuchen Ling Nanjing University, Chunrong Fang Nanjing University, Quan Zhou Nanjing University, Yi Zhao State Key Laboratory for Novel Software Technology, Nanjing University, Chunyang Chen TU Munich, Shaomin Zhu TongJi University, Zhenyu Chen Nanjing University DOI | ||
10:45 15mTalk | Repository-Aware Metamorphic Relation Generation for Augmented Reality Applications using Large Language Models Research Papers | ||
11:00 15mTalk | PropGen: Automated Property Generation for Property-Based Testing of Mobile Apps Research Papers Yiheng Xiong Singapore Management University, Shiwen Song Singapore Management University, Bo Ma East China Normal University, Ting Su East China Normal University, Xiaofei Xie Singapore Management University | ||
11:15 15mTalk | DragonCrawl: A Generative, Intent-Based Framework for Scalable Mobile End-to-End Testing Industry Showcase Sowjanya Puligadda Uber Technologies, Inc., Mengdie Zhang Uber Technologies, Inc., Ali Zamani Uber Technologies, Inc., Dhruva Dixith Kurra Uber Technologies, Eric Chen Uber Technologies, Juan Marcano Uber Technologies Pre-print | ||
11:30 15mTalk | Testing IFrame Rendering in Web Browsers Research Papers | ||
11:45 15mTalk | LDMDroid: Leveraging LLMs for Detecting Data Manipulation Errors in Android Apps Journal First DOI | ||
12:00 10mTalk | UIXPOSE: Screen-Conditioned Runtime Discrepancy Analysis for Security-Aware Android GUI Exploration NIER Amirmohammad Pasdar University of Melbourne, Thuan Pham University of Melbourne, Toby Murray University of Melbourne | ||
12:10 10mTalk | E-CoDrive: A Co-Simulation Framework for Testing Energy-Critical Driving Scenarios Tools and Datasets Manfredi Napolitano University of Naples Federico II, Alessandra Somma University of Naples Federico II, Alessio Gambi Austrian Institute of Technology (AIT), Andrea Stocco Technical University of Munich, fortiss, Nicola Mazzocca University of Naples Federico II DOI Pre-print | ||
12:20 10mTalk | Cam2Sim: Neural Scenario Reconstruction for Closed-Loop Autonomous Driving Simulation Tools and Datasets Davide Jannussi Politecnico di Torino, Stefano Carlo Lambertenghi Technische Universität München, fortiss GmbH, Constantin Carste TU Munich, Andrea Stocco Technical University of Munich, fortiss DOI Pre-print | ||
10:30 - 12:30 | 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 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 University of Illinois at Urbana-Champaign, Weifeng Sun Singapore Management University, Singapore, Guoqing Xie Nanjing University, Chenxing Zhong Nanjing University, Quanjun Zhang Nanjing University of Science and Technology | ||
11:15 15mTalk | From Guessing to Seeing: Enhancing LLM-Based Program Repair via Trace-Guided Multi-strategy Debate Research Papers Jiaqing Wu Northwestern Polytechnical University, Tong Wu Northwestern Polytechnical University, Manqing Zhang Northwestern Polytechnical University, Yunwei Dong Northwestern Polytechnical University, School of Computer Science and Engineering, Bo Shen Northwestern Polytechnical University | ||
11:30 15mTalk | Probe to Generate: Program Variant-Guided Test Augmentation for Repository-Level Repair Benchmarks Research Papers Chenglin Li Concordia University, Yisen Xu Concordia University, Zehao Wang Concordia University, Shin Hwei Tan Concordia University, Tse-Hsun (Peter) Chen Concordia University | ||
11:45 15mTalk | A11YRepair: Bridging Web Accessibility Barriers via Knowledge-Enhanced Divide-and-Conquer Repair Research Papers Kai Huang TU Munich, Ling Zhu TU Munich, Jian Zhang Nanyang Technological University, Xiaofei Xie Singapore Management University, Chunyang Chen TU Munich 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, Singapore, Quanjun Zhang Nanjing University of Science and Technology | ||
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 Pre-print | ||
10:45 15mTalk | When Compression Becomes an Attack Surface: Black-Box Attacks on Prompt-Compressed LLM Agents Research Papers Zesen Liu Hong Kong University of Science and Technology, Zhixiang Zhang Fudan University, Yuchong Xie Fudan University; Hong Kong University of Science and Technology, Dongdong She Hong Kong University of Science and Technology | ||
11:00 15mTalk | Self-Discovering Security Oracles: Meta-learning Vulnerability Detection Strategies through Adversarial Self-Play Research Papers DOI Media Attached File Attached | ||
11:15 15mTalk | To Think or Not to Think: Evaluating LLM Reasoning and Agents in Vulnerability Detection Research Papers Hua Beng Tan Singapore Management University, Ratnadira Widyasari Singapore Management University, Singapore, Merve Astekin SINTEF, Arda Goknil SINTEF Digital, Hasan Sozer Ozyegin University, Yan Naing Tun Singapore Management University, Erik Johannes Husom SINTEF Digital, Lwin Khin Shar Singapore Management University, Lingxiao Jiang Singapore Management University | ||
11:30 15mTalk | Decompiling the Web: Automated Semantic Recovery of Post-compilation Abstraction Leaks Research Papers | ||
11:45 15mTalk | Context-Enhanced Vulnerability Detection Based on Large Language Models Journal First Yixin Yang , Bowen Xu Beihang University, Xiang Gao Beihang University, Hailong Sun Beihang University DOI | ||
12:00 15mTalk | CLEAR: Causal Context-Based Agentic Reasoning for Vulnerability Detection Research Papers Sungju Yun Hanyang University, Sijune hwang Hanyang University, Yeonjoon Lee Hanyang University, Kyungtae Kang Hanyang University, Sungbin Park Hanyang University 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 Amazon Web Services, Min-Chien Hsu Carnegie Mellon University, Nuno Sabino Carnegie Mellon University, Limin Jia Carnegie Mellon University, Ruben Martins Carnegie Mellon University, Darion Cassel Amazon Web Services, Kevin Cheang Amazon Web Services Pre-print | ||
10:30 - 12:30 | 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 | ||
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 | ||
11:00 15mTalk | On the Effects of Customized Configurations of Static Code Analysis Tools: A Prospective Cohort Study of SonarQube Cloud Research Papers Sabato Nocera University of Salerno, Sira Vegas Universidad Politecnica de Madrid, Giuseppe Scanniello University of Salerno Pre-print | ||
11:15 15mTalk | A Unified Model for Cross-Domain Clone Detection via Model Merging Research Papers Palash Ranjan Roy University of Saskatchewan, Banani Roy University of Saskatchewan, Kevin Schneider University of Saskatchewan, Chanchal K. Roy University of Saskatchewan Pre-print | ||
11:30 15mTalk | LLM-Based Agents for Identifying Bug-Introducing Commits Research Papers Niklas Risse Max-Planck-Institute for Security and Privacy, Marcel Böhme CISPA Helmholtz Center for Information Security 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 Shanghai Institute for Advanced Study - Zhejiang University, Xing Hu Zhejiang University, Xin Xia Zhejiang University DOI | ||
12:15 15mTalk | Smelly-shot is All You Need: An Empirical Study to Compare In-Context Learning versus Fine-Tuning for Code Smell Detection Journal First Nawaf Alomari King Fahd University of Petroleum and Minerals, Moussa Redah King Fahd University of Petroleum and Minerals, Ahmad Ashraf King Fahd University of Petroleum and Minerals, Mohammad Alshayeb King Fahd University of Petroleum & Minerals DOI | ||
10:30 - 12:30 | Human and Social Aspects: Software Engineering Processes 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; Shanghai Engineering Research Center of Smart Energy, Guisheng Fan East China University of Science and Technology, Huan Wang Orient Securities Company Limited, Kaiwen Zhi East China University of Science and Technology | ||
10:45 15mTalk | Fragmented Markers, Mixed Results: A Systematic Review of AI Coding Assistants and Developer Productivity Research Papers Annemarie Wittig Leipzig University, Alina Mailach Leipzig University, Norbert Siegmund Leipzig University 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 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 Pre-print | ||
12:15 15mTalk | Programming by Chat: A Large-Scale Behavioral Analysis of 11,579 Real-World AI-Assisted IDE Sessions Research Papers Ningzhi Tang University of Notre Dame, Chaoran Chen University of Notre Dame, Zihan Fang Vanderbilt University, Gelei Xu University of Notre Dame, Maria Dhakal University of Notre Dame, Yiyu Shi University of Notre Dame, Collin McMillan University of Notre Dame, Yu Huang Vanderbilt University, Toby Jia-Jun Li University of Notre Dame Pre-print | ||
14:00 - 16:00 | AI and Software Engineering: SE4AI 2Journal First / Industry Showcase / Research Papers at Forum 1 Chair(s): Simos Gerasimou Cyprus University of Technology | ||
14:00 15mTalk | Benchmarking Contextual Understanding for In-Car Conversational Systems Journal First Philipp Habicht Humboldt Universität Berlin, Lev Sorokin BMW Group, Technical University of Munich, Abdullah Saydemir Technische Universität München, Ken Friedl BMW Group, Andrea Stocco Technical University of Munich, fortiss DOI Pre-print | ||
14:15 15mTalk | Understanding Bugs in Modern Agentic Frameworks: A Study of Symptoms, Root Causes, and Triggering Conditions Research Papers Pre-print | ||
14:30 15mTalk | DiffGAN: A Test Generation Approach for Differential Testing of Deep Neural Networks for Image Analysis Journal First Zohreh Aghababaeyan University of Ottawa, Canada, Manel Abdellatif École de Technologie Supérieure, Lionel Briand University of Ottawa, Canada; Lero centre, University of Limerick, Ireland, Ramesh S DOI | ||
14:45 15mTalk | Search-Based Testing of Vision Language Models for In-Car Scene Understanding Industry Showcase Lev Sorokin BMW Group, Technical University of Munich, Chen Yang TU Munich, Ken Friedl BMW Group, Andrea Stocco Technical University of Munich, fortiss Pre-print | ||
15:00 15mTalk | When Knowledge Changes: Metamorphic Testing of RAG Systems with Mutations Research Papers Jinhan Kim Università della Svizzera italiana, Samuele Pasini Università della Svizzera italiana, Paolo Tonella USI Lugano Pre-print | ||
15:15 15mTalk | Automated Assertion Generation and Regression Testing for Machine Learning Notebooks Research Papers Yingao (Elaine) Yao Cornell University, Vedant Nimje Veermata Jijabai Technological Institute, Varun Viswanath Dwarkadas J Sanghvi College of Engineering, Saikat Dutta Cornell University DOI Pre-print | ||
15:30 15mTalk | False-Positive Bug Reports in Deep Learning Compilers: Stages, Root Causes, and Mitigation Journal First Lili Huang College of Intelligence and Computing, Tianjin University, Qingchao Shen Tianjin University, Dong Wang Tianjin University, Yunping Wu Tianjin University, Meng Wang University of Bristol, Junjie Chen Tianjin University DOI | ||
15:45 15mTalk | CIPIHunter: Detecting Configuration-Induced Prediction Instability in Deep Learning Frameworks Research Papers Yanzhou Mu UNIST (Ulsan National Institute of Science and Technology), Korea, Shuo Meng Nantong University, Mijung Kim UNIST, Xiang Chen Nantong University, Chunrong Fang Nanjing University, Zhenyu Chen Nanjing University, Juan Zhai University of Massachusetts at Amherst | ||
14:00 - 16:00 | Security and Other Non-Functional Properties: Reliability and Availability 3Research Papers / 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 Tencent, Shu Liang Tencent, Pengfei Chen Sun Yat-sen University, Long Pan Tencent | ||
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 Fudan University, Chenxi Zhang Xidian University, Senyu Xie Fudan University, Shihong Chen McDonald's, Lei Wu McDonald's China, Xin Peng Fudan University | ||
14:45 15mTalk | Bifrost: Empowering Pretrained Language Model with Fallibility Representation for Log-Based Fault Diagnosis Research Papers Minghua He Peking University, Tong Jia Institute for Artificial Intelligence, Peking University, Beijing, China, Lingzhe Zhang Peking University, China, Chiming Duan Peking University, Xinlong Zhao Peking University, Leyi Pan Tsinghua University, Cheng Wang Alibaba Group, Kangjin Wang Alibaba Group, Yinghao Yu Alibaba Group, Liping Zhang Alibaba Group, Yifan Wu Peking University, Ying Li School of Software and Microelectronics, Peking University, Beijing, China | ||
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, China | ||
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 Institute for Artificial Intelligence, Peking University, Beijing, China, Xiang Zhang Bytedance, Ying Li School of Software and Microelectronics, Peking University, Beijing, China | ||
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; University of Chinese Academy of Sciences, Juncheng Hu Jilin University, Haotian Si Independent Researcher, Cenjie Hu Shenyang Institute of Automation at Chinese Academy of Sciences; University of Chinese Academy of Sciences, Quan Zhou Computer Network Information Center at Chinese Academy of Sciences, Yongchang Hu Huawei Technologies, Lei Han Huawei Technologies, Dan Pei Tsinghua University, China, Changhua Pei Computer Network Information Center at Chinese Academy of Sciences, Gaogang Xie Computer Network Information Center at Chinese Academy of Sciences | ||
15: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, China | ||
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, Hoang Quoc Bao Hua Ho Chi Minh City University of Technology, Xuan-Bach Le Ho Chi Minh City University of Technology | ||
14:15 15mTalk | Breaking Customized LLMs for Coding: Automated Red Teaming for Instruction Backdoor Attacks Research Papers Yuchen Chen Nanjing University, Wei Cheng Nanjing University of Aeronautics and Astronautics, Yuan Xiao Nanjing University, Weisong Sun Nanyang Technological University, Chunrong Fang Nanjing University, Yang Liu Nanyang Technological University, Zhenyu Chen Nanjing University, Baowen Xu Nanjing University | ||
14:30 15mTalk | IAM Policy Autopilot: Static Analysis for Policy Generation from Application Code Industry Showcase Antonio Filieri AWS and Imperial College London, Luke Kennedy Amazon Web Services, Kevin Luo Amazon Web Services, Matt Luttrell Amazon Web Services, Adrian Palacios Amazon Web Services, Akash Panda Amazon Web Services, Neha Rungta Amazon Web Services, Matthias Schlaipfer Amazon Web Services, Karan Jit Singh Amazon Web Services, Anvesh Tanuku Amazon Web Services, Nick Winans Amazon Web Services, Diana Yin Amazon Web Services, Weiben Zhang Amazon Web Services | ||
14:45 15mTalk | A Comprehensive Evaluation of Code Language Models for Security Patch Detection Research Papers Nils Loose University of Luebeck, Joseph Bienhüls University of Lübeck, Kristoffer Hempel University of Lübeck, Felix Mächtle University of Luebeck, Thomas Eisenbarth University of Lübeck | ||
15:00 15mTalk | LLMs as Hackers: Autonomous Linux Privilege Escalation Attacks Journal First DOI | ||
15:15 15mTalk | “Impossible to Hide Secret ...”: Uncovering Security and Privacy Issues in LLM-Native IDEs Research Papers Mostafijur Rahman Akhond York University, Md Afif Al Mamun University of Calgary, Gias Uddin York University, Canada, Song Wang York University | ||
15:30 15mTalk | ReSEDA: Automatic and Precise Program-Level ReDoS Triage via Interprocedural Taint Analysis and Agentic Exploit Generation Research Papers Rongchen Li Institute of Software at Chinese Academy of Sciences; University of Chinese Academy of Sciences, Weihao Su ISCAS, Chengyao Peng Institute of Software at Chinese Academy of Sciences; University of Chinese Academy of Sciences, hong huang Institute of Software at Chinese Academy of Sciences; University of Chinese Academy of Sciences, Haiming Chen Institute of Software, Chinese Academy of Sciences, Guiyi He Institute of Software at Chinese Academy of Sciences; University of Chinese Academy of Sciences | ||
15:45 15mTalk | Benchmarking Automated Security Patch Backporting: How Far Are We? Research Papers jincheng yang , Yulong Fu Xidian University, Chengwei Liu Nankai University, Lyuye Zhang Nankai University; Nanyang Technological University, Fangyuan Zhang Nankai University, Bingyang Ren Xidian University, Yang Liu Nanyang Technological University, Hui Li Beijing University of Posts and Telecommunications | ||
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, Chinese Academy of Sciences, Liqiang Ji Institute of Software at Chinese Academy of Sciences, Jiwei Yan Institute of Software at Chinese Academy of Sciences, Linjie Pan Huawei Technologies, Jinsong Ren Huawei Technologies, Jun Yan Institute of Software, Chinese Academy of Sciences, Jian Zhang Institute of Software at Chinese Academy of Sciences; University of Chinese Academy of Sciences | ||
14:15 15mTalk | Intent-Aware Defect Pattern Extraction from Singular Examples Journal First Jiachen Han Tianjin university, Fengjie Li Tianjin University, Jiajun Jiang Tianjin University, Ruihang Fan Tianjin University, Yingfei Xiong Peking University, Linjie Pan Huawei Technologies, Bilian Wang Huawei Cloud Computing Technologies Co. Ltd., Junjie Chen Tianjin University DOI | ||
14:30 15mTalk | Conflict Extraction in Probabilistic Datalog Analyses Research Papers | ||
14:45 15mTalk | Large Language Model Enabled Symbolic Execution for Automated Functional Analysis Research Papers Meixi Liu National University of Defense Technology, Changsha, China, Zhenbang Chen National University of Defense Technology, Xudong Wang College of Computer Science and Technology, NationalUniversity of Defense Technology, Ziran He National University of Defense Technology, Changsha, China, Jiachen Gu National University of Defense Technology, Minghui Chen National University of Defense Technology, Lei Wang National University of Defense Technology, Wei Dong National University of Defense Technology | ||
15:00 15mTalk | Orbis: Guiding Symbolic Execution Techniques to Maximize Option-Related Branch Coverage Research Papers Minjong Kim Sungkyunkwan University, Sungjae Hwang Sungkyunkwan University, Sooyoung Cha Sungkyunkwan University DOI Pre-print | ||
15:15 15mTalk | SIMD-Accelerated Sparse Bit-Vectors for Pointer Analysis Research Papers | ||
15:30 15mTalk | IncSFS: Incremental Full-Sparse Flow-Sensitive Pointer Analysis for C/C++ Research Papers Kunlin Liu School of Computer, National University of Defense Technology, China, Zhenbang Chen 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 | ||
15:45 15mTalk | PELSE: Asymmetric-Evidence-Guided MCU Peripheral Model Synthesis Research Papers Guohao Wu Beijing University of Posts and Telecommunications, Chunlin Wang Fudan University, Rui Yao Beijing Institute of Computer Technology and Application, Feng Hong Beijing Institute of Computer Technology and Applications, Hongliang Liang Beijing University of Posts and Telecommunications, Qiuping Yi Beijing University of Posts and Telecommunications | ||
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 | ||
14:15 15mTalk | Recovering Revisions of Pull Requests with Altered History Research Papers Gengyi Sun University of Waterloo, Georges Aaron RANDRIANAINA University of Waterloo, Tao Xiao Kyushu University, Yasutaka Kamei Kyushu University, Shane McIntosh University of Waterloo Pre-print | ||
14:30 15mTalk | An Exploratory Study on LLM-Generated Code and Comments in Code Repositories Journal First Yongyi Ji University of Leicester, Jiaji Wang University of Leicester, Yi Zhou University of Leicester, Fuxiang Chen University of Leicester, UK, Hongji Yang Leicester University, England DOI | ||
14:45 15mTalk | RealAIGC: Towards More Realistic Evaluation of AI-Generated Code Detection in Real-World Code Repository Research Papers Wentao Chen East China University of Science and Technology, Yufei Chen East China University of Science and Technology, Huiqun Yu East China University of Science and Technology; Shanghai Engineering Research Center of Smart Energy, Guisheng Fan East China University of Science and Technology, Kaiwen Zhi East China University of Science and Technology, Peite Guo East China University of Science and Technology, Jianyuan Yu East China University of Science and Technology | ||
15:00 15mTalk | Looks Good, but Does It Run? A Large-Scale Empirical Study of the Executability of Example Code in Model Cards Research Papers Simeng Yao National University of Defense Technology, Jialin Zhao National University of Defense Technology, Yang Zhang National University of Defense Technology, China, Tun Li National University of Defense Technology, Tao Wang National University of Defense Technology, Changrong Xie National University of Defense Technology, Zezhou Tang National University of Defense Technology, Yiwen Wu National University of Defense Technology | ||
15:15 15mTalk | Observing Fine-Grained Changes in Jupyter Notebooks During Development Time Journal First Sergey Titov JetBrains Research, Konstantin Grotov JetBrains Research, Constructor University, Cristina Sarasua Department of Informatics, University of Zurich, Zurich, Switzerland, Yaroslav Golubev JetBrains Research, Dhivyabharathi Ramasamy University of Zurich, Switzerland, Alberto Bacchelli IfI, University of Zurich, Abraham Bernstein Department of Informatics, University of Zurich, Zurich, Switzerland, Timofey Bryksin JetBrains Research DOI | ||
15:30 15mTalk | ATLAS: Agentic Taxonomy of LArge-Scale Software Ecosystems Research Papers Junyi Lu Institute of Software, Chinese Academy of Sciences, University of Chinese Academy of Sciences, China, Mengyao Lyu Nanyang Technological University, Wu Jiahui Nanyang Technological University, Singapore, Lei Yu Institute of Software, Chinese Academy of Sciences, University of Chinese Academy of Sciences, China, Chengwei Liu Nankai University, Fengjun Zhang Institute of Software, Chinese Academy of Sciences, China, Li Yang Institute of Software, Chinese Academy of Sciences, Chun Zuo Sinosoft, Yang Liu Nanyang Technological University | ||
15:45 15mTalk | SustainSR: Interpretable OSS Sustainability Prediction via Symbolic Regression Research Papers Yang Deng Wuhan university, Mustafa Misir Duke Kunshan University, Jinfu Chen Wuhan University, Jifeng Xuan Wuhan University | ||
14:00 - 16:00 | 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 The University of Texas at Austin, Talank Baral George Mason University, August Shi University of Texas at Austin, Wing Lam George Mason University Pre-print | ||
14:30 15mTalk | Synthesizing File-Level Data for Unit Test Generation with Chain-of-Thoughts via Self-Debugging Research Papers Ziyue Hua Peking University, Tianyu Chen Microsoft Research Asia, Yeyun Gong Microsoft Research, Shuai Lu Microsoft Research, Peng Cheng Microsoft Research, Qinglin Zhu King's College London, Yibo He Peking University, Yingjie Fu Peking University, Wenpin Jiao Peking University, Wei Yang Fudan University, Tao Xie Peking University | ||
14:45 15mTalk | Feature-Focused Test Generation Research Papers José Antonio Zamudio Amaya CISPA Helmholtz Center for Information Security, Gaetano Sapia Max Planck Institute for Security and Privacy (MPI-SP), Alexi Turcotte CISPA, David Benavides Universidad de Sevilla, Marcel Böhme CISPA Helmholtz Center for Information Security, Andreas Zeller CISPA Helmholtz Center for Information Security DOI Pre-print | ||
15:00 15mTalk | Hallucination to Consensus: Multi-Agent LLMs for End-to-End JUnit Test Generation Journal First Xu Qinghua Lero Research Centre, University of Limerick, Guancheng Wang Lero, University of Limerick, Ireland, Lionel Briand University of Ottawa, Canada; Lero centre, University of Limerick, Ireland, Kui Liu Huawei DOI | ||
15:15 10mTalk | FlakeFighters: A PyTest Plugin to Detect Flaky Test Failures Tools and Datasets Michael Foster The University of Sheffield, Owain Parry University of Edinburgh, Michael Hilton Carnegie Mellon University, Gregory Kapfhammer Allegheny College, Phil McMinn University of Sheffield DOI | ||
15:25 10mTalk | multiplex: A Modular LLM-Based Mutation Framework Tools and Datasets Megan Maton University of Sheffield, UK, Gregory Kapfhammer Allegheny College, Phil McMinn University of Sheffield DOI | ||
15:35 15mTalk | Don’t Retest Everything: Auditable Regression Scoping for Safety-Critical Systems Research Papers Francesco Basciani Gran Sasso Science Institute, Daniele Masti Gran Sasso Science Institute, Patrizio Pelliccione Gran Sasso Science Institute, L'Aquila, Italy, Alberto Petrucci Gran Sasso Science Institute (GSSI), Franco Raimondi Gran Sasso Science Institute (GSSI), Emerson Sales Gran Sasso Tech, Paolo Serri Thales Alenia Space Italia | ||
15:50 10mTalk | TORI: A Tool for Oracle Quality Assessment Tools and Datasets Facundo Molina Complutense University of Madrid, Nazareno Aguirre University of Rio Cuarto/CONICET, Argentina, and Guangdong Technion-Israel Institute of Technology, China, Alessandra Gorla IMDEA Software Institute DOI | ||
14:00 - 16:00 | AI and Software Engineering: AI4SE 4Research Papers / Tools and Datasets / Industry Showcase / NIER at Forum 8 Chair(s): Shin Yoo KAIST | ||
14:00 15mTalk | Why Is This on My Bill? Documentation-Grounded Rule Learning for Itemized Bill Explanation Industry Showcase Martin Schäf Amazon Web Services, Muhammad Numair Mansur Amazon Web Services, John Konstantinides Amazon Web Services, Willem Visser Stellenbosch University, Jason Lefever Drexel University | ||
14:15 10mTalk | Empirical Computation: Prompting versus Programming NIER Eric Tang Carnegie Mellon University, Jing Liu Max Planck Institute for Security and Privacy, Marcel Böhme CISPA Helmholtz Center for Information Security | ||
14:25 10mTalk | BESSER-NN: Visual Neural Network Design and Automated Code Generation with the BESSER Low-Code Platform Tools and Datasets Nadia Daoudi Luxembourg Institute of Science and Technology, Armen Sulejmani Luxembourg Institute of Science and Technology, Jordi Cabot Luxembourg Institute of Science and Technology DOI | ||
14:35 10mTalk | Distributional Program Analysis: Treating Large Language Models as Program Samplers NIER Tuan Phat Tran-Truong Ho Chi Minh City University of Technology, Xuan-Bach Le Ho Chi Minh City University of Technology | ||
14:45 10mTalk | UIBenchKit: A Unified Toolkit for Design-to-Code Model Evaluation Tools and Datasets Chinh T. Le Singapore Management University, Trevor Yee Siang Ong Singapore Management University, Jingyu Xiao The Chinese University of Hong Kong, Yuxuan Wan The Chinese University of Hong Kong, Yintong Huo Singapore Management University, Singapore DOI | ||
14:55 10mTalk | IP-Preserving Enterprise System Modernization via LLM-Driven Specification Extraction and Multi-target Code Generation Industry Showcase Andreas Biesdorf Trier University of Applied Sciences and Siemens AG, Foundational Technologies, Garching, Eckhard Seibert Siemens, Nicole Wengatz Siemens, Bart Carpels Euroports, Tom Schoonbaert Euroports | ||
15:05 15mTalk | SecChain: Operationalizing Security Guidelines for Multi-agent Smart Contract Generation Research Papers Dianxiang Sun Nanyang Technological University, Liming Nie Shenzhen Technology University, Yang Liu Nanyang Technological University DOI | ||
15:20 15mTalk | Smart Contract Synthesis via Multi-modal Specifications Research Papers Tanglin Chen ShanghaiTech University, China, Haoxian Chen ShanghaiTech University, Huilin Xiang ShanghaiTech University, Yuepeng Wang Simon Fraser University | ||
15:35 10mTalk | MergeSE: Post-Hoc Model Merging for Software Engineering Tasks without Retraining Tools and Datasets Palash Ranjan Roy University of Saskatchewan, Banani Roy University of Saskatchewan, Kevin Schneider University of Saskatchewan, Chanchal K. Roy University of Saskatchewan DOI Pre-print Media Attached | ||
15:45 15mTalk | Requirements-Augmented Generation for Trustworthy Acceptance Testing of LLM-Based Software Industry Showcase Fanyu Wang Monash University, Chetan Arora Monash University, Zhenping Xie Jiangnan University, Yonghui Liu Australian National University, Kla Tantithamthavorn Monash University, Aldeida Aleti Monash University, Siwei Jiang Yiwuyishi Intelligent Technology (Nantong); Tianjin University | ||
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 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 - 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:30 - 12:30 | AI and Software Engineering: AI4SE 5Research Papers / Industry Showcase at Forum 1 Chair(s): Sungmin Kang NUS | ||
10:30 15mTalk | DepWareTrans: Dependency-Aware Incremental Repository Migration across Co-executable Languages Industry Showcase Sivajeet Chand Technical University of Munich, Alexander Pretschner TU Munich, Steve Haupt andrena objects, Derui Zhu Rochester Institute of Technology, Sushant Kumar Pandey University of Groningen, The Netherlands Pre-print | ||
10:45 15mTalk | Aligning User Requirement with Large Language Model in Code Generation Research Papers Jia Li Wuhan University, Ruiqi Bai Wuhan University, Yangkang Luo Wuhan University, Yiran Zhang Nanyang Technological University, Wentao Yang Wuhan University, Zeyu Sun Institute of Software, Chinese Academy of Sciences, Tiankuo Zhao Wuhan University, Dongming Jin Peking University, China, Lei Li University of Hong Kong, Zhi Jin Peking University, Wuhan University | ||
11:00 15mTalk | Pattern over Pixels: Measuring Pattern Completion Bias in Multimodal Code Generation Research Papers Khai Nguyen William & Mary, Oscar Chaparro William & Mary, Antonio Mastropaolo William and Mary, USA 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 University of Hong Kong, Qiong Wu Shandong Normal University, Shangqing Liu Nanjing University, Lei Bu Nanjing University, Xuandong Li Nanjing University | ||
11:45 15mTalk | AEG-Edit: Bridging API Evolution and Code Semantics for Accurate API Usage in Code Generation Research Papers Yitong Lin Zhejiang University, Haoye Tian Aalto University, Dehai Zhao Zhejiang University, Chao Ni Zhejiang University, Xiaohu Yang Zhejiang University, Xiaoxue Ren Zhejiang University | ||
12:00 15mTalk | Effective and Efficient Context Retrieval via Partial Dependency Graph for Repository-Level Code Generation Research Papers Zhongxin Liu Zhejiang University, Zhonghao Jiang Zhejiang University, Zhifan Ye Zhejiang University, Haoye Wang Hangzhou City University, Jiakun Liu Harbin Institute of Technology, Xiaoxue Ren Zhejiang University | ||
12:15 15mTalk | Towards Fully Automated Medical Imaging Code Generation via Validation-Based Context Engineering Research Papers Zixiao Zhao University of Auckland, Jing Sun School of Computer Science, University of Auckland, Zhe Hou Griffith University, Cheng-Hao Cai Monash University, Qian Liu University of Auckland, Mengze Li University of Auckland, Zijian Zhang Beijing Institute of Technology, Jin Song Dong National University of Singapore | ||
10:30 - 12:30 | Formal Aspects of Software Engineering: Software Validation and VerificationResearch Papers / 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 | ||
10:45 15mTalk | Clarity: From Formal System Designs to Verified RL Controllers Research Papers Austin O'Quinn Ohio State University, Conor Snedeker Ohio State University, Max Taylor Boise State University, Lance Joneckis Idaho National Lab, Christopher Stewart The Ohio State University, USA | ||
11:00 15mTalk | ControlsDSL: A Language for Verifiable Cloud Configuration Controls Industry Showcase Miyriee Alair Amazon Web Services, Shrutarshi Basu Amazon Web Services, Sean Cai Amazon Web Services, Loris D'Antoni 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, Singapore, Qiyuan Zhao National University of Singapore, Peter Müller ETH Zurich, Ilya Sergey National University of Singapore Pre-print | ||
11:30 15mTalk | KVerus: Scalable and Resilient Formal Verification Proof Generation for Rust Code Industry Showcase Yuwei Liu Ant Group, Xinyi Wan , Yanhao Wang Independent Researcher, Minghua Wang Ant Group, Lin Huang Ant Group, Tao Wei Ant Group Link to publication Pre-print | ||
11:45 15mTalk | Automated Lemma Discovery in Agentic Program Verification Research Papers Huan Zhao National University of Singapore, Haoxin Tu National University of Singapore, Zhengyao Liu National University of Singapore, Martin C. Rinard Massachusetts Institute of Technology, Abhik Roychoudhury National University of Singapore | ||
12:00 10mTalk | ProofPulse: Interactive Proof Coverage Analysis for Dafny Tools and Datasets Álvaro F. Silva INESC TEC; University of Porto, Ruben Martins Carnegie Mellon University, Alexandra Mendes Faculty of Engineering, University of Porto, Portugal DOI | ||
12:10 10mTalk | DSpec2Test: Specification-Driven Test Generation in Dafny Tools and Datasets Sofia Vieira Pinto INESC TEC; University of Porto, Álvaro F. Silva INESC TEC; University of Porto, João Pascoal Faria Faculty of Engineering, University of Porto and INESC TEC, Alexandra Mendes Faculty of Engineering, University of Porto, Portugal DOI | ||
12:20 10mTalk | QUTest: A Native Testing Framework for Quantum Programs Tools and Datasets José Campos Faculty of Engineering of the University of Porto, Portugal DOI | ||
10:30 - 12:30 | Maintenance and Evolution: Debugging and Fault LocalizationResearch Papers / Journal First / Industry Showcase at Forum 16 Chair(s): Giovanni Denaro University of Milano - Bicocca | ||
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 | ||
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, China | ||
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, China, Ruibin Yan Peking University, Taiyu Wong Tsinghua University, Yiyang Chen Tsinghua University, Wang Jialai National University of Singapore, Chao Zhang Tsinghua University | ||
11:00 15mTalk | Zero-Knowledge VMs: Security and Usability in Practice Research Papers Jinan Jiang The Hong Kong Polytechnic University, Jinzhao Chu , Pengyu Xue Hong Kong Polytechnic University, Xinghao Peng , Haoran Qin The Hong Kong Polytechnic University, Xiapu Luo Hong Kong Polytechnic University | ||
11:15 10mTalk | GoLiSA: An Advanced Static Analysis Tool for Detecting Potential Risks and Vulnerabilities in Hyperledger Fabric Smart Contracts Tools and Datasets Luca Olivieri University Ca' Foscari, Venice, Luca Negrini Ca’ Foscari University of Venice, Vincenzo Arceri University of Parma, Italy, Pietro Ferrara Ca’ Foscari University of Venice, Fausto Spoto University of Verona, Italy, Agostino Cortesi Ca’ Foscari University of Venice DOI Media Attached | ||
11:25 15mTalk | MalSkills: Detecting Malicious Skills in the Agentic Supply Chain via Neuro-symbolic Reasoning Research Papers Shenao Wang Huazhong University of Science and Technology, HeJunjie , Yanjie Zhao Huazhong University of Science and Technology, Yayi Wang Ant Group, Kan Yu Ant Group, Haoyu Wang Huazhong University of Science and Technology | ||
11:40 15mTalk | LARA: Static ReDoS Detection for Regular Expressions with Lookahead via Matching Automata Research Papers Mengxi Wang Institute of Software at Chinese Academy of Sciences; University of Chinese Academy of Sciences, Chengyao Peng Institute of Software at Chinese Academy of Sciences; University of Chinese Academy of Sciences, Weihao Su ISCAS, Guiyi He Institute of Software at Chinese Academy of Sciences; University of Chinese Academy of Sciences, Rongchen Li Institute of Software at Chinese Academy of Sciences; University of Chinese Academy of Sciences, hong huang Institute of Software at Chinese Academy of Sciences; University of Chinese Academy of Sciences, Haiming Chen Institute of Software, Chinese Academy of Sciences | ||
11:55 15mTalk | How Your Credentials Are Leaked by LLM Agent Skills: An Empirical Study Research Papers Zhihao Chen Fujian Normal University, Ying Zhang Wake Forest University, Yi Liu Griffith University, Gelei Deng Nanyang Technological University, Yuekang Li UNSW Sydney, Yanjun Zhang Deakin University, Jianting Ning Zhejiang Sci-Tech University, Leo Zhang Griffith University, Lei Ma The University of Tokyo & University of Alberta, Zhiqiang Li Independent Researcher | ||
12:10 10mTalk | AIALIB: A Threat Library for AI-Generated Code Tools and Datasets DOI | ||
12:20 10mTalk | Cochise: A Reference Harness for Autonomous Penetration Testing Tools and Datasets DOI Pre-print | ||
10:30 - 12:30 | |||
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): Gregory Gay Chalmers University of Technology and University of Gothenburg | ||
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 Technische Universität München, fortiss GmbH, Matthias Weil TU Munich, Andrea Stocco Technical University of Munich, fortiss Pre-print | ||
11:15 15mTalk | Property-Based Testing of Wafer Handling Robots via Model-Based Planning and Fuzzing Research Papers Ruiyang Xu East China Normal University, Jingjing Liang East China Normal University, Guoyue Zheng East China Normal University, Geguang Pu East China Normal University, China, Ting Su East China Normal University | ||
11:30 15mTalk | Test Suite Generation for Simulink Models: An Experience with Reactis Industry Showcase Andrea Bombarda University of Bergamo, Nunzio Marco Bisceglia 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 Pre-print | ||
12:00 15mTalk | QDoctor: Probe-Based Testing for Quantum Programs Research Papers Qichen Wang Kyushu University, Shangzhou Xia Kyushu University, Xiaoyu Guo Kyushu University, Jianjun Zhao Kyushu University | ||
12:15 15mTalk | Quantum Squeeziness: An Information Theoretical Metric for Quantum Software Testability Research Papers Avner Bensoussan King's College London, Hector Menendez King’s College London, Mohammad Reza Mousavi King's College London | ||
10:30 - 12:30 | Security and Other Non-Functional Properties: Dependability and Safety 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 LTCI, Télécom Paris, Institut Polytechnique de Paris, Palaiseau, France DOI Pre-print | ||
10:45 15mTalk | IntOAgent: A Practical Framework for Automated Detection and Triggering of Integer Overflow Vulnerabilities Research Papers Yuelin Wang Tianjin University, Jiongchi Yu Nanyang Technological University, Xiaofei Xie Singapore Management University, Yaohui Sun Tianjin University, Tianyu Shi Tianjin University, Yanbang Sun College of Intelligence and Computing, Tianjin University, Qiang Hu Tianjin University, Junjie Wang Tianjin University | ||
11:00 15mTalk | Precise and Efficient Static Data Race Detection Research Papers Pei Wang Tsinghua University, Zhihang Sun Tsinghua University, Fei He Tsinghua University; Key Laboratory for Information System Security | ||
11:15 15mTalk | From Thread to Pool: Modeling and Static Detection of Thread Pool Misuses in Java Programs Research Papers Baoquan Cui Institute of Software at Chinese Academy of Sciences, China, Yucheng Qiu Hangzhou Institute for Advanced Study at University of Chinese Academy of Sciences, Rui Han Institute of Software at Chinese Academy of Sciences; University of Chinese Academy of Sciences, Hang Gao Institute of Software at Chinese Academy of Sciences, Jian Zhang Institute of Software at Chinese Academy of Sciences; University of Chinese Academy of Sciences | ||
11:30 15mTalk | SafeDep: Detecting State Mutation Unsoundness in Rust via Dependency Slicing and LLM Reasoning Research Papers Zihao Rao Fudan University, Yilin Chen Fudan University, Chengjun Chen Ant Group, Hui Xu Fudan University | ||
11:45 10mTalk | SAF: An AI-Agent-Ready and Browser-Accessible Static Analysis Framework for LLVM IR Tools and Datasets Yuekang Li UNSW Sydney, Wei Li UNSW Sydney, Wei Song University of New South Wales, 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 National Key Lab for Novel Software Technology, Nanjing University, China, Hao Wu , Hanzhong Liang National Key Lab for Novel Software Technology, Nanjing University, China, Yunlin Jiang Nanjing University, Yuxi Cheng Nanjing University, Yating Liu Nanjing University, Fengyuan Xu National Key Lab for Novel Software Technology, Nanjing University, China, Sheng Zhong National Key Lab for Novel Software Technology, Nanjing University, China 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-Universität zu Berlin, Lars Grunske Humboldt-Universität zu Berlin, Bernd Fischer Stellenbosch University | ||
10:45 15mTalk | Planner-Fuzz: Overcoming Diagnostic Saturation in UAV Planners via Boundary-Oriented Fuzzing Research Papers Rongbo Chen Zhejiang University, Chengcheng Zhao Zhejiang University, Peng Cheng Zhejiang University, Jiming Chen Zhejiang University; Hangzhou Dianzi University, Taegyu Kim The Pennsylvania State University | ||
11:00 15mTalk | SpecTrum: Specification-Guided Differential Fuzzing for Ethereum Consensus Clients Research Papers Seokhun Jeong KAIST, Gyeongmin Dan Sungkyunkwan University, Sukyoung Ryu KAIST, Sungjae Hwang Sungkyunkwan University 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 Jiangsu Luyu Technology, Yue Xue Metatrust Labs, Cong Wu Wuhan University | ||
11:30 15mTalk | RamFuzz: LLM-Guided Greybox Fuzzing for Spatial Memory Corruption via Valid Range Violation Research Papers Shangzhi Xu The University of New South Wales, Wei Song University of New South Wales, Yuekang Li UNSW Sydney, Nan Sun University of New South Wales, Muhammad Ejaz Ahmed Data61, CSIRO, Willy Susilo University of Wollongong, Benjamin Turnbull University of New South Wales, Xiao Cheng Macquarie University, Siqi Ma University of Wollongong | ||
11:45 15mTalk | Maximal Format-Free Data Repair Research Papers Zijian Luo University of Sydney, Australia, Xi Wu The University of Sydney, Hong Jin Kang University of Sydney, Alan Fekete University of Sydney, Rahul Gopinath University of Sydney | ||
12:00 15mTalk | CtxFuzz: Context-Aware Directed Fuzzing via Runtime Fuzzer-Agent Cooperation Research Papers Jiho Kim Georgia Institute of Technology, Dongkwan Kim Microsoft, HyungSeok Han Microsoft, Youngjoon Kim Georgia Institute of Technology, Soyeon Park , Sangwoo Ji Samsung Electronics, Joshua Wang Georgia Institute of Technology, Dae R. Jeong Seoul National University, Taesoo Kim Georgia Institute of Technology | ||
12:15 15mTalk | From Function to Repository: Towards Understanding and an Agentic Approach for Repo-Level Directed Input Generation Research Papers Haoyu Wang , Ming Wen Huazhong University of Science and Technology, Haoran Yan Huazhong University of Science and Technology, Jiayi Huang Huazhong University of Science and Technology, Xuanhua Shi Huazhong University of Science and Technology, Hai Jin Huazhong University of Science and Technology | ||
14:00 - 16:00 | 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 School of Artificial Intelligence, China University of Geosciences (Beijing), Zhiwu Xu Shenzhen University, Linhai Jing China University of Geosciences | ||
14:30 15mTalk | Targeted Deep Learning System Boundary Testing Journal First Oliver Weißl 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 Technical University of Munich, fortiss DOI | ||
14:45 15mTalk | Tangent: An Empirical Study of Testing Practices for LLM-Based Agent Applications Research Papers Rangeet Pan IBM Research, Tyler Stennett Georgia Institute of Technology, Divya Sankar IBM Research, Bridget McGinn IBM Resesarch, Alessandro Orso University of Georgia, USA, Raju Pavuluri IBM T.J. Watson Research Center, Saurabh Sinha IBM Research, Maja Vukovic IBM Research | ||
15:00 15mTalk | XMutant: XAI-based fuzzing for deep learning systems Journal First Xingcheng Chen Technical University of Munich & fortiss GmbH, Matteo Biagiola USI Lugano; University of St. Gallen, Vincenzo Riccio University of Udine, Marcelo d'Amorim North Carolina State University, Andrea Stocco Technical University of Munich, fortiss DOI Pre-print | ||
15:15 15mTalk | Optimization-Free Repair of Code LLMs: A Closed-Form Fisher-Guided Bayesian Approach Research Papers | ||
15:30 15mTalk | Evolution-Aware Regression Test Prioritization of ML-Enabled Systems using Gradient-Based Behavior Vectors Research Papers Eunho Cho Korea Advanced Institute of Science and Technology (KAIST), Donghwan Shin University of Sheffield, In-Young Ko Korea Advanced Institute of Science and Technology Pre-print | ||
15:45 15mTalk | Not as Sweet by Another Name: An Empirical Study of Format Robustness in LLM Document Workflows Research Papers Xiaoyu Zhang Nanyang Technological University, Singapore, Xianyun Cheng Central South University, Tianlin Li Beihang University, China, Yuwei Zheng Beihang University, Yue Yang Xi'an University of Architecture and Technology, Yang Liu Nanyang Technological University | ||
14:00 - 16:00 | 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 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 Urbana-Champaign, Tianyin Xu University of Illinois at Urbana-Champaign, Yongle Zhang Purdue University | ||
14:40 15mTalk | ExcavatorFuzz: LLM-Guided Path-Difficulty-Driven Directed Greybox Fuzzing Research Papers Kaiyu Xie Institute of Information Engineering at Chinese Academy of Sciences, Siyuan Li University of Chinese Academy of Sciences & Institute of Information Engineering Chinese Academy of Sciences, China, Jiaqian Peng Institute of Information Engineering, Chinese Academy of Sciences, Yun Yang Institute of Information Engineering at Chinese Academy of Sciences, Yaowen Zheng Institute of Information Engineering at Chinese Academy of Sciences, Kai Cheng Institute of Information Engineering, Chinese Academy of Sciences; School of Cyber Security, University of Chinese Academy of Sciences, Jiayu Zhang Institute of Information Engineering at Chinese Academy of Sciences, Shizhao Tian Institute of Information Engineering at Chinese Academy of Sciences, liyubo Institute of Information Engineering at Chinese Academy of Sciences, Hongsong Zhu Institute of Information Engineering at Chinese Academy of Sciences; University of Chinese Academy of Sciences | ||
14:55 15mTalk | Hybrid Fuzzing in Input Generation Logic Research Papers Siwei Wei State Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences, and University of Chinese Academy of Sciences Beijing, China, Shihao Zhu State Key Laboratory of Computer Science,Institute of Software,Chinese Academy of Sciences,China, Ruijie Meng CISPA Helmholtz Center for Information Security, Yan Cai Institute of Software at Chinese Academy of Sciences | ||
15:10 15mTalk | Accurate and Low-Cost Residual Risk Assessment via Sampled Profiling and Structure-Aware Coverage Amplification Research Papers Seongmin Lee UCLA, Işıl Özgü University of California at Los Angeles, Marcel Böhme CISPA Helmholtz Center for Information Security, Miryung Kim UCLA and Amazon Web Services DOI | ||
15:25 15mTalk | Gray-Box Fuzzing in Local Space Research Papers | ||
15:40 10mTalk | InsightQL: A Unified Code Database for Fuzz Blocker Analysis Tools and Datasets Wentao Gao University of Melbourne, Renata Borovica-Gajic University of Melbourne, Sang Kil Cha KAIST, Michael Fu The University of Melbourne, Tian Qiu , Thuan Pham University of Melbourne DOI | ||
15:50 10mTalk | Mutation Testing of Simulink Cyber-Physical System Models: Challenges and Solutions in Practice Industry Showcase Murat Kavak University of Antwerp; Flanders Make, Onur Kilincceker University of Antwerp and Flanders Make vzw, Serge Demeyer University of Antwerp and Flanders Make vzw, Kevin Vandenbroucke Duco, Halim Abdurrahman Ceylan Department of International Computer, Graduate School of Natural and Applied Sciences, Ege University, Izmir, Türkiye Pre-print | ||
14:00 - 16:00 | 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 Pre-print | ||
14:15 15mTalk | PL4SA: Optimized Partial Library Selection for Efficient Static Analysis Research Papers Guohao Feng Nanjing University, Yifei Lu State Key Laboratory for Novel Software Technology, Nanjing University, China, Minxue Pan Nanjing University | ||
14:30 15mTalk | Verifier-in-the-Loop LLM Solving of Heap Constraints for Concolic Execution Research Papers Shaoran Xia Fudan University, Leyi Cheng Soochow University, Caihua Dong Fudan University, Dongdong She Hong Kong University of Science and Technology, Bo Wang Beijing Jiaotong University, Xin Peng Fudan University, Zhen Dong Fudan University | ||
14:45 15mTalk | Top-Down Multi-agent LLM System with Runtime Data for MISRA C Violation Detection Industry Showcase Ahcheong Lee KAIST, Yeongbin Kang KAIST, Sechang Jang KAIST, Heechan Yang , Moonzoo Kim VplusLab; KAIST | ||
15:00 15mTalk | Tracing the Invisible: Semantic Message Flow Discovery via Data Contracts in Real-World Distributed Systems Research Papers youlong chen Institute of Computing Technology at Chinese Academy of Sciences; Zhongguancun Laboratory, Jie Lu Institute of Computing Technology at Chinese Academy of Sciences, mingtao huang Institute of Computing Technology at Chinese Academy of Sciences; University of Chinese Academy of Sciences, Chenghang Shi 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, Dong Liu Center Research Institute, ZTE Coporation, China, Mengna Ma Zhongguancun Laboratory, Yong Liu Zhongguancun Laboratory; Qi An Xin Technology Group, Qinfen Hao Institute of Computing Technology at Chinese Academy of Sciences; University of Chinese Academy of Sciences; Zhongguancun Laboratory, Lian Li Institute of Computing Technology at Chinese Academy of Sciences; University of Chinese Academy of Sciences; Zhongguancun Laboratory | ||
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, Singapore, Yin Wu Xi'an Jiaotong University, Yi Li Nanyang Technological University Pre-print | ||
15:45 15mTalk | Safe Multi-site Binary Instrumentation of Running x86-64 Programs Research Papers Jihun Baek UNIST, Sanghoon Han UNIST, Hyungon Moon Ulsan National Institute of Science and Technology (UNIST) | ||
14:00 - 16:00 | |||
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 Pre-print | ||
14:15 15mTalk | From Runnable Code to Shippable Applications: Test-Driven Development for Full-Stack Web Application Generation Research Papers Yuxuan Wan The Chinese University of Hong Kong, Tingshuo Liang Chinese University of Hong Kong, Jiakai Xu Columbia University in the City of New York, Jingyu Xiao The Chinese University of Hong Kong, Yintong Huo Singapore Management University, Singapore, Michael Lyu CUHK, Hong Kong | ||
14:30 15mTalk | DCAS: Decoupling CLI Agent Scaffolding to Internalize Planning across Scaffolds Industry Showcase Kishanthan Thangarajah Centre for Software Excellence, Huawei Canada, Boyuan Chen Centre for Software Excellence, Huawei Canada, Ahmed E. Hassan Queen’s University | ||
14:45 15mTalk | Generation of Web Apps with Agentic IDEs: An Empirical Assessment Research Papers Manuel Marceca University of Milano-Bicocca, Maria Teresa Rossi Gran Sasso Science Institute (GSSI), L’Aquila, Italy, Leonardo Mariani University of Milano-Bicocca | ||
15:00 15mTalk | Revisiting LLMs on New Feature Implementation in Real-World Software Development Practices Research Papers Jia Li Wuhan University, Tingxuan Huang Wuhan University, Tiankuo Zhao Wuhan University, Yiming Wang Wuhan University, Yiran Zhang Nanyang Technological University, Anshun Hu Wuhan University, Kechi Zhang Peking University, China, Lecheng Wang Peking University, Zinan Sheng Peking University, Kui Liu Huawei, Ge Li Peking University, Zhi Jin Peking University, Wuhan University | ||
15:15 15mTalk | Compressing Code Context for LLM-Based Issue Resolution Research Papers Haoxiang Jia Peking University, Earl T. Barr University College London, Sergey Mechtaev Peking University | ||
15:30 15mTalk | RACE-Bench: A Reasoning-Augmented Benchmark for Repository-Level Code Agents on Feature Addition Research Papers Shuhan Liu Zhejiang University, Zhiyi Zhao Zhejiang University, Xing Hu Zhejiang University, Kui Liu Huawei, Xiaohu Yang Zhejiang University, Xin Xia Zhejiang University | ||
15:45 15mTalk | Debugging the Debuggers: Failure-Anchored Structured Recovery for Software Engineering Agents Industry Showcase Chenyu Zhao Nankai University, Shenglin Zhang Nankai University, Yihang Lin Nankai University, Wenwei Gu Nankai University, Zhimin Chen Nankai University, Yongqian Sun Nankai University, Dan Pei Tsinghua University, China, Chetan Bansal Microsoft Research, Saravan Rajmohan Microsoft, Minghua Ma Microsoft | ||
16:30 - 17:30 | Human and Social Aspects: Human-Computer InterfaceResearch Papers / NIER / Tools and Datasets 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 | ||
16:45 15mTalk | A Selective Undo/Redo Algorithm for Dependency-Constrained Operation Histories Based on Change Propagation Research Papers Xiaoxiong Fan Tsinghua University, Hou Tam Tsinghua University, Hanxi Zhu Tsinghua University, Song-Hai Zhang Tsinghua University | ||
17:00 10mTalk | Towards Multilingual AI-Assisted Software Engineering NIER Shivadharshan Sankar Indian Institute of Technology Tirupati, Anirudh Arrepu Indian Institute of Technology Tirupati, Sridhar Chimalakonda Indian Institute of Technology Tirupati | ||
17:10 10mTalk | AutoFLC: An LLM-Based Flowchart Generation Tool for Legacy Code Repository Tools and Datasets Yixing Luo Beijing Institute of Control Engineering, Longxing Yang Beijing Institute of Control Engineering, Xiaofeng Li Beijing Institute of Control Engineering, Bin Gu Beijing Institute of Control Engineering, Zhi Jin Peking University, Wuhan University DOI | ||
17:20 10mTalk | Agentic Code Review in the Terminal: A Trajectory-Level Analysis of Behavior, Cost, and Human-Alignment NIER Wachiraphan (Ping) Charoenwet 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 | Formal Aspects of Software Engineering: Formal Methods and Model Checking 2Research Papers / Industry Showcase at Forum 15 Chair(s): Antonio Filieri AWS and Imperial College London | ||
16:30 15mTalk | VARIES: Verification Harness Synthesis and Efficient Scheduling for Unsoundness Detection in Rust Libraries Research Papers Huan Li Zhejiang University, Xing Hu Zhejiang University, Xin Xia Zhejiang University, Xinyu Wang Zhejiang University | ||
16:45 15mTalk | Sound and Efficient Statistical Model Checking for Probabilities and Bounded Rewards Research Papers Hao Bu Ant Group; Zhejiang University, Lin Huang Ant Group, Tao Wei Ant Group, Jingyi Wang Zhejiang University | ||
17:00 15mTalk | FlowChecker: One Command to Model Check Control-Flow Rules in Industrial Java Industry Showcase Qiuye Wang Alibaba Cloud Computing, Liqing Cao Alibaba Cloud Computing, Wei Hu Alibaba Cloud Computing, Dengcheng He Alibaba Cloud Computing | ||
17:15 15mTalk | Inferring the Shape of Data Frames in R Programs using Abstract Interpretation Research Papers DOI Pre-print | ||
16:30 - 17:30 | 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 | ||
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 | ||
17:00 15mTalk | How Quantum Bugs Live and Die: A Lifecycle-Based Empirical Study of Bugs in Quantum Software Research Papers Yasai Shi , Xiangxin Meng Bytedance, Xiangjie Huang Beihang University, Jian Zhang Nanyang Technological University, Tianyu Wo , Xu Wang Beihang University | ||
17:15 15mTalk | CodeFault: Predicting Fault Risks from Code Changes via Multi-modal Learning Research Papers Yifan Xiao Peking University, Shijie Li China Southern Power Grid Company Limited, Yu Huang Peking University | ||
16:30 - 17:30 | |||
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 UCLA | ||
16:30 15mTalk | Evidence-Grounded Logic Vulnerability Detection for Smart Contracts via Runtime Context Reasoning Research Papers Guang Gong Tsinghua University; 360 Vulnerability Research Institute, Yucong Jiang 360 Vulnerability Research Institute, Rong Jian 360 Vulnerability Research Institute, Xiaotao Feng , Zhihan Wei 360 Vulnerability Research Institute, Qi Li Tsinghua University, Ke Xu Tsinghua University; Zhongguancun Laboratory | ||
16:45 15mTalk | Airdrop Scams in Practice: An Industry-Oriented Taxonomy, Benchmark, and Tool Audit Industry Showcase Ningyu He Hong Kong Polytechnic University, Xiaohui Hu Huazhong University of Science and Technology, Haoyu Wang Huazhong University of Science and Technology | ||
17:00 15mTalk | PoCo: Agentic Proof-of-Concept Exploit Generation for Smart Contracts Journal First Vivi Andersson KTH Royal Institute of Technology, Sofia Bobadilla KTH Royal Institute of Technology, Sweden, Harald Hobbelhagen KTH Royal Institute of Technology, Martin Monperrus KTH Royal Institute of Technology DOI | ||
17:15 15mTalk | Demystifying Solana Bots: From GitHub Blueprints to On-Chain Fingerprints Research Papers Xiaoye Zheng Zhejiang University, Yujing Chen Zhejiang University, Minghao Wu Zhejiang University, David Lo Singapore Management University, Difan Xie Hangzhou High-Tech Zone (Binjiang) Institute of Blockchain and Data Security, Daoyuan Wu Lingnan University, Xiaohu Yang Zhejiang University, Zhiyuan Wan Zhejiang University | ||
16:30 - 17:30 | 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 and University of Lisbon, Paulo Canelas SonarSource, Ricardo Costa University of Lisbon, Marcio Caetano University of Lisbon, Jonathan Aldrich Carnegie Mellon University, Alcides Fonseca LASIGE; University of Lisbon 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 Beijing University of Posts and Telecommunications | ||
17:00 15mTalk | Diagnosing Violations of State-based Specifications in iCFTL Journal First Cristina Stratan University of Luxembourg, Claudio Mandrioli University of Luxembourg, Domenico Bianculli University of Luxembourg DOI | ||
17:15 15mTalk | Refine2Diff: Detecting Protocol Specification–Implementation Inconsistencies via Specification-Driven Code Refinement Research Papers Yuekun Wang Singapore Management University, Lili Quan Singapore Management University (SMU), Xiaofei Xie Singapore Management University | ||
16:30 - 17:30 | Testing and Analysis: Regression and Model-Based Testing 6Research Papers / Journal First at Forum 8 Chair(s): Andrea Stocco Technical University of Munich, fortiss | ||
16:30 15mTalk | PWCC: Probability-Weighted Combinatorial Coverage for Risk-Informed Scenario Testing of Autonomous Systems Research Papers Borhaneddine Hamadou Université Paris-Saclay; CEA List, Chokri Mraidha Université Paris-Saclay, CEA, List, Nicholas Matragkas Université Paris-Saclay, CEA, List. | ||
16:45 15mTalk | Constrained Co-evolutionary Differential Metamorphic Testing for Autonomous Systems with an Interpretability Approach Journal First Hossein Yousefizadeh School of EECS, University of Ottawa, Shenghui Gu University of Ottawa, Lionel Briand University of Ottawa, Canada; Lero centre, University of Limerick, Ireland, Ali Nasr Huawei Technologies Canada Co., Ltd DOI | ||
17:00 15mTalk | Simulator Ensembles for Trustworthy Autonomous Driving Systems Testing Journal First Lev Sorokin BMW Group, Technical University of Munich, Matteo Biagiola USI Lugano; University of St. Gallen, Andrea Stocco Technical University of 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 State Key Laboratory for Novel Software Technology Nanjing University, Nanjing, China, Enyi Tang Nanjing University, Hengrui Xu Nanjing University, Haoxiang Tian Nanyang Technological University, Singapore, Minghui Wei Nanjing University, An Guo The Hong Kong Polytechnic Universituy | ||
17:45 - 18:15 | |||
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 | Reachability Is Only the Beginning: Toward Effect-Aware Vulnerability Analysis for AI Agents SWGeno | ||
09:45 15mTalk | ForkOps: Operating Fleets of Generated Software Variants 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 | Dataflow Analyses in CPAchecker CPAchecker | ||
11:00 30mTalk | Framework Optimizations for Distributed Summary Synthesis CPAchecker Matthias Kettl LMU Munich | ||
11:30 30mTalk | Interpolation-Based Termination Analysis in CPAchecker CPAchecker Marek Jankola LMU Munich | ||
12:00 30mTalk | SV-LIB support in CPAchecker CPAchecker Marian Lingsch-Rosenfeld LMU Munich | ||
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 Note that the first talk starts from 10:00 as the keynote is expected to end around 09:45. | ||
10:30 15mTalk | RepoTune: Co-Evolving Vulnerability Detection with a Repository's Genome SWGeno | ||
10:45 45mKeynote | The Bad AI Bubble. Implications for Security and Software Engineering Research SWGeno | ||
11:30 15mTalk | Same Task, Different Fate: Population Structure in Trajectory-Based Analyses of Coding Agents SWGeno | ||
11:45 15mTalk | Seeing the Forest: A Taxonomy-Guided Analysis and Improvement of Malicious PyPI Package Detectors SWGeno | ||
12:00 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 | ||
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 | Co-Designing Compiler Infrastructure and Symbolic Execution to Improve SMT-LIB Encoding KLEE Sören Tempel Technische Universität Braunschweig, Christian Dietrich Technische Universität Braunschweig | ||
10:40 5mPoster | EAR: Debugging Libraries through API Call Traces KLEE | ||
10:45 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 | Empc: Effective Path Prioritization for Symbolic Execution with Path Cover KLEE Shuangjie Yao The Hong Kong University of Science and Technology, Dongdong She Hong Kong University of Science and Technology | ||
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 | 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 | ||
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 20mTalk | Defusing Logic Bombs in Symbolic Execution with LLM-Generated Ghost Code KLEE | ||
14:20 20mTalk | Enhancing Symbolic Execution with Machine-Checked Safety Proofs KLEE | ||
14:40 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:00 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:20 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 | ||
15:40 20mTalk | Triggering the Hidden: Oracle Design Meets KLEE for Backdoor Detection KLEE Michaël Marcozzi Université Paris-Saclay, CEA, List | ||
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 | New Developments in JavaSMT 6 and Beyond CPAchecker Daniel Baier Ludwig Maximilian University of Munich | ||
17:00 25mTalk | Continuous Modernization of CPAchecker CPAchecker | ||
17:25 5mDay 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 | ||