Grand Hall 4 - AIware 2025

VenueGrand Walkerhill Seoul

Room nameGrand Hall 4

Floor0

Room InformationNo extra information available

Program

Time Zone

The program is currently displayed in (GMT+09:00) Seoul.

Use conference time zone: (GMT+09:00) SeoulSelect other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.

Display full programSpecify a time band

Save

You're viewing the program in a time zone which is different from your device's time zone change time zone

Sun 16 Nov
Displayed time zone: Seoul change

08:30 - 10:00	Research 1SSBSE Keynote / SSBSE Research Papers at Grand Hall 4

08:30 10m Talk		Opening SSBSE Keynote Shin Hong Chungbuk National University
08:40 20m Talk		Search-based Hyperparameter Tuning for Python Unit Test Generation SSBSE Research Papers Stephan Lukasczyk JetBrains Research, Gordon Fraser University of Passau Pre-print
09:00 20m Talk		Constraint-Guided Unit Test Generation for Machine Learning Libraries SSBSE Research Papers Lukas Krodinger University of Passau, Altin Hajdari University of Passau, Stephan Lukasczyk JetBrains Research, Gordon Fraser University of Passau Pre-print
09:20 20m Talk		LLM-Guided Fuzzing for Pathological Input Generation SSBSE Research Papers Didier Ishimwe George Mason University, ThanhVu Nguyen George Mason University
09:40 20m Talk		The Pursuit of Diversity: Multi-Objective Testing of Deep Reinforcement Learning Agents SSBSE Research Papers Antony Bartlett TU Delft, The Netherlands, Cynthia C. S. Liem Delft University of Technology, Annibale Panichella Delft University of Technology

10:30 - 12:30	Hot-off-the-Press & KeynoteSSBSE Hot-off-the-Press / SSBSE Keynote at Grand Hall 4

10:30 15m Talk		SSBSE Summary of Search-Based Repair of DNN Controllers of AI-Enabled Cyber-Physical Systems Guided by System-Level Specifications SSBSE Hot-off-the-Press Deyun Lyu National Institute of Informatics, Zhenya Zhang Kyushu University, Paolo Arcaini National Institute of Informatics , Fuyuki Ishikawa National Institute of Informatics, Thomas Laurent Lero@Trinity College Dublin, Jianjun Zhao Kyushu University Link to publication
10:45 15m Talk		SSBSE Summary of BQTmizer: A Tool for Test Case Minimization with Quantum Annealing SSBSE Hot-off-the-Press Xinyi Wang Simula Research Laboratory; University of Oslo, Shaukat Ali Simula Research Laboratory and Oslo Metropolitan University, Paolo Arcaini National Institute of Informatics Link to publication
11:00 60m Keynote		Keynote: Classical, Quantum, Hybrid, and Beyond: The Changing Landscape of SBSE (Prof. Tao Yue) SSBSE Keynote K: Tao Yue Beihang University

14:00 - 15:30	SSBSE ChallengeSSBSE Challenge at Grand Hall 4

14:00 10m Talk		Challenge Overview SSBSE Challenge
14:10 20m Talk		GA4GC: Greener Agent for Greener Code via Multi-Objective Configuration Optimization SSBSE Challenge Jingzhi Gong University of Leeds, Yixin Bian Harbin Normal University, Luis de la Cal Universidad Politécnica de Madrid, Giovanni Pinna University of Trieste, Anisha Uteem King's College London, David Williams University College London, Mar Zamorano López University College London, Karine Even-Mendoza King’s College London, William Langdon University College London, Hector Menendez King’s College London, Federica Sarro University College London Pre-print
14:30 20m Talk		GreenMalloc: Allocator Optimisation for Industrial Workloads SSBSE Challenge Aidan Dakhama King's College London, William Langdon University College London, Hector Menendez King’s College London, Karine Even-Mendoza King’s College London Pre-print
14:50 20m Talk		Fuzz Smarter, Not Harder: Towards Greener Fuzzing with GreenAFL SSBSE Challenge Ayse Irmak Ercevik King's College London, Aidan Dakhama King's College London, Melane Navaratnarajah King's College London, Yazhuo Cao King's College London, Leo Fernandes Federal Institute of Alagoas (IFAL) Pre-print File Attached
15:10 20m Talk		HotCat: Green and Effective Feature Selection for HotFix Bug Taxonomy SSBSE Challenge Luis de la Cal Universidad Politécnica de Madrid, Yazhuo Cao King's College London, Ayse Irmak Ercevik King's College London, Giovanni Pinna University of Trieste, Lukas Twist King's College London, David Williams University College London, Karine Even-Mendoza King’s College London, William Langdon University College London, Hector Menendez King’s College London, Federica Sarro University College London Pre-print

16:00 - 18:00	Research 2 & RENE/NIERSSBSE RENE/NIER / SSBSE Research Papers / SSBSE Keynote at Grand Hall 4

16:00 20m Talk		Optimised fitness functions for automated improvement of software's execution time SSBSE Research Papers Dimitrios Stamatios Bouras Peking University, Carol Hanna University College London, Justyna Petke University College London Pre-print
16:20 20m Talk		KrakQL: LLM-Guided Blind Introspection of GraphQL Schemas SSBSE Research Papers Marcello Maugeri University of Catania, Abenezer Angamo Independent Researcher, Giampaolo Bella University of Catania
16:40 20m Talk		Search-based Inference of Class Invariants: How far can Simulated Annealing take us? SSBSE Research Papers Juan Manuel Copia IMDEA Software Institute; Universidad Politécnica de Madrid, Facundo Molina IMDEA Software Institute, Alessandra Gorla IMDEA Software Institute, Nazareno Aguirre University of Rio Cuarto/CONICET, Argentina, and Guangdong Technion-Israel Institute of Technology, China, Pablo Ponzio Dept. of Computer Science FCEFQyN, University of Rio Cuarto
17:00 15m Talk		Test Case Generation for Simulink Models: An Experience from the E-Bike Domain SSBSE RENE/NIER Michael Marzella University of Bergamo, Andrea Bombarda University of Bergamo, Marcello Minervini University of Bergamo, Nunzio Marco Bisceglia University of Bergamo, Bergamo, Italy, Angelo Gargantini University of Bergamo, Claudio Menghi University of Bergamo; McMaster University File Attached
17:25 25m Meeting		Steering Committee Meeting SSBSE Keynote
17:50 10m Talk		Closing SSBSE Keynote

