Grand Hall 3 - AIware 2025

VenueGrand Walkerhill Seoul

Room nameGrand Hall 3

Floor0

Room InformationNo extra information available

Program

This program is tentative and subject to change.

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	New Faculty Symposium 1ASE New Faculty Symposium at Grand Hall 3 Chair(s): Michael Pradel CISPA Helmholtz Center for Information Security

08:30 45m Talk		Establishing an Ethos for Your Research Group ASE New Faculty Symposium Shane McIntosh University of Waterloo
09:15 45m Talk		Building Up Research Team, Brick by Brick ASE New Faculty Symposium David Lo Singapore Management University

10:30 - 12:30	New Faculty Symposium 2ASE New Faculty Symposium at Grand Hall 3 Chair(s): Michael Pradel CISPA Helmholtz Center for Information Security

10:30 45m Talk		Working and Growing with Students ASE New Faculty Symposium Lingming Zhang University of Illinois at Urbana-Champaign
11:15 60m Panel		Panel discussion (morning) ASE New Faculty Symposium David Lo Singapore Management University, Shane McIntosh University of Waterloo, Lingming Zhang University of Illinois at Urbana-Champaign

14:00 - 15:30	New Faculty Symposium 3ASE New Faculty Symposium at Grand Hall 3 Chair(s): Sukyoung Ryu KAIST

14:00 45m Talk		Practical Tips and Pitfalls: Lessons Learned as a New Faculty ASE New Faculty Symposium Zhongxin Liu Zhejiang University
14:45 45m Talk		Finding Balance in Academic Life ASE New Faculty Symposium Jie M. Zhang King's College London

16:00 - 18:00	New Faculty Symposium 4ASE New Faculty Symposium at Grand Hall 3 Chair(s): Sukyoung Ryu KAIST

16:00 45m Talk		Dealing with failure on your path to success ASE New Faculty Symposium Owolabi Legunsen Cornell University
16:45 60m Panel		Panel discussion (afternoon) ASE New Faculty Symposium Jie M. Zhang King's College London, Zhongxin Liu Zhejiang University, Owolabi Legunsen Cornell University

Mon 17 Nov
Displayed time zone: Seoul change

11:00 - 12:30	Autonomous Driving & VRASE Research Papers / ASE Journal-First Track at Grand Hall 3

11:00 10m Talk		ADPerf: Investigating and Testing Performance in Autonomous Driving Systems ASE Research Papers Tri Minh-Triet Pham Concordia University, Diego Elias Costa Concordia University, Canada, Weiyi Shang University of Waterloo, Jinqiu Yang Concordia University
11:10 10m Talk		VRTestSniffer: Test Smell Detector for Virtual Reality (VR) Software Projects ASE Research Papers Faraz Gurramkonda University of Michigan-Dearborn, Avishak Chakroborty University of Michigan-Dearborn, Bruce Maxim University of Michigan - Dearborn, Mohamed Wiem Mkaouer University of Michigan - Flint, Foyzul Hassan University of Michigan at Dearborn
11:20 10m Talk		A Multi-Modality Evaluation of the Reality Gap in Autonomous Driving Systems ASE Research Papers Stefano Carlo Lambertenghi Technische Universität München, fortiss GmbH, Mirena Flores Valdez Technical University of Munich, Andrea Stocco Technical University of Munich, fortiss Pre-print
11:30 10m Talk		On the Robustness Evaluation of 3D Obstacle Detection Against Specifications in Autonomous Driving ASE Research Papers Tri Minh-Triet Pham Concordia University, Bo Yang Concordia University, Jinqiu Yang Concordia University
11:40 10m Talk		TARGET: Traffic Rule-Based Test Generation for Autonomous Driving via Validated LLM-Guided Knowledge Extraction ASE Journal-First Track Yao Deng Macquarie University, Zhi Tu Purdue University, Jiaohong Yao Macquarie University, Mengshi Zhang TensorBlock, Tianyi Zhang Purdue University, Xi Zheng Macquarie University
11:50 10m Talk		IMUFUZZER: Resilience-based Discovery of Signal Injection Attacks on Robotic Aerial Vehicles ASE Research Papers Sudharssan Mohan University of Texas at Dallas, Kyeongseok Yang Korea University, Zelun Kong The University of Texas at Dallas, Yonghwi Kwon University of Maryland, Junghwan Rhee University of Central Oklahoma, Tyler Summers University of Texas at Dallas, Hongjun Choi DGIST, Heejo Lee Korea University, Chung Hwan Kim University of Texas at Dallas
12:00 10m Talk		Argus: Resilience-Oriented Safety Assurance Framework for End-to-End ADSs ASE Research Papers Dingji Wang Fudan University, You Lu Fudan University, Bihuan Chen Fudan University, Shuo Hao Fudan University, Haowen Jiang Fudan University, China, Yifan Tian Fudan University, Xin Peng Fudan University
12:10 10m Research paper		VRExplorer: A Model-based Approach for Automated Virtual Reality Scene Testing ASE Research Papers Zhu Zhengyang Sun Yat-sen University, Hong-Ning Dai Hong Kong Baptist University, Hanyang Guo School of Software Engineering, Sun Yat-sen University, Zeqin Liao Sun Yat-sen University, Zibin Zheng Sun Yat-sen University Pre-print
12:20 10m Talk		When Autonomous Vehicle Meets V2X Cooperative Perception: How Far Are We? ASE Research Papers An Guo Nanjing University, Shuoxiao Zhang Nanjing University, Enyi Tang Nanjing University, Xinyu Gao , Haomin Pang Guangzhou University, Haoxiang Tian Nanyang Technological University, Singapore, Yanzhou Mu , Wu Wen Guangzhou University, Chunrong Fang Nanjing University, Zhenyu Chen Nanjing University Pre-print

