Invited Talk 1: Prof. Lionel Briand
Title: Automated Testing and Safety Analysis of Deep Neural Networks
Abstract: Software engineering has long sought ways to enhance software testing to ensure that critical software is reliable before deployment. The advent of deep learning (DL) software has disrupted traditional testing and analysis practices, prompting the creation of specialized methods and techniques to address the unique challenges posed by DL. This is particularly crucial in critical systems with safety implications for users and the environment. This presentation will share findings from several years of research on the automation and practical testing of DL models and DL-enabled systems. It will also discuss testing-based safety analysis as an important application of testing.
Bio: Lionel C. Briand is a professor of software engineering at the University of Ottawa and the University of Limerick (Lero Centre). He holds a Canada Research Chair (Tier 1) in intelligent software dependability and serves as Lero’s director. An IEEE and ACM Fellow, he received prestigious awards like the Harlan Mills Award and an ERC Advanced Grant. His research focuses on trustworthy AI, software testing, and requirements engineering. With 30+ years of industry collaboration, he has worked with sectors like automotive, aerospace, and finance. He co-founded the ICST conference and was Editor-in-Chief of Empirical Software Engineering for 13 years. Elected to the Royal Society of Canada and Academia Europaea, he has held academic roles in seven countries.
Invited Talk 2: Prof. Shaukat Ali
Title: Testing Cyber-Physical Systems with AI Foundation Models
Abstract: AI foundation models, trained on vast datasets spanning multiple modalities—such as text, audio, video, and images—are increasingly being integrated into various aspects of our daily lives. Their role across diverse sectors is expected to grow significantly in the years ahead. To this end, this talk will present how we used these models to test cyber-physical systems. The talk will present the methodologies employed, key results, and potential future applications. Moreover, the talk will discuss cases where these models fell short in supporting testing software systems, highlighting the challenges, limitations, and opportunities.
Bio: Shaukat Ali is the Head of Department, Research Professor, and Chief Research Scientist at Simula Research Laboratory, Oslo, Norway. His research focuses on devising novel methods for developing cyber-physical systems by applying various advanced techniques, such as artificial intelligence, digital twins, and quantum computing. He has led many national and European projects related to cyber-physical systems testing, search-based software engineering, model-based system engineering, and quantum software engineering.
Invited Talk 3: Prof. Miryung Kim
Title: Reinventing Testing for Big Data and Heterogeneous Computing
Abstract: The rise of big data, machine learning, and AI necessitates re-evaluating automated software testing techniques to achieve desired developer productivity gains. In this talk, I will reflect on my group’s experience of designing custom fuzzers for data-intensive computing and heterogeneous hardware domains. I will discuss the need to encode domain-specific constraints, custom feedback guidance, custom search strategies, and custom mutation operators to make the fuzzing solutions effective for a specialized domain. Then, reflecting on this manual specialization effort, I will discuss a new direction on how we should strive to bootstrap a domain-specific testing engine with minimal manual effort. Toward this vision of bootstrapping a domain-specific testing engine without paying too much, I will share several ongoing effort to find the right balance between the universality of a fuzzer and its effectiveness in a specialized domain: (1) custom mutation synthesis from examples, (2) automated grammar refinement to constrain fuzzing, (3) LLM-guided constraint-generation for mutation, and (4) a lightweight DSL for context-guided input generation.
Bio: Miryung Kim is a Professor and Vice Chair of Graduate Studies in Computer Science at UCLA. Her research group focuses on software engineering for AI, big data, and hardware heterogeneity. She has mentored seven PhD students and postdocs who have gone on to become professors (at Columbia, Purdue, and two at Virginia Tech, among others). For her impact on nurturing the next generation of academics, she received the ACM SIGSOFT Influential Educator Award. She served as Program Co-Chair of the ACM International Conference on Foundations of Software Engineering (FSE 2022). She was a Keynote Speaker at ASE 2019 and ISSTA 2022 and has given Distinguished Lectures at CMU, UIUC, and other institutions. She is an Amazon Scholar at Amazon Web Services.
Invited Talk 4: Prof. Earl Barr
Title: Combatting Software Sprawl with LLMs
Abstract: Especially in manufacturing, many development tasks involve translation—converting natural language (often regulations) into formal engineering models, or bridging gaps between formalisms used by engineers with different expertise. While these translations are conceptually simple, they have historically been too costly to automate, forcing humans to handle tedious, repetitive work. A software process sprawls when it becomes clogged with such translation tasks, creating inefficiencies akin to urban sprawl’s fragmented, low-density development. Large Language Models (LLMs) now offer a solution: they excel at low-cost, largely accurate translation, effectively acting as skeleton keys against software sprawl. By reshaping the economics of translation, LLMs unlock new levels of automation, accelerating process velocity and freeing engineers to focus on creative, high-value work. In this talk, I define software sprawl and demonstrate how it stems from communication that blends formal and explanatory/regulatory channels. I introduce the Dual Channel Hypothesis to explain the interaction of these channels and show how LLMs can "polymerize” sprawl automating its consolidation and streamlining development.
Bio: Earl Barr is a professor of software engineering at the University College London. He received his PhD at University California Davis. Earl’s research interests include artificial intelligence for software engineering (and vice versa), debugging, testing and analysis, game theory, and computer security. His recent work focuses on probabilistically quantifying program equivalence, probabilistic type inference, and dual channel constraints. With the exception of a pandemic-imposed hiatus, Earl dodges vans and taxis on his bike commute in London.
Invited Talk 5: Prof. Dongmei Zhang
Title: Empowering Cloud Intelligence (AIOps) with LLMs: Advances, Learnings, and Beyond
Abstract: Cloud Intelligence, a.k.a. AIOps, leverages AI and machine learning to design, build, and operate complex cloud platforms and services at scale. The advent of Large Language Models (LLMs) offers unprecedented opportunities to accelerate and deepen AIOps capabilities. In this talk, I will present concrete, real-world examples of how LLMs are reshaping core AIOps tasks, including anomaly detection, incident triage, root-cause analysis, and outage summarization, by extracting and synthesizing knowledge from diverse data sources, producing clear, actionable narratives, and functioning as human–AI copilots that continually improve through feedback. I will then share the key learnings gained from embedding LLMs into AIOps workflows and briefly talk about how these principles are starting to influence other phases of the software development lifecycle, such as design, implementation, testing, and deployment. I’ll conclude my talk with a set of open questions for discussion regarding trust, safety, and the evolving role of engineers in an AI-augmented environment.
Bio: Dr. Dongmei Zhang is a Distinguished Scientist at Microsoft with extensive experiences in research and development. She pioneered and established “Software Analytics” as a new research direction, founding the Software Analytics Group at Microsoft Research Asia in 2009 to drive the integration and advancement of data, AI, and software engineering. She subsequently expanded her work into the field of data intelligence by creating the “Data, Knowledge & Intelligence (DKI)” research group. Over a career spanning more than twenty years at Microsoft, Dr. Zhang has led her teams to closely collaborate with product teams across the company on technology transfer. Her contributions include digital ink technologies in Windows 7 and Microsoft Math, as well as foundational research in Software Analytics, AIOps, and data intelligence that have enhanced and impacted products such as Power BI, Excel, Azure, and Microsoft 365. She currently leads the Bing Experience team in China while continuing to direct the work of DKI research group. Dr. Zhang received her Ph.D. in Robotics from the School of Computer Science at Carnegie Mellon University. She received her M.E. and B.E. from Tsinghua University.
Invited Talk 6: Prof. Shin Hwei Tan
Title: Testing Code Analyzer using Code Generator
Abstract: Static program analysis tools such as SpotBugs, SonarQube and Infer have been commonly used to find bugs in software systems. Meanwhile, refactoring engines part of modern IDE such as IntelliJ IDEA and Eclipse have been widely used to restructure a given program to improve the quality of the input program. Considering all these code analyzers that take in programs as input, I will discuss our latest results on automated program generation for testing static program analyzers and refactoring engines by designing different types of program transformations and metamorphic relations. Then, I will also explore and discuss the need to rethink about the automated program generation problem from the tester perspective. Towards the vision of improving the quality of program analyzers, I will also discuss how systematic testing techniques can benefit LLM-based program analyzers. I will then conclude my talk with a set of open research area and emerging directions in testing code analyzers.
Bio: Shin Hwei Tan is an Associate Professor (Gina Cody Research Chair) in Concordia University. Before moving to Concordia University, she was an Assistant Professor in Southern University of Science and Technology in Shenzhen, China. She obtained her PhD degree from National University of Singapore and her B.S (Hons) and MSc degree from University of Illinois at Urbana-Champaign. Her main research interests are in automated program repair, software testing and open-source development. She is an Associate Editor for TOSEM and the Guest Editors-in-Chief for the New Frontier in Software Engineering track in TOSEM. She has also served as PCs for top-tier software engineering conferences, where she won 3 best reviewers award (FSE 2020, ASE 2020, ICSE 2022 NIER-track). She is also the general chair of FSE26 which will be held in Concordia University. She recently won the 2025 ACM-W Rising Star Award, ACM SIGSOFT Distinguished Paper award for ICSE 2025 and IEEE Distinguished Paper Award for ICST 2025.
Invited Talk 7: Prof. David Lo
Title: Efficient and Green Code LLMs: Happier Software Engineers, Happier Planet
Abstract: Many have been excited about the potential of code Large Language Models (code LLMs). However, code LLMs are large, slow, and energy-hungry compared to traditional ASE solutions, which raises usability and sustainability concerns. This is especially true when we want to deploy them in IDEs on local devices, which is often the preferred setting. This talk will highlight several strategies to improve the efficiency and energy consumption of code LLMs. It will also present a vision of what the future can be with efficient and green LLM and a call for action for more research in this direction to make both software engineers and our planet happier.
Bio: David Lo is the OUB Chair Professor of Computer Science and the Founding Director of the Center for Research in Intelligent Software Engineering (RISE) at Singapore Management University. Championing the area of AI for Software Engineering (AI4SE) since the mid-2000s, he has demonstrated how AI - encompassing data mining, machine learning, information retrieval, natural language processing, and search-based algorithms - can transform software engineering data into automation and insights. His contributions have led to over 20 awards - including two Test-of-Time awards and twelve ACM SIGSOFT / IEEE TCSE Distinguished Paper awards - and gathered close to 40k citations. An ACM Fellow, IEEE Fellow, ASE Fellow, National Research Foundation Investigator (Senior Fellow), and a recipient of the MSR Foundational Contribution Award and IEEE TCSE Distinguished Service Award, Lo has also served as a PC Co-Chair for ASE’20, FSE’24, and ICSE’25. For more information, please visit: http://www.mysmu.edu/faculty/davidlo/.
Fri 20 JunDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
09:00 - 10:30 | Opening & KeynoteResearch Track / Plenary Events at Cosmos 3A Chair(s): Ge Li Peking University, Leonardo Montecchi Norwegian University of Science and Technology (NTNU), Mauro Pezzè University of Milano-Bicocca, William Chu Tunghai University, Cuiyun Gao Harbin Institute of Technology, Shenzhen | ||
09:00 10mDay opening | Opening Research Track | ||
09:10 20mOther | Photo Research Track | ||
09:30 60mKeynote | Keynote 1: Towards End-User Intention Driven IoT Application Programming Plenary Events Zhi Jin Peking University | ||
10:30 - 11:00 | |||
10:30 30mBreak | Coffee Break Research Track | ||
11:00 - 13:00 | Keynote & Session1: Software Vulnerability and Security IResearch Track / Plenary Events at Cosmos 3A Chair(s): William Chu Tunghai University | ||
11:00 60mKeynote | Keynote 2: Coding with the Machine: Promises and Perils in AI-Driven Software Engineering Plenary Events Leon Moonen Simula Research Laboratory | ||
12:00 15mTalk | Towards understanding the security issues of Python programs Research Track Hongcheng Fan Nanjing University, di liu Jiangsu Police Institute, Jielun Wu Nanjing University, Yang Feng Nanjing University, Qingkai Shi Nanjing University, Baowen Xu Nanjing University | ||
12:15 15mTalk | A Novel LLM Approach of Cybersecurity Threat Analysis and Response Research Track TIAN HU Institute of Information Engineering, Chinese Academy of Sciences;School of Cyber Security, University of Chinese Academy of Sciences, Shangyuan Zhuang Institute of Information Engineering, Chinese Academy of Sciences;School of Cyber Security, University of Chinese Academy of Sciences, zhaorui Guo Institute of Information Engineering, Chinese Academy of Sciences;School of Cyber Security, University of Chinese Academy of Sciences, Jiyan Sun Institute of Information Engineering, Chinese Academy of Sciences,School of Cyber Security, University of Chinese Academy of Sciences, Yinlong Liu Institute of Information Engineering, Chinese Academy of Sciences,School of Cyber Security, University of Chinese Academy of Sciences, Wei Ma Institute of Information Engineering, Chinese Academy of Sciences;School of Cyber Security, University of Chinese Academy of Sciences, Hongchao Wang Institute of Information Engineering, Chinese Academy of Sciences;School of Cyber Security, University of Chinese Academy of Sciences, zhaolingfeng Innovation Academy for Microsatellites of Chinese Academy of Science, zhangxiaojie Innovation Academy for Microsatellites of Chinese Academy of Science | ||
12:30 15mTalk | Measuring and Explaining the Effects of Android App Transformations in Online Malware Detection Research Track Guozhu Meng Institute of Information Engineering, Chinese Academy of Sciences, Zhixiu Guo Institute of Information Engineering, Chinese Academy of Sciences, China, Xiaodong Zhang University of Chinese Academy of Science, Haoyu Wang Huazhong University of Science and Technology, Kai Chen Institute of Information Engineering at Chinese Academy of Sciences; University of Chinese Academy of Sciences, Yang Liu Nanyang Technological University | ||
12:45 15mTalk | Leveraging Visible Widget Sizes for Detecting Repackaged Android Apps Research Track Pre-print | ||
13:00 - 14:00 | |||
13:00 60mLunch | Lunch Research Track | ||
14:00 - 15:30 | Session2: AI for Software Engineering IResearch Track at Cosmos 3A Chair(s): Jialun Cao Hong Kong University of Science and Technology | ||
14:00 15mTalk | Code Retrieval with Mixture of Experts Prototype Learning Based on Classification Research Track Feng Ling School of Computer Science and Technology, Guangdong University of Technology, Guangzhou 510006, China, Guoheng Huang School of Computer Science and Technology, Guangdong University of Technology, Guangzhou 510006, China, Jingchao Wang School of Computer Science and Technology, Guangdong University of Technology, Guangzhou 510006, China, Xiaochen Yuan Faculty of Applied Sciences, Macau Polytechnic University, Macau, China, Xuhang Chen School of Computer Science and Engineering, Huizhou University, Huizhou 516001, China, XueYong Zhang School of Computer Science and Technology, Guangdong University of Technology, Guangzhou 510006, China, Fanlong Zhang School of Computer Science and Technology, Guangdong University of Technology, Guangzhou 510006, China, Chi-Man Pun Department of Computer and Information Science, University of Macau, Macau, China | ||
14:15 15mTalk | Issue Retrieval and Verification Enhanced Supplementary Code Comment Generation Research Track Yanzhen Zou Peking University, Xianlin Zhao Peking University, Xinglu Pan Peking University, Bing Xie Peking University Pre-print | ||
14:30 15mTalk | CodeCleaner: Mitigating Data Contamination for LLM Benchmarking Research Track Jialun Cao Hong Kong University of Science and Technology, Songqiang Chen The Hong Kong University of Science and Technology, Wuqi Zhang Mega Labs, Hau Ching Lo The Hong Kong University of Science and Technology, Yeting Li Institute of Information Engineering at Chinese Academy of Sciences; University of Chinese Academy of Sciences, Shing-Chi Cheung Hong Kong University of Science and Technology Pre-print Media Attached | ||
14:45 15mTalk | LASER：Script Execution by Autonomous Agents for On-demand Traffic Simulation Research Track Hao Gao Nanjing University, Jingyue Wang Nanjing University, Wenyang Fang Nanjing University, Jingwei Xu , Yunpeng Huang Nanjing University, Taolue Chen Birkbeck, University of London, Xiaoxing Ma Nanjing University Pre-print | ||
15:00 15mTalk | Tech-ASan: Two-stage check for Address Sanitizer Research Track Yixuan Cao ShenZhen University, Yuhong Feng Shenzhen University, Huafeng Li Shenzhen University, Chongyi Huang Shenzhen University, Fangcao Jian Shenzhen University, Haoran Li Shenzhen University, Xu Wang Shenzhen University Pre-print Media Attached | ||
15:30 - 16:00 | |||
15:30 30mBreak | Coffee Break Research Track | ||
16:00 - 17:30 | Session3: Software Testing and Quality AssuranceResearch Track / Tool Demonstration Track / New Idea Track at Cosmos 3A Chair(s): Yanjie Zhao Huazhong University of Science and Technology | ||
16:00 15mTalk | SRLRF: Fine-Grained Root Cause Analysis and Prediction for Compiler Optimization Defects Research Track Han Luo Nanjing University of Aeronautics and Astronautics, Yixuan Tang Nanjing University of Aeronautics and Astronautics, Jingxuan Zhang Nanjing University of Aeronautics and Astronautics, Xuanyan Zhu Nanjing University of Aeronautics and Astronautics, Jiayi Li Nanjing University of Aeronautics and Astronautics, Weiqin Zou Nanjing University of Aeronautics and Astronautics, Jiaqi Liu National Key Laborarory on Test Physics & Numerical Mathematics | ||
16:15 15mTalk | Revisit the Intuition of Mutation-Based Fault Localization in Real-world Programs Research Track Chenliang Xing Wuhan University, Gong Chen Wuhan University, Qi Xin Wuhan University, Xiaoyuan Xie Wuhan University Media Attached | ||
16:30 15mTalk | Emerging Compiler Testing Based on Test Case Reuse Research Track Kelin Zhu School of Intelligent Software and Engineering, Nanjing University, Suzhou 215163, China, Yu Wang Nanjing University, Linzhang Wang State Key Laboratory for Novel Software Technology (Nanjing University, Nanjing 210023, China, Xuandong Li Nanjing University | ||
16:45 10mTalk | UITrans: Seamless UI Translation from Android to HarmonyOSBest Tool Demo Award Tool Demonstration Track Lina Gong Nanjing University of Aeronautics and Astronautic, Chen Wang Nanjing University of Aeronautics and Astronautics, Di Cui Xidian University, Yujun Huang Nanjing University of Aeronautics and Astronautics, Mingqiang Wei Nanjing University of Aeronautics and Astronautics | ||
16:55 10mTalk | Graph-based Data Augmentation for API Misuse Detection New Idea Track | ||
17:05 10mTalk | XR4PD: Augmented Reality for Visualising Problem Diagrams in Requirements Analysis New Idea Track Yang Hua Guangxi Normal University, Hongbin Xiao Guangxi Key Lab of Multi-Source Information Mining and Securit(Guangxi Normal University), Wenhao Wang Guangxi Normal University, Zhi Li Guangxi Normal University | ||
17:15 15mTalk | Cluster-Based Multi-Objective Metamorphic Test Case Pair Selection for Deep Neural Networks Research Track Jingling Wang Nanjing University, Shuwei Qiu Nanjing University, Peng Wang Nanjing University, Jiyuan Song Nanjing University, Huayao Wu Nanjing University, Xintao Niu Nanjing University, Changhai Nie Nanjing University Pre-print Media Attached | ||
Sat 21 JunDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
08:30 - 10:30 | |||
08:30 60mKeynote | Keynote 3: AutoCodeRover: from research on agentic AI-based Programming to Spinoff Acquisition Plenary Events Abhik Roychoudhury National University of Singapore | ||
09:30 60mKeynote | Keynote 4: Active Inference for Distributed Intelligence in the Computing Continuum Image Plenary Events Schahram Dustdar TU Wien | ||
10:30 - 11:00 | |||
10:30 30mBreak | Coffee Break Research Track | ||
11:00 - 13:00 | Session4: Code Optimization and Software ArchitectureResearch Track at Cosmos 3A Chair(s): Changhai Nie Nanjing University | ||
11:00 15mTalk | Take Kernel Stack Overhead Out: eBPF-Enhanced Network Acceleration for Distributed Training within Ethernet Research Track Zhenyu Zhang School of Computer Science and Engineering, Sun Yat-sen University, Pengfei Chen Sun Yat-sen University, Guangba Yu School of Computer Science and Engineering, Sun Yat-sen University, Zilong He Sun Yat-sen University, Xiaoyun Li Sun Yat-sen University Pre-print | ||
11:15 15mTalk | Exploiting Booster Pass Chain for Compiler Phase Ordering Research Track yihan chen , Huanhuan Chen Nanjing University, Yuan Yao Nanjing University, Ping Yu Nanjing University, Feng Xu Nanjing University, Xiaoxing Ma Nanjing University File Attached | ||
11:30 15mTalk | DeFS: A Decentralized and High-Performance File System for Consortium Systems Research Track Yitong Cheng Shanghai JiaoTong University, Shenglong Zhao Shanghai JiaoTong University, Yang Yu Shanghai Jiao Tong University, China, Zhichao Hua Shanghai Jiao Tong University | ||
11:45 15mTalk | Proteus: An Automatical High-Efficiency Framework for Generating Compact and Printable Shellcode on ARMv8 Research Track Jian Lin Information Engineering University, Guoan Liu Information Engineering University, Rui Chang Zhejiang University, Ruimin Wang Information Engineering University | ||
12:00 15mTalk | Modeling Go Concurrency: A Static Analysis Approach to Data Race Detection Research Track Fengjuan Gao Nanjing University of Science and Technology, Mumu Zhang Nanjing University, Zixiao Zhao Nanjing University, Yu Wang Nanjing University, Xuandong Li Nanjing University | ||
12:15 15mTalk | RABBIT: Managing Hierarchical Memory with Intelligent Tiering Aware Deduplication Research Track | ||
12:30 15mTalk | DPCapsule: A Decentralized Private Computing System With Self-Controlled Data Research Track Yitong Cheng Shanghai JiaoTong University, Yang Yu Shanghai Jiao Tong University, China, Zhichao Hua Shanghai Jiao Tong University | ||
12:45 15mTalk | MicroGuard:Non-Intrusive Dynamic Analysis for Inter-Service Access Control of Microservices Research Track Haoming Luo School of Computer Science and Engineering, Sun Yat-sen University, Wanqi Yang Sun Yat-Sen University, Pengfei Chen Sun Yat-sen University | ||
11:00 - 13:00 | Session7: AI for Software Engineering IIIResearch Track at Cosmos 3C Chair(s): Lina Gong Nanjing University of Aeronautics and Astronautic | ||
11:00 15mTalk | Brevity is the Soul of Wit: Condensing Code Changes to Improve Commit Message Generation Research Track Hongyu Kuang Nanjing University, Ning Zhang Nanjing University, Hui Gao Nanjing University, Xin Zhou Nanjing University, Wesley Assunção North Carolina State University, Xiaoxing Ma Nanjing University, Dong Shao Nanjing University, Guoping Rong Nanjing University, He Zhang Nanjing University | ||
11:15 15mTalk | DesDD: A Design-Enabled Framework with Dual-Layer Debugging for LLM-based Iterative API Orchestrating Research Track Zhuo Cheng Jiangxi normal University, Zhou Zou Jiangxi Normal University, Qing Huang School of Computer Information Engineering, Jiangxi Normal University, Zhenchang Xing CSIRO's Data61, Wei Zhang Jiangxi Meteorological Disaster Emergency Early Warning Center, Jiangxi Meteorological Bureau, Shaochen Wang Jiangxi Normal Univesity, Xueting Yi Jiangxi Meteorological Disaster Emergency Early Warning Center, Jiangxi Meteorological Bureau, Huan Jin School of Information Engineering, Jiangxi University of Technology, Zhiping Liu College of Information Engineering, Gandong University, Zhaojin Lu Jiangxi Tellhow Animation College, Tellhow Group Co.,LTD | ||
11:30 15mTalk | AUCAD: Automated Construction of Alignment Dataset from Log-Related Issues for Enhancing LLM-based Log Generation Research Track Hao Zhang Nanjing University, Dongjun Yu Nanjing University, Lei Zhang Nanjing University, Guoping Rong Nanjing University, YongdaYu Nanjing University, Haifeng Shen Southern Cross University, He Zhang Nanjing University, Dong Shao Nanjing University, Hongyu Kuang Nanjing University | ||
11:45 15mTalk | Enhancement Report Approval Prediction: A Comparative Study of Large Language Models Research Track | ||
12:00 15mTalk | MetaCoder: Generating Code from Multiple Perspectives Research Track chen xin , Zhijie Jiang National University of Defense Technology, Yong Guo National University of Defense Technology, Zhouyang Jia National University of Defense Technology, Si Zheng National University of Defense Technology, Yuanliang Zhang National University of Defense Technology, Shanshan Li National University of Defense Technology | ||
12:15 15mTalk | API-Repo: API-centric Repository-level Code Completion Research Track Zhihao Li State Key Laboratory for Novel Software and Technology, Nanjing University, Chuanyi Li Nanjing University, Changan Niu Software Institute, Nanjing University, Ying Yan State Key Laboratory for Novel Software and Technology, Nanjing University, Jidong Ge Nanjing University, Bin Luo Nanjing University | ||
12:30 15mTalk | AdaptiveLLM: A Framework for Selecting Optimal Cost-Efficient LLM for Code-Generation Based on CoT Length Research Track Junhang Cheng Beihang University, Fang Liu Beihang University, Chengru Wu Beihang University, Li Zhang Beihang University Pre-print Media Attached File Attached | ||
12:45 15mTalk | Lightweight Probabilistic Coverage Metrics for Efficient Testing of Deep Neural Networks Research Track Yining Yin Nanjing University, Yang Feng Nanjing University, Shihao Weng Nanjing University, Xinyu Gao , Jia Liu Nanjing University, Zhihong Zhao Nanjing University | ||
13:00 - 14:00 | |||
13:00 60mLunch | Lunch Research Track | ||
14:00 - 15:30 | Session5: Software Vulnerability and Security IINew Idea Track / Research Track at Cosmos 3A Chair(s): Chuanyi Li Nanjing University | ||
14:00 15mTalk | Devmp: A Virtual Instruction Extraction Method for Commercial Code Virtualization Obfuscators Research Track Shenqianqian Zhang Key Laboratory of Cyberspace Security, Ministry of Education, Weiyu Dong Information Engineering University, Jian Lin Information Engineering University | ||
14:15 15mTalk | Line-level Semantic Structure Learning for Code Vulnerability Detection Research Track Ziliang Wang Peking University, Ge Li Peking University, Jia Li Peking University, Yihong Dong Peking University, Yingfei Xiong Peking University, Zhi Jin Peking University | ||
14:30 15mTalk | SLVHound: Static Detection of Session Lingering Vulnerabilities in Modern Java Web Applications Research Track Haining Meng SKLP, Institute of Computing Technology, CAS, China; University of Chinese Academy of Sciences, China, Jie Lu SKLP, Institute of Computing Technology, CAS, China; University of Chinese Academy of Sciences, China, Yongheng Huang Institute of Computing Technology at Chinese Academy of Sciences; University of Chinese Academy of Sciences, Lian Li Institute of Computing Technology at Chinese Academy of Sciences; University of Chinese Academy of Sciences | ||
14:45 15mTalk | Def-VAE: Identifying Adversarial Inputs with Robust Latent Representations Research Track Chengye Li Institute of Software, Chinese Academy of Sciences, Changshun Wu Université Grenoble Alpes, Rongjie Yan Institute of Software at Chinese Academy of Sciences; University of Chinese Academy of Sciences | ||
15:00 15mTalk | Fuzzing for Stateful Protocol Programs Based on Constraints between States and Message Types Research Track Kunpeng Jian Institute of Information Engineering, Chinese Academy of Sciences, Yanyan Zou Institute of Information Engineering, Chinese Academy of Sciences, Menghao Li Institute of Information Engineering, Chinese Academy of Sciences, Wei Huo Institute of Information Engineering at Chinese Academy of Sciences | ||
15:15 10mTalk | PriceSleuth: Detecting DeFi Price Manipulation Attacks in Smart Contracts Using LLM and Static Analysis New Idea Track Hao Wu Xi'an JiaoTong University, Haijun Wang Xi'an Jiaotong University, Shangwang Li Xi'an Jiaotong University, Yin Wu Xi'an Jiaotong University, Ming Fan Xi'an Jiaotong University, Yitao Zhao Yunnan Power Grid Co., Ltd, Ting Liu Xi'an Jiaotong University Pre-print | ||
14:00 - 15:30 | Session8: Software Vulnerability and Security IIIResearch Track / New Idea Track / Tool Demonstration Track at Cosmos 3C Chair(s): Lingfeng Bao Zhejiang University | ||
14:00 15mTalk | VDLS: A Vulnerability Detection Approach Based on Execution Path Selection Research Track Xuanyan Zhu Nanjing University of Aeronautics and Astronautics, Jingxuan Zhang Nanjing University of Aeronautics and Astronautics, Yixuan Tang Nanjing University of Aeronautics and Astronautics, Weiqin Zou Nanjing University of Aeronautics and Astronautics, Jiayi Li Nanjing University of Aeronautics and Astronautics, Han Luo Nanjing University of Aeronautics and Astronautics, Jiaqi Liu National Key Laborarory on Test Physics & Numerical Mathematics | ||
14:15 15mTalk | Exploring Typo Squatting Threats in the Hugging Face Ecosystem Research Track Ningyuan Li Beijing University of Technology, Yanjie Zhao Huazhong University of Science and Technology, Shenao Wang Huazhong University of Science and Technology, Zehao Wu Huazhong University of Science and Technology, Haoyu Wang Huazhong University of Science and Technology | ||
14:30 15mTalk | Unraveling the Characterization and Propagation of Security Vulnerabilities in TensorFlow-based Deep Learning Software Supply Chain Research Track Yiren Zhou Nanjing University of Aeronautics and Astronautics, Lina Gong Nanjing University of Aeronautics and Astronautic, Tiantian Ma Nanjing University of Aeronautics and Astronautics File Attached | ||
14:45 15mTalk | Seeing is (Not) Believing: The Mirage Card Attack Targeting Online Social Networks Research Track Wangchenlu Huang Beijing university of posts and telecommunications, Shenao Wang Huazhong University of Science and Technology, Yanjie Zhao Huazhong University of Science and Technology, Tianxiang Wang China United Network Communications Group Corporation Limited, Yuhao Gao China United Network Communications Group Corporation Limited, Guosheng Xu Beijing University of Posts and Telecommunications, Haoyu Wang Huazhong University of Science and Technology | ||
15:00 10mTalk | ETrace : Event-Driven Vulnerability Detection in Smart Contracts via LLM-Based Trace Analysis New Idea Track Chenyang Peng Xi'an Jiaotong University, Haijun Wang Xi'an Jiaotong University, Yin Wu Xi'an Jiaotong University, Hao Wu Xi'an JiaoTong University, Ming Fan Xi'an Jiaotong University, Yitao Zhao Yunnan Power Grid Co., Ltd, Ting Liu Xi'an Jiaotong University | ||
15:10 10mTalk | A Natural Language Guided Adaptive Model-based Testing Tool for Autonomous Driving Tool Demonstration Track | ||
15:20 10mTalk | Software Reuse in the Generative AI Era: From Cargo Cult Towards Systematic PracticesBest New Idea Paper Award New Idea Track | ||
15:30 - 16:00 | |||
15:30 30mBreak | Coffee Break Research Track | ||
16:00 - 17:30 | Session6: AI for Software Engineering IIResearch Track at Cosmos 3A Chair(s): Xing Hu Zhejiang University | ||
16:00 15mTalk | Beyond Isolated Changes: A Context-aware and Dependency-enhanced Code Change Detection Method Research Track Binghe Wang Xi’an Jiaotong University, Wuxia Jin Xi'an Jiaotong University, Zijun Wang Northwest University, Mengjie Sun Xi’an Jiaotong University, Haijun Wang Xi'an Jiaotong University | ||
16:15 15mTalk | Orion: A Multi-Agent Framework for Optimizing RAG Systems through Specialized Agent Collaboration Research Track xianxing fang Xidian University, Liangru Xie Xidian University, Weibin Yang Xidian University, Tianyi Zhang Xidian University, Zhang Ruitao Xi’an Jiaotong-Liverpool University, Hao Wang Xidian University, Di Wu Norwegian University of Science and Technology, Yushan Pan Xi'an Jiaotong-Liverpool University File Attached | ||
16:30 15mTalk | GPT Store Mining and Analysis Research Track Dongxun Su Huazhong University of Science and Technology, Yanjie Zhao Huazhong University of Science and Technology, Xinyi Hou Huazhong University of Science and Technology, Shenao Wang Huazhong University of Science and Technology, Haoyu Wang Huazhong University of Science and Technology | ||
16:45 15mTalk | Mining Discriminative Issue Resolution Temporal Sequential Patterns in Open Source Software Repositories Research Track YaxinWang Nanjing University, Liang Wang Nanjing University, Hao Hu Nanjing University, Xianping Tao Nanjing University | ||
17:00 15mTalk | Generating SysML Behavior Models via Large Language Models: an Empirical Study Research Track Yuan Wang School of Software, Beihang University, Ning Ge School of Software, Beihang University, Jiangxi Liu Beihang University, Zhilong Cao Beihang University, Zheping Chen Beihang University, Chunming Hu Beihang University | ||
17:15 15mTalk | FIRE: Smart Contract Bytecode Function Identification via Graph-Refined Hybrid Feature Encoding Research Track | ||
16:00 - 17:30 | Session9: AloT & MicroservicesResearch Track / Tool Demonstration Track at Cosmos 3C Chair(s): Qingkai Shi Nanjing University | ||
16:00 15mTalk | EnvGuard: Guaranteeing Environment-Centric Safety and Security Properties in Web of Things System Research Track Bingkun Sun Fudan University, Jialin Ren Fudan University, Juntao Luo Fudan University, Liwei Shen Fudan University, Yongqiang Lu Fudan University, Qicai Chen Fudan University, China, Zhen Dong Fudan University, Xin Peng Fudan University | ||
16:15 15mTalk | Intelligent Traffic Engineering for IoT Networks: A Multi-Agent Deep Reinforcement Learning Approach Research Track liu ze song , zesong liu North China University of Technology, shanshan he North China University of Technology, Yuanhao Xi Liaoning Technical University, Ramin Yahyapour Liaoning Technical University | ||
16:30 15mTalk | Privacy-Preserving Authentication Scheme for V2G in social IoT Based on Certificateless Aggregate Signatures Research Track Zhuoqun Xia Changsha University of Science and Technology, Xin Wang Changsha University of Science and Technology | ||
16:45 15mTalk | To Split or to Merge? Exploring Multi-modal Data Flexibly for Failure Classification in Microservices Research Track Xiuhong Tan Changsha University of Science and Technology, China, Tongqing Zhou National University of Defense Technology, China, Yuan Yuan National University of Defense Technology, China, Shiming He Changsha University of Science and Technology, China, Yuqi Li National Supercomputer Center in Tianjin, Jian Zhang National Supercomputer Center in Tianjin | ||
17:00 15mTalk | Dynamic Microservice Resource Optimization Management Based on MAPE Loop Research Track Lu Wang Xidian University, Xu Fan Xidian University, Yaxiao Li , Quanwei Du Xidian University, Jialuo She Xidian University, Qingshan Li Xidian University | ||
17:15 10mTalk | Documenting Microservice Integration with MSAdoc Tool Demonstration Track | ||
Sun 22 JunDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
09:30 - 10:30 | |||
09:30 50mKeynote | Invited Talk 1: Automated Testing and Safety Analysis of Deep Neural Networks Future of Internetware Workshop Lionel Briand University of Ottawa, Canada; Lero centre, University of Limerick, Ireland | ||
10:30 - 11:00 | |||
10:30 30mBreak | Coffee Break Research Track | ||
11:00 - 13:00 | |||
11:00 50mKeynote | Invited Talk 2: Testing Cyber-Physical Systems with AI Foundation Models Future of Internetware Workshop Shaukat Ali Simula Research Laboratory and Oslo Metropolitan University | ||
11:50 50mKeynote | Invited Talk 3: Reinventing Testing for Big Data and Heterogeneous Computing Future of Internetware Workshop Miryung Kim UCLA and Amazon Web Services | ||
13:00 - 14:00 | |||
13:00 60mLunch | Lunch Research Track | ||
14:00 - 15:30 | |||
14:00 50mKeynote | Invited Talk 4: Combatting Software Sprawl with LLMs Future of Internetware Workshop Earl T. Barr University College London | ||
14:50 50mKeynote | Invited Talk 5: Empowering Cloud Intelligence (AIOps) with LLMs: Advances, Learnings, and Beyond Future of Internetware Workshop Dongmei Zhang Microsoft | ||
15:30 - 16:00 | |||
15:30 30mBreak | Coffee Break Research Track | ||
16:00 - 17:30 | |||
16:00 50mKeynote | Invited Talk 6: Testing Code Analyzer using Code Generator Future of Internetware Workshop Shin Hwei Tan Concordia University | ||
16:50 50mKeynote | Invited Talk 7: Efficient and Green Code LLMs: Happier Software Engineers, Happier Planet Future of Internetware Workshop David Lo Singapore Management University | ||