Mon 17 Nov
Displayed time zone: Seoul change

11:00 - 12:20	Efficiency & Fairness 1ASE Research Papers at Grand Hall 4 Chair(s): Lwin Khin Shar Singapore Management University

11:00 10m Talk		AutoFid: Adaptive and Noise-Aware Fidelity Measurement for Quantum Programs via Circuit Graph Analysis ASE Research Papers Tingting Li Zhejiang University, Ziming Zhao Zhejiang University, Jianwei Yin Zhejiang University
11:10 10m Talk		HybridSIMD: A Super C++ SIMD Library with Integrated Auto-tuning Capabilities ASE Research Papers Haolin Pan Institute of Software, Chinese Academy of Sciences;School of Intelligent Science and Technology, HIAS, UCAS, Hangzhou;University of Chinese Academy of Sciences, Xulin Zhou Institute of Software, Chinese Academy of Sciences; University of Chinese Academy of Sciences, Mingjie Xing Institute of Software, Chinese Academy of Sciences, Yanjun Wu Institute of Software, Chinese Academy of Sciences
11:20 10m Talk		PEACE: Towards Efficient Project-Level Performance Optimization via Hybrid Code Editing ASE Research Papers Xiaoxue Ren Zhejiang University, Jun Wan Zhejiang University, Yun Peng The Chinese University of Hong Kong, Zhongxin Liu Zhejiang University, Ming Liang Ant Group, Dajun Chen Ant Group, Wei Jiang Ant Group, Yong Li Ant Group Pre-print
11:30 10m Talk		CoTune: Co-evolutionary Configuration Tuning ASE Research Papers Gangda Xiong University of Electronic Science and Technology of China, Tao Chen University of Birmingham Pre-print
11:40 10m Talk		It's Not Easy Being Green: On the Energy Efficiency of Programming Languages ASE Research Papers Nicolas van Kempen University of Massachusetts Amherst, USA, Hyuk-Je Kwon University of Massachusetts Amherst, Dung Nguyen University of Massachusetts Amherst, Emery D. Berger University of Massachusetts Amherst and Amazon Web Services
11:50 10m Talk		When Faster Isn't Greener: The Hidden Costs of LLM-Based Code Optimization ASE Research Papers Tristan Coignion Université de Lille - Inria, Clément Quinton Université de Lille, Romain Rouvoy University Lille 1 and INRIA
12:00 10m Talk		United We Stand: Towards End-to-End Log-based Fault Diagnosis via Interactive Multi-Task Learning ASE Research Papers Minghua He Peking University, Chiming Duan Peking University, Pei Xiao Peking University, Tong Jia Institute for Artificial Intelligence, Peking University, Beijing, China, Siyu Yu The Chinese University of Hong Kong, Shenzhen (CUHK-Shenzhen), Lingzhe Zhang Peking University, China, Weijie Hong Peking university, Jing Han ZTE Corporation, Yifan Wu Peking University, Ying Li School of Software and Microelectronics, Peking University, Beijing, China, Gang Huang Peking University
12:10 10m Talk		Diplomatist: What Do Cross-language Dependencies Reflect Software Ecosystem Health? ASE Research Papers Fanyi Meng Shenyang University of Technology, Ying Wang Northeastern University, Chun Yong Chong Monash University Malaysia, Hai Yu Northeastern University, China, Zhiliang Zhu Northeastern University, China

14:00 - 15:30	Human & Social Aspects 1ASE Research Papers / ASE Journal-First at Grand Hall 4 Chair(s): Julia Rubin The University of British Columbia

14:00 10m Talk		Why AI Agents Still Need You: Findings from Developer-Agent Collaborations in the Wild ASE Research Papers Aayush Kumar Microsoft, Yasharth Bajpai Microsoft, Sumit Gulwani Microsoft, Gustavo Soares Microsoft, Emerson Murphy-Hill Microsoft
14:10 10m Talk		The Cost of Downgrading Build Systems: A Case Study of Kubernetes ASE Research Papers Gareema Ranjan University of Waterloo, Mahmoud Alfadel University of Calgary, Gengyi Sun University of Waterloo, Shane McIntosh University of Waterloo Pre-print
14:20 10m Talk		Democratizing the Cryptocurrency Ecosystem by Just-In-Time Transformation of Mining Programs ASE Research Papers Wei Liu Nanjing University, Zhenhua Li Tsinghua University, Feng Qian University of Southern California, Feiyu Jin Tsinghua University, Hao Lin Tsinghua University, Yannan Zheng Ant Group, Bo Xiao Ant Group, Xiaokang Qin Ant Group, Tianyin Xu University of Illinois at Urbana-Champaign
14:30 10m Talk		Advancing Automated Ethical Profiling in SE: a Zero-Shot Evaluation of LLM Reasoning ASE Research Papers Patrizio Migliarini University of L'Aquila, Italy, Mashal Afzal Memon University of L’Aquila, Italy, Marco Autili University of L'Aquila, Italy, Paola Inverardi Gran Sasso Science Institute Pre-print
14:40 10m Talk		The Impact of the COVID-19 Pandemic on Women’s Contribution to Public Code ASE Journal-First Annalí Casanueva Ifo Institute, Big Data Junior Research Group, Munich, Germany, Davide Rossi University of Bologna, Théo Zimmermann Télécom Paris, Polytechnic Institute of Paris, Stefano Zacchiroli LTCI, Télécom Paris, Institut Polytechnique de Paris, Palaiseau, France Link to publication DOI Pre-print
14:50 10m Talk		Understanding Feature Request Practice on GitHub via a Large-Scale Empirical Study ASE Research Papers Jiajun Li Nanjing University of Aeronautics and Astronautics, Wenhua Yang Nanjing University of Aeronautics and Astronautics, Minxue Pan Nanjing University, Yu Zhou Nanjing University of Aeronautics and Astronautics
15:00 10m Talk		Interaction2Code: Benchmarking MLLM-based Interactive Webpage Code Generation from Interactive Prototyping ASE Research Papers Jingyu Xiao The Chinese University of Hong Kong, Yuxuan Wan The Chinese University of Hong Kong, Yintong Huo Singapore Management University, Singapore, Zixin Wang The Chinese University of Hong Kong, Xinyi Xu The Chinese University of Hong Kong, Wenxuan Wang Hong Kong University of Science and Technology, Zhiyao Xu Tsinghua University, Yuhang Wang Southwest University, Michael Lyu The Chinese University of Hong Kong
15:10 10m Talk		Engineering Digital Systems for Humanity: a Research Roadmap ASE Journal-First Marco Autili University of L'Aquila, Italy, Martina De Sanctis Gran Sasso Science Institute, Paola Inverardi Gran Sasso Science Institute, Patrizio Pelliccione Gran Sasso Science Institute, L'Aquila, Italy
15:20 10m Talk		Multi-dimensional Assessment of CrowdSourced Testing Reports via LLMs ASE Research Papers Yue Wang NanJing University, Yuan Zhao Laboratory of Data Intelligence and Interdisciplinary Innovation, Nanjing University, Shengcheng Yu Technical University of Munich, Zhenyu Chen Nanjing University