14:00 - 15:30	Formal Method & Verification 1ASE Research Papers at Grand Hall 3

14:00 10m Talk		ScaleCirc: Scaling the Analysis over Circom Circuits ASE Research Papers Jinan Jiang The Hong Kong Polytechnic University, Haoran Qin The Hong Kong Polytechnic University, Xiapu Luo Hong Kong Polytechnic University
14:10 10m Talk		Improving NLSAT for Nonlinear Real Arithmetic ASE Research Papers Zhonghan Wang Institute of Software, Chinese Academy of Sciences Pre-print
14:20 10m Talk		Bridging Natural Language and Formal Specification - Automated Translation of Software Requirements to LTL via Hierarchical Semantics Decomposition Using LLMs ASE Research Papers Zhi Ma Xidian University, Xin-Cheng Wen Harbin Institute of Technology, Zhexin Su Xidian University, Xiao Liang Yu National University of Singapore, Cong Tian Xidian University, Shengchao Qin Xidian University, Mengfei Yang China Academy of Space Technology
14:30 10m Talk		Diagnosing Performance Differences in Model Checkers via Runtime-Guided Problem Generation ASE Research Papers Yibo Dong National University of Singapore, Yicong Xu East China Normal University, Wenjing Deng East China Normal University, Yu Chen Chuzhou University, Xiaoyu Zhang East China Normal University, Jianwen Li East China Normal University, China, Chengyu Zhang Loughborough University, Geguang Pu East China Normal University, China
14:40 10m Talk		VERT: Polyglot Verified Equivalent Rust Transpilation with Large Language Models ASE Research Papers Aidan Z.H. Yang Carnegie Mellon University, Yoshiki Takashima Yale Law School, Brandon Paulsen Amazon, Joey Dodds Amazon, Daniel Kroening Amazon
14:50 10m Talk		Agentic Specification Generator for Move Programs ASE Research Papers Yu-Fu Fu Georgia Institute of Technology, Meng Xu University of Waterloo, Taesoo Kim Georgia Institute of Technology Pre-print
15:00 10m Talk		How Big is the Automaton? Certified Lower Bounds on the Size of Presburger DFAs ASE Research Papers Nicolas Amat ONERA - The French Aerospace Lab, Pierre Ganty IMDEA Software Institute, Spain, Alessio Mansutti IMDEA Software Institute
15:10 10m Talk		Non-termination Witnesses and their Validation ASE Research Papers Zsófia Ádám Department of Measurement and Information Systems, Budapest University of Technology and Economics, Paulína Ayaziová Masaryk University, Czechia, Levente Bajczi Budapest University of Technology and Economics, Dirk Beyer LMU Munich, Marek Jankola LMU Munich, Marian Lingsch-Rosenfeld LMU Munich, Jan Strejcek Masaryk University
15:20 10m Talk		PAT-Agent: Autoformalization for Model Checking ASE Research Papers Xinyue Zuo National University of Singapore, Yifan Zhang National University of Singapore, Hongshu Wang National University of Singapore, Yufan Cai National University of Singapore, Zhe Hou Griffith University, Jing Sun School of Computer Science, University of Auckland, Jin Song Dong National University of Singapore

16:00 - 17:00	Autonomous SystemsASE NIER Track / ASE Industry Showcase at Grand Hall 3

16:00 10m Talk		Human-In-The-Loop Oracle Learning for Simulation-Based Testing ASE NIER Track Ben-Hau Chia Carnegie Mellon University, Eunsuk Kang Carnegie Mellon University, Christopher Steven Timperley Carnegie Mellon University
16:10 10m Talk		Taming Uncertainty via Automation: Observing, Analyzing, and Optimizing Agentic AI Systems ASE NIER Track Dany Moshkovich IBM Research, Sergey Zeltyn IBM Research
16:20 10m Talk		Out of Distribution Detection in Self-adaptive Robots with AI-powered Digital Twins ASE Industry Showcase Erblin Isaku Simula Research Laboratory, and University of Oslo (UiO), Hassan Sartaj Simula Research Laboratory, Shaukat Ali Simula Research Laboratory and Oslo Metropolitan University, Beatriz Sanguino Norwegian University of Science and Technology, Tongtong Wang Norwegian University of Science and Technology, Guoyuan Li Norwegian University of Science and Technology, Houxiang Zhang Norwegian University of Science and Technology, Thomas Peyrucain PAL Robotics
16:30 10m Talk		Unseen Data Detection using Routing Entropy in Mixture-of-Experts for Autonomous Vehicles ASE NIER Track Sang In Lee Chungnam Naitional University, Donghwan Shin University of Sheffield, Jihun Park Chungnam National University Pre-print
16:40 10m Talk		Evaluating Large Language Models for Time Series Anomaly Detection in Aerospace Software ASE Industry Showcase Yang Liu Beijing Institute of Control Engineering, Yixing Luo Beijing Institute of Control Engineering, Xiaofeng Li Beijing Institute of Control Engineering, Xiaogang Dong Beijing Institute of Control Engineering, Bin Gu Beijing Institute of Control Engineering, Zhi Jin Peking University
16:50 10m Talk		Bridging Research and Practice in Simulation-based Testing of Industrial Robot Navigation Systems ASE Industry Showcase Sajad Khatiri Università della Svizzera italiana and University of Bern, Francisco Eli Vi˜na Barrientos ANYbotics AG, Maximilian Wulf ANYbotics AG, Paolo Tonella USI Lugano, Sebastiano Panichella University of Bern Pre-print

