Cosmos 3C - Internetware 2025

Room nameCosmos 3C

Floor0

Capacity134

Room InformationNo extra information available

Information for Participants

Info for room Cosmos 3C:

Cosmos 3C is the third room in the Cosmos 3 wing.

When facing the main Cosmos Hall, access to the Cosmos 3 wing is on the left, close to the stairs. The area is accessed through a large door with the number “3”, which will stay open during the event.

Program

Time Zone

The program is currently displayed in (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna.

Use conference time zone: (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, ViennaSelect 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

Sat 21 Jun
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

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 15m Talk		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 15m Talk		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 15m Talk		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 15m Talk		Enhancement Report Approval Prediction: A Comparative Study of Large Language Models Research Track Haosheng Zuo Nanjing University, Feifei Niu University of Ottawa, Chuanyi Li Nanjing University
12:00 15m Talk		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 15m Talk		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 15m Talk		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 15m Talk		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

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 15m Talk		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 15m Talk		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 15m Talk		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 15m Talk		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 10m Talk		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 Pre-print
15:10 10m Talk		A Natural Language Guided Adaptive Model-based Testing Tool for Autonomous Driving Tool Demonstration Track Man Zhang Beihang University, China, Shi Yize Nanjing University of Aeronautics and Astronautics, Tao Yue Beihang University
15:20 10m Talk		Software Reuse in the Generative AI Era: From Cargo Cult Towards Systematic PracticesBest New Idea Paper Award New Idea Track Tommi Mikkonen University of Jyväskylä, Antero Taivalsaari Nokia Technologies

16:00 - 17:30	Session9: AloT & MicroservicesResearch Track / Tool Demonstration Track at Cosmos 3C Chair(s): Qingkai Shi Nanjing University

16:00 15m Talk		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:30 15m Talk		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 15m Talk		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 15m Talk		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 10m Talk		Documenting Microservice Integration with MSAdoc Tool Demonstration Track Georg-Daniel Schwarz Friedrich-Alexander-Universität Erlangen-Nürnberg, Dirk Riehle U of Erlangen

Mon 23 Jun
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

10:30 - 12:30	Vulnerability 1FSE Research Papers / FSE Ideas, Visions and Reflections / FSE Journal First at Cosmos 3C Chair(s): Cuiyun Gao Harbin Institute of Technology, Shenzhen

10:30 20m Talk		VulPA: Detecting Semantically Recurring Vulnerabilities with Multi-Object Typestate Analysis FSE Research Papers Liqing Cao Institute of Computing Technology at Chinese Academy of Sciences; University of Chinese Academy of Sciences, Haofeng Li SKLP, Institute of Computing Technology, CAS, Chenghang Shi SKLP, Institute of Computing Technology, CAS, Jie Lu SKLP, Institute of Computing Technology, CAS, China; University of Chinese Academy of Sciences, China, Haining Meng SKLP, Institute of Computing Technology, CAS, China; University of Chinese Academy of Sciences, China, Lian Li Institute of Computing Technology at Chinese Academy of Sciences; University of Chinese Academy of Sciences, Jingling Xue University of New South Wales DOI
10:50 20m Talk		Mystique: Automated Vulnerability Patch Porting with Semantic and Syntactic-Enhanced LLM FSE Research Papers Susheng Wu Fudan University, Ruisi Wang Fudan University, Bihuan Chen Fudan University, Zhuotong Zhou Fudan University, Yiheng Huang Fudan University, JunPeng Zhao Fudan University, Xin Peng Fudan University DOI
11:10 20m Talk		Identifying Affected Third-Party Java Libraries from Textual Descriptions of Vulnerabilities and Libraries FSE Journal First Tianyu Chen Microsoft Research Asia, Lin Li Huawei Cloud Computing Technologies Co., Ltd., Bingjie Shan Huawei Cloud Computing Technologies Co., Ltd., Guangtai Liang Huawei Cloud Computing Technologies, Ding Li Peking University, Qianxiang Wang Huawei Technologies Co., Ltd, Tao Xie Peking University
11:30 20m Talk		Code Change Intention, Development Artifact and History Vulnerability: Putting Them Together for Vulnerability Fix Detection by LLM FSE Research Papers Xu Yang University of Manitoba, Wenhan Zhu Huawei Canada, Michael Pacheco Centre for Software Excellence, Huawei, Jiayuan Zhou Huawei, Shaowei Wang University of Manitoba, Xing Hu Zhejiang University, Kui Liu Huawei DOI
11:50 10m Talk		Augmenting Software Bills of Materials with Software Vulnerability Description FSE Ideas, Visions and Reflections Davide Fucci Blekinge Institute of Technology, Massimiliano Di Penta University of Sannio, Italy, Simone Romano University of Salerno, Giuseppe Scanniello University of Salerno
12:00 20m Talk		Teaching AI the ‘Why’ and ‘How’ of Software Vulnerability Fixes FSE Research Papers Amiao Gao Department of Computer Science, Southern Methodist University, Dallas, Texas, USA 75275-0122, Zenong Zhang The University of Texas - Dallas, Simin Wang Department of Computer Science, Southern Methodist University, Dallas, Texas, USA 75275-0122, LiGuo Huang Dept. of Computer Science, Southern Methodist University, Dallas, TX, 75205, Shiyi Wei University of Texas at Dallas, Vincent Ng Human Language Technology Research Institute, University of Texas at Dallas, Richardson, TX 75083-0688 DOI
12:20 10m Talk		Emerging Results in Using Explainable AI to Improve Software Vulnerability Prediction FSE Ideas, Visions and Reflections Fahad Al Debeyan Lancaster University, Tracy Hall Lancaster University, Lech Madeyski Wroclaw University of Science and Technology

14:00 - 15:30	Fuzzing 1FSE Demonstrations / FSE Research Papers / FSE Journal First at Cosmos 3C Chair(s): Shin Hwei Tan Concordia University

14:00 20m Talk		Liberating libraries through automated fuzz driver generation: Striking a Balance Without Consumer Code FSE Research Papers Flavio Toffalini EPFL, Switzerland and Ruhr-Universität Bochum, Germany, Nicolas Badoux EPFL, Zurab Tsinadze EPFL, Mathias Payer EPFL DOI
14:20 20m Talk		Presentation Proposal for: Finding Information Leaks with Information Flow Fuzzing FSE Journal First Bernd Gruner German Aerospace Center (DLR), Institute of Data Science, Clemens-Alexander Brust German Aerospace Center (DLR), Andreas Zeller CISPA Helmholtz Center for Information Security
14:40 20m Talk		MendelFuzz: The Return of the Deterministic Stage FSE Research Papers Han Zheng EPFL, Flavio Toffalini EPFL, Switzerland and Ruhr-Universität Bochum, Germany, Marcel Böhme MPI for Security and Privacy, Mathias Payer EPFL DOI
15:00 10m Talk		PeachCI: Scalable Continuous Integration of Generation-Based Protocol Fuzzing FSE Demonstrations Wanli Chen Central South University, Yuanliang Chen Tsinghua University, Fuchen Ma Tsinghua University, Ruikang Peng Central South University, Qi Xu Tsinghua University, Yu Jiang Tsinghua University, Qiang Fu Central South University, Heyuan Shi Central South University
15:10 10m Talk		Widening The Adoption of Web API Fuzzing: Docker, GitHub Action and Python Support for EvoMaster FSE Demonstrations Andrea Arcuri Kristiania University of Applied Sciences, Philip Garrett Kristiania University of Applied Sciences, Juan Pablo Galeotti University of Buenos Aires, Man Zhang Beihang University, China

16:00 - 17:50	Code Generation 1FSE Industry Papers / FSE Demonstrations / FSE Research Papers / FSE Journal First at Cosmos 3C Chair(s): Zhongxin Liu Zhejiang University

16:00 20m Talk		How Do Programming Students Use Generative AI? FSE Research Papers Christian Rahe University of Hamburg, Walid Maalej University of Hamburg DOI Pre-print
16:20 20m Talk		Towards Mitigating API Hallucination in Code Generated by LLMs with Hierarchical Dependency Aware FSE Industry Papers Yujia Chen Harbin Institute of Technology, Shenzhen, Mingyu Chen Harbin Institute of Technology, Shenzhen, Cuiyun Gao Harbin Institute of Technology, Shenzhen, Zhihan Jiang Huawei Cloud Computing Technologies Co., Ltd., Zhongqi Li Huawei Cloud Computing Technologies Co., Ltd., Yuchi Ma Huawei Cloud Computing Technologies
16:40 10m Talk		CoSEFA: An LLM-Based Programming Assistant for Secure Code Generation via Supervised Co-Decoding FSE Demonstrations Xuan He Chongqing University, Dong Li Chongqing University, Hao Wen CloudWalk Technology Co., Ltd, Yueheng Zhu Chongqing University, Chao Liu Chongqing University, Meng Yan Chongqing University, Hongyu Zhang Chongqing University
16:50 20m Talk		DeclarUI: Bridging Design and Development with Automated Declarative UI Code Generation FSE Research Papers Ting Zhou Huazhong University of Science and Technology, Yanjie Zhao Huazhong University of Science and Technology, Xinyi Hou Huazhong University of Science and Technology, Xiaoyu Sun Australian National University, Australia, Kai Chen Huazhong University of Science and Technology, Haoyu Wang Huazhong University of Science and Technology DOI
17:10 20m Talk		RAG or Fine-tuning? A Comparative Study on LCMs-based Code Completion in Industry FSE Industry Papers Chaozheng Wang The Chinese University of Hong Kong, Zezhou Yang Tencent Inc., Shuzheng Gao Chinese University of Hong Kong, Cuiyun Gao Harbin Institute of Technology, Shenzhen, Ting Peng Tencent Inc., Hailiang Huang Tencent Inc., Yuetang Deng Tencent, Michael Lyu Chinese University of Hong Kong
17:30 20m Talk		Automated Code Editing with Search-Generate-Modify FSE Journal First Changshu Liu Columbia University, Pelin Cetin Columbia University, Yogesh Patodia Columbia University, Baishakhi Ray Columbia University, Saikat Chakraborty Microsoft Research, Yangruibo Ding Columbia University Pre-print Media Attached File Attached

Tue 24 Jun
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

10:30 - 12:30	SE for LLMFSE Journal First / FSE Industry Papers / FSE Demonstrations / FSE Research Papers / FSE Ideas, Visions and Reflections at Cosmos 3C Chair(s): Hongyu Zhang Chongqing University

10:30 10m Talk		Enhancing Code LLM Training with Programmer Attention FSE Ideas, Visions and Reflections Yifan Zhang Vanderbilt University, Chen Huang Sichuan University, Zachary Karas Vanderbilt University, Thuy Dung Nguyen Vanderbilt University, Kevin Leach Vanderbilt University, Yu Huang Vanderbilt University
10:40 20m Talk		Risk Assessment Framework for Code LLMs via Leveraging Internal States FSE Industry Papers Yuheng Huang The University of Tokyo, Lei Ma The University of Tokyo & University of Alberta, Keizaburo Nishikino Fujitsu Limited, Takumi Akazaki Fujitsu Limited
11:00 20m Talk		An Empirical Study of Issues in Large Language Model Training Systems FSE Industry Papers Yanjie Gao Microsoft Research, Ruiming Lu Shanghai Jiao Tong University, Haoxiang Lin Microsoft Research, Yueguo Chen Renmin University of China DOI
11:20 20m Talk		Look Before You Leap: An Exploratory Study of Uncertainty Analysis for Large Language Models FSE Journal First Yuheng Huang The University of Tokyo, Norman Song , Zhijie Wang University of Alberta, Shengming Zhao University of Alberta, Huaming Chen The University of Sydney, Felix Juefei-Xu New York University, Lei Ma The University of Tokyo & University of Alberta Link to publication DOI Pre-print
11:40 10m Talk		EvidenceBot: A Privacy-Preserving, Customizable RAG-Based Tool for Enhancing Large Language Model Interactions FSE Demonstrations Nafiz Imtiaz Khan Department of Computer Science, University of California, Davis, Vladimir Filkov University of California at Davis, USA
11:50 20m Talk		OpsEval: A Comprehensive Benchmark Suite for Evaluating Large Language Models’ Capability in IT Operations Domain FSE Industry Papers Yuhe Liu Tsinghua University, Changhua Pei Computer Network Information Center at Chinese Academy of Sciences, Longlong Xu Tsinghua University, Bohan Chen Tsinghua University, Mingze Sun Tsinghua University, Zhirui Zhang Beijing University of Posts and Telecommunications, Yongqian Sun Nankai University, Shenglin Zhang Nankai University, Kun Wang Zhejiang University, Haiming Zhang Chinese Academy of Sciences, Jianhui Li Computer Network Information Center at Chinese Academy of Sciences, Gaogang Xie Computer Network Information Center at Chinese Academy of Sciences, Xidao Wen BizSeer, Xiaohui Nie Computer Network Information Center at Chinese Academy of Sciences, Minghua Ma Microsoft, Dan Pei Tsinghua University
12:10 20m Talk		Hallucination Detection in Large Language Models with Metamorphic Relations FSE Research Papers Borui Yang Beijing University of Posts ad Telecommunications, Md Afif Al Mamun University of Calgary, Jie M. Zhang King's College London, Gias Uddin York University, Canada DOI

14:00 - 15:30	Testing 3FSE Research Papers / FSE Industry Papers / FSE Ideas, Visions and Reflections / FSE Journal First at Cosmos 3C Chair(s): Dan Hao Peking University

14:00 20m Talk		LlamaRestTest: Effective REST API Testing with Small Language Models FSE Research Papers Myeongsoo Kim Georgia Institute of Technology, Saurabh Sinha IBM Research, Alessandro Orso University of Georgia, USA DOI
14:20 20m Talk		Testing Updated Apps by Adapting Learned Models FSE Journal First Chanh Duc Ngo University of Luxembourg, Fabrizio Pastore University of Luxembourg, Lionel Briand University of Ottawa, Canada; Lero centre, University of Limerick, Ireland Link to publication
14:40 20m Talk		Automated Testing of COBOL to Java Transformation FSE Industry Papers Sandeep Hans IBM India Research Lab, Atul Kumar IBM Research India, Toshiaki Yasue IBM Research - Tokyo, Kohichi Ono IBM Research - Tokyo, Saravanan Krishnan IBM India Research Lab, Devika Sondhi IBM Research, Fumiko Satoh IBM Research - Tokyo, Gerald Mitchell IBM Software, Sachin Kumar IBM Software, Diptikalyan Saha IBM Research India
15:00 20m Talk		TerzoN: Human-in-the-Loop Software Testing with a Composite Oracle FSE Research Papers Matthew C. Davis Carnegie Mellon University, Amy Wei University of Michigan, Brad A. Myers Carnegie Mellon University, Joshua Sunshine Carnegie Mellon University Link to publication DOI
15:20 10m Talk		Efficient Test Generation for Dynamic Behaviors Leveraging Token-Level Input Commonalities FSE Ideas, Visions and Reflections Yuxin Qiu University of California at Riverside, Qian Zhang University of California at Riverside

16:00 - 17:40	MSR 2FSE Journal First / FSE Ideas, Visions and Reflections / FSE Research Papers / FSE Demonstrations at Cosmos 3C Chair(s): DongGyun Han Royal Holloway, University of London

16:00 10m Talk		Introducing Repository Stability FSE Ideas, Visions and Reflections Giuseppe Destefanis Brunel University of London, Silvia Bartolucci UCL, Daniel Graziotin University of Hohenheim, Rumyana Neykova Brunel University London, Marco Ortu University of Cagliari Pre-print
16:10 20m Talk		Scientific Open-Source Software Is Less Likely To Become Abandoned Than One Might Think! Lessons from Curating a Catalog of Maintained Scientific Software FSE Research Papers Addi Malviya-Thakur The University of Tennessee, Knoxville / Oak Ridge National Laboratory, Reed Milewicz Sandia National Laboratories, Mahmoud Jahanshahi University of Tennessee, Lavinia Francesca Paganini Eindhoven University of Technology, Bogdan Vasilescu Carnegie Mellon University, Audris Mockus University of Tennessee Link to publication DOI
16:30 20m Talk		Who Will Stop Contributing to OSS Projects? Predicting Company Turnover Based on Initial Behavior FSE Research Papers Mian Qin Beijing Institute of Technology, Yuxia Zhang Beijing Institute of Technology, Klaas-Jan Stol Lero; University College Cork; SINTEF Digital , Hui Liu Beijing Institute of Technology DOI
16:50 20m Talk		An empirical study of token-based micro commits FSE Journal First Masanari Kondo Kyushu University, Daniel M. German University of Victoria, Yasutaka Kamei Kyushu University, Naoyasu Ubayashi Waseda University, Osamu Mizuno Kyoto Institute of Technology
17:10 10m Talk		TS-Detector : Detecting Feature Toggle Usage Patterns FSE Demonstrations Md Tajmilur Rahman Gannon University, Mengzhe Fei University of Saskatchewan; Vendasta, Tushar Sharma Dalhousie University, Chanchal K. Roy University of Saskatchewan
17:20 20m Talk		Impact of Request Formats on Effort Estimation: Are LLMs Different than Humans? FSE Research Papers Gül Calikli University of Glasgow, Mohammed Alhamed Applied Behaviour Systems LTD (Hexis), United Kingdom DOI

Wed 25 Jun
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

11:00 - 12:30	CompilerFSE Research Papers / FSE Journal First / FSE Ideas, Visions and Reflections at Cosmos 3C Chair(s): Na Meng Virginia Tech

11:00 20m Talk		De-duplicating Silent Compiler Bugs via Deep Semantic Representation FSE Research Papers Junjie Chen Tianjin University, Xingyu Fan Tianjin University, Chen Yang Tianjin University, Shuang Liu Renmin University of China, Jun Sun Singapore Management University DOI
11:20 20m Talk		DiSCo: Towards Decompiling EVM Bytecode to Source Code using Large Language Models FSE Research Papers Xing Su National Key Lab for Novel Software Technology, Nanjing University, China, Hanzhong Liang National Key Lab for Novel Software Technology, Nanjing University, China, Hao Wu , Ben Niu State Key Laboratory of Information Security, Institute of Information Engineering, China, Fengyuan Xu National Key Lab for Novel Software Technology, Nanjing University, China, Sheng Zhong National Key Lab for Novel Software Technology, Nanjing University, China DOI
11:40 20m Talk		Compiler Autotuning through Multiple Phase Learning FSE Journal First Mingxuan Zhu Peking University, Dan Hao Peking University, Junjie Chen Tianjin University
12:00 20m Talk		PDCAT: Preference-Driven Compiler Auto-Tuning FSE Research Papers Mingxuan Zhu Peking University, Zeyu Sun Institute of Software, Chinese Academy of Sciences, Dan Hao Peking University DOI
12:20 10m Talk		Compiler Optimization Testing Based on Optimization-Guided Equivalence Transformations FSE Ideas, Visions and Reflections Jingwen Wu Shandong University, Jiajing Zheng Shandong University, Zhenyu Yang Shandong University, Zhongxing Yu Shandong University

14:00 - 15:30	Empirical Studies 2FSE Ideas, Visions and Reflections / FSE Research Papers / FSE Journal First at Cosmos 3C Chair(s): Yuchao Jiang UNSW

14:00 20m Talk		An Empirical Analysis of Issue Templates Usage in Large-Scale Projects on GitHub FSE Journal First Emre Sülün Bilkent University, Metehan Saçakcı Bilkent University, Eray Tüzün Bilkent University
14:20 20m Talk		The Landscape of Toxicity: An Empirical Investigation of Toxicity on GitHub FSE Research Papers Jaydeb Sarker University of Nebraska at Omaha, Asif Kamal Turzo Wayne State University, Amiangshu Bosu Wayne State University DOI Pre-print
14:40 20m Talk		Expressing and Checking Statistical Assumptions FSE Research Papers Alexi Turcotte CISPA, Zheyuan Wu Saarland University DOI
15:00 20m Talk		Why the Proof Fails in Different Versions of Theorem Provers: An Empirical Study of Compatibility Issues in Isabelle FSE Research Papers Xiaokun Luan Peking University, David Sanan Singapore Institute of Technology, Zhe Hou Griffith University, Qiyuan Xu Nanyang Technological University, Chengwei Liu Nanyang Technological University, Yufan Cai National University of Singapore, Yang Liu Nanyang Technological University, Meng Sun Peking University DOI
15:20 10m Talk		Missing Threats: Dealing with the Treatment-sensitive Factorial Structure Bias in Empirical Software Engineering FSE Ideas, Visions and Reflections Sabato Nocera University of Salerno, Giuseppe Scanniello University of Salerno

Sat 21 Jun
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change


Room	11:00						30						12:00						30						13:00						30						14:00						30						15:00						30						16:00						30						17:00						30
Cosmos 3C	Research Track Session7: AI for Software Engineering III																																				Research Track + New Idea Track + Tool Demonstration Track Session8: Software Vulnerability and Security III																								Research Track + Tool Demonstration Track Session9: AloT & Microservices

Mon 23 Jun
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change


Room	10:00						30						11:00						30						12:00						30						13:00						30						14:00						30						15:00						30						16:00						30						17:00						30
Cosmos 3C							FSE Research Papers + FSE Ideas, Visions and Reflections + FSE Journal First Vulnerability 1																																										FSE Demonstrations + FSE Research Papers + FSE Journal First Fuzzing 1																								FSE Industry Papers + FSE Demonstrations + FSE Research Papers + FSE Journal First Code Generation 1

Tue 24 Jun
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change


Room	10:00						30						11:00						30						12:00						30						13:00						30						14:00						30						15:00						30						16:00						30						17:00						30
Cosmos 3C							FSE Journal First + FSE Industry Papers + FSE Demonstrations + FSE Research Papers + FSE Ideas, Visions and Reflections SE for LLM																																										FSE Research Papers + FSE Industry Papers + FSE Ideas, Visions and Reflections + FSE Journal First Testing 3																								FSE Journal First + FSE Ideas, Visions and Reflections + FSE Research Papers + FSE Demonstrations MSR 2

Wed 25 Jun
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change


Room	11:00						30						12:00						30						13:00						30						14:00						30						15:00						30
Cosmos 3C	FSE Research Papers + FSE Journal First + FSE Ideas, Visions and Reflections Compiler																																				FSE Ideas, Visions and Reflections + FSE Research Papers + FSE Journal First Empirical Studies 2

Sat 21 Jun
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna 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			17:00			15			30			45
Cosmos 3C	Internetware Research Track Brevity is the Soul of Wit: Condensing Code Changes to Improve Commit M ... 11:00 - 11:15			Internetware Research Track DesDD: A Design-Enabled Framework with Dual-Layer Debugging for LLM-bas ... 11:15 - 11:30			Internetware Research Track AUCAD: Automated Construction of Alignment Dataset from Log-Related Iss ... 11:30 - 11:45			Internetware Research Track Enhancement Report Approval Prediction: A Comparative Study of Large La ... 11:45 - 12:00			Internetware Research Track MetaCoder: Generating Code from Multiple Perspectives 12:00 - 12:15			Internetware Research Track API-Repo: API-centric Repository-level Code Completion 12:15 - 12:30			Internetware Research Track AdaptiveLLM: A Framework for Selecting Optimal Cost-Efficient LLM for C ... 12:30 - 12:45			Internetware Research Track Lightweight Probabilistic Coverage Metrics for Efficient Testing of Dee ... 12:45 - 13:00															Internetware Research Track VDLS: A Vulnerability Detection Approach Based on Execution Path Selection 14:00 - 14:15			Internetware Research Track Exploring Typo Squatting Threats in the Hugging Face Ecosystem 14:15 - 14:30			Internetware Research Track Unraveling the Characterization and Propagation of Security Vulnerabili ... 14:30 - 14:45			Internetware Research Track Seeing is (Not) Believing: The Mirage Card Attack Targeting Online Soci ... 14:45 - 15:00			Internetware New Idea Track ETrace : Event-Driven Vulnerability Detection in Smart Contracts via LL ... 15:00 - 15:10		Internetware Tool Demonstration Track A Natural Language Guided Adaptive Model-based Testing Tool for Autonom ... 15:10 - 15:20		Internetware New Idea TrackBest New Idea Paper Award Software Reuse in the Generative AI Era: From Cargo Cult Towards System ... 15:20 - 15:30								Internetware Research Track EnvGuard: Guaranteeing Environment-Centric Safety and Security Properti ... 16:00 - 16:15						Internetware Research Track Privacy-Preserving Authentication Scheme for V2G in social IoT Based on ... 16:30 - 16:45			Internetware Research Track To Split or to Merge? Exploring Multi-modal Data Flexibly for Failure C ... 16:45 - 17:00			Internetware Research Track Dynamic Microservice Resource Optimization Management Based on MAPE Loop 17:00 - 17:15			Internetware Tool Demonstration Track Documenting Microservice Integration with MSAdoc 17:15 - 17:25

Mon 23 Jun
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change


Room	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
Cosmos 3C							FSE Research Papers VulPA: Detecting Semantically Recurring Vulnerabilities with Multi-Obje ... 10:30 - 10:50				FSE Research Papers Mystique: Automated Vulnerability Patch Porting with Semantic and Synta ... 10:50 - 11:10				FSE Journal First Identifying Affected Third-Party Java Libraries from Textual Descriptio ... 11:10 - 11:30				FSE Research Papers Code Change Intention, Development Artifact and History Vulnerability: ... 11:30 - 11:50				FSE Ideas, Visions and Reflections Augmenting Software Bills of Materials with Software Vulnerability Desc ... 11:50 - 12:00		FSE Research Papers Teaching AI the ‘Why’ and ‘How’ of Software Vulnerability Fixes 12:00 - 12:20				FSE Ideas, Visions and Reflections Emerging Results in Using Explainable AI to Improve Software Vulnerabil ... 12:20 - 12:30																				FSE Research Papers Liberating libraries through automated fuzz driver generation: Striking ... 14:00 - 14:20				FSE Journal First Presentation Proposal for: Finding Information Leaks with Information F ... 14:20 - 14:40				FSE Research Papers MendelFuzz: The Return of the Deterministic Stage 14:40 - 15:00				FSE Demonstrations PeachCI: Scalable Continuous Integration of Generation-Based Protocol F ... 15:00 - 15:10		FSE Demonstrations Widening The Adoption of Web API Fuzzing: Docker, GitHub Action and Pyt ... 15:10 - 15:20										FSE Research Papers How Do Programming Students Use Generative AI? 16:00 - 16:20				FSE Industry Papers Towards Mitigating API Hallucination in Code Generated by LLMs with Hie ... 16:20 - 16:40				FSE Demonstrations CoSEFA: An LLM-Based Programming Assistant for Secure Code Generation v ... 16:40 - 16:50		FSE Research Papers DeclarUI: Bridging Design and Development with Automated Declarative UI ... 16:50 - 17:10				FSE Industry Papers RAG or Fine-tuning? A Comparative Study on LCMs-based Code Completion i ... 17:10 - 17:30				FSE Journal First Automated Code Editing with Search-Generate-Modify 17:30 - 17:50

Tue 24 Jun
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change


Room	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
Cosmos 3C							FSE Ideas, Visions and Reflections Enhancing Code LLM Training with Programmer Attention 10:30 - 10:40		FSE Industry Papers Risk Assessment Framework for Code LLMs via Leveraging Internal States 10:40 - 11:00				FSE Industry Papers An Empirical Study of Issues in Large Language Model Training Systems 11:00 - 11:20				FSE Journal First Look Before You Leap: An Exploratory Study of Uncertainty Analysis for ... 11:20 - 11:40				FSE Demonstrations EvidenceBot: A Privacy-Preserving, Customizable RAG-Based Tool for Enha ... 11:40 - 11:50		FSE Industry Papers OpsEval: A Comprehensive Benchmark Suite for Evaluating Large Language ... 11:50 - 12:10				FSE Research Papers Hallucination Detection in Large Language Models with Metamorphic Relations 12:10 - 12:30																						FSE Research Papers LlamaRestTest: Effective REST API Testing with Small Language Models 14:00 - 14:20				FSE Journal First Testing Updated Apps by Adapting Learned Models 14:20 - 14:40				FSE Industry Papers Automated Testing of COBOL to Java Transformation 14:40 - 15:00				FSE Research Papers TerzoN: Human-in-the-Loop Software Testing with a Composite Oracle 15:00 - 15:20				FSE Ideas, Visions and Reflections Efficient Test Generation for Dynamic Behaviors Leveraging Token-Level ... 15:20 - 15:30								FSE Ideas, Visions and Reflections Introducing Repository Stability 16:00 - 16:10		FSE Research Papers Scientific Open-Source Software Is Less Likely To Become Abandoned Than ... 16:10 - 16:30				FSE Research Papers Who Will Stop Contributing to OSS Projects? Predicting Company Turnover ... 16:30 - 16:50				FSE Journal First An empirical study of token-based micro commits 16:50 - 17:10				FSE Demonstrations TS-Detector : Detecting Feature Toggle Usage Patterns 17:10 - 17:20		FSE Research Papers Impact of Request Formats on Effort Estimation: Are LLMs Different than ... 17:20 - 17:40

Wed 25 Jun
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna 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
Cosmos 3C	FSE Research Papers De-duplicating Silent Compiler Bugs via Deep Semantic Representation 11:00 - 11:20				FSE Research Papers DiSCo: Towards Decompiling EVM Bytecode to Source Code using Large Lang ... 11:20 - 11:40				FSE Journal First Compiler Autotuning through Multiple Phase Learning 11:40 - 12:00				FSE Research Papers PDCAT: Preference-Driven Compiler Auto-Tuning 12:00 - 12:20				FSE Ideas, Visions and Reflections Compiler Optimization Testing Based on Optimization-Guided Equivalence ... 12:20 - 12:30																				FSE Journal First An Empirical Analysis of Issue Templates Usage in Large-Scale Projects ... 14:00 - 14:20				FSE Research Papers The Landscape of Toxicity: An Empirical Investigation of Toxicity on GitHub 14:20 - 14:40				FSE Research Papers Expressing and Checking Statistical Assumptions 14:40 - 15:00				FSE Research Papers Why the Proof Fails in Different Versions of Theorem Provers: An Empiri ... 15:00 - 15:20				FSE Ideas, Visions and Reflections Missing Threats: Dealing with the Treatment-sensitive Factorial Structu ... 15:20 - 15:30

Room information: Cosmos 3C

Sat 21 Jun
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Mon 23 Jun
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Tue 24 Jun
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Wed 25 Jun
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Sat 21 Jun
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Research Track

Research Track + New Idea Track + Tool Demonstration Track

Research Track + Tool Demonstration Track

Mon 23 Jun
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

FSE Research Papers + FSE Ideas, Visions and Reflections + FSE Journal First

FSE Demonstrations + FSE Research Papers + FSE Journal First

FSE Industry Papers + FSE Demonstrations + FSE Research Papers + FSE Journal First

Tue 24 Jun
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

FSE Journal First + FSE Industry Papers + FSE Demonstrations + FSE Research Papers + FSE Ideas, Visions and Reflections

FSE Research Papers + FSE Industry Papers + FSE Ideas, Visions and Reflections + FSE Journal First

FSE Journal First + FSE Ideas, Visions and Reflections + FSE Research Papers + FSE Demonstrations

Wed 25 Jun
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

FSE Research Papers + FSE Journal First + FSE Ideas, Visions and Reflections

FSE Ideas, Visions and Reflections + FSE Research Papers + FSE Journal First

Sat 21 Jun
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Mon 23 Jun
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Tue 24 Jun
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Wed 25 Jun
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Tracks

Room information: Cosmos 3C

Program Display Configuration

Sat 21 JunDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Mon 23 JunDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Tue 24 JunDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Wed 25 JunDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Sat 21 JunDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Research Track

Research Track + New Idea Track + Tool Demonstration Track

Research Track + Tool Demonstration Track

Mon 23 JunDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

FSE Research Papers + FSE Ideas, Visions and Reflections + FSE Journal First

FSE Demonstrations + FSE Research Papers + FSE Journal First

FSE Industry Papers + FSE Demonstrations + FSE Research Papers + FSE Journal First

Tue 24 JunDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

FSE Journal First + FSE Industry Papers + FSE Demonstrations + FSE Research Papers + FSE Ideas, Visions and Reflections

FSE Research Papers + FSE Industry Papers + FSE Ideas, Visions and Reflections + FSE Journal First

FSE Journal First + FSE Ideas, Visions and Reflections + FSE Research Papers + FSE Demonstrations

Wed 25 JunDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

FSE Research Papers + FSE Journal First + FSE Ideas, Visions and Reflections

FSE Ideas, Visions and Reflections + FSE Research Papers + FSE Journal First

Sat 21 JunDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Mon 23 JunDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Tue 24 JunDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Wed 25 JunDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Information for Participants

Information for Participants

Information for Participants

Information for Participants

Information for Participants

Information for Participants

Information for Participants

Information for Participants

Information for Participants

Information for Participants

Information for Participants

Sat 21 Jun
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Mon 23 Jun
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Tue 24 Jun
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Wed 25 Jun
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Sat 21 Jun
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Mon 23 Jun
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Tue 24 Jun
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Wed 25 Jun
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Sat 21 Jun
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Mon 23 Jun
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Tue 24 Jun
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Wed 25 Jun
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change