16:00 - 17:00	Code Review & ProcessASE Industry Showcase / ASE NIER at Grand Hall 4 Chair(s): Vladimir Kovalenko JetBrains Research

16:00 10m Talk		SGCR: A Specification-Grounded Framework for Trustworthy LLM Code Review ASE Industry Showcase Kai Wang HiThink Research, Bingcheng Mao HiThink Research, Shuai Jia HiThink Research, Yujie Ding HiThink Research, Dongming Han HiThink Research, Tianyi Ma HiThink Research, Bin Cao Zhejiang University of Technology
16:10 10m Talk		What Types of Code Review Comments Do Developers Most Frequently Resolve? ASE Industry Showcase Saul Goldman The University of Melbourne, Hong Yi Lin The University of Melbourne, Jirat Pasuksmit Atlassian, Patanamon Thongtanunam University of Melbourne, Kla Tantithamthavorn Monash University and Atlassian, Zhe Wang Institute of Computing Technology at Chinese Academy of Sciences; Zhongguancun Laboratory, Ruixiong Zhang Atlassian, Ali Behnaz Atlassian, Fan Jiang Atlassian, Michael Siers Atlassian, Ryan Jiang Atlassian, Mike Buller Atlassian, Minwoo Jeong Atlassian, Ming Wu Atlassian
16:20 10m Talk		Vessel: A Taxonomy of Reproducibility Issues for Container Images ASE NIER Kevin Pitstick Carnegie Mellon Software Engineering Institute, Alex Derr Carnegie Mellon Software Engineering Institute, Lihan Zhan Carnegie Mellon Software Engineering Institute, Sebastian Echeverria Carnegie Mellon Software Engineering Institute
16:30 10m Talk		From Modules to Marketplaces: A Vision for Composable Capability Sharing Across Organizations ASE NIER Wei-Ji Wang Chunghwa Telecom Laboratories
16:40 10m Talk		Towards Automated Governance: A DSL for Human-Agent Collaboration in Software Projects ASE NIER Adem Ait University of Luxembourg, Gwendal Jouneaux Luxembourg Institute of Science and Technology, Javier Luis Cánovas Izquierdo Universitat Oberta de Catalunya, Jordi Cabot Luxembourg Institute of Science and Technology Pre-print
16:50 10m Talk		iCodeReviewer: Improving Secure Code Review with Mixture of Prompts ASE Industry Showcase Yun Peng The Chinese University of Hong Kong, Kisub Kim DGIST, Linghan Meng Huawei, Kui Liu Huawei

Tue 18 Nov
Displayed time zone: Seoul change

08:30 - 10:30	Welcome & Doctoral KeynoteCode Completion Challenge at Grand Hall 4 Chair(s): Vladimir Kovalenko JetBrains Research

08:30 30m Other		Gathering People & Checking Equipment Code Completion Challenge
09:00 30m Day opening		Introduction & Agenda for the Day Code Completion Challenge Vladimir Kovalenko JetBrains Research, Egor Bogomolov JetBrains Research, Evgeniy Glukhov JetBrains Research
09:30 60m Keynote		Evolving Code Completion Code Completion Challenge Daniele Cipollone Delft University of Technology, Netherlands

11:00 - 12:30	Solutions ICode Completion Challenge at Grand Hall 4 Chair(s): Egor Bogomolov JetBrains Research

11:00 30m Talk		SpareCodeSearch: Searching for Code Context When You Have No Spare GPU Code Completion Challenge Anh Minh Nguyen University College Dublin & Lero Pre-print
11:30 30m Talk		Relative Positioning Based Code Chunking Method For Rich Context Retrieval In Repository Level Code Completion Task With Code Language Model Code Completion Challenge Imranur Rahman North Carolina State University, Rayhanur Rahman The University of Alabama Pre-print
12:00 30m Talk		Beyond More Context: How Granularity and Order Drive Code Completion Quality Code Completion Challenge Uswat Yusuf Concordia University, Genevieve Caumartin Concordia University, Diego Elias Costa Concordia University, Canada Pre-print

14:00 - 15:30	Solutions IICode Completion Challenge at Grand Hall 4 Chair(s): Evgeniy Glukhov JetBrains Research

14:00 45m Talk		On the Importance of Context Filtering in Retrieval-Augmented Code Completion Code Completion Challenge Sergey Sedov New York University, Vsevolod Savinskiy Constructor University Bremen, Andrei Arzhantsev Technical University of Munich
14:45 45m Talk		Exploration of Structural Code Relationship Space for Context Collection Code Completion Challenge Costas Sofianos

16:00 - 18:00	Keynote & Talk from OrganizersCode Completion Challenge at Grand Hall 4 Chair(s): Vladimir Kovalenko JetBrains Research