Tue 18 Nov
Displayed time zone: Seoul change

11:00 - 12:30	Formal Method & Verification 2ASE Research Papers at Grand Hall 3

11:00 10m Talk		SMTgazer: Learning to Schedule SMT Algorithms via Bayesian Optimization ASE Research Papers Chuan Luo Beihang University, Shaoke Cui Beihang University, Jianping Song Beihang University, Xindi Zhang State Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences, China, Wei Wu Central South University; Xiangjiang Laboratory, Chanjuan Liu Dalian University of Technology, Shaowei Cai Institute of Software at Chinese Academy of Sciences, Chunming Hu Beihang University
11:10 10m Talk		Efficient and Verifiable Proof Logging for MaxSAT Solving ASE Research Papers Raoul van Doren ETH Zurich, Timos Antonopoulos Yale University, Ruzica Piskac Yale University
11:20 10m Talk		Destabilizing Neurons to Generate Challenging Neural Network Verification Benchmarks ASE Research Papers Linhan Li George Mason University, ThanhVu Nguyen George Mason University
11:30 10m Talk		RELIA: Accelerating Analysis of Cloud Access Control Policies ASE Research Papers Dan Wang Xi'an Jiaotong University, Peng Zhang Xi'an Jiaotong University, Zhenrong Gu Xi'an Jiaotong University, Weibo Lin Huawei Cloud, Shibiao Jiang Huawei Cloud, Zhu He Huawei Cloud, Xu Du Huawei Cloud, Longfei Chen Huawei Cloud, Jun Li Huawei, Xiaohong Guan Xi'an Jiaotong University
11:40 10m Talk		Evolution-Aware Heuristics for GR(1) Realizability Checking ASE Research Papers Dor Ma'ayan Tel Aviv University, Shahar Maoz Tel Aviv University, Jan Oliver Ringert Bauhaus-University Weimar Pre-print
11:50 10m Talk		Programmers’ Visual Attention on Function Call Graphs During Code Summarization ASE Research Papers Samantha McLoughlin Vanderbilt University, Zachary Karas Vanderbilt University, Robert Wallace University of Notre Dame, Aakash Bansal Louisiana State University, Collin McMillan University of Notre Dame, Yu Huang Vanderbilt University
12:00 10m Talk		LLM-Assisted Synthesis of High-Assurance C Programs ASE Research Papers Prasita Mukherjee Purdue University, Minghai Lu Purdue University, Benjamin Delaware Purdue University Pre-print
12:10 10m Talk		Faster Runtime Verification during Testing via Feedback-Guided Selective Monitoring ASE Research Papers Shinhae Kim Cornell University, Saikat Dutta Cornell University, Owolabi Legunsen Cornell University
12:20 10m Talk		Uncovering Discrimination Clusters: Quantifying and Explaining Systematic Fairness Violations ASE Research Papers Ranit Debnath Akash University of Illinois Chicago, Ashish Kumar Pennsylvania State University, Verya Monjezi University of Texas at El Paso, Ashutosh Trivedi University of Colorado Boulder, Gang (Gary) Tan Pennsylvania State University, Saeid Tizpaz-Niari University of Illinois Chicago

14:00 - 15:30	Maintenance & Evolution 1ASE Research Papers / ASE Journal-First Track at Grand Hall 3

14:00 10m Talk		Enhancing LLMs with Staged Grouping and Dehallucination for Header File Decomposition ASE Research Papers Yue Wang Peking University, Jiaxuan Sun Peking University, Yanzhen Zou Peking University, Bing Xie Peking University
14:10 10m Research paper		Speculative Automated Refactoring of Imperative Deep Learning Programs to Graph Execution ASE Research Papers Raffi Khatchadourian CUNY Hunter College, Tatiana Castro Vélez University of Puerto Rico, Rio Piedras Campus, Mehdi Bagherzadeh Oakland University, Nan Jia City University of New York (CUNY) Graduate Center, Anita Raja City University of New York (CUNY) Hunter College Pre-print Media Attached
14:20 10m Talk		An Empirical Study of Python Library Migration Using Large Language Models ASE Research Papers Mohayeminul Islam University of Alberta, Ajay Jha North Dakota State University, May Mahmoud New York University Abu Dhabi, Ildar Akhmetov Northeastern University, Sarah Nadi New York University Abu Dhabi
14:30 10m Talk		Measuring the Impact of Predictive Models on the Software Project: A Cost, Service Time, and Risk Evaluation of a Metric-based Defect Severity Prediction Model ASE Journal-First Track Umamaheswara Sharma B National Institute of Technology, Calicut, Ravichandra Sadam National Institute of Technology Warangal
14:40 10m Talk		Demystifying the Evolution of Neural Networks with BOM Analysis: Insights from a Large-Scale Study of 55,997 GitHub Repositories ASE Research Papers xiaoning ren , Yuhang Ye University of Science and Technology of China, Xiongfei Wu University of Luxembourg, Yueming Wu Huazhong University of Science and Technology, Yinxing Xue Institute of AI for Industries, Chinese Academy of Sciences
14:50 10m Talk		Fact-Aligned and Template-Constrained Static Analyzer Rule Enhancement with LLMs ASE Research Papers Zongze Jiang Huazhong University of Science and Technology, Ming Wen Huazhong University of Science and Technology, Ge Wen Huazhong University of Science and Technology, Hai Jin Huazhong University of Science and Technology
15:00 10m Talk		MCTS-Refined CoT: High-Quality Fine-Tuning Data for LLM-Based Repository Issue Resolution ASE Research Papers Yibo Wang Northeastern University, Zhihao Peng Northeastern University, Ying Wang Northeastern University, Zhao Wei Tencent, Hai Yu Northeastern University, China, Zhiliang Zhu Northeastern University, China
15:10 10m Talk		Software Reconfiguration in Robotics ASE Journal-First Track Patrizio Pelliccione Gran Sasso Science Institute, L'Aquila, Italy, Sven Peldszus IT University of Copenhagen, Davide Brugali University of Bergamo, Italy, Daniel Strüber Chalmers \| University of Gothenburg / Radboud University, Thorsten Berger Ruhr University Bochum
15:20 10m Talk		CROSS2OH: Enabling Seamless Porting of C/C++ Software Libraries to OpenHarmony ASE Research Papers Qian Zhang University of California at Riverside, Li Tsz On The Hong Kong University of Science and Technology, Ying Wang Northeastern University, Li Li Beihang University, Shing-Chi Cheung Hong Kong University of Science and Technology

16:00 - 16:50	Human and Social Aspects 2ASE NIER Track / ASE Industry Showcase at Grand Hall 3

16:00 10m Talk		The Future of Software Transparency: Bridging Understanding, Measurement, and Practice ASE NIER Track Gregorio Dalia University of Sannio, Annibale Panichella Delft University of Technology, Andrea Di Sorbo University of Sannio, Gerardo Canfora University of Sannio, Corrado A. Visaggio University of Sannio, Italy
16:10 10m Talk		CodeACT-R: A Cognitive Simulation Framework for Human Attention in Code Reading ASE NIER Track Yueke Zhang Vanderbilt University, Zihan Fang Vanderbilt University, Greg Trafton Naval Research Laboratory, Daniel Levin Vanderbilt University, Kevin Leach Vanderbilt University, Yu Huang Vanderbilt University
16:20 10m Talk		Towards Reliable LLM-based Exam Generation. Lessons Learned and Open Challenges in an Industrial Project ASE Industry Showcase Renzo Degiovanni Luxembourg Institute of Science and Technology, Jordi Cabot Luxembourg Institute of Science and Technology
16:30 10m Talk		Tether: A Personalized Support Assistant for Software Engineers with ADHD ASE NIER Track Aarsh Shah University of Calgary, Cleyton Magalhaes Universidade Federal Rural de Pernambuco, Kiev Gama Universidade Federal de Pernambuco, Ronnie de Souza Santos University of Calgary
16:40 10m Talk		Autonomous Agents for Accessibility: Simulating Visual Impairments in Web Interfaces ASE NIER Track Juan Diego Yepes-Parra Universidad de los Andes, Colombia, Camilo Escobar-Velásquez Universidad de los Andes, Colombia

Wed 19 Nov
Displayed time zone: Seoul change

11:00 - 12:30	Maintenance & Evolution 3ASE Research Papers / ASE Journal-First Track at Grand Hall 3

11:00 10m Talk		Automated Inline Comment Smell Detection and Repair with Large Language Models ASE Research Papers Hatice Kübra Çağlar Bilkent University, Semih Çağlar Bilkent University, Eray Tüzün Bilkent University Pre-print
11:10 10m Talk		What’s DAT Smell? Untangling and Weaving the Disjoint Assertion Tangle Test Smell ASE Research Papers Monil Narang University of California, Irvine, Hang Du University of California at Irvine, James Jones University of California at Irvine Pre-print
11:20 10m Talk		Your Build Scripts Stink: The State of Code Smells in Build Scripts ASE Research Papers Mahzabin Tamanna North Carolina State University, Yash Chandrani North Carolina State University, Matthew Burrows North Carolina State University, Brandon Wroblewski North Carolina State University, Dominik Wermke North Carolina State University, Laurie Williams North Carolina State University
11:30 10m Talk		Do Experts Agree About Smelly Infrastructure? ASE Journal-First Track Sogol Masoumzadeh Mcgill University, Nuno Saavedra INESC-ID and IST, University of Lisbon, Rungroj Maipradit University of Waterloo, Lili Wei McGill University, João F. Ferreira INESC-ID and IST, University of Lisbon, Daniel Varro Linköping University / McGill University, Shane McIntosh University of Waterloo
11:40 10m Talk		Wired for Reuse: Automating Context-Aware Code Adaptation in IDEs via LLM-Based Agent ASE Research Papers Taiming Wang Beijing Institute of Technology, Yanjie Jiang Peking University, Chunhao Dong Beijing Institute of Technology, Yuxia Zhang Beijing Institute of Technology, Hui Liu Beijing Institute of Technology
11:50 10m Talk		BinStruct: Binary Structure Recovery Combining Static Analysis and Semantics ASE Research Papers Yiran Zhang , Zhengzi Xu Imperial Global Singapore, Zhe Lang Institute of Information Engineering, CAS, CHENGYUE LIU , Yuqiang Sun Nanyang Technological University, Wenbo Guo School of Cyber Science and Engineering, Sichuan University, Chengwei Liu Nanyang Technological University, Weisong Sun Nanyang Technological University, Yang Liu Nanyang Technological University
12:00 10m Talk		SateLight: A Satellite Application Update Framework for Satellite Computing ASE Research Papers Jinfeng Wen Beijing University of Posts and Telecommunications, Jianshu Zhao Beijing University of Posts and Telecommunications, Zixi Zhu Beijing University of Posts and Telecommunications, Xiaomin Zhang Beijing University of Posts and Telecommunications, Qi Liang Beijing University of Posts and Telecommunications, Ao Zhou Beijing University of Posts and Telecommunications, Shangguang Wang Beijing University of Posts and Telecommunications
12:10 10m Talk		ComCat: Expertise-Guided Context Generation to Enhance Code Comprehension ASE Journal-First Track Skyler Grandel Vanderbilt University, Scott Andersen National Autonomous University of Mexico, Yu Huang Vanderbilt University, Kevin Leach Vanderbilt University
12:20 10m Talk		AdaptEval: A Benchmark for Evaluating Large Language Models on Code Snippet Adaptation ASE Research Papers Tanghaoran Zhang National University of Defense Technology, Xinjun Mao National University of Defense Technology, Shangwen Wang National University of Defense Technology, Yuxin Zhao Key Laboratory of Software Engineering for Complex Systems, National University of Defense Technology, Yao Lu National University of Defense Technology, Jin Zhang Hunan Normal University, Zhang Zhang Key Laboratory of Software Engineering for Complex Systems, National University of Defense Technology, Kang Yang National University of Defense Technology, Yue Yu PengCheng Lab