16:00 60m Keynote		Code Assistants: From Code Completion to Coding Agents Code Completion Challenge Baptiste Rozière Mistral AI
17:00 60m Talk		On Organising the Competition Code Completion Challenge Dmitry Ustalov JetBrains, Egor Bogomolov JetBrains Research, Alexander Bezzubov JetBrains, Yaroslav Golubev JetBrains Research, Evgeniy Glukhov JetBrains Research, Georgii Levtsov Neapolis University Pafos, JetBrains, Vladimir Kovalenko JetBrains Research Pre-print

Wed 19 Nov
Displayed time zone: Seoul change

11:00 - 12:30	Program Repair 3ASE Research Papers at Grand Hall 4 Chair(s): Jooyong Yi UNIST

11:00 10m Talk		Automated Repair of Ambiguous Problem Descriptions for LLM-Based Code Generation ASE Research Papers Haoxiang Jia Peking University, Robbie Morris University College London, He Ye University College London (UCL), Federica Sarro University College London, Sergey Mechtaev Peking University
11:10 10m Talk		Fixing Broken Graphs: LLM-Powered Automatic Code Optimization for DNN Programs ASE Research Papers Haotian Wang Nankai University, Yicheng Sui Nankai University, Yudong Xie Nankai University, Yicong Liu Nankai University, Yufei Sun Nankai University, Changqing Shi Nankai University, Yuzhi Zhang Nankai University
11:20 10m Talk		SemGuard: Real-Time Semantic Evaluator for Correcting LLM-Generated Code ASE Research Papers Qinglin Wang Shandong Normal University, Zhihong Sun Shandong Normal University, Ruyun Wang Institute of Information Engineering, Chinese Academy of Sciences, Tao Huang Shandong Normal University, Zhi Jin Peking University, Ge Li Peking University, Chen Lyu Shandong Normal University
11:30 10m Talk		Amur: Fixing Multi-Resource Leaks Guided by Resource Flow Analysis ASE Research Papers Jinyoung Kim Sungkyunkwan University, Eunseok Lee Sungkyunkwan University
11:40 10m Talk		Automated Repair of OpenID Connect Programs ASE Research Papers Tamjid Al Rahat UCLA, Yanju Chen University of California, San Diego, Yu Feng University of California at Santa Barbara, Yuan Tian
11:50 10m Talk		FlakyGuard: Automatically Fixing Flaky Tests at Industry Scale ASE Research Papers Chengpeng Li University of Texas at Austin, Farnaz Behrang Uber Technologies, August Shi The University of Texas at Austin, Peng Liu Uber Technologies
12:00 10m Talk		LLMPort: Cross-file Patch Porting via Task Decomposition and Self-correction ASE Research Papers Bofei Chen Fudan University, Lei Zhang Fudan University, Peng Deng Fudan University, Nan Wang Fudan University, Haoyu Xu Fudan University, Mingda Guo Fudan Universityv, Yuan Zhang Fudan University, Min Yang Fudan University
12:10 10m Talk		Repairing Leaks in Resource Wrappers ASE Research Papers Sanjay Malakar University of California, Riverside, Martin Kellogg New Jersey Institute of Technology, Michael D. Ernst University of Washington, Manu Sridharan University of California at Riverside Pre-print
12:20 10m Talk		Automatic Fixing of Missing Dependency Errors ASE Research Papers Jun Lyu Nanjing University, He Zhang Nanjing University, Lanxin Yang Nanjing University, Yue Li Nanjing University, Chenxing Zhong Nanjing University, Manuel Rigger National University of Singapore

14:00 - 15:30	Program Analysis 2ASE Research Papers at Grand Hall 4 Chair(s): Raffi Khatchadourian CUNY Hunter College

14:00 10m Talk		Incremental Program Analysis in the Wild: An Empirical Study on Real-World Program Changes ASE Research Papers Xizao Wang Nanjing University, Xiangrong Bin Nanjing University, Lanxin Huang Nanjing University, Shangqing Liu Nanjing University, Jianhua Zhao Nanjing University, China, Lei Bu Nanjing University
14:10 10m Talk		Spinner: Detecting Locking Violations in the eBPF Runtime ASE Research Papers Priya Govindasamy University of California, Irvine, Joseph Bursey University of California, Irvine, Hsin-Wei Hung Meta, Ardalan Amiri Sani University of California, Irvine
14:20 10m Talk		Towards More Accurate Static Analysis for Taint-style Bug Detection in Linux Kernel ASE Research Papers Haonan Li University of California at Riverside, USA, Hang Zhang Indiana University, Kexin Pei The University of Chicago, Zhiyun Qian University of California at Riverside, USA Pre-print
14:30 10m Talk		Automated Insertion of Flushes and Fences for Persistency ASE Research Papers Yutong Guo University of California, Irvine, Weiyu Luo University of California, Irvine, Brian Demsky University of California at Irvine
14:40 10m Talk		DIFFFIX: Incrementally Fixing AST Diffs via Context and Type Information ASE Research Papers Guofeng Zeng University of Science and Technology Beijing, Chang-ai Sun University of Science and Technology Beijing, Kai Gao University of Science and Technology Beijing, Huai Liu Swinburne University of Technology
14:50 10m Talk		Breaking the Traffic Barrier: Unveiling Multi-Format of Protocols via Autonomous Program Exploration ASE Research Papers Dingzhao Xue Institute of Information Engineering of CAS, College of Cyberspace Security, Chinese Academy of Sciences, Yibo Qu Institute of Information Engineering of CAS, College of Cyberspace Security, Chinese Academy of Sciences, Bowen Jiang Institute of Information Engineering of CAS, College of Cyberspace Security, Chinese Academy of Sciences, Xin Chen , Shuaizong Si Institute of Information Engineering of CAS, College of Cyberspace Security, Chinese Academy of Sciences, Shichao Lv Institute of Information Engineering at Chinese Academy of Sciences; University of Chinese Academy of Sciences, Zhiqiang Shi Institute of Information Engineering at Chinese Academy of Sciences; University of Chinese Academy of Sciences, Limin Sun Institute of Information Engineering at Chinese Academy of Sciences; University of Chinese Academy of Sciences
15:00 10m Talk		Loupe: End-to-End Learning of Loop Unrolling Heuristics for Abstract Interpretation ASE Research Papers Maykel Mattar Université Paris-Saclay, CEA, List / Université Bretagne Sud, IRISA, Michele Alberti CEA, LIST, France, Valentin Perrelle CEA, LIST, France, Salah Sadou IRISA & CNRS, Universite Bretagne Sud,France
15:10 10m Talk		Belief Propagation with Local Structure and Its Applications in Program Analysis ASE Research Papers Yiqian Wu Peking University, China, Yifan Chen Peking University, Yingfei Xiong Peking University, Xin Zhang Peking University Pre-print
15:20 10m Talk		On the Correctness of Software Merge ASE Research Papers Akira Mori National Institute of Advanced Industrial Science and Technology (AIST), Masatomo Hashimoto Chiba Institute of Technology Media Attached

16:00 - 17:00	Testing & Analysis 3ASE NIER / ASE Industry Showcase at Grand Hall 4 Chair(s): Seung Yeob Shin University of Luxembourg

16:00 10m Talk		Acceleration of Automotive Software Development by Retrieval Augmented Integration Test Script Generation ASE Industry Showcase Masashi Mizoguchi Hitachi Ltd., Kentaro Yoshimura Hitachi, Ltd., Keita Nakazawa Astemo, Ltd., Yasuomi D. Sato Astemo, Ltd., Takahiro Iida Astemo, Ltd., Fumio Narisawa Astemo, Ltd.
16:10 10m Talk		LLM-Powered Fully Automated Chaos Engineering: Towards Enabling Anyone to Build Resilient Software Systems at Low Cost ASE NIER Daisuke Kikuta NTT, Inc., Hiroki Ikeuchi NTT, Inc., Kengo Tajiri NTT, Inc. Pre-print Media Attached
16:20 10m Talk		Practical Escape of Exploration Tarpits for Mini-Game Testing in an Industrial Setting ASE Industry Showcase Yuan Cao Peking University, Dezhi Ran Peking University, Haochuan Lu Tencent, Chao Guo Tencent Inc., Xuran Hao Peking University, Zhuoru Chen Capital Normal University, Ting Xiong Tencent Inc., Yuetang Deng Tencent, Tao Xie Peking University
16:30 10m Talk		Streamlining Acceptance Test Generation for Mobile Applications Through Large Language Models: An Industrial Case Study ASE Industry Showcase Pedro Luís Fonseca Critical TechWorks and Faculty of Engineering, University of Porto, Bruno Lima LIACC, Faculty of Engineering, University of Porto, João Pascoal Faria Faculty of Engineering, University of Porto and INESC TEC Pre-print
16:40 10m Talk		Context-Sensitive Pointer Analysis for ArkTS ASE Industry Showcase Yizhuo Yang Beihang University, Lingyun Xu Huawei, Mingyi Zhou Beihang University, Li Li Beihang University
16:50 10m Talk		Element-Aware Fine-Tuning of Vision-Language Models for Cost-Efficient GUI Testing in an Industrial Setting ASE Industry Showcase Mengzhou Wu Peking University, Yuzhe Guo Beijing Jiaotong University, Yuan Cao Peking University, Haochuan Lu Tencent, Hengyu Zhang Tencent Inc., Xia Zeng Tencent, Liangchao Yao Tencent Inc., Yuetang Deng Tencent, Dezhi Ran Peking University, Wei Yang UT Dallas, Tao Xie Peking University

Thu 20 Nov
Displayed time zone: Seoul change

08:30 - 10:00	Opening & First KeynoteAgenticSE at Grand Hall 4

08:45 15m Day opening		Welcome and Introduction AgenticSE Maliheh Izadi Delft University of Technology, Michael Pradel CISPA Helmholtz Center for Information Security, Satish Chandra Google, Inc
09:00 60m Keynote		Building Jules, Google's first external coding agent AgenticSE Mehadi Seid Hassen Google, Alexander Mossin

10:30 - 12:30	Session 2AgenticSE at Grand Hall 4

10:30 25m Full-paper		LLMs in Debate: Does Arguing Make Them Better at Detecting Metamorphic Relations? AgenticSE Dibyendu Brinto Bose Virginia Tech, USA , Yoseph Berhanu Alebachew Virginia Tech, Chris Brown Virginia Tech
10:55 25m Full-paper		A 3-Layer Agentic Model for Nonfunctional Requirements in Software Engineering AgenticSE Ehsan Zabardast Nordea / Blekinge Institute of Technology, Tiago Vieira , Tony Gorschek Blekinge Institute of Technology / DocEngineering
11:20 15m Talk		Transforming Natural Language into Formal Specifications AgenticSE Kuangxiangzi Liu , Alexander Liggesmeyer , Dhiman Chakraborty , Andreas Zeller CISPA Helmholtz Center for Information Security
11:35 15m Talk		PRIMA: Enabling User Agency and Control in Mobile GUI Agent Autonomy AgenticSE Ching-Ting Lin , Zhi-Hong Ye , Yung-Ju Chang

14:00 - 15:30	Second Keynote & Session 3AgenticSE at Grand Hall 4

14:00 60m Keynote		Trae Agent: SOTA Open-source AI Coding Agent for SWE-bench AgenticSE Chao Peng ByteDance
15:00 25m Full-paper		Leveraging Large Language Models for Cybersecurity Risk Assessment — A Case from Forestry Cyber-Physical Systems AgenticSE Fikret Mert Gultekin , Oscar Lilja , Ranim Khojah Chalmers University of Technology and University of Gothenburg, Rebekka Wohlrab Chalmers University of Technology, Marvin Damschen , Mazen Mohamad Chalmers \| RISE - Research Institutes of Sweden

16:00 - 18:00	Session 4 & ClosingAgenticSE at Grand Hall 4