14:00 - 15:30	Web & Mobile Systems 2ASE Research Papers / ASE Journal-First Track at Grand Hall 3

14:00 10m Talk		Adaptive and accessible user interfaces for seniors through model-driven engineering ASE Journal-First Track Shavindra Wickramathilaka Monash University, John Grundy Monash University, Kashumi Madampe Monash University, Australia, Omar Haggag Monash University, Australia Link to publication DOI
14:10 10m Talk		AppBDS: LLM-Powered Description Synthesis for Sensitive Behaviors in Mobile Apps ASE Research Papers Zichen Liu Arizona State University, Xusheng Xiao Arizona State University
14:20 10m Talk		Large Language Models for Automated Web-Form-Test Generation: An Empirical Study ASE Journal-First Track Tao Li Macau University of Science and Technology, Chenhui Cui Macau University of Science and Technology, Rubing Huang Macau University of Science and Technology (M.U.S.T.), Dave Towey University of Nottingham Ningbo China, Lei Ma The University of Tokyo & University of Alberta
14:30 10m Talk		Beyond Static GUI Agent: Evolving LLM-based GUI Testing via Dynamic Memory ASE Research Papers Mengzhuo Chen Institute of Software, Chinese Academy of Sciences, Zhe Liu Institute of Software, Chinese Academy of Sciences, Chunyang Chen TU Munich, Junjie Wang Institute of Software at Chinese Academy of Sciences, Yangguang Xue University of Chinese Academy of Sciences, Boyu Wu Institute of Software at Chinese Academy of Sciences, Yuekai Huang Institute of Software, Chinese Academy of Sciences, Libin Wu Institute of Software Chinese Academy of Sciences, Qing Wang Institute of Software at Chinese Academy of Sciences
14:40 10m Talk		Who's to Blame? Rethinking the Brittleness of Automated Web GUI Testing from a Pragmatic Perspective ASE Research Papers Haonan Zhang University of Waterloo, Kundi Yao University of Waterloo, Zishuo Ding The Hong Kong University of Science and Technology (Guangzhou), Lizhi Liao Memorial University of Newfoundland, Weiyi Shang University of Waterloo
14:50 10m Talk		LLM-Cure: LLM-based Competitor User Review Analysis for Feature Enhancement ASE Journal-First Track Maram Assi Université du Québec à Montréal, Safwat Hassan University of Toronto, Ying Zou Queen's University, Kingston, Ontario
15:00 10m Talk		MIMIC: Integrating Diverse Personality Traits for Better Game Testing Using Large Language Model ASE Research Papers Yifei Chen McGill University, Sarra Habchi Cohere, Canada, Lili Wei McGill University Link to publication Pre-print
15:10 10m Talk		Debun: Detecting Bundled JavaScript Libraries on Web using Property-Order Graphs ASE Research Papers Seojin Kim North Carolina State University, Sungmin Park Korea University, Jihyeok Park Korea University
15:20 10m Talk		GUIFuzz++: Unleashing Grey-box Fuzzing on Desktop Graphical User Interfacing Applications ASE Research Papers Dillon Otto University of Utah, Tanner Rowlett University of Utah, Stefan Nagy University of Utah Pre-print

16:00 - 16:50	Requirement EngineeringASE NIER Track / ASE Industry Showcase at Grand Hall 3

16:00 10m Talk		Envisioning Intelligent Requirements Engineering via Knowledge-Guided Multi-Agent Collaboration ASE NIER Track Jiangping Huang Chongqing University of Posts and Telecommunications, Dongming Jin Peking University, China, Weisong Sun Nanyang Technological University, Yang Liu Nanyang Technological University, Zhi Jin Peking University
16:10 10m Talk		Uncovering Systematic Failures of LLMs in Verifying Code Against Natural Language Specifications ASE NIER Track Haolin Jin The University of Sydney, Huaming Chen The University of Sydney
16:20 10m Talk		Multi-Modal Requirements Data-based Acceptance Criteria Generation using LLMs ASE Industry Showcase Fanyu Wang Monash University, Chetan Arora Monash University, Yonghui Liu Australian National University, Kaicheng Huang Monash University, Kla Tantithamthavorn Monash University and Atlassian, Aldeida Aleti Monash University, Dishan Sambathkumar eSolutions, Monash University, David Lo Singapore Management University
16:30 10m Talk		Detecting and Repairing Incomplete Software Requirements with Multi-LLM Ensembles ASE NIER Track Mohamad Kassab Boston University, USA, Marwan AbdElhameed New York University Abu Dhabi
16:40 10m Talk		Linguistic Theories Coincide with Misformalization in Temporal Logic ASE NIER Track Colin Gordon Drexel University