16:00 15m Short-paper		AgentGuard: Runtime Verification of AI Agents AgenticSE Roham Koohestani Delft University of Technology
16:15 15m Short-paper		Bridging LLM Planning Agents and Formal Methods: A Case Study in Plan Verification AgenticSE Keshav Ramani J.P. Morgan AI Research, Vali Tawosi J.P. Morgan AI Research, Salwa Alamir J.P. Morgan AI Research, Daniel Borrajo
16:30 25m Talk		The Last Dependency Crusade: Solving Python Dependency Conflicts with LLMs AgenticSE Antony Bartlett TU Delft, The Netherlands, Cynthia C. S. Liem Delft University of Technology, Annibale Panichella Delft University of Technology
17:00 15m Day closing		Wrap-up, acknowledgments, and discussion AgenticSE Maliheh Izadi Delft University of Technology, Michael Pradel CISPA Helmholtz Center for Information Security, Satish Chandra Google, Inc

Sun 16 Nov
Displayed time zone: Seoul change


Room	8:00						30						9:00						30						10:00						30						11:00						30						12:00						30						13:00						30						14:00						30						15:00						30						16:00						30						17:00						30
Grand Hall 4							SSBSE Keynote + SSBSE Research Papers Research 1																								SSBSE Hot-off-the-Press + SSBSE Keynote Hot-off-the-Press & Keynote																																										SSBSE Challenge SSBSE Challenge																								SSBSE RENE/NIER + SSBSE Research Papers + SSBSE Keynote Research 2 & RENE/NIER

Mon 17 Nov
Displayed time zone: Seoul change


Room	11:00						30						12:00						30						13:00						30						14:00						30						15:00						30						16:00						30
Grand Hall 4	ASE Research Papers Efficiency & Fairness 1																																				ASE Research Papers + ASE Journal-First Human & Social Aspects 1																								ASE Industry Showcase + ASE NIER Code Review & Process

Tue 18 Nov
Displayed time zone: Seoul change


Room	8:00						30						9:00						30						10:00						30						11:00						30						12:00						30						13:00						30						14:00						30						15:00						30						16:00						30						17:00						30
Grand Hall 4							Code Completion Challenge Welcome & Doctoral Keynote																														Code Completion Challenge Solutions I																																				Code Completion Challenge Solutions II																								Code Completion Challenge Keynote & Talk from Organizers

Wed 19 Nov
Displayed time zone: Seoul change


Room	11:00						30						12:00						30						13:00						30						14:00						30						15:00						30						16:00						30
Grand Hall 4	ASE Research Papers Program Repair 3																																				ASE Research Papers Program Analysis 2																								ASE NIER + ASE Industry Showcase Testing & Analysis 3

Thu 20 Nov
Displayed time zone: Seoul change


Room	8:00						30						9:00						30						10:00						30						11:00						30						12:00						30						13:00						30						14:00						30						15:00						30						16:00						30						17:00						30
Grand Hall 4							AgenticSE Opening & First Keynote																								AgenticSE Session 2																																										AgenticSE Second Keynote & Session 3																								AgenticSE Session 4 & Closing

Sun 16 Nov
Displayed time zone: Seoul change


Room	8:00			15			30			45			9:00			15			30			45			10:00			15			30			45			11:00			15			30			45			12:00			15			30			45			13:00			15			30			45			14:00			15			30			45			15:00			15			30			45			16:00			15			30			45			17:00			15			30			45
Grand Hall 4							SSBSE Keynote Opening 08:30 - 08:40		SSBSE Research Papers Search-based Hyperparameter Tuning for Python Unit Test Generation 08:40 - 09:00				SSBSE Research Papers Constraint-Guided Unit Test Generation for Machine Learning Libraries 09:00 - 09:20				SSBSE Research Papers LLM-Guided Fuzzing for Pathological Input Generation 09:20 - 09:40				SSBSE Research Papers The Pursuit of Diversity: Multi-Objective Testing of Deep Reinforcement ... 09:40 - 10:00										SSBSE Hot-off-the-Press SSBSE Summary of Search-Based Repair of DNN Controllers of AI-Enabled C ... 10:30 - 10:45			SSBSE Hot-off-the-Press SSBSE Summary of BQTmizer: A Tool for Test Case Minimization with Quant ... 10:45 - 11:00			SSBSE Keynote Keynote: Classical, Quantum, Hybrid, and Beyond: The Changing Landscape ... 11:00 - 12:00																																				SSBSE Challenge Challenge Overview 14:00 - 14:10		SSBSE Challenge GA4GC: Greener Agent for Greener Code via Multi-Objective Configuration ... 14:10 - 14:30				SSBSE Challenge GreenMalloc: Allocator Optimisation for Industrial Workloads 14:30 - 14:50				SSBSE Challenge Fuzz Smarter, Not Harder: Towards Greener Fuzzing with GreenAFL 14:50 - 15:10				SSBSE Challenge HotCat: Green and Effective Feature Selection for HotFix Bug Taxonomy 15:10 - 15:30										SSBSE Research Papers Optimised fitness functions for automated improvement of software's exe ... 16:00 - 16:20				SSBSE Research Papers KrakQL: LLM-Guided Blind Introspection of GraphQL Schemas 16:20 - 16:40				SSBSE Research Papers Search-based Inference of Class Invariants: How far can Simulated Annea ... 16:40 - 17:00				SSBSE RENE/NIER Test Case Generation for Simulink Models: An Experience from the E-Bike ... 17:00 - 17:15					SSBSE Keynote Steering Committee Meeting 17:25 - 17:50					SSBSE Keynote Closing 17:50 - 18:00

Mon 17 Nov
Displayed time zone: Seoul change


Room	11:00			15			30			45			12:00			15			30			45			13:00			15			30			45			14:00			15			30			45			15:00			15			30			45			16:00			15			30			45
Grand Hall 4	ASE Research Papers AutoFid: Adaptive and Noise-Aware Fidelity Measurement for Quantum Prog ... 11:00 - 11:10		ASE Research Papers HybridSIMD: A Super C++ SIMD Library with Integrated Auto-tuning Capabi ... 11:10 - 11:20		ASE Research Papers PEACE: Towards Efficient Project-Level Performance Optimization via Hyb ... 11:20 - 11:30		ASE Research Papers CoTune: Co-evolutionary Configuration Tuning 11:30 - 11:40		ASE Research Papers It's Not Easy Being Green: On the Energy Efficiency of Programming Lang ... 11:40 - 11:50		ASE Research Papers When Faster Isn't Greener: The Hidden Costs of LLM-Based Code Optimization 11:50 - 12:00		ASE Research Papers United We Stand: Towards End-to-End Log-based Fault Diagnosis via Inter ... 12:00 - 12:10		ASE Research Papers Diplomatist: What Do Cross-language Dependencies Reflect Software Ecosy ... 12:10 - 12:20																						ASE Research Papers Why AI Agents Still Need You: Findings from Developer-Agent Collaborati ... 14:00 - 14:10		ASE Research Papers The Cost of Downgrading Build Systems: A Case Study of Kubernetes 14:10 - 14:20		ASE Research Papers Democratizing the Cryptocurrency Ecosystem by Just-In-Time Transformati ... 14:20 - 14:30		ASE Research Papers Advancing Automated Ethical Profiling in SE: a Zero-Shot Evaluation of ... 14:30 - 14:40		ASE Journal-First The Impact of the COVID-19 Pandemic on Women’s Contribution to Public Code 14:40 - 14:50		ASE Research Papers Understanding Feature Request Practice on GitHub via a Large-Scale Empi ... 14:50 - 15:00		ASE Research Papers Interaction2Code: Benchmarking MLLM-based Interactive Webpage Code Gene ... 15:00 - 15:10		ASE Journal-First Engineering Digital Systems for Humanity: a Research Roadmap 15:10 - 15:20		ASE Research Papers Multi-dimensional Assessment of CrowdSourced Testing Reports via LLMs 15:20 - 15:30								ASE Industry Showcase SGCR: A Specification-Grounded Framework for Trustworthy LLM Code Review 16:00 - 16:10		ASE Industry Showcase What Types of Code Review Comments Do Developers Most Frequently Resolve? 16:10 - 16:20		ASE NIER Vessel: A Taxonomy of Reproducibility Issues for Container Images 16:20 - 16:30		ASE NIER From Modules to Marketplaces: A Vision for Composable Capability Sharin ... 16:30 - 16:40		ASE NIER Towards Automated Governance: A DSL for Human-Agent Collaboration in So ... 16:40 - 16:50		ASE Industry Showcase iCodeReviewer: Improving Secure Code Review with Mixture of Prompts 16:50 - 17:00

Tue 18 Nov
Displayed time zone: Seoul change


Room	8:00			15			30			45			9:00			15			30			45			10:00			15			30			45			11:00			15			30			45			12:00			15			30			45			13:00			15			30			45			14:00			15			30			45			15:00			15			30			45			16:00			15			30			45			17:00			15			30			45
Grand Hall 4							Code Completion Challenge Gathering People & Checking Equipment 08:30 - 09:00						Code Completion Challenge Introduction & Agenda for the Day 09:00 - 09:30						Code Completion Challenge Evolving Code Completion 09:30 - 10:30																		Code Completion Challenge SpareCodeSearch: Searching for Code Context When You Have No Spare GPU 11:00 - 11:30						Code Completion Challenge Relative Positioning Based Code Chunking Method For Rich Context Retrie ... 11:30 - 12:00						Code Completion Challenge Beyond More Context: How Granularity and Order Drive Code Completion Qu ... 12:00 - 12:30																								Code Completion Challenge On the Importance of Context Filtering in Retrieval-Augmented Code Comp ... 14:00 - 14:45									Code Completion Challenge Exploration of Structural Code Relationship Space for Context Collection 14:45 - 15:30															Code Completion Challenge Code Assistants: From Code Completion to Coding Agents 16:00 - 17:00												Code Completion Challenge On Organising the Competition 17:00 - 18:00

Wed 19 Nov
Displayed time zone: Seoul change


Room	11:00			15			30			45			12:00			15			30			45			13:00			15			30			45			14:00			15			30			45			15:00			15			30			45			16:00			15			30			45
Grand Hall 4	ASE Research Papers Automated Repair of Ambiguous Problem Descriptions for LLM-Based Code G ... 11:00 - 11:10		ASE Research Papers Fixing Broken Graphs: LLM-Powered Automatic Code Optimization for DNN P ... 11:10 - 11:20		ASE Research Papers SemGuard: Real-Time Semantic Evaluator for Correcting LLM-Generated Code 11:20 - 11:30		ASE Research Papers Amur: Fixing Multi-Resource Leaks Guided by Resource Flow Analysis 11:30 - 11:40		ASE Research Papers Automated Repair of OpenID Connect Programs 11:40 - 11:50		ASE Research Papers FlakyGuard: Automatically Fixing Flaky Tests at Industry Scale 11:50 - 12:00		ASE Research Papers LLMPort: Cross-file Patch Porting via Task Decomposition and Self-corre ... 12:00 - 12:10		ASE Research Papers Repairing Leaks in Resource Wrappers 12:10 - 12:20		ASE Research Papers Automatic Fixing of Missing Dependency Errors 12:20 - 12:30																				ASE Research Papers Incremental Program Analysis in the Wild: An Empirical Study on Real-Wo ... 14:00 - 14:10		ASE Research Papers Spinner: Detecting Locking Violations in the eBPF Runtime 14:10 - 14:20		ASE Research Papers Towards More Accurate Static Analysis for Taint-style Bug Detection in ... 14:20 - 14:30		ASE Research Papers Automated Insertion of Flushes and Fences for Persistency 14:30 - 14:40		ASE Research Papers DIFFFIX: Incrementally Fixing AST Diffs via Context and Type Information 14:40 - 14:50		ASE Research Papers Breaking the Traffic Barrier: Unveiling Multi-Format of Protocols via A ... 14:50 - 15:00		ASE Research Papers Loupe: End-to-End Learning of Loop Unrolling Heuristics for Abstract In ... 15:00 - 15:10		ASE Research Papers Belief Propagation with Local Structure and Its Applications in Program ... 15:10 - 15:20		ASE Research Papers On the Correctness of Software Merge 15:20 - 15:30								ASE Industry Showcase Acceleration of Automotive Software Development by Retrieval Augmented ... 16:00 - 16:10		ASE NIER LLM-Powered Fully Automated Chaos Engineering: Towards Enabling Anyone ... 16:10 - 16:20		ASE Industry Showcase Practical Escape of Exploration Tarpits for Mini-Game Testing in an Ind ... 16:20 - 16:30		ASE Industry Showcase Streamlining Acceptance Test Generation for Mobile Applications Through ... 16:30 - 16:40		ASE Industry Showcase Context-Sensitive Pointer Analysis for ArkTS 16:40 - 16:50		ASE Industry Showcase Element-Aware Fine-Tuning of Vision-Language Models for Cost-Efficient ... 16:50 - 17:00