Thu 20 Nov
Displayed time zone: Seoul change

08:30 - 10:00	Doctoral Symposium 1ASE Doctoral Symposium at Grand Hall 3

09:00 15m Day opening		Opening ASE Doctoral Symposium Xiaoyuan Xie Wuhan University, Ben Hermann TU Dortmund
09:15 45m Talk		Which Path Should I Take? Navigating Your Journey to a PhD ASE Doctoral Symposium Jürgen Cito TU Wien

10:30 - 12:30	Doctoral Symposium 2ASE Doctoral Symposium at Grand Hall 3

10:30 45m Talk		Human-Centered Evaluation of REST API Fuzzing Tools: Bridging Academia and Industry ASE Doctoral Symposium Fanny Febriani Susilo Kristiania University of Applied Sciences
11:15 45m Talk		Testing Autonomous Driving Systems Through Blind-Spot Guided Fuzzing ASE Doctoral Symposium Sali Moussa Chang'an University
12:00 30m Other		Ask us anything ASE Doctoral Symposium

14:00 - 15:30	Doctoral Symposium 3ASE Doctoral Symposium at Grand Hall 3

14:00 45m Talk		Beyond the Paper: Publishing, Artifacts, and Collaboration in Today's Research Ecosystem ASE Doctoral Symposium Eric Bodden Heinz Nixdorf Institute at Paderborn University; Fraunhofer IEM
14:45 45m Talk		Detecting and Mitigating Inconsistencies Between Code, Documentation and Tests ASE Doctoral Symposium Tobias Kiecker Humboldt-Universität zu Berlin

16:00 - 18:00	Doctoral Symposium 4ASE Doctoral Symposium at Grand Hall 3

16:00 45m Talk		Secure Transaction Semantics: Analysis, Vulnerability Detection, and Attack Modeling ASE Doctoral Symposium Yixuan Liu Nanyang Technological University
16:45 45m Talk		Improving Quality of LLM Code Generation in Low-Resource Programming Languages via Uncertainty Estimation ASE Doctoral Symposium Georgii Andriushchenko Innopolis University
17:30 15m Day closing		Closing ASE Doctoral Symposium Xiaoyuan Xie Wuhan University, Ben Hermann TU Dortmund

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 3							ASE New Faculty Symposium New Faculty Symposium 1																		ASE New Faculty Symposium						ASE New Faculty Symposium New Faculty Symposium 2																																										ASE New Faculty Symposium New Faculty Symposium 3																		ASE New Faculty Symposium						ASE New Faculty Symposium New Faculty Symposium 4

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 3	ASE Research Papers + ASE Journal-First Track Autonomous Driving & VR																																				ASE Research Papers Formal Method & Verification 1																								ASE NIER Track + ASE Industry Showcase Autonomous Systems

Tue 18 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 3	ASE Research Papers Formal Method & Verification 2																																				ASE Research Papers + ASE Journal-First Track Maintenance & Evolution 1																								ASE NIER Track + ASE Industry Showcase Human and Social Aspects 2

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 3	ASE Research Papers + ASE Journal-First Track Maintenance & Evolution 3																																				ASE Research Papers + ASE Journal-First Track Web & Mobile Systems 2																								ASE NIER Track + ASE Industry Showcase Requirement Engineering

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 3							ASE Doctoral Symposium Doctoral Symposium 1																								ASE Doctoral Symposium Doctoral Symposium 2																																										ASE Doctoral Symposium Doctoral Symposium 3																								ASE Doctoral Symposium Doctoral Symposium 4

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 3							ASE New Faculty Symposium Establishing an Ethos for Your Research Group 08:30 - 09:15									ASE New Faculty Symposium Building Up Research Team, Brick by Brick 09:15 - 10:00															ASE New Faculty Symposium Working and Growing with Students 10:30 - 11:15									ASE New Faculty Symposium Panel discussion (morning) 11:15 - 12:15																																	ASE New Faculty Symposium Practical Tips and Pitfalls: Lessons Learned as a New Faculty 14:00 - 14:45									ASE New Faculty Symposium Finding Balance in Academic Life 14:45 - 15:30															ASE New Faculty Symposium Dealing with failure on your path to success 16:00 - 16:45									ASE New Faculty Symposium Panel discussion (afternoon) 16:45 - 17:45

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 3	ASE Research Papers ADPerf: Investigating and Testing Performance in Autonomous Driving Systems 11:00 - 11:10		ASE Research Papers VRTestSniffer: Test Smell Detector for Virtual Reality (VR) Software Pr ... 11:10 - 11:20		ASE Research Papers A Multi-Modality Evaluation of the Reality Gap in Autonomous Driving Sy ... 11:20 - 11:30		ASE Research Papers On the Robustness Evaluation of 3D Obstacle Detection Against Specifica ... 11:30 - 11:40		ASE Journal-First Track TARGET: Traffic Rule-Based Test Generation for Autonomous Driving via V ... 11:40 - 11:50		ASE Research Papers IMUFUZZER: Resilience-based Discovery of Signal Injection Attacks on Ro ... 11:50 - 12:00		ASE Research Papers Argus: Resilience-Oriented Safety Assurance Framework for End-to-End ADSs 12:00 - 12:10		ASE Research Papers VRExplorer: A Model-based Approach for Automated Virtual Reality Scene ... 12:10 - 12:20		ASE Research Papers When Autonomous Vehicle Meets V2X Cooperative Perception: How Far Are We? 12:20 - 12:30																				ASE Research Papers ScaleCirc: Scaling the Analysis over Circom Circuits 14:00 - 14:10		ASE Research Papers Improving NLSAT for Nonlinear Real Arithmetic 14:10 - 14:20		ASE Research Papers Bridging Natural Language and Formal Specification - Automated Translat ... 14:20 - 14:30		ASE Research Papers Diagnosing Performance Differences in Model Checkers via Runtime-Guided ... 14:30 - 14:40		ASE Research Papers VERT: Polyglot Verified Equivalent Rust Transpilation with Large Langua ... 14:40 - 14:50		ASE Research Papers Agentic Specification Generator for Move Programs 14:50 - 15:00		ASE Research Papers How Big is the Automaton? Certified Lower Bounds on the Size of Presbur ... 15:00 - 15:10		ASE Research Papers Non-termination Witnesses and their Validation 15:10 - 15:20		ASE Research Papers PAT-Agent: Autoformalization for Model Checking 15:20 - 15:30								ASE NIER Track Human-In-The-Loop Oracle Learning for Simulation-Based Testing 16:00 - 16:10		ASE NIER Track Taming Uncertainty via Automation: Observing, Analyzing, and Optimizing ... 16:10 - 16:20		ASE Industry Showcase Out of Distribution Detection in Self-adaptive Robots with AI-powered D ... 16:20 - 16:30		ASE NIER Track Unseen Data Detection using Routing Entropy in Mixture-of-Experts for A ... 16:30 - 16:40		ASE Industry Showcase Evaluating Large Language Models for Time Series Anomaly Detection in A ... 16:40 - 16:50		ASE Industry Showcase Bridging Research and Practice in Simulation-based Testing of Industria ... 16:50 - 17:00