Thu 20 Nov
Displayed time zone: Seoul change


Room	8:00			15			30			45			9:00			15			30			45			10:00			15			30			45			11:00			15			30			45			12:00			15			30			45			13:00			15			30			45			14:00			15			30			45			15:00			15			30			45			16:00			15			30			45			17:00			15			30			45
Grand Hall 4										AgenticSE Welcome and Introduction 08:45 - 09:00			AgenticSE Building Jules, Google's first external coding agent 09:00 - 10:00																		AgenticSE LLMs in Debate: Does Arguing Make Them Better at Detecting Metamorphic ... 10:30 - 10:55					AgenticSE A 3-Layer Agentic Model for Nonfunctional Requirements in Software Engi ... 10:55 - 11:20					AgenticSE Transforming Natural Language into Formal Specifications 11:20 - 11:35			AgenticSE PRIMA: Enabling User Agency and Control in Mobile GUI Agent Autonomy 11:35 - 11:50																													AgenticSE Trae Agent: SOTA Open-source AI Coding Agent for SWE-bench 14:00 - 15:00												AgenticSE Leveraging Large Language Models for Cybersecurity Risk Assessment — A ... 15:00 - 15:25												AgenticSE AgentGuard: Runtime Verification of AI Agents 16:00 - 16:15			AgenticSE Bridging LLM Planning Agents and Formal Methods: A Case Study in Plan V ... 16:15 - 16:30			AgenticSE The Last Dependency Crusade: Solving Python Dependency Conflicts with LLMs 16:30 - 16:55						AgenticSE Wrap-up, acknowledgments, and discussion 17:00 - 17:15

Room information: Grand Hall 4

Sun 16 Nov
Displayed time zone: Seoul change

Mon 17 Nov
Displayed time zone: Seoul change

Tue 18 Nov
Displayed time zone: Seoul change

Wed 19 Nov
Displayed time zone: Seoul change

Thu 20 Nov
Displayed time zone: Seoul change

Sun 16 Nov
Displayed time zone: Seoul change

SSBSE Keynote + SSBSE Research Papers

SSBSE Hot-off-the-Press + SSBSE Keynote

SSBSE Challenge

SSBSE RENE/NIER + SSBSE Research Papers + SSBSE Keynote

Mon 17 Nov
Displayed time zone: Seoul change

ASE Research Papers

ASE Research Papers + ASE Journal-First

ASE Industry Showcase + ASE NIER

Tue 18 Nov
Displayed time zone: Seoul change

Code Completion Challenge

Code Completion Challenge

Code Completion Challenge

Code Completion Challenge

Wed 19 Nov
Displayed time zone: Seoul change

ASE Research Papers

ASE Research Papers

ASE NIER + ASE Industry Showcase

Thu 20 Nov
Displayed time zone: Seoul change

AgenticSE

AgenticSE

AgenticSE

AgenticSE

Sun 16 Nov
Displayed time zone: Seoul change

Mon 17 Nov
Displayed time zone: Seoul change

Tue 18 Nov
Displayed time zone: Seoul change

Wed 19 Nov
Displayed time zone: Seoul change

Thu 20 Nov
Displayed time zone: Seoul change

Tracks

Room information: Grand Hall 4

Program Display Configuration

Sun 16 NovDisplayed time zone: Seoul change

Mon 17 NovDisplayed time zone: Seoul change

Tue 18 NovDisplayed time zone: Seoul change

Wed 19 NovDisplayed time zone: Seoul change

Thu 20 NovDisplayed time zone: Seoul change

Sun 16 NovDisplayed time zone: Seoul change

SSBSE Keynote + SSBSE Research Papers

SSBSE Hot-off-the-Press + SSBSE Keynote

SSBSE Challenge

SSBSE RENE/NIER + SSBSE Research Papers + SSBSE Keynote

Mon 17 NovDisplayed time zone: Seoul change

ASE Research Papers

ASE Research Papers + ASE Journal-First

ASE Industry Showcase + ASE NIER

Tue 18 NovDisplayed time zone: Seoul change

Code Completion Challenge

Code Completion Challenge

Code Completion Challenge

Code Completion Challenge

Wed 19 NovDisplayed time zone: Seoul change

ASE Research Papers

ASE Research Papers

ASE NIER + ASE Industry Showcase

Thu 20 NovDisplayed time zone: Seoul change

AgenticSE

AgenticSE

AgenticSE

AgenticSE

Sun 16 NovDisplayed time zone: Seoul change

Mon 17 NovDisplayed time zone: Seoul change

Tue 18 NovDisplayed time zone: Seoul change

Wed 19 NovDisplayed time zone: Seoul change

Thu 20 NovDisplayed time zone: Seoul change

Sun 16 Nov
Displayed time zone: Seoul change

Mon 17 Nov
Displayed time zone: Seoul change

Tue 18 Nov
Displayed time zone: Seoul change

Wed 19 Nov
Displayed time zone: Seoul change

Thu 20 Nov
Displayed time zone: Seoul change

Sun 16 Nov
Displayed time zone: Seoul change

Mon 17 Nov
Displayed time zone: Seoul change

Tue 18 Nov
Displayed time zone: Seoul change

Wed 19 Nov
Displayed time zone: Seoul change

Thu 20 Nov
Displayed time zone: Seoul change

Sun 16 Nov
Displayed time zone: Seoul change

Mon 17 Nov
Displayed time zone: Seoul change

Tue 18 Nov
Displayed time zone: Seoul change

Wed 19 Nov
Displayed time zone: Seoul change

Thu 20 Nov
Displayed time zone: Seoul change