Tue 18 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 3	ASE Research Papers SMTgazer: Learning to Schedule SMT Algorithms via Bayesian Optimization 11:00 - 11:10		ASE Research Papers Efficient and Verifiable Proof Logging for MaxSAT Solving 11:10 - 11:20		ASE Research Papers Destabilizing Neurons to Generate Challenging Neural Network Verificati ... 11:20 - 11:30		ASE Research Papers RELIA: Accelerating Analysis of Cloud Access Control Policies 11:30 - 11:40		ASE Research Papers Evolution-Aware Heuristics for GR(1) Realizability Checking 11:40 - 11:50		ASE Research Papers Programmers’ Visual Attention on Function Call Graphs During Code Summa ... 11:50 - 12:00		ASE Research Papers LLM-Assisted Synthesis of High-Assurance C Programs 12:00 - 12:10		ASE Research Papers Faster Runtime Verification during Testing via Feedback-Guided Selectiv ... 12:10 - 12:20		ASE Research Papers Uncovering Discrimination Clusters: Quantifying and Explaining Systemat ... 12:20 - 12:30																				ASE Research Papers Enhancing LLMs with Staged Grouping and Dehallucination for Header File ... 14:00 - 14:10		ASE Research Papers Speculative Automated Refactoring of Imperative Deep Learning Programs ... 14:10 - 14:20		ASE Research Papers An Empirical Study of Python Library Migration Using Large Language Models 14:20 - 14:30		ASE Journal-First Track Measuring the Impact of Predictive Models on the Software Project: A Co ... 14:30 - 14:40		ASE Research Papers Demystifying the Evolution of Neural Networks with BOM Analysis: Insigh ... 14:40 - 14:50		ASE Research Papers Fact-Aligned and Template-Constrained Static Analyzer Rule Enhancement ... 14:50 - 15:00		ASE Research Papers MCTS-Refined CoT: High-Quality Fine-Tuning Data for LLM-Based Repositor ... 15:00 - 15:10		ASE Journal-First Track Software Reconfiguration in Robotics 15:10 - 15:20		ASE Research Papers CROSS2OH: Enabling Seamless Porting of C/C++ Software Libraries to Open ... 15:20 - 15:30								ASE NIER Track The Future of Software Transparency: Bridging Understanding, Measuremen ... 16:00 - 16:10		ASE NIER Track CodeACT-R: A Cognitive Simulation Framework for Human Attention in Code ... 16:10 - 16:20		ASE Industry Showcase Towards Reliable LLM-based Exam Generation. Lessons Learned and Open Ch ... 16:20 - 16:30		ASE NIER Track Tether: A Personalized Support Assistant for Software Engineers with ADHD 16:30 - 16:40		ASE NIER Track Autonomous Agents for Accessibility: Simulating Visual Impairments in W ... 16:40 - 16:50

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 3	ASE Research Papers Automated Inline Comment Smell Detection and Repair with Large Language ... 11:00 - 11:10		ASE Research Papers What’s DAT Smell? Untangling and Weaving the Disjoint Assertion Tangle ... 11:10 - 11:20		ASE Research Papers Your Build Scripts Stink: The State of Code Smells in Build Scripts 11:20 - 11:30		ASE Journal-First Track Do Experts Agree About Smelly Infrastructure? 11:30 - 11:40		ASE Research Papers Wired for Reuse: Automating Context-Aware Code Adaptation in IDEs via L ... 11:40 - 11:50		ASE Research Papers BinStruct: Binary Structure Recovery Combining Static Analysis and Sema ... 11:50 - 12:00		ASE Research Papers SateLight: A Satellite Application Update Framework for Satellite Computing 12:00 - 12:10		ASE Journal-First Track ComCat: Expertise-Guided Context Generation to Enhance Code Comprehension 12:10 - 12:20		ASE Research Papers AdaptEval: A Benchmark for Evaluating Large Language Models on Code Sni ... 12:20 - 12:30																				ASE Journal-First Track Adaptive and accessible user interfaces for seniors through model-drive ... 14:00 - 14:10		ASE Research Papers AppBDS: LLM-Powered Description Synthesis for Sensitive Behaviors in Mo ... 14:10 - 14:20		ASE Journal-First Track Large Language Models for Automated Web-Form-Test Generation: An Empiri ... 14:20 - 14:30		ASE Research Papers Beyond Static GUI Agent: Evolving LLM-based GUI Testing via Dynamic Memory 14:30 - 14:40		ASE Research Papers Who's to Blame? Rethinking the Brittleness of Automated Web GUI Testing ... 14:40 - 14:50		ASE Journal-First Track LLM-Cure: LLM-based Competitor User Review Analysis for Feature Enhancement 14:50 - 15:00		ASE Research Papers MIMIC: Integrating Diverse Personality Traits for Better Game Testing U ... 15:00 - 15:10		ASE Research Papers Debun: Detecting Bundled JavaScript Libraries on Web using Property-Ord ... 15:10 - 15:20		ASE Research Papers GUIFuzz++: Unleashing Grey-box Fuzzing on Desktop Graphical User Interf ... 15:20 - 15:30								ASE NIER Track Envisioning Intelligent Requirements Engineering via Knowledge-Guided M ... 16:00 - 16:10		ASE NIER Track Uncovering Systematic Failures of LLMs in Verifying Code Against Natura ... 16:10 - 16:20		ASE Industry Showcase Multi-Modal Requirements Data-based Acceptance Criteria Generation usin ... 16:20 - 16:30		ASE NIER Track Detecting and Repairing Incomplete Software Requirements with Multi-LLM ... 16:30 - 16:40		ASE NIER Track Linguistic Theories Coincide with Misformalization in Temporal Logic 16:40 - 16:50

Thu 20 Nov
Displayed time zone: Seoul change


Room	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 3	ASE Doctoral Symposium Opening 09:00 - 09:15			ASE Doctoral Symposium Which Path Should I Take? Navigating Your Journey to a PhD 09:15 - 10:00															ASE Doctoral Symposium Human-Centered Evaluation of REST API Fuzzing Tools: Bridging Academia ... 10:30 - 11:15									ASE Doctoral Symposium Testing Autonomous Driving Systems Through Blind-Spot Guided Fuzzing 11:15 - 12:00									ASE Doctoral Symposium Ask us anything 12:00 - 12:30																								ASE Doctoral Symposium Beyond the Paper: Publishing, Artifacts, and Collaboration in Today's R ... 14:00 - 14:45									ASE Doctoral Symposium Detecting and Mitigating Inconsistencies Between Code, Documentation an ... 14:45 - 15:30															ASE Doctoral Symposium Secure Transaction Semantics: Analysis, Vulnerability Detection, and At ... 16:00 - 16:45									ASE Doctoral Symposium Improving Quality of LLM Code Generation in Low-Resource Programming La ... 16:45 - 17:30									ASE Doctoral Symposium Closing 17:30 - 17:45

Room information: Grand Hall 3

This program is tentative and subject to 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

ASE New Faculty Symposium

ASE New Faculty Symposium

ASE New Faculty Symposium

ASE New Faculty Symposium

ASE New Faculty Symposium

ASE New Faculty Symposium

Mon 17 Nov
Displayed time zone: Seoul change

ASE Research Papers + ASE Journal-First Track

ASE Research Papers

ASE NIER Track + ASE Industry Showcase

Tue 18 Nov
Displayed time zone: Seoul change

ASE Research Papers

ASE Research Papers + ASE Journal-First Track

ASE NIER Track + ASE Industry Showcase

Wed 19 Nov
Displayed time zone: Seoul change

ASE Research Papers + ASE Journal-First Track

ASE Research Papers + ASE Journal-First Track

ASE NIER Track + ASE Industry Showcase

Thu 20 Nov
Displayed time zone: Seoul change

ASE Doctoral Symposium

ASE Doctoral Symposium

ASE Doctoral Symposium

ASE Doctoral Symposium

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 3

This program is tentative and subject to change.

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

ASE New Faculty Symposium

ASE New Faculty Symposium

ASE New Faculty Symposium

ASE New Faculty Symposium

ASE New Faculty Symposium

ASE New Faculty Symposium

Mon 17 NovDisplayed time zone: Seoul change

ASE Research Papers + ASE Journal-First Track

ASE Research Papers

ASE NIER Track + ASE Industry Showcase

Tue 18 NovDisplayed time zone: Seoul change

ASE Research Papers

ASE Research Papers + ASE Journal-First Track

ASE NIER Track + ASE Industry Showcase

Wed 19 NovDisplayed time zone: Seoul change

ASE Research Papers + ASE Journal-First Track

ASE Research Papers + ASE Journal-First Track

ASE NIER Track + ASE Industry Showcase

Thu 20 NovDisplayed time zone: Seoul change

ASE Doctoral Symposium

ASE Doctoral Symposium

ASE Doctoral Symposium

ASE Doctoral Symposium

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