Filter Program
Dates
Rooms
Tracks
Badges
Your Program
This program is tentative and subject to change.
Mon 13 AprDisplayed time zone: Brasilia, Distrito Federal, Brazil change
Mon 13 Apr
Displayed time zone: Brasilia, Distrito Federal, Brazil change
09:00 - 10:30 | |||
09:00 15mDay opening | Workshop Opening Designing | ||
09:15 60mKeynote | Designing at Scale: Challenges, Pitfalls, and Lessons Learned Designing Maurício Aniche Uber Technologies | ||
10:15 12mTalk | Toward Collecting Evidence of Design Work in Software Maintenance Meetings: Preliminary Results from a Case Study Designing Janet Burge Colorado College, Adriana Meza Soria MIT-IBM Watson AI Lab, Andre van der Hoek University of California, Irvine | ||
09:00 - 10:30 | |||
09:00 15mDay opening | Welcome by the Organizers WSESE Patricia Lago Vrije Universiteit Amsterdam, Silvia Abrahão Universitat Politècnica de València, Sira Vegas Universidad Politecnica de Madrid | ||
09:15 50mKeynote | Keynote WSESE | ||
10:05 18mFull-paper | Towards an OSF-based Registered Report Template for Software Engineering Controlled ExperimentsTechnical Paper WSESE Ana B. M. Bett State University of Maringá, Thais S. Nepomuceno State University of Maringá, Edson OliveiraJr State University of Maringá, Maria Teresa Baldassarre Department of Computer Science, University of Bari , Valdemar Graciano Neto Federal University of Goiás, Marcos Kalinowski Pontifical Catholic University of Rio de Janeiro (PUC-Rio) Pre-print | ||
10:23 7mPanel | Discussion of Controlled Experiments WSESE | ||
11:00 - 12:30 | |||
11:00 10mOther | Activity: Theory Building - Introduction Designing | ||
11:10 12mTalk | Design Reasoning in a Research and Development Organization: Insights from a Focus Group Study Designing | ||
11:22 12mTalk | Is my Dependency Sustainable? A Systematic Mapping on Open Source Software Sustainability Designing Gabriel Silva Fontes Universidade de São Paulo, Vinicius dos Santos University of São Paulo (ICMC/USP), São Carlos - SP, Elisa Yumi Nakagawa University of São Paulo | ||
11:34 12mTalk | From Framework to Practice: Designing a Real-World Telehealth Application for Palliative Care Designing Wei Zhou Faculty of Information Technology, Monash University, Rashina Hoda Monash University, Andy Li Faculty of Information Technology, Monash University, Chris Bain Faculty of Information Technology, Monash University, Laura Bird Monash Health/Monash University, Emmy Trinh Monash Health, Peter Poon Monash Health, Teresa O’Brien University of Melbourne, Mahima Kalla University of Melbourne, Olivia Metcalf University of Melbourne, Wendy Chapman University of Melbourne, Joycelyn Ling Digital Health Cooperative Research Centre (DHCRC), Sam Georgy Healthdirect Australia (HDA), David Bevan Victorian Department of Health | ||
11:46 12mTalk | Are your Designs Usable? An Empirical SUS-Scale Study on Design Patterns for Mobile Crypto wallet Applications. Designing Francisco Gindre LIFIA - CONICET, Florencia Riva LIFIA - CICPBA, Matías Urbieta LIFIA - CONICET, Gustavo Rossi LIFIA - CONICET | ||
11:58 12mTalk | A Design Space for Federated Software Systems Designing David Wichter German Aerospace Center (DLR), University of Cologne, Alexander Weinert German Aerospace Center (DLR) Institute for Software Technology, Michael Felderer German Aerospace Center (DLR) & University of Cologne | ||
12:10 20mOther | Activity: Theory Building Designing | ||
11:00 - 12:30 | |||
11:00 18mFull-paper | On the Use of Large Language Models for Qualitative SynthesisTechnical Paper WSESE Sebastián Pizard Universidad de la República, Ramiro Moreira Universidad de la República, Federico Galiano Universidad de la República, Ignacio Sastre Universidad de la República, Lorena Etcheverry Universidad de la República Pre-print | ||
11:18 18mFull-paper | LLM-Assisted Thematic Analysis: Opportunities, Limitations, and RecommendationsTechnical Paper WSESE Tatiane Ornelas Martins Alves Department of Informatics - Pontifical Catholic University of Rio de Janeiro (PUC-Rio), Allysson Allex Araújo Federal University of Cariri, Júlia Condé Araújo Department of Informatics - Pontifical Catholic University of Rio de Janeiro (PUC-Rio), Marina Condé Araújo Department of Informatics - Pontifical Catholic University of Rio de Janeiro (PUC-Rio), Bianca Trinkenreich Colorado State University, Marcos Kalinowski Pontifical Catholic University of Rio de Janeiro (PUC-Rio) Pre-print | ||
11:36 18mFull-paper | An Investigation on How AI-Generated Responses Affect Software Engineering SurveysTechnical Paper WSESE Ronnie de Souza Santos University of Calgary, Italo Santos University of Hawai‘i at Mānoa, Maria Teresa Baldassarre Department of Computer Science, University of Bari , Cleyton Magalhaes Universidade Federal Rural de Pernambuco, Mairieli Wessel Radboud University Pre-print | ||
11:54 14mVision and Emerging Results | OLAF: Towards Robust LLM-Based Annotation Framework in Empirical Software EngineeringVision / Position Paper WSESE Mia Mohammad Imran Missouri University of Science and Technology, Tarannum Shaila Zaman University of Maryland Baltimore County Pre-print | ||
12:08 22mPanel | Discussion of Qualitative Studies WSESE | ||
14:00 - 15:30 | |||
14:00 12mTalk | Using Generative AI in Software Design Education Designing Victoria Jackson University of Southampton, Susannah Liu University of California, Irvine, Andre van der Hoek University of California, Irvine | ||
14:12 12mTalk | The Digital Nutrition Label: A Tool for Ethical Software Design Education and Validation Designing Mohammad Samarah University of Maryland, Baltimore County, Melissa Sahl University of Maryland Baltimore County, Abhijit Dutt University of Maryland Baltimore County, Charissa Cheah University of Maryland Baltimore County | ||
14:24 12mTalk | Evolving Job Responsibilities for Better Software Design and Development - The STEADY Framework Designing Fayaz Suleman University of North Carolina at Charlotte, David Wilson University of North Carolina at Charlotte | ||
14:36 54mOther | Activity: Design Education Designing | ||
14:00 - 15:30 | |||
14:00 18mFull-paper | Operationalizing Software Engineering Theories for Practical ValidationTechnical Paper WSESE Isaque Alves University of Brasilia (UnB), Fabio Kon University of São Paulo, Jessica Díaz Universidad Politécnica de Madrid, Carla Silva Rocha Aguiar University of Brasilia (UnB) | ||
14:18 18mFull-paper | Attributes to Support the Formulation of Practically Relevant Research Problems in Software EngineeringTechnical Paper WSESE Anrafel Fernandes Pereira Pontifical Catholic University of Rio de Janeiro (PUC-Rio), Maria Teresa Baldassarre Department of Computer Science, University of Bari , Daniel Mendez Blekinge Institute of Technology and fortiss, Jürgen Börstler Blekinge Institute of Technology, Nauman bin Ali Blekinge Institute of Technology, Rahul Mohanani University of Jyväskylä, Darja Šmite Blekinge Institute of Technology, Stefan Biffl Vienna University of Technology, Rogardt Heldal Western Norway University of Applied Science, Davide Falessi University of Rome Tor Vergata, Italy, Daniel Graziotin University of Hohenheim, Marcos Kalinowski Pontifical Catholic University of Rio de Janeiro (PUC-Rio) Pre-print | ||
14:36 14mVision and Emerging Results | Towards AI Agents Supported Research Problem FormulationVision / Position Paper WSESE Anrafel Fernandes Pereira Pontifical Catholic University of Rio de Janeiro (PUC-Rio), Maria Teresa Baldassarre Department of Computer Science, University of Bari , Daniel Mendez Blekinge Institute of Technology and fortiss, Marcos Kalinowski Pontifical Catholic University of Rio de Janeiro (PUC-Rio) Pre-print | ||
14:50 16mExperience report | A Community Roadmap for Meta-Research and Knowledge Transfer in Software EngineeringExperience report / Work-in-Progress WSESE Angelika Kaplan Karlsruhe Institute of Technology (KIT), Martin Armbruster Karlsruhe Institute of Technology (KIT), Jan Bernoth University of Potsdam, Marco Konersmann Software Engineering, RWTH Aachen University, Jan Keim Karlsruhe Institute of Technology (KIT), Ralf Reussner Karlsruhe Institute of Technology (KIT) and FZI - Research Center for Information Technology (FZI) | ||
15:06 24mPanel | Discussion of SE Problems and Theories WSESE | ||
16:00 - 17:30 | |||
16:00 12mTalk | Improving LLM-assisted code generation through the use of architectural documents and implementation plans. Designing Humberto Cervantes UAM Iztapalapa, Rick Kazman University of Hawai‘i at Mānoa, Yuanfang Cai Drexel University | ||
16:12 12mTalk | Evaluating Frontier LLMs in Answering Game-Design Questions: A Preliminary Study Designing Adams Amaral de Castro Filho Universidade de Fortaleza, Maria Andréia Formico Rodrigues University of Fortaleza, Nabor Mendonca University of Fortaleza | ||
16:24 56mOther | Activity: Design & AI Designing | ||
17:20 10mDay closing | Workshop Closing Designing | ||
16:00 - 17:30 | |||
16:00 16mExperience report | Multivocal Literature Reviews in Emergent Research Areas: An Experience ReportExperience report / Work-in-Progress WSESE Lidia López Universitat Politècnica de Catalunya, Spain, Carles Farré Universitat Politècnica de Catalunya, Razieh Akbarilalaei Universitat Politècnica de Catalunya, Xavier Franch Universitat Politècnica de Catalunya | ||
16:16 18mFull-paper | A Sustainable Data Extraction Documentation Process for Literature StudiesTechnical Paper WSESE Angelika Kaplan Karlsruhe Institute of Technology (KIT), Marco Konersmann Software Engineering, RWTH Aachen University, Thomas Kühn Martin-Luther-University Halle-Wittenberg, Raffaela Mirandola Karlsruhe Institute of Technology (KIT), Ralf Reussner Karlsruhe Institute of Technology (KIT) and FZI - Research Center for Information Technology (FZI) | ||
16:34 16mExperience report | On the Use of a Large Language Model to Support the Conduction of a Systematic Mapping Study: A Brief Report from a Practitioner’s ViewExperience report / Work-in-Progress WSESE Cauã Ferreira Barros Federal University of Goiás, Marcos Kalinowski Pontifical Catholic University of Rio de Janeiro (PUC-Rio), Mohamad Kassab Boston University, Valdemar Graciano Neto Federal University of Goiás Pre-print | ||
16:50 20mPanel | Discussion of Secondary Studies WSESE | ||
17:10 20mDay closing | Closing WSESE Patricia Lago Vrije Universiteit Amsterdam, Silvia Abrahão Universitat Politècnica de València, Sira Vegas Universidad Politecnica de Madrid | ||
Wed 15 AprDisplayed time zone: Brasilia, Distrito Federal, Brazil change
Wed 15 Apr
Displayed time zone: Brasilia, Distrito Federal, Brazil change
11:00 - 12:30 | |||
11:00 15mTalk | CREME: Robustness Enhancement of Code LLMs via Layer-Aware Model Editing Research Track Shuhan Liu Zhejiang University, Xing Hu Zhejiang University, Kerui Huang , Xiaohu Yang Zhejiang University, David Lo Singapore Management University, Xin Xia Zhejiang University | ||
11:15 15mTalk | Repairing LLM Executions for Secure Automatic Programming Research Track Ali El Husseini National University of Singapore, Yacine Izza National University of Singapore, Blaise Genest IPAL - CNRS - CNRS@CREATE, Abhik Roychoudhury National University of Singapore | ||
11:30 15mTalk | SecureReviewer: Enhancing Large Language Models for Secure Code Review through Secure-Aware Fine-Tuning Research Track Fang Liu Beihang University, Simiao Liu Beihang University, Yinghao Zhu Beihang University, Xiaoli Lian Beihang University, China, Li Zhang Beihang University Pre-print | ||
11:45 15mTalk | Find My Code Twin: Improving SNIPPET SEARCH Performance Using LLMs in Practice SE In Practice (SEIP) Seokjun Ko Samsung Electronics Co., Eunbi Jang AI Center, Samsung Electronics, Dahyeon Choi AI Center, Samsung Electronics, daeha ryu Innovation Center, Samsung Electronics, jinyoung park Innovation Center, Samsung Electronics, changseo park Innovation Center, Samsung Electronics | ||
12:00 15mTalk | Fixing Security Vulnerabilities with Agentic AI in OSS-Fuzz SE In Practice (SEIP) Yuntong Zhang National University of Singapore, Jiawei Wang University of Southern California, Dominic Berzin National University of Singapore, Martin Mirchev SonarSource, Abhik Roychoudhury National University of Singapore | ||
12:15 15mTalk | EvoC2Rust: A Skeleton-guided Framework for Project-Level C-to-Rust Translation SE In Practice (SEIP) Chaofan Wang Shanghai Jiao Tong University, Tingrui Yu Shanghai Jiao Tong University, Chen Xie Shanghai Jiao Tong University, Jie Wang Huawei Technologies Co., Ltd, Dong Chen Huawei Technologies Co., Ltd, Wenrui Zhang Huawei Technologies Co., Ltd, Yuling Shi Shanghai Jiao Tong University, Xiaodong Gu Shanghai Jiao Tong University, Beijun Shen Shanghai Jiao Tong University | ||
11:00 - 12:30 | |||
11:00 15mTalk | Evaluating and Improving Automated Repository-Level Rust Issue Resolution with LLM-based Agents Research Track Jiahong Xiang Southern University of Science and Technology, Wenxiao He Southern University of Science and Technology, Xihua Wang Southern University of Science and Technology, Hongliang Tian Ant Group, Yuqun Zhang Southern University of Science and Technology | ||
11:15 15mTalk | SWE-Debate: Competitive Multi-Agent Debate for Software Issue Resolution Research Track Han Li Shanghai Jiao Tong University, China, Yuling Shi Shanghai Jiao Tong University, Shaoxin Lin , Xiaodong Gu Shanghai Jiao Tong University, Heng Lian Xidian University, Wang Xin , Yantao Jia Huawei, huangtao , Qianxiang Wang Huawei Technologies Co., Ltd | ||
11:30 15mTalk | More with Less: An Empirical Study of Turn-Control Strategies for Efficient Coding Agents Research Track | ||
11:45 15mTalk | ADARULE: LLM-Driven Natural Language to LTL Conversion via Pattern-Adaptive Rule Induction Research Track Jiayi Hu East China Normal University, Jingling Sun University of Electronic Science and Technology of China, Chong Wang Nanyang Technological University, Yihao Huang East China Normal University, jincaofeng , Yilongfei Xu East China Normal University, Yong Li Institute of Software, Chinese Academy of Sciences, Kailong Wang Huazhong University of Science and Technology, Weikai Miao Shanghai Key Lab for Trustworthy Computing, School of Computer Science and Software Engineering, East China Normal University, Jin Song Dong National University of Singapore, Geguang Pu East China Normal University, China | ||
12:00 15mTalk | Let the Trial Begin: A Mock-Court Approach to Vulnerability Detection using LLM-Based Agents Research Track Ratnadira Widyasari Singapore Management University, Singapore, Martin Weyssow Singapore Management University, Ivana Clairine Irsan Singapore Management University, Han Wei Ang GovTech, Frank Liauw Government Technology Agency Singapore, Eng Lieh Ouh Singapore Management University, Singapore, Lwin Khin Shar Singapore Management University, Hong Jin Kang University of Sydney, David Lo Singapore Management University | ||
12:15 15mTalk | Agent-Based Ensemble Reasoning for Repository-Level Issue Resolution Research Track Zhao Tian Tianjin University, Pengfei Gao ByteDance, Junjie Chen Tianjin University, Chao Peng ByteDance Pre-print | ||
11:00 - 12:30 | |||
11:00 15mTalk | Agentic Memory Enhanced Recursive Reasoning for Root Cause Localization in Microservices SE In Practice (SEIP) Lingzhe Zhang Peking University, China, Tong Jia Institute for Artificial Intelligence, Peking University, Beijing, China, Yunpeng Zhai Alibaba Group, Leyi Pan Tsinghua University, Chiming Duan Peking University, Minghua He Peking University, Mengxi Jia Institute of Artificial Intelligence, China Telecom, Ying Li School of Software and Microelectronics, Peking University, Beijing, China | ||
11:15 15mTalk | R-Log: Incentivizing Log Analysis Capability in LLMs via Reasoning-based Reinforcement Learning SE In Practice (SEIP) Yilun Liu Huawei co. LTD, Chen Ziang Huawei co. LTD; Nankai University, Song Xu Huawei co. LTD, Minggui He Huawei co. LTD, Shimin Tao University of Science and Technology of China; Huawei co. LTD, Weibin Meng Huawei co. LTD, Yuming Xie Huawei co. LTD, Tao Han Huawei co. LTD, Chunguang Zhao Huawei co. LTD, Jingzhou Du Huawei co. LTD, Daimeng Wei Huawei co. LTD, Shenglin Zhang Nankai University, Yongqian Sun Nankai University | ||
11:30 15mTalk | LLM-Based Automated Diagnosis Of Integration Test Failures At Google SE In Practice (SEIP) | ||
11:45 15mTalk | Automated Bug Frame Retrieval from Gameplay Videos Using Vision-Language Models SE In Practice (SEIP) Wentao Lu University of Alberta, Alexander Senchenko Electronic Arts, Abram Hindle University of Alberta, Cor-Paul Bezemer University of Alberta | ||
12:00 15mTalk | Finding the Needle in the Crash Stack: Industrial-Scale Crash Root Cause Localization with AutoCrashFL SE In Practice (SEIP) Sungmin Kang NUS, Sumi Yun SAP Labs Korea, Jingun Hong SAP Labs Korea, Shin Yoo KAIST, Gabin An Korea University | ||
12:15 15mTalk | PerFrame: Monitoring GUI Loading Performance in Mobile Apps via Semantic Distinguish SE In Practice (SEIP) Jianing Liu Fudan University, Shiyu Guo Meituan, Yongxiang Hu Fudan University, Yu Zhang Meituan, Hailiang Jin Meituan Inc., Juxing Yuan Meituan Inc., Yangfan Zhou Fudan University, Xin Wang Fudan University | ||
11:00 - 12:30 | |||
11:00 15mTalk | TestifAI: Tomography-Based Testing for Deep Learning Systems Research Track Arooj Arif Northeastern University London, Tobias Hartung Northeastern University London, Elena Botoeva University of Kent, Alexandros Koliousis Northeastern University London | ||
11:15 15mTalk | Automated Software Test Generation at Industry Scale Using a Multi-Agent Architecture and Workflow Integration SE In Practice (SEIP) Matas Rastenis Uber Technologies Inc., Ben Chou Uber Technologies Inc., Shauvik Roy Choudhary Uber Technologies, Inc, René Just University of Washington | ||
11:30 15mTalk | On the Flakiness of LLM-generated Tests for Industrial and Open-Source Database Management Systems SE In Practice (SEIP) Alexander Berndt Heidelberg University, Thomas Bach SAP, Rainer Gemulla University of Mannheim, Marcus Kessel University of Mannheim, Sebastian Baltes Heidelberg University Pre-print | ||
11:45 15mTalk | Enabling Black-box RPC-API Testing with Multi-Agent Reinforcement Learning and LLMs: An Industry Case Study SE In Practice (SEIP) Xiaoqing Sun Alibaba Cloud, Zhou Shao Alibaba Cloud, Xiaonan Shi Alibaba Cloud, Shiliang Xiao Alibaba Cloud, Chao Ma Alibaba Cloud, Xiaobo Xue Alibaba Cloud, Jianyuan Lu Alibaba Cloud, Shize Zhang Alibaba Cloud, Enge Song Alibaba Cloud, Song Yang Alibaba Cloud, Xing Li Zhejiang University and Alibaba Cloud, Chongrong Fang Shanghai Jiao Tong University, Chunrong Fang Nanjing University, Biao Lyu Alibaba Cloud, Shunmin Zhu Hangzhou Feitian Cloud and Alibaba Cloud | ||
12:00 15mTalk | Hamster: A Large-Scale Study and Characterization of Developer-Written Tests SE In Practice (SEIP) Rangeet Pan IBM Research, Tyler Stennett Georgia Institute of Technology, Raju Pavuluri IBM T.J. Watson Research Center, Nate Levin Georgia Institute of Technology, Alessandro Orso University of Georgia, USA, Saurabh Sinha IBM Research | ||
12:15 15mTalk | AutoOracle: High-Quality C++ Test Oracle Generation via Data Quality-Driven and Filtering-Enabled LLMs SE In Practice (SEIP) Cong Li Samsung R&D Institute China Xi'an, Samsung Electronics, Jong-In Jang Samsung Electronics, Yuqi Zhang Samsung R&D Institute China Xi'an, Samsung Electronics, Nakwon Lee Samsung Electronics, Bin Wang , Yinghua Zhang Samsung R&D Institute China Xi'an, Samsung Electronics, Chanwook Kim Samsung Electronics, Jia Zhang Samsung R&D Institute China Xi'an, Samsung Electronics, HyunSeok Kim Samsung Electronics, Xing He Samsung R&D Institute China Xi'an, Samsung Electronics, Kangho Roh Samsung Electronics, Seongjun Ahn Samsung Electronics | ||
11:00 - 12:30 | |||
11:00 15mTalk | An industrial experience report on applying search-based boundary input generation to cyber-physical systems Journal-first Papers Pablo Valle Mondragon University, Vincenzo Riccio University of Udine, Aitor Arrieta Mondragon University, Paolo Tonella USI Lugano, Maite Arratibel Orona | ||
11:15 15mTalk | Testing CPS with Design Assumptions-Based Metamorphic Relations and Genetic Programming Journal-first Papers Claudio Mandrioli University of Luxembourg, Seung Yeob Shin University of Luxembourg, Domenico Bianculli University of Luxembourg, Lionel Briand University of Ottawa, Canada; Lero centre, University of Limerick, Ireland | ||
11:30 15mTalk | Signal Feature Coverage and Testing for CPS Dataflow Models Journal-first Papers Ezio Bartocci TU Wien, Leonardo Mariani University of Milano-Bicocca, Dejan Nickovic Austrian Institute of Technology, Drishti Yadav University of Luxembourg, Luxembourg | ||
11:45 15mTalk | Uncovering Failures in Cyber-Physical System State Transitions: A Fuzzing-Based Approach Applied to sUAS Research Track Theodore Chambers University of Notre Dame, Arturo Miguel Russell Bernal University of Notre Dame, Michael Vierhauser University of Innsbruck, Jane Cleland-Huang University of Notre Dame Pre-print | ||
12:00 15mTalk | Vision Language Model-based Testing of Industrial Autonomous Mobile Robots SE In Practice (SEIP) Jiahui Wu Simula Research Laboratory and University of Oslo, Chengjie Lu Simula Research Laboratory and University of Oslo, Aitor Arrieta Mondragon University, Shaukat Ali Simula Research Laboratory and Oslo Metropolitan University, Thomas Peyrucain PAL Robotics | ||
12:15 15mTalk | Misbehavior Forecasting for Focused Autonomous Driving Systems Testing Research Track M M Abid Naziri North Carolina State University, Stefano Carlo Lambertenghi Technische Universität München, fortiss GmbH, Andrea Stocco Technical University of Munich, fortiss, Marcelo d'Amorim North Carolina State University | ||
11:00 - 12:30 | |||
11:00 15mTalk | BFix: Automated Safe Memory-Leak Fixing for Binary Code Research Track Wen Zhang University of Georgia, Botang Xiao University of Georgia, Qingchen Kong University of Georgia, Boyang Yi University of Georgia, Suxin Ji University of Georgia, USA, Yage Hu University of Georgia, Songlan Wang University of Georgia, Wenwen Wang University of Georgia | ||
11:15 15mTalk | Learning without Forgetting: Towards Continual learning of Fault Localization Models in Industrial Software Systems Research Track Chun Li Nanjing University, Hui Li Samsung Electronics (China) R&D Centre, Zhong Li Nanjing University, Minxue Pan Nanjing University, Xuandong Li Nanjing University | ||
11:30 15mTalk | Memory-Efficient Large Language Models for Program Repair with Semantic-Guided Patch Generation Research Track Le-Cong Thanh The University of Melbourne, Xuan-Bach D. Le University of Melbourne, Toby Murray University of Melbourne | ||
11:45 15mTalk | Addressing Test Flakiness: Practical Approaches in a Database-Reliant Industrial System SE In Practice (SEIP) George Vegelien Delft University of Technology, Carolin Brandt Delft University of Technology, Bas Graaf Exact, Arie van Deursen TU Delft Pre-print | ||
12:00 15mTalk | XTrace: A Non-Invasive Dynamic Tracing Framework for Android Applications in Production SE In Practice (SEIP) Qi Hu ByteDance, Jiangchao Liu ByteDance, Lin Zhang ByteDance, Edward Jiang ByteDance, Xin Yu ByteDance | ||
12:15 15mTalk | Delta Debugging for LLM-integrated Systems SE In Practice (SEIP) Hao-Nan Zhu University of California, Davis, Muhammad Numair Mansur Amazon Web Services, Martin Schäf Amazon Web Services, Zeya Chen Amazon Web Services, Tancrède Lepoint Amazon, Willem Visser Amazon Web Services | ||
11:00 - 12:30 | |||
11:00 15mTalk | Why Students Leave the LMS: Executive Function Demands and Self-Regulated Learning in Software Engineering Courses Software Engineering Education and Training (SEET) Khawla Shnaikat University of Calgary, Ann Barcomb Schulich School of Engineering, University of Calgary, Emily Marasco University of Calgary | ||
11:15 15mTalk | What barriers do students experience when trying to contribute to Open Source Software projects? Software Engineering Education and Training (SEET) Nathan Cassee University of Victoria, Sankarsh Ravi Eindhoven University of Technology, Italo Santos University of Hawai‘i at Mānoa, Igor Steinmacher RESHAPE LAB, Northern Arizona University, USA, Alexander Serebrenik Eindhoven University of Technology | ||
11:30 15mTalk | Mapping educational software engineering content on YouTube Software Engineering Education and Training (SEET) Maša Pejović Mediterranean University Podgorica, Nikola Vasović Mediterranean University Podgorica, Antonio Cicchetti Sweden, Robbert Jongeling Mälardalen University | ||
11:45 15mTalk | When Emotions Matter: Speech-Based Emotion Detection in Capstone Project Retrospective Meetings while Working Hybrid Software Engineering Education and Training (SEET) Wardah Naeem Awan LUT University, Maria Paasivaara LUT University, Finland & Aalto University, Finland, Peter Gloor Massachusetts Institute of Technology SDM | ||
12:00 15mTalk | Examining Productivity in Educational Environments: Perspectives of Professors and Students on a Capstone Project Software Engineering Education and Training (SEET) Vinicius Feitosa Gonçalves UFMS, João Pedro Teixeira dos Santos UFMS, Guilherme Facco UFMS, Caio Felipe Azevedo Tome UFMS, Jucele Franca de Alencar UFMS, Patrícia G. F. Matsubara Federal University of Mato Grosso do Sul (UFMS) | ||
12:15 15mTalk | An Empirical Study of Anonymous, Unmoderated, and Online Peer-to-Peer Programming Tutoring Conversations Software Engineering Education and Training (SEET) Priscila Santiesteban University of Michigan, Emma Shedden University of Pennsylvania, Madeline Endres University of Massachusetts Amherst, Westley Weimer University of Michigan | ||
11:00 - 12:30 | Software Engineering for AI 1Research Track / SE in Society (SEIS) / SE In Practice (SEIP) at Oceania VII | ||
11:00 15mTalk | Fairness Is Not Just Ethical: Performance Trade-Off via Data Correlation Tuning to Mitigate Bias in ML Software Research Track Ying Xiao , Shangwen Wang National University of Defense Technology, Sicen Liu Southern University of Science and Technology, Dingyuan Xue Southern University of Science and Technology, Xian Zhan Southern University of Science and Technology, Yepang Liu Southern University of Science and Technology, Jie M. Zhang King's College London | ||
11:15 15mTalk | TACO: Trust Assessment of Large Language Models in Coding Assistance Tasks Research Track Shihao Weng Nanjing University, Yang Feng Nanjing University, Jincheng Li Nanjing University, Yining Yin Nanjing University, Zhanglun Zhang Nanjing University, Lyuxi Liu University of Virginia, Jia Liu Nanjing University | ||
11:30 15mTalk | Toward Systematic Counterfactual Fairness Evaluation of Large Language Models: The CAFFE Framework Research Track Alessandra Parziale Gran Sasso Science Institute, Gianmario Voria University of Salerno, Valeria Pontillo Gran Sasso Science Institute, Gemma Catolino University of Salerno, Andrea De Lucia University of Salerno, Fabio Palomba University of Salerno | ||
11:45 15mTalk | Attention Pruning: Automated Fairness Repair of Language Models via Surrogate Simulated Annealing Research Track Vishnu Asutosh Dasu Pennsylvania State University, Md Rafi Ur Rashid Pennsylvania State University, Vipul Gupta Pennsylvania State University, Saeid Tizpaz-Niari University of Illinois Chicago, Gang (Gary) Tan Pennsylvania State University | ||
12:00 15mTalk | Building an Open AIBOM Standard in the Wild: An Experience Report on Extending the SPDX SBOM (ISO/IEC 5962:2021) for AI Supply Chains SE In Practice (SEIP) Gopi Krishnan Rajbahadur , Keheliya Gallaba Centre for Software Excellence, Huawei Canada, Elyas Rashno Queen's University, Arthit Suriyawongkul ADAPT Centre, Trinity College Dublin, Karen Bennet IEEE, Kate Stewart Linux Foundation, Ahmed E. Hassan Queen’s University Pre-print | ||
12:15 15mTalk | Data-Dependent Goal modeling for ML-Enabled Law Enforcement Systems SE in Society (SEIS) Dalal Alrajeh Imperial College London, Vesna Nowack Imperial College London, Patrick Benjamin University of Oxford, Katie Thomas University of Bath, William Hobson University of Bath, Carolina Gutierrez Munoz University of Bath, Catherine Hamilton-Giachritsis University of Bath, Juliane Kloess University of Edinburgh, Jessica Woodhams University of Birmingham, Daniel Butler Independent researcher, Mark Law ILASP, Ralph Morton Aston University, Benjamin Costello University of Birmingham, Amy Burrell University of Birmingham, Tim Grant Aston University, Prachiben Shah University of Birmingham, Frances Laureano de Leon University of Birmingham, Mark Lee University of Birmingham | ||
11:00 - 12:30 | |||
11:00 15mTalk | Func: Reducing the impact of Android framework evolution on malware detection Journal-first Papers Hailong Yu Harbin Institute of Technology, Harbin Institute of Technology Zhengzhou Research Institute, Tiantian Wang Harbin Institute of Technology, Lwin Khin Shar Singapore Management University, Hanmeng Li Harbin Institute of Technology, David Lo Singapore Management University | ||
11:15 15mTalk | Unraveling Code Clone Dynamics in Deep Learning Frameworks Journal-first Papers Maram Assi Université du Québec à Montréal, Safwat Hassan University of Toronto, Ying Zou Queen's University, Kingston, Ontario | ||
11:30 15mTalk | Remediating Superfluous Re-Rendering in React Applications Research Track Farideh Khalili , Satyajit Gokhale Amazon, Alexi Turcotte CISPA, Dale Xu Boston University, Frank Tip Northeastern University | ||
11:45 15mTalk | Minimizing Breaking Changes and Redundancy in Mitigating Technical Lag for Java Projects Research Track Rui Lu East China Normal University, Lyuye Zhang Nanyang Technological University, Kaixuan Li Nanyang Technological University, Min Zhang East China Normal University, Yixiang Chen East China Normal University Pre-print | ||
12:00 15mTalk | CRUDinfer: Automated CRUD Semantics Inference for REST APIs Through Black-box Testing Research Track Michele Pasqua University of Verona, Davide Corradini University of Luxembourg, Michele Perlotto University of Naples, Mariano Ceccato University of Verona | ||
12:15 15mTalk | Diffploit: Facilitating Cross-Version Exploit Migration for Open Source Library Vulnerabilities Research Track Zirui Chen , Zhipeng Xue Zhejiang University, Jiayuan Zhou Queen's University, Xing Hu Zhejiang University, Xin Xia Zhejiang University, Xiaohu Yang Zhejiang University | ||
11:00 - 12:30 | |||
11:00 15mTalk | Towards Global Matches for Third-Party Library Detection in Android Research Track Lige Zhan Wuhan University, Jiang Ming Tulane University, USA, Chenke Luo Tulane University, Guojun Peng Wuhan University, Jianming Fu Wuhan University DOI | ||
11:15 15mTalk | ViTAL: LLM-Powered Taint Analysis for GUI Field Visualization Auditing in Android SE In Practice (SEIP) Liuyang Jiang Beijing University of Posts and Telecommunications, Shenghan Liu Douyin, Qiuping Yi Beijing University of Posts and Telecommunications, Hongliang Liang beijing university of posts and telecommunication, xiangxingqian Douyin, Qingyun Kong Douyin, Yixiu Chen Douyin, XiaoQiang Fan Douyin, LiangXu Zou Douyin | ||
11:30 15mTalk | Out of Distribution, Out of Luck: How Well Can LLMs Trained on Vulnerability Datasets Detect Top 25 CWE Weaknesses? Research Track Yikun Li Singapore Management University, Ngoc Tan Bui Singapore Management University, Ting Zhang Monash University, Chengran Yang Singapore Management University, Singapore, Xin Zhou Singapore Management University, Singapore, Martin Weyssow Singapore Management University, Jinfeng Jiang Singapore Management University, Junkai Chen Singapore Management University, Singapore, Huihui Huang Singapore Management University, Singapore, Huu Hung Nguyen Singapore Management University, Chiok Yew Ho Chinese University of Hong Kong, Jie Tan University of Groningen, Ruiyin Li Wuhan University, China; University of Groningen, The Netherlands, Yide Yin GovTech, Han Wei Ang GovTech, Frank Liauw Government Technology Agency Singapore, Eng Lieh Ouh Singapore Management University, Singapore, Lwin Khin Shar Singapore Management University, David Lo Singapore Management University Pre-print | ||
11:45 15mTalk | OctopusGuard: K-Line Enhanced Token Scam Detector Powered by Multimodal LLMs Research Track Litong Sun SUN YAT-SEN UNIVERSITY, YangTian Mi Sun Yat-Sen University, Xiapu Luo Hong Kong Polytechnic University, Weigang Wu Sun Yat-sen University | ||
12:00 15mTalk | UnPII: Unlearning Personally Identifiable Information with Quantifiable Exposure Risk SE In Practice (SEIP) Intae Jeon Samsung Research, Yujeong Kwon Sungkyunkwan University, Hyungjoon Koo Sungkyunkwan University | ||
12:15 15mTalk | Foiegras: Source Code Based Software Composition Analysis For C/C++ Applications SE In Practice (SEIP) Georgios Gousios Endor Labs, Philip Hamer Endor Labs, Camilla Odlund Endor Labs, Leandro Melo Endor Labs, Joseph Hejderup Endor Labs & Delft University of Technology, Sridhara Muniraju Endor Labs, Thomas Durieux Endor Labs | ||
14:00 - 15:30 | |||
14:00 15mTalk | TestWeaver: Execution-aware, Feedback-driven Regression Testing Generation with Large Language Models Research Track Cuong Chi Le The University of Texas at Dallas, Cuong Duc Van FPT Software AI Center, Tung Duy Vu VinUniversity, Minh V. T. Pham FPT Software AI Center, Hoang Nhat Phan Nanyang Technological University, Huy N. Phan FPT Software AI Center, Tien N. Nguyen University of Texas at Dallas | ||
14:15 15mTalk | RealityCraft: Automated Synthesis of Extended Reality Device Interaction Scripts from Natural Language Instructions Research Track Shuqing Li The Chinese University of Hong Kong, Yun Peng The Chinese University of Hong Kong, Yige Chen Southern University of Science and Technology, Dingyuan Xue Southern University of Science and Technology, Yepang Liu Southern University of Science and Technology, Michael Lyu The Chinese University of Hong Kong | ||
14:30 15mTalk | Heterogeneous Prompting and Execution Feedback for SWE Issue Test Generation and Selection Research Track Toufique Ahmed IBM Research, Jatin Ganhotra IBM Research, Avraham Shinnar IBM Research, Martin Hirzel IBM Research | ||
14:45 15mTalk | LLM Test Generation via Iterative Hybrid Program Analysis Research Track Sijia Gu The University of British Columbia, Noor Nashid University of British Columbia, Ali Mesbah University of British Columbia | ||
15:00 15mTalk | Scaling Security Testing by Addressing the Reachability Gap Research Track Gaetano Sapia Max Planck Institute for Security and Privacy (MPI-SP), Marcel Böhme MPI for Security and Privacy | ||
15:15 15mTalk | XBIDetective: Leveraging Vision Language Models for Identifying Cross-Browser Visual Inconsistencies SE In Practice (SEIP) Balreet Grewal University of Alberta, James Graham Mozilla Corporation, Jeff Muizelaar Mozilla Corporation, Jan Honza Odvarko Independent Researcher, Suhaib Mujahid Mozilla, Marco Castelluccio Mozilla, Cor-Paul Bezemer University of Alberta | ||
14:00 - 15:30 | |||
14:00 15mTalk | Cobblestone: A Divide-and-Conquer Approach for Automating Formal Verification Research Track Saketh Ram Kasibatla UC San Diego, Arpan Agrawal University of Illinois Urbana-Champaign, Yuriy Brun University of Massachusetts, Sorin Lerner University of California at San Diego, Talia Lily Ringer University of Illinois Urbana-Champaign, Emily First Rutgers University | ||
14:15 15mTalk | RISE: Rule-Driven SQL Dialect Translation via Query Reduction Research Track Xudong Xie Institute of Software Chinese Academy of Sciences, China, Yuwei Zhang Institute of Software Chinese Academy of Sciences, Wensheng Dou Institute of Software Chinese Academy of Sciences, Yu Gao Institute of Software at Chinese Academy of Sciences; University of Chinese Academy of Sciences, Ziyu Cui Institute of Software at Chinese Academy of Sciences, Jiansen Song Institute of Software at Chinese Academy of Sciences, Rui Yang Institute of Software, Chinese Academy of Sciences, Jun Wei Institute of Software at Chinese Academy of Sciences; University of Chinese Academy of Sciences | ||
14:30 15mTalk | RepoScope: Leveraging Call Chain-Aware Multi-View Context for Repository-Level Code Generation Research Track Yang Liu , Li Zhang Beihang University, Fang Liu Beihang University, Zhuohang Wang Beihang University, Donglin Wei Beihang University, Zhishuo Yang Beihang University, Kechi Zhang Peking University, China, Jia Li , Lin Shi Beihang University Pre-print | ||
14:45 15mTalk | What to Retrieve for Effective Retrieval-Augmented Code Generation? An Empirical Study and Beyond Research Track Wenchao Gu Technical University of Munich, Juntao Chen Sun Yat-Sen University, Yanlin Wang Sun Yat-sen University, Tianyue Jiang Sun Yat-sen University, Xingzhe Li Sun Yat-Sen University, Mingwei Liu Sun Yat-Sen University, Xilin Liu Huawei Cloud, Yuchi Ma Huawei Cloud Computing Technologies, Zibin Zheng Sun Yat-sen University | ||
15:00 15mTalk | SEER: Enhancing Chain-of-Thought Code Generation through Self-Exploring Deep Reasoning Research Track Shuzheng Gao Chinese University of Hong Kong, Chaozheng Wang The Chinese University of Hong Kong, Cuiyun Gao Harbin Institute of Technology, Shenzhen, Michael Lyu The Chinese University of Hong Kong | ||
15:15 15mTalk | SmartC2Rust: Iterative, Feedback-Driven C-to-Rust Translation via Large Language Models for Safety and Equivalence Research Track Momoko Shiraishi The University of Tokyo, Yinzhi Cao Johns Hopkins University, Takahiro Shinagawa The University of Tokyo | ||
14:00 - 15:30 | |||
14:00 15mTalk | Towards Understanding and Characterizing Vulnerabilities in Intelligent Connected Vehicles through Real-World Exploits Research Track Yuelin Wang College of Intelligence and Computing, Tianjin University, Yuqiao Ning China Automobile Data of Tianjin Co., Ltd. China Automotive Technology&Research Center Co.,Ltd., Yanbang Sun College of Intelligence and Computing, Tianjin University, Xiaofei Xie Singapore Management University, Zhihua Xie College of Intelligence and Computing, Tianjin University, Yang Chen China Automobile Data of Tianjin Co., Ltd. China Automotive Technology&Research Center Co.,Ltd., Zhen Guo China Automobile Data of Tianjin Co., Ltd. China Automotive Technology&Research Center Co.,Ltd., Shihao Xue China Automobile Data of Tianjin Co., Ltd. China Automotive Technology&Research Center Co.,Ltd., Junjie Wang Tianjin University, Sen Chen Nankai University | ||
14:15 15mTalk | Defects4REST: A Benchmark of Real-World Defects to Enable Controlled Testing and Debugging Studies for REST APIs Research Track Rahil Mehta Oregon State University, Pushpak Katkhede Oregon State University, Manish Motwani Oregon State University | ||
14:30 15mTalk | JEDI: Java Evaluation of Declarative and Imperative Queries - Benchmarking the Java Stream API Research Track | ||
14:45 15mTalk | Characterizing GPU-accelerated Web Applications in Browsers Research Track Yudong Han Peking University, Weichen Bi Peking University, Haiyang Shen Peking University, Mugeng Liu Peking University, Ruibo Wang National University of Defense Technology, Yun Ma Peking University | ||
15:00 15mTalk | Green Software Engineering in Practice: Quantifying the Impact of Carbon Reduction Strategies in Enterprise Software SE In Practice (SEIP) Rutger Kool Vrije Universiteit Amsterdam, The Netherlands, Michiel Overeem AFAS Software, Ivano Malavolta Vrije Universiteit Amsterdam | ||
15:15 15mTalk | An Empirical Study of WebAssembly Usage in Node.js Research Track Michelle Thalakottur Northeastern University, Maxwell Bernstein Recurse Center, Daniel Lehmann Google, Germany, Michael Pradel CISPA Helmholtz Center for Information Security, Frank Tip Northeastern University | ||
14:00 - 15:30 | |||
14:00 15mTalk | Parallelization in System-level Testing: Novel Approaches to Manage Test Suite Dependencies Journal-first Papers Pasquale Polverino USI Università della Svizzera italiana, Fabio Di Lauro USI Università della Svizzera italiana, Matteo Biagiola University of St. Gallen and Università della Svizzera italiana, Paolo Tonella USI Lugano, Antonio Carzaniga Università della Svizzera italiana | ||
14:15 15mTalk | Automated Network-Level Fault Injection Testing of Microservice Architectures Research Track Delano Flipse Delft University of Technology (TU Delft), Hakan Simsek ASML, Jérémie Decouchant Delft University of Technology (TU Delft), Burcu Kulahcioglu Ozkan Delft University of Technology | ||
14:30 15mTalk | Predicting Failures in Smart Human-Centric EcoSystems Research Track Niccolò Puccinelli Università della Svizzera Italiana, Davide Molinelli Constructor Institute of Technology, Noura El Moussa USI Lugano; Schaffhausen Institute of Technology, Matteo Ciniselli Università della Svizzera Italiana, Mauro Pezze Università della Svizzera italiana (USI) and Università degli Studi di Milano Bicocca | ||
14:45 15mTalk | PerfScout: An Adaptive Workload Generator in Software Performance Testing SE In Practice (SEIP) Yongqian Sun Nankai University, Qingliang Zhang , Xiao Xiong Nankai University, Mengyao Li Nankai University, Yimin Zuo Nankai University, Shenglin Zhang Nankai University, Xidao Wen BizSeer, Wenwei Gu Nankai University, Huandong Zhuang Huawei Cloud, Bowen Deng Huawei Cloud, Ruiyuan Wan , Dan Pei Tsinghua University | ||
15:00 15mTalk | Scaling Mobile Chaos Testing with AI-Driven Test Execution SE In Practice (SEIP) Juan Marcano Uber Technologies, Ashish Samant Uber Technologies, Inc, Kai Song Uber Technologies, Inc, Lingchao Chen Uber Technologies, Kaelan Mikowicz Uber Technologies, Inc., Tim Smyth Uber Technologies, Inc., Mengdie Zhang Uber Technologies, Inc., Ali Zamani Uber Technologies, Inc., Arturo Bravo Rovirosa Uber Technologies, Inc., Sowjanya Puligadda Uber Technologies, Inc., Srikanth Prodduturi Uber Technologies, Inc., Mayank Bansal Uber Technologies, Inc. | ||
15:15 15mTalk | CAST: Automated Resilience Testing for Production Cloud Service Systems SE In Practice (SEIP) Zhuangbin Chen Sun Yat-sen University, Zhiling Deng School of Software Engineering, Sun Yat-sen University, Kaiming Zhang School of Software Engineering, Sun Yat-sen University, Yang Liu Nanyang Technological University, Cheng Cui Huawei Cloud, Jinfeng Zhong Huawei Cloud, Zibin Zheng Sun Yat-sen University | ||
14:00 - 15:30 | |||
14:00 15mTalk | Exploring Empathy in Software Engineering: Insights from a Grey Literature Analysis of Practitioners' Perspectives Journal-first Papers Lidiany Cerqueira BRAVAS in Tech, João Pedro Silva Bastos UEFS, Danilo Neves IFS, Glauco Carneiro UFS, Rodrigo Spinola Virginia Commonwealth University, Sávio Freire Federal Institute of Ceará, José Amancio UEFS, Manoel Mendonça Federal University of Bahia | ||
14:15 15mTalk | A comparative study on reward models for user interface adaptation with reinforcement learning Journal-first Papers Daniel Gaspar Figueiredo Universitat Politècnica de València, Spain, Marta Fernández-Diego Universitat Politècnica de València, Silvia Abrahão Universitat Politècnica de València, Emilio Insfran Universitat Politècnica de València, Spain | ||
14:30 15mTalk | Self-monitoring of Developers' Emotions: the Case of Agile Retrospective Meetings Journal-first Papers Daniela Grassi University of Bari, Filippo Lanubile University of Bari, Nicole Novielli University of Bari, Luigi Quaranta University of Bari, Italy, Alexander Serebrenik Eindhoven University of Technology | ||
14:45 15mTalk | What Makes a Great Software Quality Assurance Engineer? Journal-first Papers Roselane Silva Farias Institute of Computing (IC), Federal University of Bahia (UFBA), Salvador, Brazil, Iftekhar Ahmed University of California at Irvine, Eduardo Almeida | ||
15:00 15mTalk | Women’s Participation in Student Software Development Teams: A Cross-Sectional Study on Role Distribution Journal-first Papers Claudia Maria Cutrupi Norwegian University of Science and Technology (NTNU), Letizia Jaccheri Norwegian University of Science and Technology (NTNU), Sofia Papavlasopoulou Norwegian University of Science and Technology | ||
15:15 15mTalk | Negativity in Self-Admitted Technical Debt: How Sentiment Influences Prioritization Journal-first Papers Nathan Cassee University of Victoria, Neil Ernst University of Victoria, Nicole Novielli University of Bari, Alexander Serebrenik Eindhoven University of Technology | ||
14:00 - 15:30 | |||
14:00 15mTalk | SymRadar: PoC-Centered Bounded Verification for Vulnerability Repair Research Track Seungheon Han UNIST, YoungJae Kim Ulsan National Institute of Science and Technology, Yeseung Lee UNIST, Jooyong Yi UNIST | ||
14:15 15mTalk | Fine-Grained Analyses for Evolution-Aware Runtime Verification Research Track Pengyue Jiang Cornell University, Kevin Guan Cornell University, M. Mahdi Khosravi Middle East Technical University, Moustafa Ismail Middle East Technical University, Marcelo d'Amorim North Carolina State University, Owolabi Legunsen Cornell University | ||
14:30 15mTalk | An Empirical Study on Static Application Security Testing (SAST) Tools for Python Research Track Liu Zhuohang Nankai University, Zhi Wang Nankai University, Haotong Liu Nankai University, Wanpeng Li University of Liverpool | ||
14:45 15mTalk | NotDec: WebAssembly Decompilation With Inter-Procedural Type Recovery Research Track Jikai Wang Huazhong University of Science and Technology, Ningyu He Hong Kong Polytechnic University, Tianming Liu Huazhong University of Science and Technology, Junhai Wang Huazhong University of Science and Technology, Haoyu Wang Huazhong University of Science and Technology | ||
15:00 15mTalk | PyXray: Practical Cross-Language Call Graph Construction through Object Layout Analysis Research Track Georgios Alexopoulos University of Athens, Thodoris Sotiropoulos ETH Zurich, Georgios Gousios Endor Labs, Zhendong Su ETH Zurich, Dimitris Mitropoulos University of Athens Pre-print | ||
15:15 15mTalk | HapCheck: DSL-Based Static Bug Detection Framework for OpenHarmony SE In Practice (SEIP) Xitong Zhong Beihang University, Chang Liu Beihang University, Runlin Liu Beihang University, Zifu Xu Beihang University, Zhengyao Liu Beihang University, Juqi Zhou Beihang University, Gang Fan Huawei Hong Kong Research Centre, Mingyi Zhou Beihang University, Xiang Gao Beihang University, Li Li Beihang University | ||
14:00 - 15:30 | |||
14:00 15mTalk | Connected to Stay: Gender Homophily and Its Role in Open-Source Software Developer Retention Research Track Tielin Katy Yu Carnegie Mellon University, Huilian Sophie Qiu Northwestern University, Patrick Park Carnegie Mellon University, Laura Dabbish Carnegie Mellon University, Bogdan Vasilescu Carnegie Mellon University | ||
14:15 15mTalk | Beyond Adoption: Examining the Evolution and Impact of Codes of Conduct on Open-Source Communities Research Track Jiayi Sun University of Toronto, Hongbo Fang University of Chicago, Junming Zhang University of Toronto, Jiakai Shi University of Toronto, Ruitao Lai University of Toronto, Anita Ihuman CHAOSS, Richard Littauer Te Herenga Waka Victoria University of Wellington, Shurui Zhou University of Toronto | ||
14:30 15mTalk | Toxicity Ahead: Forecasting Conversational Derailment on GitHub Research Track Mia Mohammad Imran Missouri University of Science and Technology, Robert Zita Elmhurst University, Rahat Rizvi Rahman Virginia Commonwealth University, Preetha Chatterjee Drexel University, USA, Kostadin Damevski Virginia Commonwealth University Pre-print | ||
14:45 15mTalk | Challenges and Enablers: Remote Work for People with Disabilities in Software Development Teams SE in Society (SEIS) Thayssa Rocha Zup Innovation & UFPA, Luciano Teran Universidade Federal do Pará, Marcelle Mota Universidade Federal do Pará, Cleidson de Souza Universidade Federal do Pará, Kiev Gama Universidade Federal de Pernambuco, Gustavo Pinto Zup Innovation & UFPA | ||
15:00 15mTalk | Scrolling with Caution: Perceptions of Older Adults on Ethical Issues in Social Media SE in Society (SEIS) Hans Hassan Katib Vrije Universiteit Amsterdam, Sree Pragnya Kota Vrije Universiteit Amsterdam, Emitzá Guzmán Vrije Universiteit Amsterdam | ||
15:15 15mTalk | The State of Open Science in Software Engineering Research: A Case Study of ICSE Artifacts Research Track Al Muttakin University of Saskatchewan, Saikat Mondal University of Saskatchewan, Chanchal K. Roy University of Saskatchewan | ||
14:00 - 15:30 | |||
14:00 15mTalk | Two Decades of Software Architecture Education: State of the Art, Challenges, and Future Directions Software Engineering Education and Training (SEET) Maria Clara Ribeiro de Menezes Federal University of Juiz de Fora, Pedro Henrique Valle University of São Paulo - USP, Alessandreia Oliveira Federal University of Juiz de Fora | ||
14:15 15mTalk | Lessons Learned from Training the Next Generation of Space Software Engineers Software Engineering Education and Training (SEET) Martina De Sanctis Gran Sasso Science Institute, Francesco Basciani Gran Sasso Science Institute (GSSI), Amleto Di Salle Gran Sasso Science Institute (GSSI), Martina Feliciani Gran Sasso Science Institute (GSSI), Fondazione Gran Sasso Tech, Patrizio Pelliccione Gran Sasso Science Institute, L'Aquila, Italy, Franco Raimondi Gran Sasso Science Institute (GSSI), Davide Zaminga Fondazione Gran Sasso Tech | ||
14:30 15mTalk | Leveling Up: Experiences and Evidence-driven Upgrades to a Game Coding Camp for Autistic High School Students Software Engineering Education and Training (SEET) Makayla Moster University of North Carolina Wilmington, Ella Kokinda Clemson University, D. Matthew Boyer Clemson University, Paige Rodeghero Clemson University | ||
14:45 15mTalk | AI-Driven Software Development: A New Course Concept and Assessment Model for the Era of Large Language Models Software Engineering Education and Training (SEET) Benedikt Fein University of Passau, Gordon Fraser University of Passau, Steffen Herbold University of Passau | ||
15:00 15mTalk | Bridging Education and Practice: Lessons Learned from 10 Years of Using Reflective Practices in a Software Engineering Studio Software Engineering Education and Training (SEET) Stan Kurkovsky Central Connecticut State University, Chad Williams Central Connecticut State University | ||
15:15 15mTalk | Beyond the Prompt: How Novices Engage with AI During Code Summarization Software Engineering Education and Training (SEET) Suad Mohamed Belmont University, Abdullah Parvin Belmont University, Najma Ismail Belmont University, Kimberly Amaya Belmont University, Esteban Parra Rodriguez Belmont University, Michael Oliver | ||
14:00 - 15:30 | |||
14:00 15mTalk | MazeBreaker: Multi-Agent Reinforcement Learning for Dynamic Jailbreaking of LLM Security Defenses Research Track Zhihao Lin , Wei Ma Singapore Management University, Mingyi Zhou Beihang University, Yanjie Zhao Huazhong University of Science and Technology, Haoyu Wang Huazhong University of Science and Technology, Yang Liu Nanyang Technological University, Jun Wang Post Luxembourg, Li Li Beihang University | ||
14:15 15mTalk | Checking Unsupervised Learning for Nondeterminism and Inconsistency via SMT Solving Research Track | ||
14:30 15mTalk | Smoke and Mirrors: Jailbreaking LLM-based Code Generation via Implicit Malicious Prompts Research Track Sheng Ouyang National University of Defense Technology, Yihao Qin National University of Defense Technology, Bo Lin National University of Defense Technology, Liqian Chen National University of Defense Technology, Xiaoguang Mao National University of Defense Technology, Shangwen Wang National University of Defense Technology Pre-print | ||
14:45 15mTalk | AtPatch: Debugging Transformers via Hot-Fixing Over-Attention Research Track Shihao Weng Nanjing University, Yang Feng Nanjing University, Jincheng Li Nanjing University, Yining Yin Nanjing University, Xiaofei Xie Singapore Management University, Jia Liu Nanjing University | ||
15:00 15mTalk | Why Attention Fails: A Taxonomy of Faults in Attention-Based Neural Networks Research Track Sigma Jahan Dalhousie University, Saurabhsingh Rajput Dalhousie University, Tushar Sharma Dalhousie University, Masud Rahman Dalhousie University | ||
15:15 15mTalk | Empirical Evaluation of PDF Parsing and Chunking for Financial Question Answering with RAG SE In Practice (SEIP) Omar EL BACHYR University of Luxembourg, Yewei Song University of Luxembourg, Saad Ezzini King Fahad University of Petroleum and Minerals, Jacques Klein University of Luxembourg, Tegawendé F. Bissyandé University of Luxembourg, Anas Zilali BGL BNP Paribas, Ulrick Ble Banque BGL BNP Paribas, Anne Goujon BGL BNP PARIBAS | ||
14:00 - 15:30 | |||
14:00 15mTalk | Metronome: Differentiated Delay Scheduling for Serverless Functions Research Track Zhuangbin Chen Sun Yat-sen University, Juzheng Zheng School of Software Engineering, Sun Yat-sen University, Zibin Zheng Sun Yat-sen University | ||
14:15 15mTalk | An Enterprise Marketplace for Unified Access to Multi-Cloud and Enterprise Products in a Large Banking Infrastructure SE In Practice (SEIP) Richard CASETTA BNP Paribas, Univ. Grenoble Alpes, Inria, CNRS, Grenoble INP, LIG, Thomas BRISBOUT BNP Paribas, Jean-François TUR BNP Paribas, Mariam Barry BNP Paribas, Julien VEYBEL BNP Paribas, Jean-Michel GARCIA BNP Paribas, Nils GESBERT Univ. Grenoble Alpes, Inria, CNRS, Grenoble INP, LIG, Pierre GENEVES Univ. Grenoble Alpes, Inria, CNRS, Grenoble INP, LIG | ||
14:30 15mTalk | CCLInsight: Unveiling Insights in GPU Collective Communication Libraries via Primitive-Centric Analysis Research Track Liuyao Dai University of California, Merced, Adam Weingram University of California, Merced, Weicong Chen University of California, Merced, Xiaoyi Lu UC Merced | ||
14:45 15mTalk | FlowScope: Non-Intrusive Distributed Tracing with Method-Level Delay Estimation for Microservices Troubleshooting Research Track gyt Tsinghua University, Han Zhang Tsinghua University, Zhiheng Wu Tsinghua University, Yahui Li Tsinghua University,China, Jilong Wang Tsinghua university, Xia Yin Tsinghua University | ||
15:00 15mTalk | LogFold: Compressing Logs with Structured Tokens and Hybrid Encoding Research Track Shiwen Shan Sun Yat-sen University, Yintong Huo Singapore Management University, Singapore, Hongzhan Zhong Sun Yat-sen University, Zhining Wang Sun Yat-sen University, Yuxin Su Sun Yat-sen University, Zibin Zheng Sun Yat-sen University | ||
14:00 - 15:30 | Dependability and Security 2Research Track / Journal-first Papers / New Ideas and Emerging Results (NIER) at Oceania X | ||
14:00 15mTalk | TraceCaps: Inline Provenance and Risk Enforcement for Agentic Software Engineering New Ideas and Emerging Results (NIER) Andre Catarino Faculty of Engineering, University of Porto, Claudia Mamede Carnegie Mellon University, Rui Melo Carnegie Mellon University & FEUP, Rui Maranhao Abreu University of Lisbon | ||
14:15 15mTalk | Can LLMs Hack Enterprise Networks? Autonomous Assumed Breach Penetration-Testing Active Directory Networks Journal-first Papers | ||
14:30 15mTalk | PenForge: On-the-Fly Expert Agent Construction for Automated Penetration Testing New Ideas and Emerging Results (NIER) Huihui Huang Singapore Management University, Singapore, Jieke Shi Singapore Management University, Junkai Chen Singapore Management University, Singapore, Ting Zhang Monash University, Yikun Li Singapore Management University, Chengran Yang Singapore Management University, Singapore, Eng Lieh Ouh Singapore Management University, Singapore, Lwin Khin Shar Singapore Management University, David Lo Singapore Management University | ||
14:45 15mTalk | Evaluating and Improving the Robustness of Security Attack Detectors Generated by LLMs Journal-first Papers Samuele Pasini Università della Svizzera italiana, Jinhan Kim Università della Svizzera italiana, Tommaso Aiello SAP Security Research, Rocio Cabrera Lozoya SAP Security Research, Antonino Sabetta SAP, Paolo Tonella USI Lugano | ||
15:00 15mTalk | LLM4JMH: Studying the Use of LLMs for Generating Java Performance Microbenchmarks Research Track Zongxiong Chen Fraunhofer FOKUS, Derui Zhu Technical University of Munich, Kundi Yao Ontario Tech University, Weiyi Shang University of Waterloo, Jinfu Chen Wuhan University, Jiahui Geng Mohamed bin Zayed University of Artificial Intelligence, Alexander Pretschner TU Munich, Jens Grossklags Technical University of Munich, Manfred Hauswirth Fraunhofer FOKUS, Sonja Schimmler Fraunhofer FOKUS & TU Berlin | ||
15:15 15mTalk | RulePilot: An LLM-Powered Agent for Security Rule Generation Research Track Hongtai Wang National University of Singapore, Ming Xu Shanghai Jiao Tong University / National University of Singapore, Yanpei Guo National University of Singapore, Weili Han Fudan University, Hoon Wei Lim Cyber Special Ops-R&D, NCS Group, Jin Song Dong National University of Singapore | ||
16:00 - 17:30 | |||
16:00 15mTalk | Quantifying Memorization Advantage in Code LLMs Research Track Alberick Euraste Djire University of Luxembourg, Abdoul Kader Kaboré University of Luxembourg, Jordan Samhi University of Luxembourg, Luxembourg, Earl T. Barr University College London, Jacques Klein University of Luxembourg, Tegawendé F. Bissyandé University of Luxembourg | ||
16:15 15mTalk | Assessing Coherency and Consistency of Code Execution Reasoning by Large Language Models Research Track Changshu Liu University of Illinois at Urbana-Champaign, Yang Chen University of Illinois at Urbana-Champaign, Reyhaneh Jabbarvand University of Illinois at Urbana-Champaign | ||
16:30 15mTalk | Top General Performance = Top Domain Performance? DomainCodeBench: A Multi-domain Code Generation Benchmark Research Track Dewu Zheng Sun Yat-sen University, Yanlin Wang Sun Yat-sen University, Ensheng Shi Huawei, Xilin Liu Huawei Cloud, Yuchi Ma Huawei Cloud Computing Technologies, Hongyu Zhang Chongqing University, Zibin Zheng Sun Yat-sen University | ||
16:45 15mTalk | What’s in a Benchmark? The Case of SWE-Bench in Automated Program Repair SE In Practice (SEIP) Matias Martinez Universitat Politècnica de Catalunya (UPC), Xavier Franch Universitat Politècnica de Catalunya | ||
17:00 15mTalk | The SWE-Bench Illusion: When State-of-the-Art LLMs Remember Instead of Reason SE In Practice (SEIP) Shanchao Liang Purdue University, USA, Spandan Garg Microsoft Corporation, Roshanak Zilouchian Moghaddam Microsoft | ||
17:15 15mTalk | Rethinking the Evaluation of Secure Code Generation Research Track Shih-Chieh Dai University of Utah, USA, Jun Xu The University of Utah, Guanhong Tao University of Utah | ||
16:00 - 17:30 | |||
16:00 15mTalk | Rethinking the Capability of Fine-Tuned Language Models for Automated Vulnerability Repair Research Track Woorim Han Seoul National University, Yeongjun Kwak Ulsan National Institute of Science and Technology (UNIST), miseon Yu Seoul National University, Kyeongmin Kim Ulsan National Institute of Science and Technology (UNIST), Younghan Lee Sungshin Women's University, Hyungon Moon Ulsan National Institute of Science and Technology (UNIST), Yunheung Paek Seoul National University, Korea Pre-print | ||
16:15 15mTalk | TraceCoder: A Trace-Driven Multi-Agent Framework for Automated Debugging of LLM-Generated Code Research Track Jiangping Huang Chongqing University of Posts and Telecommunications, Wenguang Ye Chongqing University of Posts and Telecommunications, Weisong Sun Nanyang Technological University, Jian Zhang Beihang University, Mingyue Zhang Southwest University, Yang Liu Nanyang Technological University | ||
16:30 15mTalk | INTENTFIX: Automated Logic Vulnerability Repair via LLM-Driven Intent Modeling Research Track Jinseok Heo Sungkyunkwan University, Dongwook Choi SungKyunKwan University, Jinyoung Kim Sungkyunkwan University, Misoo Kim Chonnam National University, Eunseok Lee Sungkyunkwan University | ||
16:45 15mTalk | Well Begun is Half Done: Location-Aware and Trace-Guided Iterative Automated Vulnerability Repair Research Track Zhenlei Ye Yangzhou University, Xiaobing Sun Yangzhou University, Sicong Cao Nanjing University of Posts and Telecommunications, Lili Bo Yangzhou University, Bin Li Yangzhou University | ||
17:00 15mTalk | From Code to Correctness: Closing the Last Mile of Code Generation with Hierarchical Debugging Research Track Yuling Shi Shanghai Jiao Tong University, Songsong Wang University of California, Davis, Chengcheng Wan East China Normal University, Wang Min University of Pennsylvania, Xiaodong Gu Shanghai Jiao Tong University Pre-print | ||
17:15 15mTalk | Unlocking LLM Repair Capabilities Through Cross-Language Translation and Multi-Agent Refinement Research Track Wenqiang LUO City University of Hong Kong, Jacky Keung City University of Hong Kong, Boyang Yang Yanshan University, Jacques Klein University of Luxembourg, Tegawendé F. Bissyandé University of Luxembourg, Haoye Tian Aalto University, Xuan-Bach D. Le University of Melbourne | ||
16:00 - 17:30 | |||
16:00 15mTalk | Energy-Efficient Software Development: A Multi-dimensional Empirical Analysis of Stack Overflow Research Track Bihui Jin University of Waterloo, Heng Li Polytechnique Montréal, Pengyu Nie University of Waterloo, Ying Zou Queen's University, Kingston, Ontario Pre-print | ||
16:15 15mTalk | Towards Supporting Open Source Library Maintainers with Community-Based Analytics Research Track | ||
16:30 15mTalk | The Cost vs the Benefit of Adding an Extra Code Reviewer to Mitigate Developer Turnover through Reviewer Recommenders Research Track Mohammadali Sefidi Esfahani Concordia University, Fahimeh Hajari Concordia University, Peter Rigby Concordia University; Meta | ||
16:45 15mTalk | Toward Efficient Package Maintenance: An Empirical Study of Patch Sharing across Four Linux Distributions Research Track Jian Peng Institute of Software, Chinese Academy of Sciences, Jiaxin Zhu Institute of Software at Chinese Academy of Sciences, Yuwei Zhang Institute of Software Chinese Academy of Sciences, Wei Chen Institute of Software at Chinese Academy of Sciences, Guoquan Wu Institute of Software at Chinese Academy of Sciences; University of Chinese Academy of Sciences; University of Chinese Academy of Sciences Nanjing College; China Southern Power Grid, Wei Wang Institute of Software at Chinese Academy of Sciences, Jun Wei Institute of Software at Chinese Academy of Sciences; University of Chinese Academy of Sciences | ||
17:00 15mTalk | Evolving Trends, Patterns, and Hidden Pitfalls: Unveiling JavaScript Feature Usage in the Wild Research Track Dawei Chen Xi'an Jiaotong University, Wuxia Jin Xi'an Jiaotong University, Hui Guo Xi'an Jiaotong University, Guanlin Qiao Xi'an Jiaotong University, Peng Di Ant Group & UNSW Sydney, Ting Liu Xi'an Jiaotong University | ||
17:15 15mTalk | What’s DAT? Three Case Studies of Measuring Software Development Productivity at Meta With Diff Authoring Time SE In Practice (SEIP) Moritz Beller Meta Platforms, Inc., USA, Amanda Park Meta Platforms, Inc., Karim Nakad Meta, Akshay Patel Meta Platforms, Inc., Sarita Mohanty Meta Platforms, Inc., Ford Garberson Meta Platforms, Inc., Henri Verroken Meta Platforms, Inc., Andrew Kennedy Meta Platforms, Inc., Ian G. Malone Meta Platforms, Inc., Vaishali Garg Meta Platforms, Inc., Pavel Avgustinov Meta Platforms, Inc. | ||
16:00 - 17:30 | |||
16:00 15mTalk | "Maybe We Need Some More Examples:" Individual and Team Drivers of Developer GenAI Tool Use Research Track Courtney Miller Carnegie Mellon University, Rudrajit Choudhuri Oregon State University, Mara Ulloa Northwestern University, Sankeerti Haniyur Microsoft Corporation, Robert DeLine Microsoft Research, Margaret-Anne Storey University of Victoria, Emerson Murphy-Hill Microsoft, Christian Bird Microsoft Research, Jenna L. Butler Microsoft Research | ||
16:15 15mTalk | "Game Changer" or "Overenthusiastic Drunk Acquaintance"? Generative AI Use by Blind and Low Vision Software Professionals in the Workplace Research Track Yoonha Cha University of California, Irvine, Victoria Jackson University of Southampton, Lauren Shu University of California, Irvine, Stacy Branham University of California, Irvine, Andre van der Hoek University of California, Irvine | ||
16:30 15mTalk | Cognitive Biases in LLM-Assisted Software Development Research Track Xinyi Zhou University of Southern California, Zeinabsadat Saghi University of Southern California, Sadra Sabouri University of Southern California, Rahul Pandita GitHub, Inc., Mollie McGuire Naval Postgraduate Schoo, Souti Chattopadhyay University of Southern California | ||
16:45 15mTalk | Are Humans and LLMs Confused by the Same Code? An Empirical Study on Fixation-Related Potentials and LLM Perplexity Research Track Youssef Abdelsalam Saarland University, Norman Peitek Saarland University, Anna-Maria Maurer Saarland University, Mariya Toneva Max Planck Institute for Software Systems, Sven Apel Saarland University | ||
17:00 15mTalk | TaCoS: Generated Context Summaries for Task Resumption Research Track Alexander Lill University of Zurich, Valentin Hollenstein University of Zurich, Roy Rutishauser University of Zurich, André N. Meyer University of Zurich, Thomas Fritz University of Zurich | ||
17:15 15mTalk | Evolving with AI: A Longitudinal Analysis of Developer Logs Research Track Agnia Sergeyuk JetBrains Research, Eric Huang University of California, Irvine, Dariia Karaeva JetBrains, Anastasiia Serova JetBrains, Yaroslav Golubev JetBrains Research, Iftekhar Ahmed University of California at Irvine | ||
16:00 - 17:30 | |||
16:00 15mTalk | SAFE: Harnessing LLM for Scenario-Driven ADS Testing from Multimodal Crash Data Research Track Siwei Luo Macquarie University, Yang Zhang , Yao Deng Macquarie University, Linfeng Liang Macquarie University, Xi Zheng Macquarie University | ||
16:15 15mTalk | Bounded Exhaustive Random Program Generation for Testing Solidity Compilers Research Track Haoyang Ma Hong Kong University of Science and Technology, Alastair F. Donaldson Imperial College London, Qingchao Shen Tianjin University, Yongqiang Tian Monash University, Junjie Chen Tianjin University, Shing-Chi Cheung Hong Kong University of Science and Technology | ||
16:30 15mResearch paper | META²V2V: Revealing Behavioural Deviations under Mutual Perception in Multi-Vehicle Autonomous Driving Research Track Lejin Li Kyushu University, Xiao-Yi Zhang University of Science and Technology Beijing, Shuncheng Tang University of Science and Technology of China, Zhenya Zhang Kyushu University, Jianjun Zhao Kyushu University Media Attached | ||
16:45 15mTalk | DeFT: Maintaining Determinism and Extracting Unit Tests for Autonomous Driving Planning Research Track Yuqi Huai University of California, Irvine, Yuntianyi Chen University of California, Irvine, Ziwen Wan University of California, Irvine, Alfred Chen University of California, Irvine, Joshua Garcia University of California, Irvine | ||
17:00 15mTalk | TARIPlay: A Test Framework for AR Applications based on Interactive Area Detection in Playback Videos Research Track Seyed Amir Mousavi PhD Student at University of Texas at San Antonio, Xiaoyin Wang University of Texas at San Antonio | ||
17:15 15mTalk | Validating Mixed-Integer Programming Solvers Research Track Xintong Zhou University of Waterloo, Zhenyang Xu University of Waterloo, Chengnian Sun University of Waterloo | ||
16:00 - 17:30 | |||
16:00 15mTalk | Training on Clean Data but Getting Backdoored Models! A Poisoning Attack on Code Encoders Research Track Yiran Xiao Yangzhou University, Xiangyue Liu Yangzhou University, Zhou Yang University of Alberta, Alberta Machine Intelligence Institute , Lili Bo Yangzhou University, Xiaobing Sun Yangzhou University | ||
16:15 15mTalk | Comfrey: Mitigating Integration Failures in LLM-enabled Software at Run-Time Research Track Yuchen Shao East China Normal University, Yuheng Huang The University of Tokyo, Jiazhen Zou East China Normal University, Yuling Shi Shanghai Jiao Tong University, Long Yang East China Normal University, Lei Ma The University of Tokyo & University of Alberta, Ting Su East China Normal University, Chengcheng Wan East China Normal University | ||
16:30 15mTalk | AgentSpec: Customizable Runtime Enforcement for Safe and Reliable LLM Agents Research Track Haoyu Wang School of Computing and Information Systems, Singapore Management University, Chris Poskitt Singapore Management University, Jun Sun Singapore Management University Pre-print | ||
16:45 15mTalk | On the Effectiveness of Proposed Techniques to Reduce Energy Consumption in RAG Systems: A Controlled Experiment SE in Society (SEIS) Zhinuan (Otto) Guo Vrije Universiteit Amsterdam, Chushu Gao Software Improvement Group, Justus Bogner Vrije Universiteit Amsterdam | ||
17:00 15mTalk | FM4MC: Improving Feature Models for Microservice Chains—Towards More Efficient Configuration and Validation Research Track Uwe Gropengießer Technical University of Darmstadt, Paul Wolfart Technical University of Darmstadt, Julian Liphardt Technical University of Darmstadt, Max Mühlhäuser Technical University of Darmstadt | ||
17:15 15mTalk | A Semantic-based Optimization Approach for Repairing LLMs: Case Study on Code Generation Research Track Jian Gu Monash University, Aldeida Aleti Monash University, Chunyang Chen TU Munich, Hongyu Zhang Chongqing University | ||
16:00 - 17:30 | |||
16:00 15mTalk | Diagnosing Unknown Attacks in Smart Homes Using Abductive Reasoning Journal-first Papers Kushal Ramkumar Lero@University College Dublin, Wanling Cai Lero@Trinity College Dublin, Gavin Doherty Lero@Trinity College Dublin, John McCarthy Lero@University College Cork, Bashar Nuseibeh The Open University, UK; Lero, University of Limerick, Ireland, Liliana Pasquale University College Dublin & Lero | ||
16:15 15mTalk | Attention Distance: A Novel Metric for Directed Fuzzing with Large Language Models Research Track Bin Wang , Ao Yang Peking University, Kedan Li University of Illinois at Urbana-Champaign, Aofan Liu Peking University, Hui Li Xiamen University, Guibo Luo Peking University, Weixiang Huang China Mobile Internet CO, Yan Zhuang China Mobile Internet CO | ||
16:30 15mTalk | BTreeFuzz: Enhanced Feedback Mechanism for ROS Program Fuzzer Based on Behavior Tree Research Track Hee Yeon Kim Korea University, Gyunghoon Kim Korea University, Dong Hoon Lee Korea University, Wonsuk Choi Korea University | ||
16:45 15mTalk | GenDetect: Generalizing Reactive Detection for Resilience Against Imitative DeFi Attack Cascade Research Track Bowen Cai University of Minnesota - Twin City, Weihng Bai University of Minnesota - Twin City, Youshui Lu Xi'an Jiaotong University, Haoran Xu Johns Hopkins University, Yuannan Yang Johns Hopkins University, Yajin Zhou Zhejiang University; ZJU-Hangzhou Global Scientific and Technological Innovation Center, Kangjie Lu University of Minnesota | ||
17:00 15mTalk | ConfuGuard: Using Metadata to Detect Active and Stealthy Package Confusion Attacks Accurately and at Scale Research Track Wenxin Jiang Socket, Berk Çakar Purdue University, Mikola Lysenko Socket, Inc, James C. Davis Purdue University Pre-print | ||
17:15 15mTalk | Enforcing Control Flow Integrity on DeFi Smart Contracts Research Track Zhiyang Chen University of Toronto, Sidi Mohamed Beillahi University of Toronto, Pasha Barahimi University of Tehran, Cyrus Minwalla Bank of Canada, Han Du Bank of Canada, Andreas Veneris University of Toronto, Fan Long University of Toronto | ||
16:00 - 17:30 | |||
16:00 15mTalk | Polaris: MIR-Level Obfuscation in LLVM for Efficient and Robust Decompiler Resistance Demonstrations Zhou Ang , Jiongchi Yu Singapore Management University, Yiran Zhang , Ziming Zhao Zhejiang University, Zhaoxuan Li Institute of Information Engineering, Chinese Academy of Sciences;School of Cyber Security, University of Chinese Academy of Sciences, Tingting Li Zhejiang University | ||
16:15 15mTalk | AnchorDiff: Binary OSS Version Identification Method Based on Anchor Node Slicing Research Track Zixuan Liang National University of Defense Technology, Lei Zhou National University of Defense Technology, Yongqiang Guo National University of Defense Technology, Peihong Lin National University of Defense Technology, Danjun Liu National University of Defense Technology, Baosheng Wang National University of Defense Technology, Xu Zhou National University of Defense Technology | ||
16:30 15mTalk | One Size Does Fit All: Kernel-Assisted Fine-Grained Debloating and Layout Randomization for Shared Libraries Research Track | ||
16:45 15mTalk | Beyond Fuzzy Matching: Constraint-Guided Patch Presence Testing for Obfuscated Java Binaries Research Track Lige Zhan Wuhan University, Jiang Ming Tulane University, USA, Chenke Luo Tulane University, Letian Sha Nanjing University of Posts and Telecommunications, Guojun Peng Wuhan University, Jianming Fu Wuhan University | ||
17:00 15mTalk | Fast Flow-Sensitive C Program Partitioning via Iterative Value-Flow Refinement Research Track | ||
17:15 15mTalk | An Empirical Study on the Robustness of Android Third-Party Library Detection Tools Against Advanced Obfuscation Research Track Dahan Pan Shanghai Jiao Tong University, Zhuohao Zhang GoSec Research Group, Yunjia Min Shanghai Jiao Tong University, Runhan Feng Purple Mountain Laboratories, Yuanyuan Zhang Shanghai Jiao Tong University | ||
Thu 16 AprDisplayed time zone: Brasilia, Distrito Federal, Brazil change
Thu 16 Apr
Displayed time zone: Brasilia, Distrito Federal, Brazil change
11:00 - 12:30 | |||
11:00 15mTalk | Dually Hierarchical Drift Adaptation for Online Configuration Performance Learning Research Track Zezhen Xiang University of Electronic Science and Technology of China, Jingzhi Gong University of Leeds, Tao Chen University of Birmingham Pre-print | ||
11:15 15mTalk | 3D Software Synthesis Driven by Constraint-Expressive Intermediate Representation Research Track Shuqing Li The Chinese University of Hong Kong, Anson Y. Lam The Chinese University of Hong Kong, Yun Peng The Chinese University of Hong Kong, Wenxuan Wang Hong Kong University of Science and Technology, Michael Lyu The Chinese University of Hong Kong Pre-print | ||
11:30 15mTalk | PromiseTune: Unveiling Causally Promising and Explainable Configuration Tuning Research Track Pengzhou Chen University of electronic science and technology of China, Tao Chen University of Birmingham Pre-print | ||
11:45 15mTalk | From Seed to Scope: Reasoning to Identify Change Impact Sets Research Track Pre-print | ||
12:00 15mTalk | TerraFormer: Automated Infrastructure-as-Code with LLMs Fine-Tuned via Policy-Guided Verifier Feedback SE In Practice (SEIP) Prithwish Jana Georgia Institute of Technology, Sam Davidson Amazon Web Services, Bhavana Bhasker Amazon Web Services, Andrey Kan Amazon Web Services, Anoop Deoras Amazon Web Services, Laurent Callot AWS AI Labs | ||
12:15 15mTalk | From Code Changes to Quality Gains: An Empirical Study in Python ML Systems with PyQu Research Track Mohamed Almukhtar University of Michigan-Flint, Anwar Ghammam University of Michigan - Dearborn, Marouane Kessentini Grand Valley State University, Hua Ming University of Michigan - Flint Pre-print | ||
11:00 - 12:30 | |||
11:00 15mTalk | Seeing is Believing: Vision-driven Non-crash Functional Bug Detection for Mobile Apps Journal-first Papers Zhe Liu Institute of Software, Chinese Academy of Sciences, Cheng Li Institute of Software, Chinese Academy of Sciences, Chunyang Chen TU Munich, Junjie Wang Institute of Software at Chinese Academy of Sciences, Mengzhuo Chen Institute of Software, Chinese Academy of Sciences, Boyu Wu Institute of Software at Chinese Academy of Sciences, Yawen Wang Institute of Software at Chinese Academy of Sciences, Jun Hu Institute of Software, Chinese Academy of Sciences, Qing Wang Institute of Software at Chinese Academy of Sciences | ||
11:15 15mTalk | PriviSense: A Frida-Based Framework for Multi-Sensor Spoofing on Android Demonstrations Ibrahim Khalilov Johns Hopkins University, Chaoran Chen University of Notre Dame, Ziang Xiao Johns Hopkins University, Tianshi Li Northeastern University, Toby Jia-Jun Li University of Notre Dame, Yaxing Yao Johns Hopkins University | ||
11:30 15mTalk | Optimization-Aware Test Generation for Deep Learning Compilers Research Track Qingchao Shen Tianjin University, Zan Wang Tianjin University, Haoyang Ma Hong Kong University of Science and Technology, Yongqiang Tian Monash University, Lili Huang College of Intelligence and Computing, Tianjin University, Zibo Xiao College of Intelligence and Computing, Tianjin University, Junjie Chen Tianjin University, Shing-Chi Cheung Hong Kong University of Science and Technology | ||
11:45 15mTalk | Think Outside the Box: Automating Inter-App Functionality Testing via Memory Implanting and Reasoning Research Track 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, Libin Wu Institute of Software Chinese Academy of Sciences, Qing Wang Institute of Software at Chinese Academy of Sciences | ||
12:00 15mTalk | Scalpel: Automotive Deep Learning Framework Testing via Assembling Model Components Research Track Yinglong Zou Nanjing University, Juan Zhai University of Massachusetts at Amherst, Chunrong Fang Nanjing University, An Guo The Hong Kong Polytechnic Universituy, Jiawei Liu State Key Laboratory for Novel Software Technology, Nanjing University, China, Zhenyu Chen Nanjing University | ||
12:15 15mTalk | CombCT: Compiler Testing via Combinatorial Testing Research Track Chuan Luo Beihang University, Shaoke Cui Beihang University, Jiahao Yan Beihang University, Junjie Chen Tianjin University, Chenyao Suo Tianjin University, Wei Wu Central South University; Xiangjiang Laboratory, Chanjuan Liu Dalian University of Technology, Chunming Hu Beihang University | ||
11:00 - 12:30 | Testing and Analysis 9Research Track / Journal-first Papers / Demonstrations / New Ideas and Emerging Results (NIER) at Oceania II | ||
11:00 15mTalk | GUISpector: An MLLM Agent Framework for Automated Verification of Natural Language Requirements in GUI Prototypes Demonstrations Kristian Kolthoff Institute for Software and Systems Engineering, Clausthal University of Technology, Felix Kretzer human-centered systems Lab (h-lab), Karlsruhe Institute of Technology (KIT) , Simone Paolo Ponzetto Data and Web Science Group, University of Mannheim, Alexander Maedche human-centered systems Lab (h-lab), Karlsruhe Institute of Technology (KIT) , Christian Bartelt Institute for Software and Systems Engineering, TU Clausthal Pre-print Media Attached | ||
11:15 15mTalk | Valg: A Fast Reinforcement Learning-Based Runtime Verification Tool for Java Demonstrations Shinhae Kim Cornell University, Saikat Dutta Cornell University, Owolabi Legunsen Cornell University | ||
11:30 15mTalk | Quantum Neural Network Classifier for Cancer Registry System Testing: A Feasibility Study Journal-first Papers Xinyi Wang Simula Research Laboratory; University of Oslo, Shaukat Ali Simula Research Laboratory and Oslo Metropolitan University, Paolo Arcaini National Institute of Informatics
, Narasimha Raghavan Veeraragavan Cancer Registry of Norway and Norwegian Institute of Public Health, Jan F. Nygård Cancer Registry of Norway | ||
11:45 15mTalk | Testora: Using Natural Language Intent to Detect Behavioral Regressions Research Track Michael Pradel CISPA Helmholtz Center for Information Security | ||
12:00 15mTalk | Automatic Validation of LLM-Generated Code with Prompt Paraphrasing New Ideas and Emerging Results (NIER) | ||
12:15 15mTalk | Causally Perturbed Fairness Testing Journal-first Papers | ||
11:00 - 12:30 | Requirements and Modeling 2New Ideas and Emerging Results (NIER) / Research Track / Journal-first Papers / SE in Society (SEIS) at Oceania IV | ||
11:00 15mTalk | Modeling Like Peeling an Onion: Layerwise Analysis-Driven Automatic Behavioral Model Generation Research Track Yike Huang East China Normal University, Ming Hu Singapore Management University, Xiaohong Chen East China Normal University, Zhi Jin Peking University, Wuhan University, Shuyuan Xiao East China Normal University | ||
11:15 15mTalk | Context-Adaptive Requirements Defect Prediction through Human-LLM Collaboration New Ideas and Emerging Results (NIER) Max Unterbusch University of Duisburg-Essen, Andreas Vogelsang paluno – The Ruhr Institute for Software Technology, University of Duisburg-Essen | ||
11:30 15mTalk | RECOVER: Toward Requirements Generation from Stakeholders' Conversations Journal-first Papers Gianmario Voria University of Salerno, Francesco Casillo Università di Salerno, Carmine Gravino University of Salerno, Gemma Catolino University of Salerno, Fabio Palomba University of Salerno | ||
11:45 15mTalk | Unlocking the Silent Needs: Business-Logic-Driven Iterative Requirements Auto-completion Research Track Zhujun Wu East China Normal University Shanghai, China, Xiaohong Chen East China Normal University, Zhi Jin Peking University, Wuhan University, Ming Hu Singapore Management University, Dongming Jin Peking University, China | ||
12:00 15mTalk | LikeThis! Empowering App Users to Submit UI Improvement Suggestions Instead of Complaints Research Track Jialiang Wei University of Hamburg, Ali Ebrahimi Pourasad University of Hamburg, Walid Maalej University of Hamburg | ||
12:15 15mTalk | Agentic Generation of Structured Clinical Specifications for Digital Healthcare Services SE in Society (SEIS) Bruno Guindani Politecnico di Milano, Matteo Camilli Politecnico di Milano, Livia Lestingi DEIB, Politecnico di Milano, Marcello M. Bersani Politecnico di Milano | ||
11:00 - 12:30 | |||
11:00 15mTalk | RusyFuzz: Unhandled Exception Guided Fuzzing for Rust OS Kernel Research Track Yuwei Liu Institute of Software, Chinese Academy of Sciences, Yanhao Wang Independent Researcher, Minghua Wang Ant Group, Lin Huang Ant Group, Purui Su Institute of Software/CAS China, Tao Wei Ant Group | ||
11:15 15mTalk | VDBFuzz: Understanding and Detecting Crash Bugs in Vector Database Management Systems Research Track Shenao Wang Huazhong University of Science and Technology, Zhao Liu 360 AI Security Lab, Yanjie Zhao Huazhong University of Science and Technology, Quanchen Zou 360 AI Security Lab, Haoyu Wang Huazhong University of Science and Technology | ||
11:30 15mTalk | GPTrace: Effective Crash Deduplication Using LLM Embeddings Research Track Patrick Herter Fraunhofer AISEC, Vincent Ahlrichs Fraunhofer AISEC, Ridvan Açilan Technical University of Munich, Julian Horsch Fraunhofer AISEC Pre-print Media Attached | ||
11:45 15mTalk | Is My RPC Response Reliable? Detecting RPC Bugs in Blockchain Client under Context Research Track Zhijie Zhong School of Software Engineering, Sun Yat-sen University, Yuhong Nan Sun Yat-sen University, Mingxi Ye Sun Yat-sen University, Qing Xue Sun Yat-sen University, Jiashui Wang Zhejiang University, Long Liu , Xinlei Ying , Zibin Zheng Sun Yat-sen University | ||
12:00 15mTalk | EchoFuzz: Empowering Smart Contract Fuzzing with Large Language Models Research Track Juanen Li Tsinghua University, Peng Qian Zhejiang University, Guanyan Li University of Oxford, Rui Wang Beijing Normal University, Peixin Wang East China Normal University, Zhiqing Tang Beijing Normal University, Fuchen Ma Tsinghua University, Yuanliang Chen Tsinghua University, Lun Zhang GoPlus Security | ||
12:15 15mTalk | StorFuzz: Using Data Diversity to Overcome Fuzzing Plateaus Research Track Leon Weiß Ruhr University Bochum, Tobias Holl Ruhr University Bochum, Kevin Borgolte Ruhr University Bochum Pre-print Media Attached | ||
11:00 - 12:30 | |||
11:00 15mTalk | Developer reactions to protestware in open source software: the cases of color.js and es5.ext Journal-first Papers Youmei Fan Nara Institute of Science and Technology, Dong Wang Tianjin University, Supatsara Wattanakriengkrai Nara Institute of Science and Technology, Hathaichanok Damrongsiri Nara Institute of Science and Technology, Christoph Treude Singapore Management University, Hideaki Hata Shinshu University, Raula Gaikovina Kula The University of Osaka Link to publication DOI Pre-print | ||
11:15 15mTalk | Addressing OSS Community Managers’ Challenges in Contributor Retention Journal-first Papers Zixuan Feng Oregon State University, USA, Katie Kimura Oregon State University, Bianca Trinkenreich Colorado State University, Igor Steinmacher RESHAPE LAB, Northern Arizona University, USA, Marco Gerosa Northern Arizona University, Anita Sarma Oregon State University Pre-print | ||
11:30 15mTalk | The whos, whats, and whys of issues related to personal data and data protection in open-source projects on GitHub Journal-first Papers Anne Hennig Karlsruhe Institute of Technology, Lukas Schulte University of Passau, Steffen Herbold University of Passau, Oksana Kulyk IT University of Copenhagen, Denmark, Peter Mayer University of Southern Denmark Link to publication DOI | ||
11:45 15mTalk | “Write in English, Nobody Understands Your Language Here”: A Study of Non-English Trends in Open-Source Repositories Research Track Masudul Hasan Masud Bhuiyan CISPA Helmholtz Center for Information Security, Germany, Manish Kumar Bala Kumar CISPA Helmholtz Center for Information Security, Cristian-Alexandru Staicu TU Darmstadt | ||
12:00 15mTalk | How Does Core Contributor Disengagement Impact Open Source Project Activity? A Quasi-Experiment Research Track Yunqi Chen Zhejiang University, Klaas-Jan Stol Lero; University College Cork; SINTEF Digital , Fabio Marcos De Abreu Santos Colorado State University, USA, Daniel M. German University of Victoria, Bianca Trinkenreich Colorado State University | ||
12:15 15mTalk | An empirical Analysis of Community and Coding Patterns in OSS4SG vs. Conventional OSS Research Track Mohamed Ouf Queen’s University, Shayan Noei Queen's University, Zeph Van Iterson Queen's University, Mariam Guizani Queen's University, Canada, Ying Zou Queen's University, Kingston, Ontario | ||
11:00 - 12:30 | |||
11:00 15mTalk | Exploring the Community of Inquiry in Online Computing Education: Student Perceptions and Opportunities for Generative AI Software Engineering Education and Training (SEET) | ||
11:15 15mTalk | Prompting Without Principles: Are Students Transferring Software Engineering Knowledge to LLM Use? Software Engineering Education and Training (SEET) Leonardo Da Silva Sousa Carnegie Mellon University, USA, Ipek Ozkaya Carnegie Mellon University, James Ivers Carnegie Mellon University, Celina Cywinska Carnegie Mellon University, Bingyu Xie Carnegie Mellon University, Mena Kostial Carnegie Mellon University Software Engineering Institute, Tapajit Dey Carnegie Mellon University Software Engineering Institute, Robert Edman Carnegie Mellon Software Engineering Institute | ||
11:30 15mTalk | "Can you feel the vibes?": An exploration of novice programmer engagement with vibe coding Software Engineering Education and Training (SEET) Kiev Gama Universidade Federal de Pernambuco, Filipe Calegario Universidade Federal de Pernambuco, Victoria Jackson University of Southampton, Alexander Nolte Eindhoven University of Technology, Luiz Morais Universidade Federal de Pernambuco, Vinicius Cardoso Garcia Universidade Federal de Pernambuco | ||
11:45 15mTalk | The Clash of Codes: From Peer-to-Peer Duplication to AI-Generation in Introductory Programming Assignments Software Engineering Education and Training (SEET) Jose Maria Zuzarte Reis Claver Vrije Universiteit Amsterdam, i Mahbod Tajdin Vrije Universiteit Amsterdam, Mauricio Verano Merino Vrije Universiteit Amsterdam | ||
12:00 15mTalk | AI-Assisted Code Review as a Scaffold for Code Quality and Self-Regulated Learning: An Experience Report Software Engineering Education and Training (SEET) Eduardo Araujo Oliveira The University of Melbourne, Michael Fu The University of Melbourne, Patanamon Thongtanunam University of Melbourne, Sonsoles López-Pernas University of Eastern Finland, Mohammed Saqr University of Eastern Finland | ||
12:15 15mTalk | Amplifiers or Equalizers? A Longitudinal Study of LLM Evolution in Software Engineering Project-Based Learning Software Engineering Education and Training (SEET) | ||
11:00 - 12:30 | |||
11:00 15mTalk | How do Machine Learning Models Change? Journal-first Papers Joel Castaño Fernández Universitat Politècnica de Catalunya, Rafael Cabañas Department of Mathematics and CDTIME, University of Almería, Antonio Salmerón Department of Mathematics and CDTIME, University of Almería, David Lo Singapore Management University, Silverio Martínez-Fernández UPC-BarcelonaTech | ||
11:15 15mTalk | A Taxonomy of Contextual Factors in Continuous Integration Processes Journal-first Papers Shujun Huang Delft University of Technology (TU Delft), Sebastian Proksch Delft University of Technology | ||
11:30 15mTalk | Understanding the adoption of modern Javascript features: An empirical study on open-source systems Journal-first Papers Walter Lucas Monteiro de Mendonça University of Brasília, Rafael Nunes University of Brasília, Rodrigo Bonifácio Informatics Center - CIn/UFPE and Computer Science Department / University of Brasília, Fausto Carvalho University of Brasília, Ricardo Lima University of Brasília, Michael Silva University of Brasília, Adriano Torres University of Brasília, Paola Accioly Federal University of Pernambuco, Brazil, Eduardo Monteiro University of Brasília, João Saraiva | ||
11:45 15mTalk | Adapting Installation Instructions in Rapidly Evolving Software Ecosystems Journal-first Papers Haoyu Gao The University of Melbourne, Christoph Treude Singapore Management University, Mansooreh Zahedi The Univeristy of Melbourne | ||
12:00 15mTalk | On the Need to Monitor Continuous Integration Practices Journal-first Papers Jadson Santos Universidade Federal do Rio Grande do Norte, Daniel Alencar Da Costa University of Otago, Shane McIntosh University of Waterloo, Uirá Kulesza Federal University of Rio Grande do Norte | ||
12:15 15mTalk | Technical Credit: Industry Views on Benefits and Barriers SE In Practice (SEIP) Alessio Bucaioni Malardalen University, Ian Gorton Northeastern University – Seattle, USA, Patrizio Pelliccione Gran Sasso Science Institute, L'Aquila, Italy | ||
14:00 - 15:30 | |||
14:00 15mTalk | Improving Code Generation via Small Language Model-as-a-judge Research Track Giuseppe Crupi Università della Svizzera italiana, Rosalia Tufano Università della Svizzera Italiana, Gabriele Bavota Software Institute @ Università della Svizzera Italiana Pre-print | ||
14:15 15mTalk | Think Like Human Developers: Harnessing Community Knowledge for Structured Code Reasoning Research Track Chengran Yang Singapore Management University, Singapore, Zhensu Sun Singapore Management University, Hong Jin Kang University of Sydney, Jieke Shi Singapore Management University, David Lo Singapore Management University | ||
14:30 15mTalk | On LLMs’ Internal Representation of Code Correctness Research Track Francisco Ribeiro New York University Abu Dhabi, Claudio Spiess University of California, Davis, Prem Devanbu University of California at Davis, Sarah Nadi New York University Abu Dhabi | ||
14:45 15mTalk | Write Your Own Code Checker: An Automated Test-Driven Checker Development Approach with LLMs Research Track Jun Liu Institute of Software, Chinese Academy of Sciences, Yuanyuan Xie Institute of Software, Chinese Academy of Sciences, Jiwei Yan Institute of Software at Chinese Academy of Sciences, Jinhao Huang Institute of Software, Chinese Academy of Sciences, Jun Yan Institute of Software, Chinese Academy of Sciences, Jian Zhang Institute of Software at Chinese Academy of Sciences; University of Chinese Academy of Sciences | ||
15:00 15mTalk | RovoDev Code Reviewer: A Large-Scale Online Evaluation of LLM-based Code Review Automation at Atlassian SE In Practice (SEIP) Kla Tantithamthavorn Monash University, Yaotian Zou Atlassian, Andy Wong Atlassian, Michael Gupta Atlassian, Zhe Wang Atlassian, Mike Buller Atlassian, Ryan Jiang Atlassian, Matthew Watson Atlassian, Minwoo Jeong Atlassian, Kun Chen Atlassian, Ming Wu Atlassian | ||
15:15 15mTalk | Spec2Control: Automating PLC/DCS Control-Logic Engineering from Natural Language Requirements with LLMs - A Multi-Plant Evaluation SE In Practice (SEIP) Heiko Koziolek ABB Corporate Research, Thilo Braun ABB, Virendra Ashiwal ABB Research, Sofia Linsbauer ABB Research, Marthe Ahlgreen Hansen ABB, Karoline Grotterud ABB | ||
14:00 - 15:30 | |||
14:00 15mTalk | Knowledge Matters: Injecting Project and Testing Knowledge into LLM-based Unit Test Generation Research Track Anji Li School of Software Engineering, Sun Yat-sen University, Mingwei Liu Sun Yat-Sen University, Zhenxi Chen Sun Yat-Sen University, Zheng Pei Sun Yat-Sen University, Zike Li Sun Yat-Sen University, Dekun Dai Sun Yat-Sen University, Yanlin Wang Sun Yat-sen University, Zibin Zheng Sun Yat-sen University | ||
14:15 15mTalk | Issue2Test: Generating Reproducing Test Cases from Issue Reports Research Track Noor Nashid University of British Columbia, Islem BOUZENIA University of Stuttgart, Michael Pradel CISPA Helmholtz Center for Information Security, Ali Mesbah University of British Columbia | ||
14:30 15mTalk | RBCTest: Leveraging LLMs to Mine and Verify Oracles of API Response Bodies for RESTful API Testing Research Track Hieu Huynh University of Melbourne, Quoc-Tri Le Katalon LLC, Tu Nguyen University of Science, VNU-HCM, Viet Nguyen University of Science, VNU-HCM, Vu Nguyen University of Science, VNU-HCM; Katalon LLC., Tien N. Nguyen University of Texas at Dallas | ||
14:45 15mTalk | Measuring the Influence of Incorrect Code on Test Generation Research Track Dong Huang The University of Hong Kong, Jie M. Zhang King's College London, Mark Harman Meta Platforms, Inc. and UCL, Mingzhe Du National University of Singapore, Heming Cui University of Hong Kong | ||
15:00 15mTalk | Retrieval-Augmented Test Generation: How Far Are We? Research Track Jiho Shin Queen's University, Nima Shiri Harzevili York University, Reem Aleithan York University, Canada, Hadi Hemmati York University, Song Wang York University Pre-print | ||
15:15 15mTalk | SAINT: Service-level Integration Test Generation with Program Analysis and LLM-based Agents Research Track Rangeet Pan IBM Research, Raju Pavuluri IBM T.J. Watson Research Center, Ruikai Huang Georgia Institute of Technology, Tyler Stennett Georgia Institute of Technology, Rahul Krishna IBM Research, Alessandro Orso University of Georgia, USA, Saurabh Sinha IBM Research | ||
14:00 - 15:30 | |||
14:00 15mTalk | SCLA: Automated Smart Contract Summarization via LLMs and Control Flow Prompt New Ideas and Emerging Results (NIER) Xiaoqi Li Hainan University, Yingjie Mao Hainan University, Zexin Lu Hong Kong Polytechnic University, Wenkai Li Hainan University, Zongwei Li Hainan University | ||
14:15 15mTalk | Leveraging Design-Aware Context in Large Language Models for Code Comment Generation New Ideas and Emerging Results (NIER) Aritra Mitra Indian Institute of Technology Kharagpur, Srijoni Majumdar University of Leeds, Anamitra Mukhopadhyay Indian Institute of Technology Kharagpur, Partha Pratim Das Ashoka University, Paul Clough University of Sheffield, Partha Pratim Chakrabarti Indian Institute of Technology, Kharagpur | ||
14:30 15mTalk | From Execution to Embedding: Enriching Code Representations with Data Difference Signals for Comment Generation New Ideas and Emerging Results (NIER) Giacomo Fantino Politecnico di Torino, Italy, Antonio Vetrò Politecnico di Torino, Marco Torchiano Politecnico di Torino, Federica Cappelluti Politecnico di Torino, Italy | ||
14:45 15mTalk | Towards Bridging Language Gaps in OSS with LLM-Driven Documentation Translation New Ideas and Emerging Results (NIER) Elijah Kayode Adejumo George Mason University, Mariam Guizani Queen's University, Canada, Fatemeh Vares George Mason University, Brittany Johnson George Mason University | ||
15:00 15mTalk | Automating API Documentation from Crowdsourced Knowledge Research Track Bonan Kou Purdue University, Zijie Zhou University of Illinois Urbana-Champaign, Muhao Chen University of Southern California, Tianyi Zhang Purdue University | ||
15:15 15mTalk | UniCoR: Modality Collaboration for Robust Cross-Language Hybrid Code Retrieval Research Track Yang Yang Central South University, China, Li Kuang Centrel South University, Jiakun Liu Harbin Institute of Technology, Zhongxin Liu Zhejiang University, Yingjie Xia Hangzhou Dianzi University, David Lo Singapore Management University | ||
14:00 - 15:30 | |||
14:00 15mTalk | IntelliRadar: A Comprehensive Platform to Pinpoint Malicious Package Information from Cyber Intelligence Research Track Wenbo Guo Nanyang Technological University, Chengwei Liu Nanyang Technological University, Limin Wang Nanjing University, Yiran Zhang , Wu Jiahui , Zhengzi Xu Imperial Global Singapore, Yang Liu Nanyang Technological University Pre-print | ||
14:15 15mTalk | A Large-Scale Empirical Study of Secret Key Leakage in Hugging Face Spaces Research Track Shaoxuan Yun Beijing University of Posts and Telecommunications, Yuchao Zhang Beijing University of Posts and Telecommunications, Zhikun Shi Beijing University of Posts and Telecommunications, Liu Wang Huazhong University of Science and Technology, Yi Wang Beijing University of Posts and Telecommunications, Yu Bai Beijing University of Posts and Telecommunications | ||
14:30 15mTalk | A Comprehensive Study of Concurrency Bugs in the Linux Kernel Research Track Sishuai Gong University of North Carolina at Chapel Hill, Chih-En Lin Purdue University, Kevin Wu Purdue University, Edwin Lu Purdue University, Pedro Fonseca Purdue University | ||
14:45 15mTalk | Shaky Structures: The Wobbly World of Causal Graphs in Software Analytics Journal-first Papers Jeremy Hulse NC State, Tim Menzies North Carolina State University, Nasir Eisty University of Tennessee-Knoxville | ||
15:00 15mTalk | Beyond Final Code: A Process-Oriented Error Analysis of Software Development Agents in Real-World GitHub Scenarios Research Track Zhi Chen Singapore Management University, Wei Ma Singapore Management University, Lingxiao Jiang Singapore Management University Pre-print | ||
15:15 15mTalk | Learning from Change: Predictive Models for Incident Prevention in a Regulated IT Environment SE In Practice (SEIP) Eileen Kapel ING & Delft University of Technology, Jan Lennartz ING, Luís Cruz TU Delft, Diomidis Spinellis AUEB & TU Delft, Arie van Deursen TU Delft | ||
14:00 - 15:30 | |||
14:00 15mTalk | Generator Solving for Symbolic Execution Research Track Siwei Wei State Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences, and University of Chinese Academy of Sciences Beijing, China, Yan Cai State Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences, and University of Chinese Academy of Sciences Beijing, China | ||
14:15 15mTalk | How Good are Input Grammar Miners? An Empirical Study Research Track Leon Bettscheider CISPA Helmholtz Center for Information Security, Andreas Zeller CISPA Helmholtz Center for Information Security | ||
14:30 15mTalk | LSPRAG: LSP-Guided RAG for Language-Agnostic Real-Time Unit Test Generation Research Track Gwihwan Go Tsinghua University, Quan Zhang East China Normal University, Chijin Zhou East China Normal University, Zhao Wei Tencent, Yu Jiang Tsinghua University | ||
14:45 15mTalk | Breaking Single-Tester Limits: Multi-Agent LLMs for Multi-User Feature Testing Research Track Sidong Feng Monash University, Changhao Du Jilin University, huaxiao liu Jilin University, Qingnan Wang Jilin University, Zhengwei Lv ByteDance, Mengfei Wang ByteDance, Chunyang Chen TU Munich | ||
15:00 15mTalk | Testing Deep Learning Libraries via Neurosymbolic Constraint Learning Research Track M M Abid Naziri North Carolina State University, Shinhae Kim Cornell University, Feiran Qin North Carolina State University, Saikat Dutta Cornell University, Marcelo d'Amorim North Carolina State University | ||
15:15 15mTalk | MioHint: LLM-Assisted Request Mutation for Whitebox REST API Testing Research Track Jia Li , Jiacheng Shen Duke Kunshan University, Yuxin Su Sun Yat-sen University, Michael Lyu The Chinese University of Hong Kong | ||
14:00 - 15:30 | Human and Social Aspects 8Research Track / Journal-first Papers / New Ideas and Emerging Results (NIER) at Oceania IV | ||
14:00 15mTalk | Determining Code Proficiency Levels from Python Textbooks Journal-first Papers Ruksit Rojpaisarnkit Nara Institute of Science and Technology, Gregorio Robles Universidad Rey Juan Carlos, Jesus M. Gonzalez-Barahona Universidad Rey Juan Carlos, Kenichi Matsumoto Nara Institute of Science and Technology, Raula Gaikovina Kula The University of Osaka | ||
14:15 15mTalk | Guiding principles for mixed methods research in software engineering Journal-first Papers Margaret-Anne Storey University of Victoria, Rashina Hoda Monash University, Alessandra Maciel Paz Milani University of Victoria, Maria Teresa Baldassarre Department of Computer Science, University of Bari | ||
14:30 15mTalk | SEALing the Gap: A Reference Framework for LLM Inference Carbon Estimation via Multi-Benchmark Driven Embodiment New Ideas and Emerging Results (NIER) Priyavanshi Pathania Accenture Labs, Rohit Mehra Accenture Labs, Vibhu Saujanya Sharma Accenture Labs, Vikrant Kaulgud Accenture Labs, India, Tiffani Nevels Accenture, Sanjay Podder Accenture, Adam P. Burden Accenture | ||
14:45 15mTalk | Views on Internal and External Validity in Empirical Software Engineering: 10 Years Later and Beyond Research Track Alina Mailach Leipzig University, Janet Siegmund Chemnitz University of Technology, Sven Apel Saarland University, Norbert Siegmund Leipzig University | ||
15:00 15mTalk | Weak Programmers Need Not Apply, LLMs Welcome! Survey Screening in the AI Era Research Track Ita Ryan University College Cork, Utz Roedig School of Computer Science and Information Technology, University College Cork, Klaas-Jan Stol Lero; University College Cork; SINTEF Digital | ||
15:15 15mTalk | Sapling: Quantifying and Measuring the Maturity of the RISC-V Software Ecosystem Research Track Yuhang Liu Institute of Computing Technology, Chinese Academy of Sciences, Chenchen Ji Institute of Software, Chinese Academy of Sciences, Haoquan Li Institute of Computing Technology, Chinese Academy of Sciences, Jiageng Yu The Institute of Software, Chinese Academy of Sciences, Mingyu Chen Institute of Computing Technology, Chinese Academy of Sciences, Yanjun Wu Institute of Software, Chinese Academy of Sciences, Yungang Bao State Key Lab of Processors, Institute of Computing Technology, CAS; University of Chinese Academy of Sciences | ||
14:00 - 15:30 | |||
14:00 15mTalk | Efficient Build Dependency Verification Using eBPF and Incremental Analysis Research Track Yuta Saito Waseda University, Kazunori Sakamoto Tokyo Online Unicersity / Waseda University / National Institute of Informatics / WillBooster Inc., Hironori Washizaki Waseda University | ||
14:15 15mTalk | Hybrid Fault-Driven Mutation Testing for Python Research Track Pre-print | ||
14:30 15mTalk | No Shot in the Dark: Efficient Context-Free Language Reachability via Context-Aware Tabulation Research Track Chenghang Shi SKLP, Institute of Computing Technology, CAS, Lian Li Institute of Computing Technology at Chinese Academy of Sciences; University of Chinese Academy of Sciences | ||
14:45 15mTalk | Is Call Graph Pruning Really Effective? An Empirical Re-evaluation Research Track Mohammad Rafieian The University of Texas at Dallas, Vlad Birsan The University of Texas at Dallas, Kunal Katiya Coppell High School, Dylan Zhong , Shiyi Wei University of Texas at Dallas Pre-print | ||
15:00 15mTalk | MutDafny: A Mutation-Based Approach to Assess Dafny Specifications Research Track Isabel Amaral INESC TEC, Faculty of Engineering, University of Porto, Alexandra Mendes Faculty of Engineering, University of Porto & INESC TEC, José Campos Faculty of Engineering of the University of Porto, Portugal | ||
15:15 15mTalk | Enhancing Symbolic Execution with Self-Configuring Parameters Research Track | ||
14:00 - 15:30 | |||
14:00 15mTalk | Invisible Load: Uncovering the Challenges of Neurodivergent Women in Software Engineering SE in Society (SEIS) Munazza Zaib Human-Centred Computing, Faculty of Information Technology, Monash University, Australia, Wei Wang Institute of Software at Chinese Academy of Sciences, Dulaji Hidellaarachchi RMIT University, Isma Farah Siddiqui Department of Software, Systems and Cybersecurity, Faculty of Information Technology, Monash University, VIC, Australia | ||
14:15 15mTalk | From Gains to Strains: Modeling Developer Burnout with GenAI Adoption SE in Society (SEIS) Zixuan Feng Oregon State University, USA, Sadia Afroz Oregon State University, Anita Sarma Oregon State University Pre-print | ||
14:30 15mTalk | Demystifying Knowledge Hiding in Software Testing: Insights from Practitioners SE in Society (SEIS) Mary Sánchez-Gordón Østfold University College, Ricardo Colomo-Palacios Universidad Politécnica de Madrid, Kiev Gama Universidade Federal de Pernambuco, Aliaksandr Hubin Østfold University College | ||
14:45 15mTalk | Click, Scroll, Consent: Uncovering Australia’s Privacy Knowledge Crisis SE in Society (SEIS) Omar Haggag Monash University, Australia, John Grundy Monash University, Mohan Baruwal Chhetri CSIRO’s Data61 | ||
15:00 15mTalk | From Inclusion to Action: The Role of Allyship for Women in Software Teams SE in Society (SEIS) Ricarda Anna-Lena Fischer Vrije Universiteit Amsterdam, Ioana Visescu University of Luxembourg, Kezia Devathasan University of Victoria, Daniela Damian University of Victoria, Emitzá Guzmán Vrije Universiteit Amsterdam | ||
15:15 15mTalk | Connecting Generations Through Code: GABI, A Community-Driven Framework for Engineering Inclusive Financial Software for the Elderly SE in Society (SEIS) Lara Gabrielly Souza Batista Lima Federal University of Ceará (UFC), Victor Alves Federal University of Ceará (UFC), Carla Bezerra Federal University of Ceará (UFC), Diana Braga Federal University of Ceará (UFC) | ||
14:00 - 15:30 | |||
14:00 15mTalk | Using Peer Evaluations and Team Contracts in Software Engineering Team Project Courses Software Engineering Education and Training (SEET) Nayla Nasir Blekinge Institute of Technology, Muhammad Usman Blekinge Institute of Technology, Usman Nasir Blekinge Institute of Technology | ||
14:15 15mTalk | Scaling Assessment of Student Models with LLMs: Integrating Feedback into Practice Software Engineering Education and Training (SEET) | ||
14:30 15mTalk | The Efficacy of Exams in Assessing Student Learning in Capstones Software Engineering Education and Training (SEET) | ||
14:45 15mTalk | FORGET-SE: A Controlled Dataset to Investigate Memory Decay and Interference in Software Engineering Knowledge Tracing Software Engineering Education and Training (SEET) Alyssa Sha Australian National University, Bernardo Pereira Nunes Australian National University, Yige Chen Southern University of Science and Technology | ||
15:00 15mTalk | On-Premise Kubernetes in Software Engineering Education: An Experience Report Software Engineering Education and Training (SEET) Matthias Linhuber Technical University Munich, Jan Philip Bernius Siemens AG, Foundational Technologies, Stephan Krusche Technical University of Munich DOI Pre-print | ||
15:15 15mTalk | Utilizing Adaptive Gamification in an Intelligent Tutoring System for Software Engineering Education Software Engineering Education and Training (SEET) Niklas Meissner Institute of Software Engineering, University of Stuttgart, Lukas Trautwein University of Stuttgart, Sandro Speth Technical University of Munich, Nadine Koch University of Stuttgart, Steffen Becker University of Stuttgart | ||
14:00 - 15:30 | Architecture and Design 2Research Track / Journal-first Papers / SE in Society (SEIS) at Oceania VIII | ||
14:00 15mTalk | Quantum Software Engineering: Roadmap and Challenges Ahead Journal-first Papers Juan Manuel Murillo University of Extremadura and COMPUTAEX Foundation, Jose García-Alonso Universidad de Extremadura, Enrique Moguel University of Extremadura, Johanna Barzen University of Stuttgart, Frank Leymann University of Stuttgart. Institute of Architecture of Application Systems, Shaukat Ali Simula Research Laboratory and Oslo Metropolitan University, Tao Yue Beihang University, Paolo Arcaini National Institute of Informatics
, Ricardo Pérez-Castillo University of Castilla-La Mancha, Ignacio García University of Castilla-La Mancha, Mario Piattini University of Castilla-La Mancha, Spain, Antonio Ruiz-Cortés University of Seville, Antonio Brogi Università di Pisa, Jianjun Zhao Kyushu University, Andriy Miranskyy Toronto Metropolitan University (formerly Ryerson University), Manuel Wimmer JKU Linz | ||
14:15 15mTalk | ArchHypo: Managing Software Architecture Uncertainty Using Hypotheses Engineering Journal-first Papers Kelson Silva Instituto Nacional de Pesquisas Espaciais (INPE), Jorge Melegati University of Porto, Fabio Fagundes Silveira Federal University of São Paulo (UNIFESP), Xiaofeng Wang Free University of Bozen-Bolzano, Mauricio Ferreira Instituto Nacional de Pesquisas Espaciais (INPE), Eduardo Guerra Free University of Bozen-Bolzano | ||
14:30 15mTalk | A Holistic Approach to Design Understanding Through Concept Explanation Journal-first Papers Hongzhou Fang Drexel University, Yuanfang Cai Drexel University, Ewan Tempero The University of Auckland, Rick Kazman University of Hawai‘i at Mānoa, Yu-ChengTu University of Auckland, Jason Lefever Drexel University, Ernst Pisch Drexel University | ||
14:45 15mTalk | SSAR: A Novel Software Architecture Recovery Approach Enhancing Accuracy and Scalability Research Track Wei Ding Central China Normal University, Ran Mo Central China Normal University, Chaochao Wu Central China Normal University, Haopeng Song Central China Normal University | ||
15:00 15mTalk | Semantic-Enhanced Automatic Refinement of Architecture Recovery Results Using LLMs Research Track Yiran Zhang , Chengwei Liu Nanyang Technological University, Yuqiang Sun Nanyang Technological University, Zhengzi Xu Imperial Global Singapore, Weisong Sun Nanyang Technological University, Wenke Li Huazhong University of Science and Technology, Wuxia Jin Xi'an Jiaotong University, Yang Liu Nanyang Technological University | ||
15:15 15mTalk | Technohealth: A Modular Framework for Reproducible Research in Precision Healthcare with Heterogeneous Wearable Data SE in Society (SEIS) Paula Lago Concordia University, Melika Seyedi Concordia University, Canada, Laurie Anne Laberge Concordia University, Canada, Abdelwahab Hamou-Lhadj Concordia University, Montreal, Canada | ||
14:00 - 15:30 | |||
14:00 15mTalk | "Where is My Troubleshooting Procedure?": Studying the Potential of RAG in Assisting Failure Resolution of Large Cyber-Physical System SE In Practice (SEIP) Maria Teresa Rossi University of Milano Bicocca, Italy, Leonardo Mariani University of Milano-Bicocca, Oliviero Riganelli University of Milano - Bicocca, Giuseppe Filomento University of Milano - Bicocca, Danilo Giannone University of Milano - Bicocca, Paolo Gavazzo University of Milano - Bicocca Pre-print | ||
14:15 15mTalk | Deploying SafeKAN for Anomaly Detection in Safety-Critical Satellite Operations: An Industry-Guided Study SE In Practice (SEIP) Alberto Petrucci Gran Sasso Science Institute (GSSI), Francesco Basciani Gran Sasso Science Institute (GSSI), Franco Raimondi Gran Sasso Science Institute (GSSI), Patrizio Pelliccione Gran Sasso Science Institute, L'Aquila, Italy | ||
14:30 15mTalk | FairRF: Multi-Objective Search for Single and Intersectional Software Fairness SE in Society (SEIS) Giordano d'Aloisio University of L'Aquila, Max Hort Simula Research Laboratory, Rebecca Moussa University College London, Federica Sarro University College London Pre-print | ||
14:45 15mTalk | An Ontology-Based Approach to Security Risk Identification for Container Deployments in OT Contexts SE In Practice (SEIP) Yannick Landeck fortiss GmbH, Dian Balta fortiss GmbH, Martin Wimmer Siemens AG, Christian Knierim Siemens AG DOI Pre-print | ||
15:00 15mTalk | PCICF: A Pedestrian Crossing Identification and Classification Framework SE In Practice (SEIP) Junyi Gu Chalmers University of Technology and University of Gothenburg, Beatriz Cabrero-Daniel University of Gothenburg, Ali Nouri Volvo cars & Chalmers University of Technology, Lydia Armini Chalmers University of Technology and University of Gothenburg, Christian Berger Chalmers University of Technology, Sweden | ||
15:15 15mTalk | Engineering Future Critical CPSs with Trustworthy GenAI Across the Lifecycle SE in Society (SEIS) Alessio Bucaioni Malardalen University, Antonio Cicchetti Mälardalen University, Gordana Dodig Crnkovic Mälardalen University, Romina Spalazzese Malmö University, Emma Söderberg Lund University, Daniel Varro Linköping University / McGill University | ||
16:00 - 17:30 | |||
16:00 15mTalk | An LLM Agentic Approach for Legal-Critical Software: A Case Study for Tax Prep Software Research Track Sina Gogani Khiabani University of Illinois Chicago, Ashutosh Trivedi University of Colorado Boulder, Diptikalyan Saha IBM Research, Saeid Tizpaz-Niari University of Illinois Chicago | ||
16:15 15mTalk | RefAgent: A Multi-agent LLM-based Framework for Automatic Software Refactoring Research Track Khouloud Oueslati Polytechnique Montréal, Canada, Maxime Lamothe Polytechnique Montreal, Foutse Khomh Polytechnique Montréal | ||
16:30 15mTalk | ProofCoop: Collaborative Automated Formal Verification Research Track Zhanna Kaufman University of Massachusetts, Emily First Rutgers University, Alex Sanchez-Stern d model, Kyle Thompson University of California, San Diego, Sorin Lerner University of California at San Diego, Yuriy Brun University of Massachusetts | ||
16:45 15mTalk | Unified Software Engineering agent as AI Software Engineer Research Track Leonhard Applis National University of Singapore, Yuntong Zhang National University of Singapore, Shanchao Liang Purdue University, USA, Nan Jiang Purdue University, Lin Tan Purdue University, Abhik Roychoudhury National University of Singapore | ||
17:00 15mTalk | Argus: A Multi-agent Sensitive Information Leakage Detection Framework Based on Hierarchical Reference Relationships Research Track Bin Wang , Hui Li Xiamen University, Liyang Zhang University of Electronic Science and Technology of China, Qijia Zhuang University of Electronic Science and Technology of China, Ao Yang Peking University, Dong Zhang Tencent Security Platform Department, Xijun Luo Tencent Security Platform Department, Bing Lin China Unicom(Guangdong) Industrial Internet Co., Ltd | ||
17:15 15mTalk | MaCTG: Multi-Agent Collaborative Thought Graph for Automatic Programming Research Track Zixiao Zhao , Jing Sun School of Computer Science, University of Auckland, Zhe Hou Griffith University, Wei Zhiyuan Beijing Institute of Technology, ChengHao Cai Suzhou Industrial Park Monash Research Institute of Science and Technology, Miao Qiao University of Auckland, Jin Song Dong National University of Singapore | ||
16:00 - 17:30 | |||
16:00 15mTalk | TAAF: A Trace Abstraction and Analysis Framework Synergizing Knowledge Graphs and LLMs Research Track Alireza Ezaz Brock University, Ghazal Khodabandeh Brock University, Majid Babaei University of the Fraser Valley, Naser Ezzati Jivan Department of Computer Science, Brock University, St. Catharines, ON, Canada Pre-print | ||
16:15 15mTalk | InferLog: Accelerating LLM Inference for Online Log Parsing via ICL-oriented Prefix Caching Research Track Yilun Wang School of Systems Science and Engineering, Sun Yat-sen University, Guangzhou, China, Pengfei Chen Sun Yat-sen University, Haiyu Huang Sun Yat-sen University, Zilong He Sun Yat-sen University, Gou Tan School of Systems Science and Engineering, Sun Yat-sen University, Guangzhou, China, Chuanfu Zhang Sun Yat-Sen University, Jingkai He School of Systems Science and Engineering,Sun Yat-sen University, Guangzhou, China, Zibin Zheng Sun Yat-sen University | ||
16:30 15mTalk | Order Matters! An Empirical Study on Large Language Models' Input Order Bias in Software Fault Localization Research Track Md Nakhla Rafi Concordia University, Dong Jae Kim DePaul University, Tse-Hsun (Peter) Chen Concordia University, Shaowei Wang University of Manitoba | ||
16:45 15mTalk | When LLMs Listen to Experts: Accurate Failure Diagnosis in Operating Systems SE In Practice (SEIP) Yongxin Zhao , Shenglin Zhang Nankai University, Yuxin Sun Nankai University, Wenwei Gu Nankai University, Yongqian Sun Nankai University, Luping Wang Alibaba Group, Li Shi Alibaba Group, Cheng Huang Alibaba Group, Guodong Yang Alibaba Group, Liping Zhang Alibaba Group, Dan Pei Tsinghua University | ||
17:00 15mTalk | MagmaScope: Identifying Root-Cause Changes for Emergency Incident in Large-Scale Cloud Infrastructure SE In Practice (SEIP) Zongyang Li Peking University, Ning Wang Bytedance, Jiliang Liu Bytedance, Yaping Zhang Bytedance, Feifan Tong Bytedance, Zhaoxing Chen Bytedance, Chan Li Bytedance, Ming Liu Bytedance, Xiang Zhang Bytedance, Yifan Wu Peking University, Tong Jia Institute for Artificial Intelligence, Peking University, Beijing, China, Ying Li School of Software and Microelectronics, Peking University, Beijing, China | ||
17:15 15mTalk | Correctness isn’t Efficiency: Runtime Memory Divergence in LLM-Generated Code SE In Practice (SEIP) Prateek Kumar Rajput Zortify and University of Luxembourg, Yewei Song University of Luxembourg, Abdoul Aziz Bonkoungou B Medical Systems and University of Luxembourg, Iyiola E. Olatunji University of Luxembourg, Abdoul Kader Kaboré University of Luxembourg, Jacques Klein University of Luxembourg, Tegawendé F. Bissyandé University of Luxembourg | ||
16:00 - 17:30 | |||
16:00 15mTalk | Are “Solved Issues” in SWE-bench Really Solved Correctly? An Empirical Study Research Track You Wang Zhejiang University, Michael Pradel CISPA Helmholtz Center for Information Security, Zhongxin Liu Zhejiang University | ||
16:15 15mTalk | EmbedAgent: Benchmarking Large Language Models in Embedded System Development Research Track Ruiyang Xu University of Chinese Academy of Sciences, Jialun Cao Hong Kong University of Science and Technology, Mingyuan Wu Southern University of Science and Technology, Wenliang Zhong Institute of Software, Chinese Academy of Sciences, Yaojie Lu Institute of Software, Chinese Academy of Sciences, Ben He University of Chinese Academy of Sciences, Xianpei Han Institute of Software, Chinese Academy of Sciences, Shing-Chi Cheung Hong Kong University of Science and Technology, Le Sun Institute of Software, Chinese Academy of Sciences | ||
16:30 15mTalk | When Prompts Go Wrong: Evaluating Code Model Robustness to Ambiguous, Contradictory, and Incomplete Task Descriptions Research Track Maya LARBI University of Luxembourg, Amal Akli University of Luxembourg, Mike Papadakis University of Luxembourg, Rihab BOUYOUSFI Ecole nationale Supérieure d’Informatique (ESI), Maxime Cordy University of Luxembourg, Luxembourg, Federica Sarro University College London, Yves Le Traon University of Luxembourg, Luxembourg Pre-print | ||
16:45 15mTalk | Reflections on the Reproducibility of Commercial LLM Performance in Empirical Software Engineering Studies Research Track Florian Angermeir fortiss, Maximilian Amougou fortiss GmbH, Mark Kreitz University of the Bundeswehr Munich, Andreas Bauer Technische Hochschule Nürnberg Georg Simon Ohm, Matthias Linhuber Technical University Munich, Davide Fucci Blekinge Institute of Technology, Fabiola Moyón Siemens Technology and Technical University of Munich, Daniel Mendez Blekinge Institute of Technology and fortiss, Tony Gorschek Blekinge Institute of Technology / DocEngineering DOI Pre-print | ||
17:00 15mTalk | FreshBrew: A Benchmark for Evaluating AI Agents on Java Code Migration Research Track Victor May Google, Diganta Misra Max Planck Institut für Intelligente Systeme (MPI-IS) and ELLIS Institute, Tübingen, Yanqi Luo Salesforce, Anjali Sridhar Google, Justine Gehring Gologic, Silvio Soares Ribeiro Junior Google | ||
17:15 15mTalk | ProxyWar: Dynamic Assessment of LLM Code Generation in Game Arenas Research Track Xinyu Wang The University of Adelaide, Wenjun Peng The University of Adelaide, Qi Wu University of Adelaide | ||
16:00 - 17:30 | |||
16:00 15mTalk | How to Save My Gas Fees: Understanding and Detecting Real-World Gas Issues in Solidity Programs Journal-first Papers Mengting He The Pennsylvania State University, Shihao Xia The Pennsylvania State University, Boqin Qin China Telecom Cloud Computing Corporation, Nobuko Yoshida University of Oxford, Tingting Yu University of Connecticut, Yiying Zhang University of California San Diego, Linhai Song The Pennsylvania State University | ||
16:15 15mTalk | Exploring Development Methods for Reactive Synthesis Specifications Journal-first Papers Dor Ma'ayan Tel Aviv University, Shahar Maoz Tel Aviv University, Jan Oliver Ringert Bauhaus-University Weimar | ||
16:30 15mTalk | Characterizing and Refactoring Table-Driven Tests in Go New Ideas and Emerging Results (NIER) Max Green Stevens Institute of Technology, Lu Xiao Stevens Institute of Technology, Zhongpeng Lin Uber Technologies Inc. | ||
16:45 15mTalk | Data-aware Static Analysis: Improving Semantic Fault Detection in Machine Learning Code Using Data Characteristics New Ideas and Emerging Results (NIER) Willem Meijer Linköping University, Kristian Sandahl Linköping University, Daniel Varro Linköping University / McGill University | ||
17:00 15mTalk | Towards Automatically Inferring Constraints to Identify Implicit Assumptions in Data Analysis New Ideas and Emerging Results (NIER) Florian Sihler Ulm University, Lars Pfrenger Ulm University, Oliver Gerstl Ulm University, Matthias Tichy Ulm University | ||
17:15 15mTalk | QSolver: A Quantum Constraint Solver New Ideas and Emerging Results (NIER) | ||
16:00 - 17:30 | |||
16:00 15mTalk | How Fair is Software Fairness Testing? SE in Society (SEIS) Ann Barcomb Schulich School of Engineering, University of Calgary, Mariana Pinheiro Bento University of Calgary, Giuseppe Destefanis University College London, Sherlock A. Licorish University of Otago, Cleyton Magalhaes Universidade Federal Rural de Pernambuco, Ronnie de Souza Santos University of Calgary, Mairieli Wessel Radboud University | ||
16:15 15mTalk | Cyberbullying Safety Engineering by Patent: Trends, Solution Paradigms, and Societal Impacts SE in Society (SEIS) Mohamad Kassab Boston University | ||
16:30 15mTalk | From Big Tech to Big Politics: Users' Discourse on the Politicization of Technology Companies SE in Society (SEIS) Amelia Kalecińska Vrije Universiteit Amsterdam, Panagiotis Fotopoulos Vrije Universiteit Amsterdam, Emitzá Guzmán Vrije Universiteit Amsterdam | ||
16:45 15mTalk | Once Upon a Team: Investigating Bias in LLM-Driven Software Team Composition and Task Allocation SE in Society (SEIS) Alessandra Parziale Gran Sasso Science Institute, Gianmario Voria University of Salerno, Valeria Pontillo Gran Sasso Science Institute, Amleto Di Salle Gran Sasso Science Institute (GSSI), Patrizio Pelliccione Gran Sasso Science Institute, L'Aquila, Italy, Gemma Catolino University of Salerno, Fabio Palomba University of Salerno | ||
17:00 15mTalk | Negotiating Ethics in Video Game Development: Insights from Practitioners SE in Society (SEIS) | ||
17:15 15mTalk | Exploring Societal Biases in Generative AI using Social Science Constructs and Theories SE in Society (SEIS) Muneera Bano CSIRO's Data61, Rashina Hoda Monash University, Didar Zowghi CSIRO's Data61 - University of Technology Sydney | ||
16:00 - 17:30 | |||
16:00 15mTalk | An Eye for AI: Eye-Tracking the Micro-Interruptions of GenAI Code Suggestions Research Track Pre-print Media Attached | ||
16:15 15mTalk | Inside Out: Uncovering How Comment Internalization Steers LLMs for Better or Worse Research Track Aaron Imani University of California, Irvine, Mohammad Moshirpour University of California, Irvine, Iftekhar Ahmed University of California at Irvine Pre-print | ||
16:30 15mTalk | Scrub It Out! Erasing Sensitive Memorization in Code Language Models via Machine Unlearning Research Track Zhaoyang Chu Huazhong University of Science and Technology, Yao Wan Huazhong University of Science and Technology, Zhikun Zhang Zhejiang University, Di Wang King Abdullah University of Science and Technology, Zhou Yang University of Alberta, Alberta Machine Intelligence Institute , Hongyu Zhang Chongqing University, Pan Zhou Huazhong University of Science and Technology, Xuanhua Shi Huazhong University of Science and Technology, Hai Jin Huazhong University of Science and Technology, David Lo Singapore Management University | ||
16:45 15mTalk | What Makes Code Generation Ethically Sourced? Research Track Zhuolin Xu Concordia University, Chenglin Li Concordia University, Qiushi Li Concordia University, Shin Hwei Tan Concordia University | ||
17:00 15mTalk | Filtering before Tuning: Robust Fine-Tuning of Large Code Models under Noisy Labels Research Track Zhong Li Nanjing University, Yang Chen China Automobile Data of Tianjin Co., Ltd. China Automotive Technology&Research Center Co.,Ltd., Heng Yong Nanjing University, Yuanyi Lin Huawei Technologies, Jiali Zhao Huawei, Tongtong Xu Huawei, Minxue Pan Nanjing University, Tian Zhang Nanjing University, Xuandong Li Nanjing University | ||
17:15 15mTalk | Automating Requirements Formalization: Using LLMs and Low-Complexity Distinguishing Traces for Semantic Validation Research Track Daniel Mendoza Stanford University, Anastasia Mavridou KBR / NASA Ames Research Center, Andreas Katis KBR / NASA Ames Research Center, Caroline Trippel Stanford University | ||
16:00 - 17:30 | |||
16:00 15mTalk | Breaking the Alphabet: Rethinking File Ordering in Code Review Research Track Md Shamimur Rahman University of Saskatchewan, Zadia Codabux University of Saskatchewan, Chanchal K. Roy University of Saskatchewan | ||
16:15 15mTalk | “Still in the Loop”: Coping with Technostress in DevOps Teams and the Impact of GenAI SE In Practice (SEIP) Dharneeka Jeyam Bern University of Applied Sciences, Anna Wiedemann Bern University of Applied Sciences, Gerhard Schwabe University of Zurich, Kadircan Güney Zurich University of Applied Sciences | ||
16:30 15mTalk | Opportunities and Barriers for AI-Supported Quality Planning in the Automotive Domain: An Interview Survey at Volkswagen SE In Practice (SEIP) Henrik Waschke Volkswagen AG & Harz University, Jacob Krüger Eindhoven University of Technology, Thomas Leich Harz University of Applied Sciences, Germany | ||
16:45 15mTalk | Product Manager Practices for Delegating Work to Generative AI: ``Accountability must not be delegated to non-human actors'' SE In Practice (SEIP) Mara Ulloa Northwestern University, Jenna L. Butler Microsoft Research, Sankeerti Haniyur Microsoft Corporation, Courtney Miller Carnegie Mellon University, Barrett Amos Microsoft Research, Advait Sarkar Microsoft Research and University of Cambridge, Margaret-Anne Storey University of Victoria | ||
17:00 15mTalk | Understanding Task Enjoyment in Software Development: A Mixed-Methods Study on Practitioners From Poland and Brazil SE In Practice (SEIP) Klara Borowa Warsaw University of Technology, Bartłomiej Rasztabiga Warsaw University of Technology, Institute of Control and Computation Engineering, Hubert Soroka Warsaw University of Technology, Institute of Control and Computation Engineering, Maciej Tymoftyjewicz Warsaw University of Technology, Institute of Control and Computation Engineering, Rodrigo Rebouças de Almeida Federal University of Paraiba | ||
17:15 15mTalk | Group versus Individual Review Requests: Tradeoffs in Speed and Quality at Mozilla Firefox SE In Practice (SEIP) Matej Kučera None, Marco Castelluccio Mozilla, Daniel Feitosa University of Groningen, Ayushi Rastogi University of Groningen, The Netherlands | ||
16:00 - 17:30 | |||
16:00 15mTalk | Integrating Mental Health, Well-Being, and Sustainability into Software Engineering Education Software Engineering Education and Training (SEET) Isabella Graßl Technical University of Darmstadt , Birgit Penzenstadler Chalmers Tekniska Högskola and Gothenburg University and Lappenranta University of Technology | ||
16:15 15mTalk | Embedding Sustainability in Software Engineering Curriculum: A Case Study Software Engineering Education and Training (SEET) | ||
16:30 15mTalk | But Have You Ever Deployed a Model to Production? Experiences with Teaching Machine Learning Operations in a Data Science Curriculum Software Engineering Education and Training (SEET) | ||
16:45 15mTalk | From Personas to Programming: Gender-specific Effects of Design Thinking-Based Computing Education at Secondary Schools Software Engineering Education and Training (SEET) Isabella Graßl Technical University of Darmstadt , Gordon Fraser University of Passau, Daniela Damian University of Victoria | ||
17:00 15mTalk | On Fun for Teaching Large Programming Courses Software Engineering Education and Training (SEET) Walid Maalej University of Hamburg | ||
17:15 15mTalk | “I Value LeetCode Over My Coursework”: CS Students’ Preparation Strategies and Perceptions of Technical Interviews Software Engineering Education and Training (SEET) Daniel Manesh Virginia Tech, Teresa Thomas Virginia Tech, Chris Brown Virginia Tech, Sang Won Lee Virginia Polytechnic Institute and State University | ||
16:00 - 17:30 | Software Engineering for AI 6Journal-first Papers / Demonstrations / Research Track / New Ideas and Emerging Results (NIER) at Oceania VII | ||
16:00 15mTalk | TenderChat with Dynamic RAG: A Prompt-Adaptive RAG Framework for Australian Government Tender Analysis Demonstrations Hayden Fowler University of Technology Sydney, Ruihan Xie University of Technology Sydney, Morteza Saberi University of Technology Sydney, Ali Braytee University of Technology Sydney | ||
16:15 15mTalk | PreServe: Intelligent Management for LMaaS Systems via Hierarchical Prediction Research Track Zhihan Jiang The Chinese University of Hong Kong, Yujie Huang The Chinese University of Hong Kong, Guangba Yu The Chinese University of Hong Kong, Junjie Huang The Chinese University of Hong Kong, Jiazhen Gu Chinese University of Hong Kong, Michael Lyu The Chinese University of Hong Kong | ||
16:30 15mTalk | From Tea Leaves to System Maps: Context-awareness in Monitoring Operational Machine Learning Models Journal-first Papers Joran Leest Vrije Universiteit Amsterdam, Claudia Raibulet Vrije Universiteit Amsterdam, Patricia Lago Vrije Universiteit Amsterdam, Ilias Gerostathopoulos Vrije Universiteit Amsterdam | ||
16:45 15mTalk | Specification and Detection of LLM Code Smells New Ideas and Emerging Results (NIER) Brahim Mahmoudi École de technologie supérieure, Zacharie Chenail-Larcher École de technologie supérieure (ÉTS), Naouel Moha École de Technologie Supérieure (ETS), Quentin Stiévenart Université du Québec à Montréal, Florent AVELLANEDA Université du Québec à Montréal | ||
17:00 15mTalk | A First Look at Model Supply Chain: From the Risk Perspective Research Track Ziqian Chen Fudan University, Zekai Chen Fudan University, Susheng Wu Fudan University, Bihuan Chen Fudan University, Wenyan Song Carnegie Mellon University, Yiheng Huang Fudan University, Zhuotong Zhou Fudan University, Yiheng Cao Fudan University, Xin Peng Fudan University | ||
17:15 15mTalk | An Efficient Model Maintenance Approach for MLOps Journal-first Papers Forough Majidi Polytechnique Montreal, Foutse Khomh Polytechnique Montréal, Heng Li Polytechnique Montréal, Amin Nikanjam Huawei Canada | ||
16:00 - 17:30 | |||
16:00 15mTalk | MINES: Explainable Anomaly Detection through Web API Invariant Inference Research Track Wenjie Zhang National University of Singapore, Yun Lin Shanghai Jiao Tong University, Kwok Chun Fung Amos National University of Singapore, Xiwen Teoh National University of Singapore, Xiaofei Xie Singapore Management University, Frank Liauw Government Technology Agency Singapore, Hongyu Zhang Chongqing University, Jin Song Dong National University of Singapore | ||
16:15 15mTalk | Actionable Warning Is Not Enough: Recommending Valid Actionable Warnings with Weak Supervision Research Track Zhipeng Xue Zhejiang University, Zhipeng Gao Shanghai Institute for Advanced Study - Zhejiang University, Tongtong Xu Huawei, Xing Hu Zhejiang University, Xin Xia Zhejiang University, Shanping Li Zhejiang University | ||
16:30 15mTalk | SeRe: A Security-Related Code Review Dataset Aligned with Real-World Review Activities Research Track Zixiao Zhao , Yanjie Jiang Tianjin University, Hui Liu Beijing Institute of Technology, Kui Liu Huawei, Lu Zhang Peking University | ||
16:45 15mTalk | Translating PL/I Macro Procedures into Java Using Automatic Templatization and Large Language Models New Ideas and Emerging Results (NIER) | ||
17:00 15mTalk | An Empirical Study of Fine-Grained Entity Relationships for Tracing Natural Language and Code Vulnerability Artifacts Research Track Simin Wang Department of Computer Science, Southern Methodist University, Dallas, Texas, USA 75275-0122, Liguo Huang Southern Methodist University, Shiyi Wei University of Texas at Dallas, Amiao Gao Department of Computer Science, Southern Methodist University, Dallas, Texas, USA 75275-0122, Ruiqi Hu Department of Statistics and Data Science, Vincent Ng Human Language Technology Research Institute, University of Texas at Dallas, Richardson, TX 75083-0688 | ||
17:15 15mTalk | Back to the Basics: Rethinking Issue-Commit Linking with LLM-Assisted Retrieval Research Track Huihui Huang Singapore Management University, Singapore, Ratnadira Widyasari Singapore Management University, Singapore, Ting Zhang Monash University, Ivana Clairine Irsan Singapore Management University, Jieke Shi Singapore Management University, Han Wei Ang GovTech, Frank Liauw Government Technology Agency Singapore, Eng Lieh Ouh Singapore Management University, Singapore, Lwin Khin Shar Singapore Management University, Hong Jin Kang University of Sydney, David Lo Singapore Management University | ||
16:00 - 17:30 | |||
16:00 15mTalk | WhisperCatcher: Demystifying Unauthorized and Encrypted Private Data Transmission in Android Applications Research Track Zhaoyu Qiu Xi'an Jiaotong University, Ming Fan Xi'an Jiaotong University, Bocan Ma Xi'an Jiaotong University, Yutian Tang University of Glasgow, United Kingdom, Lei Xue Sun Yat-Sen University, Haijun Wang Xi'an Jiaotong University, Ting Liu Xi'an Jiaotong University | ||
16:15 15mTalk | Exploring and Improving Real-World Vulnerability Data Generation via Prompting Large Language Models Research Track Guangbei Yi Washington State University, Yu Nong University at Buffalo, SUNY, Minzhang Li Washington State University, Haipeng Cai University at Buffalo, SUNY | ||
16:30 15mTalk | TaintP2X: Detecting Taint-Style Prompt-to-Anything Injection Vulnerabilities in LLM-Integrated Applications Research Track HeJunjie , Shenao Wang Huazhong University of Science and Technology, Yanjie Zhao Huazhong University of Science and Technology, Xinyi Hou Huazhong University of Science and Technology, Zhao Liu 360 AI Security Lab, Quanchen Zou 360 AI Security Lab, Haoyu Wang Huazhong University of Science and Technology | ||
16:45 15mTalk | CoBrA: Context-, Branch-sensitive Static Analysis for Detecting Taint-style Vulnerabilities in PHP Web Applications Research Track Yichao Xu , Mingqing Kang Johns Hopkins University, Neil Thimmaiah University of Illinois Chicago, Rigel Gjomemo University of Illinois Chicago, V. N. Venkatakrishnan University of Illinois Chicago, Yinzhi Cao Johns Hopkins University | ||
17:00 15mTalk | Project-Level Resource Leak Detection through Agent-based Ownership Analysis and Repair Pattern Verification Research Track Chengxin Xu Institute of Information Engineering, Chinese Academy of Sciences, Beijing, China; School of Cyber Security, University of Chinese Academy of Sciences, Beijing, China, xiu zhang Institute of Information Engineering, Chinese Academy of Sciences, Beijing, China; School of Cyber Security, University of Chinese Academy of Sciences, Beijing, China, Xiaorui Gong Institute of Information Engineering, Chinese Academy of Science | ||
17:15 15mTalk | Understanding DevOps Security of Google Workspace Apps Research Track Liuhuo Wan University of Queensland, Chuan Yan University of Queensland, Zicong Liu University of Queensland, Haoyu Wang Huazhong University of Science and Technology, Guangdong Bai University of Queensland | ||
Fri 17 AprDisplayed time zone: Brasilia, Distrito Federal, Brazil change
Fri 17 Apr
Displayed time zone: Brasilia, Distrito Federal, Brazil change
11:00 - 12:30 | AI for Software Engineering 20New Ideas and Emerging Results (NIER) / Research Track / Journal-first Papers at Asia I | ||
11:00 15mTalk | Is Hyper-Parameter Optimization Different for Software Analytics? Journal-first Papers | ||
11:15 15mTalk | On the Effectiveness of LLM-as-a-judge for Code Generation and Summarization Journal-first Papers Giuseppe Crupi Università della Svizzera italiana, Rosalia Tufano Università della Svizzera Italiana, Alejandro Velasco William & Mary, Antonio Mastropaolo William and Mary, USA, Denys Poshyvanyk William & Mary, Gabriele Bavota Software Institute @ Università della Svizzera Italiana | ||
11:30 15mTalk | A Catalog of Data Smells for Coding Tasks Journal-first Papers Antonio Vitale Politecnico di Torino, University of Molise, Rocco Oliveto University of Molise, Simone Scalabrino University of Molise | ||
11:45 15mTalk | Towards Automating Domain-Specific Data Generation for Text-to-SQL: A Comprehensive Approach Journal-first Papers Salmane Chafik UM6P College of Computing, Saad Ezzini King Fahad University of Petroleum and Minerals, Ismail Berrada UM6P College of Computing | ||
12:00 15mTalk | Empirical and Sustainability Aspects of Software Engineering Research in the Era of Large Language Models: A Reflection New Ideas and Emerging Results (NIER) David Williams University College London, Maria Kechagia National and Kapodistrian University of Athens, Max Hort Simula Research Laboratory, Aldeida Aleti Monash University, Justyna Petke University College London, Federica Sarro University College London | ||
12:15 15mTalk | FORGE: An LLM-driven Framework for Large-Scale Smart Contract Vulnerability Dataset Construction Research Track Jiachi Chen Sun Yat-sen University, Yiming Shen Sun Yat-sen University, Jiashuo Zhang Peking University, China, Zihao Li Hong Kong Polytechnic University, John Grundy Monash University, Zhenzhe Shao Sun Yat-sen University, Yanlin Wang Sun Yat-sen University, Jiashui Wang Zhejiang University, Ting Chen University of Electronic Science and Technology of China, Zibin Zheng Sun Yat-sen University Pre-print | ||
11:00 - 12:30 | AI for Software Engineering 21Research Track / New Ideas and Emerging Results (NIER) / Journal-first Papers at Asia IV | ||
11:00 15mTalk | On the Evaluation of Large Language Models in Multilingual Vulnerability Repair Journal-first Papers Dong Wang Tianjin University, Junji Yu Tianjin University, Honglin Shu Kyushu University, Michael Fu The University of Melbourne, Kla Tantithamthavorn Monash University, Yasutaka Kamei Kyushu University, Junjie Chen Tianjin University | ||
11:15 15mTalk | Not All Input Helps: What Information Should We Feed to LLMs for Vulnerability Repair? New Ideas and Emerging Results (NIER) | ||
11:30 15mTalk | EMC: A Semantic-Enhanced Malware Classification Method with Robustness and Scalability Research Track Haojun Zhao Huazhong University of Science and Technology, Yueming Wu Huazhong University of Science and Technology, Zhen Li Huazhong University of Science and Technology, Deqing Zou Huazhong University of Science and Technology | ||
11:45 15mTalk | When AI Takes the Wheel: Security Analysis of Framework-Constrained Program Generation Research Track Yue Liu Monash University, Zhenchang Xing CSIRO's Data61, Shidong Pan Columbia University & New York University, Kla Tantithamthavorn Monash University | ||
12:00 15mTalk | Software Vulnerability Management in the Era of Artificial Intelligence: An Industry Perspective Research Track M. Mehdi Kholoosi Adelaide University, Triet Le The University of Adelaide, Muhammad Ali Babar School of Computer Science, The University of Adelaide Pre-print | ||
12:15 15mTalk | Towards Scalable and Interpretable Mobile App Risk Analysis via Large Language Models Research Track Yu Yang Zhejiang University, Zhenyuan Li Zhejiang University, Xiandong Ran Huawei Technologies Co., Ltd., Jiahao Liu National University of Singapore, Jiahui Wang Zhejiang University, Bo Yu National University of Defense Technology, Shouling Ji Zhejiang University | ||
11:00 - 12:30 | |||
11:00 15mTalk | Environment-Aware Code Generation: How far are We? Research Track Tongtong Wu Monash University, Rongyi Chen Southeast University, Wenjie Du Southeast University, Suyu Ma CSIRO's Data61, Guilin Qi Southeast University, Zhenchang Xing CSIRO's Data61, Shahram Khadivi eBay Inc., Ramesh Periyathambi eBay Inc., Gholamreza Haffari Monash University | ||
11:15 15mTalk | LLM-based API Argument Completion with Knowledge-Augmented Prompts Research Track Waseem Akram Beijing Institute of Technology, Yanjie Jiang Tianjin University, Haris Ali Khan Beijing Institute of Technology, Furqan Jalil Beijing Institute of Technology, Hui Liu Beijing Institute of Technology | ||
11:30 15mTalk | Distance-Guided Search in Program Synthesis with Imperfect LLM Solutions Research Track | ||
11:45 15mTalk | Automatic Dockerfile Generation with Large Language Models Research Track Jun Lyu Nanjing University, He Zhang Nanjing University, Yusong Yuan Nanjing University, Lanxin Yang Nanjing University, Yue Li Nanjing University, Manuel Rigger National University of Singapore | ||
12:00 15mTalk | A Causal Perspective on Measuring, Explaining and Mitigating Smells in LLM-Generated Code Research Track Alejandro Velasco William & Mary, Daniel Rodriguez-Cardenas William & Mary, Dipin Khati William & Mary, David N. Palacio Microsoft, Lutfar Rahman Alif University of Dhaka, Denys Poshyvanyk William & Mary DOI Pre-print | ||
12:15 15mTalk | A Comparison of Conversational Models and Humans in Answering Technical Questions: the Firefox Case Research Track João Correia PUC-Rio, Daniel Coutinho Pontifical Catholic University of Rio de Janeiro (PUC-Rio), Marco Castelluccio Mozilla, Caio Barbosa Pontifical Catholic University of Rio de Janeiro (PUC-Rio), Igor Steinmacher RESHAPE LAB, Northern Arizona University, USA, Marco Gerosa Northern Arizona University, Alessandro Garcia Pontifical Catholic University of Rio de Janeiro, Rafael de Mello UFRJ, Brazil, Anita Sarma Oregon State University | ||
11:00 - 12:30 | Testing and Analysis 17Demonstrations / Journal-first Papers / New Ideas and Emerging Results (NIER) at Oceania I | ||
11:00 15mTalk | PySTAAR: An End-to-End, Extensible Framework for Automated Python Type Error Repair Demonstrations Wonseok Oh Korea University, Hyobin Park Kyungpook National University, Miryeong Kang Korea University, Seungbin Choi Kyungpook National University, Yunja Choi Kyungpook National University, Hakjoo Oh Korea University | ||
11:15 15mTalk | FlakeSync: A Tool for Automatically Repairing Async Flaky Tests Demonstrations Nandita Jayanthi The University of Texas at Austin, Shanto Rahman The University of Texas at Austin, August Shi The University of Texas at Austin | ||
11:30 15mTalk | The Sustainability Face of Automated Program Repair Tools Journal-first Papers Matias Martinez Universitat Politècnica de Catalunya (UPC), Silverio Martínez-Fernández UPC-BarcelonaTech, Xavier Franch Universitat Politècnica de Catalunya | ||
11:45 15mTalk | Towards Understanding the Challenges of Bug Localization in Deep Learning Systems Journal-first Papers Sigma Jahan Dalhousie University, Mehil Shah Dalhousie University, Masud Rahman Dalhousie University | ||
12:00 15mTalk | Hypothesize-Then-Verify: Speculative Root Cause Analysis for Microservices with Pathwise Parallelism New Ideas and Emerging Results (NIER) Lingzhe Zhang Peking University, China, Tong Jia Institute for Artificial Intelligence, Peking University, Beijing, China, Yunpeng Zhai Alibaba Group, Leyi Pan Tsinghua University, Chiming Duan Peking University, Minghua He Peking University, Pei Xiao Peking University, Ying Li School of Software and Microelectronics, Peking University, Beijing, China | ||
12:15 15mTalk | Abductive Reasoning for Neurosymbolic Fault Localization New Ideas and Emerging Results (NIER) Minh Tam Le University of Sydney, Australia, Xi Zheng Macquarie University, Hong Jin Kang University of Sydney | ||
11:00 - 12:30 | |||
11:00 15mTalk | Parse this! Summoning Context-Sensitive Inputs with Goblin Research Track Robert Lorch The University of Iowa, Muhammad Daniyal Pirwani Dar Stony Brook University, Cesare Tinelli University of Iowa, Omar Chowdhury Stony Brook University | ||
11:15 15mTalk | Context-Free Property Oriented Fuzzing Research Track Jiaqiang Yao College of Computer, National University of Defense Technology, Meixi Liu National University of Defense Technology, Changsha, China, Zhenbang Chen College of Computer, National University of Defense Technology, Yongchao Xing College of Computer, National University of Defense Technology, Jinjian Luo College of Computer, National University of Defense Technology, Yunlai Luo National University of Defense Technology, Guofeng Zhang College of Computer, National University of Defense Technology, Yufeng Zhang Hunan University, Ji Wang National University of Defense Technology | ||
11:30 15mTalk | Metamorphic Fuzzing for Multi-Agent Path Finding Algorithms Research Track Luxia Lin Institute of Software, Chinese Academy of Sciences, China, xudong zhang , Shihao Zhu State Key Laboratory of Computer Science,Institute of Software,Chinese Academy of Sciences,China, Yan Cai Institute of Software at Chinese Academy of Sciences | ||
11:45 15mTalk | Fuzzing JavaScript Engines by Fusing JavaScript and WebAssembly Research Track Jiayi Lin The University of Hong Kong, Changhua Luo The University of Hong Kong; Wuhan University, Mingxue Zhang Zhejiang University, Lanteng Lin The University of Hong Kong, Penghui Li Columbia University, Chenxiong Qian University of Hong Kong | ||
12:00 15mTalk | TypeJinja: Static Type Checking of Jinja Templates at dbt Labs SE In Practice (SEIP) Cheng Ding The University of Texas at Austin, Zhong Xu dbt Labs, Michael Levin dbt Labs, Wolfram Schulte dbt Labs, Milos Gligoric The University of Texas at Austin | ||
12:15 15mTalk | Principles and Practices of Large-Scale Code Analysis at Ant Group: A Data- and Logic-Oriented Approach SE In Practice (SEIP) Xiaoheng Xie Ant Group, Gang Fan Huawei Hong Kong Research Centre, Xiaojun Lin Ant Group, Ang Zhou Ant Group, Shijie Li Ant Group, Xunjin Zheng Ant Group, Yinan Liang Ant Group, Yu Zhang Ant Group, Na Yu Ant Group, Haokun Li Ant Group, Xinyu Chen Ant Group, Yingzhuang Chen Ant Group, Yi Zhen Ant Group, Dejun Dong Ant Group, Xianjin Fu Ant Group, Jinzhou Su Ant Group, Fuxiong Pan Ant Group, Pengshuai Luo Ant Group, Youzheng Feng Ant Group, Ruoxiang Hu Ant Group, Hanyang Guo School of Software Engineering, Sun Yat-sen University, Jing Fan Ant Group, Xiao Xiao Sourcebrella Inc., Peng Di Ant Group & UNSW Sydney | ||
11:00 - 12:30 | |||
11:00 15mTalk | Bridging the Final Gap: Fuzzing Template Generation from Protocol Reverse Engineering Demonstrations Wenlong Zhang Central South University, Yongjun Xie Central South University, Yuanliang Chen Tsinghua University, Fuchen Ma Tsinghua University, Dalong Shi AVIC International Digital Network Technology Co., Ltd., Dongyi Yu AVIC International Digital Network Technology Co., Ltd., Heyuan Shi Central South University | ||
11:15 15mTalk | The Havoc Paradox in Generator-Based Fuzzing Journal-first Papers Ao Li Carnegie Mellon University, Madonna Huang University of British Columbia, Vasudev Vikram Carnegie Mellon University, Caroline Lemieux University of British Columbia, Rohan Padhye Carnegie Mellon University | ||
11:30 15mTalk | Visualization Task Taxonomy to Understand the Fuzzing Internals Journal-first Papers Sriteja Kummita Paderborn University, Miao Miao The University of Texas at Dallas, Eric Bodden Heinz Nixdorf Institute at Paderborn University & Fraunhofer IEM, Shiyi Wei University of Texas at Dallas | ||
11:45 15mTalk | FrameShift: Resizing Fuzzer Inputs Without Breaking Them Research Track Harrison Green Carnegie Mellon University, Claire Le Goues Carnegie Mellon University, Fraser Brown CMU | ||
12:00 15mTalk | On Interaction Effects in Greybox Fuzzing Research Track Konstantinos Kitsios University of Zurich, Marcel Böhme MPI for Security and Privacy, Alberto Bacchelli IfI, University of Zurich Pre-print | ||
12:15 15mTalk | Configuration-Sensitive Linux Kernel Fuzzing Research Track Yuheng Shen , Jianzhong Liu Tsinghua University, Yuhan Chen Central South Sniversity, Yifei Chu Tsinghua University, Qiang Zhang Hunan University, Guoyu Yin Central South University, Heyuan Shi Central South University, Yu Jiang Tsinghua University | ||
11:00 - 12:30 | |||
11:00 15mTalk | A Roadmap for Integrating Sustainability into Software Engineering Education Journal-first Papers Ana Moreira NOVA University of Lisbon and NOVA LINCS, Patricia Lago Vrije Universiteit Amsterdam, Rogardt Heldal Western Norway University of Applied Science, Stefanie Betz Furtwangen University & LUT University, Ian Brooks UWE Bristol, Rafael Capilla Universidad Rey Juan Carlos, Vlad Constantin Coroamă Roegen Centre For Sustainability, Letícia Duboc La Salle-Universitat Ramon Llull, João Paulo Fernandes New York University, Abu Dhabi, Ola Leifler Linköping University, Ngoc-Thanh Nguyen Western Norway University of Applied Sciences, Shola Oyedeji LUT University , Birgit Penzenstadler Chalmers Tekniska Högskola and Gothenburg University and Lappenranta University of Technology, Anne Peters KTH Royal Institute of Technology, Sweden, Jari Porras LUT University , Colin C. Venters European Organization for Nuclear Research (CERN) | ||
11:15 15mTalk | Use-Modify-Create turned "Upside Down" by AI: Towards Higher-Level Competences via the Scientific Method Software Engineering Education and Training (SEET) | ||
11:30 15mTalk | Hey, ChatGPT, Look at My Work: Using Conversational AI in Requirements Engineering Education Research Track Sahar Badihi University of British Columbia, Canada, Michael Tegegn University of British Columbia, Evelien Riddell University of Waterloo, Krzysztof Czarnecki University of Waterloo, Canada, Julia Rubin The University of British Columbia Pre-print | ||
11:45 15mTalk | Ecosystem-Centric Capstone: Lessons from Simulating a Tech Company in Software Engineering Education Software Engineering Education and Training (SEET) Basem Suleiman University of New South Wales, Sydney, Jinglin Sun University of New South Wales, Fethi Rabhi UNSW, Siu Lung Ng UNSW Sydney | ||
12:00 15mTalk | EXEMPLIFY-SEE: A Structured Approach and Portal for Example-Based Learning in Software Engineering Education Software Engineering Education and Training (SEET) Tiago P. Bonetti Universidade Estadual de Maringá (UEM), Matheus M. Dias Universidade Estadual de Maringá (UEM), Williamson Silva UFAM, Thelma E. Colanzi Universidade Estadual de Maringá (UEM) | ||
12:15 15mTalk | Teamwork in Software Engineering Education: Exploring Team Dynamics and Challenges Across Course Projects Software Engineering Education and Training (SEET) Yu Lu University of California, Irvine, Niklas Meissner Institute of Software Engineering, University of Stuttgart, Matthew J. Bietz University of California, Irvine, Sergio Gago-Masague University of California, Irvine, André van der Hoek University of California, Irvine | ||
11:00 - 12:30 | |||
11:00 15mTalk | Prophecy: Inferring Formal Properties from Neuron Activations Demonstrations Divya Gopinath KBR; NASA Ames, Corina S. Păsăreanu Carnegie Mellon University, Muhammad Usman University of Texas at Austin, USA | ||
11:15 15mTalk | Do Unit Proofs Work? An Empirical Study of Compositional Bounded Model Checking for Memory Safety Verification Research Track Paschal Amusuo Purdue University, Owen Cochell Michigan State University, Taylor Le Lievre Purdue University, Parth Vinod Patil Purdue University, Aravind Machiry Purdue University, James C. Davis Purdue University | ||
11:30 15mTalk | Accurate Inference of Termination Conditions Research Track | ||
11:45 15mTalk | Verification of Multi-Model Stochastic Systems Research Track Radu Calinescu University of York, UK, Simos Gerasimou University of York, Sinem Getir Yaman University of York, UK, Gricel Vázquez University of York, UK, Micah Bassett University of York, UK Pre-print | ||
12:00 15mTalk | Accelerating IC3 Verification by Exploiting Unsatisfiable Cores and Satisfying Models Research Track Xinyi Gong National University of Defense Technology, Liangze Yin National University of Defense Technology, Yuhan Li National University of Defense Technology, Ke Kang National University of Defense Technology, Wei Dong National University of Defense Technology, Shanshan Li National University of Defense Technology, Ji Wang National University of Defense Technology | ||
12:15 15mTalk | Agentic Taxation Optimization via LLM SMT-Constraint Reasoning SE In Practice (SEIP) Ting Chien Hwang National Chengchi University, Fang Yu National Chengchi University, Jie-Hong Roland Jiang National Taiwan University | ||
11:00 - 12:30 | |||
11:00 15mTalk | DamFlow: Preventing a Flood of Irrelevant Data Flows in Android Apps Journal-first Papers Marco Alecci University of Luxembourg, Jordan Samhi University of Luxembourg, Luxembourg, Marc Miltenberger Fraunhofer SIT; ATHENE, Steven Arzt Fraunhofer SIT; ATHENE, Tegawendé F. Bissyandé University of Luxembourg, Jacques Klein University of Luxembourg | ||
11:15 15mTalk | LVing: A Vulnerability Detection and Visualization Platform for Rust Demonstrations Ernesto Diaz Texas A&M University-San Antonio, Mark Solis Texas A&M University-San Antonio, Young Lee Texas A & M University - San Antonio, Jeong Yang Texas A&M University-San Antonio, Deep Gandhi Independent Researcher | ||
11:30 15mTalk | StagedVulBERT: Multi-Granular Vulnerability Detection with a Novel Pre-trained Code Model Journal-first Papers Yuan Jiang Harbin Institute of Technology, Yujian Zhang Harbin Institute of Technology, Xiaohong Su Harbin Institute of Technology, Christoph Treude Singapore Management University, Tiantian Wang Harbin Institute of Technology | ||
11:45 15mTalk | Just-in-Time Detection of Silent Security Patches Journal-first Papers Xunzhu Tang University of Luxembourg, Kisub Kim DGIST, Saad Ezzini Lancaster University, Yewei Song University of Luxembourg, Haoye Tian Aalto University, Jacques Klein University of Luxembourg, Tegawendé F. Bissyandé University of Luxembourg | ||
12:00 15mTalk | Rusted Types: Static Detection of Rust Type Confusion Bugs Research Track Zeyang Zhuang The Chinese University of Hong Kong, Wei Meng Chinese University of Hong Kong, Michael Lyu The Chinese University of Hong Kong | ||
12:15 15mTalk | LLM-based Vulnerability Discovery through the Lens of Code Metrics Research Track Felix Weissberg BIFOLD & TU Berlin, Lukas Pirch BIFOLD & TU Berlin, Erik Imgrund BIFOLD & TU Berlin, Jonas Möller BIFOLD & TU Berlin, Thorsten Eisenhofer BIFOLD & TU Berlin, Konrad Rieck BIFOLD & TU Berlin | ||
14:00 - 15:30 | |||
14:00 15mTalk | CI-Bench: A Framework for Evaluating Large Language Model Tools on CI Failures Demonstrations Raian Latif Nabil University of California, Davis, Hao-Nan Zhu University of California, Davis, Cindy Rubio-González University of California at Davis | ||
14:15 15mTalk | Assessing the Latent Automated Program Repair Capabilities of Large Language Models using Round-Trip Translation Journal-first Papers Fernando Vallecillos Ruiz Simula Research Laboratory, Anastasiia Grishina Simula Research Laboratory, Max Hort Simula Research Laboratory, Leon Moonen Simula Research Laboratory | ||
14:30 15mTalk | XRFix: Exploring Performance Bug Repair of Extended Reality Applications with Large Language Models Research Track Jingwen Wu Department of Computer Science, Hong Kong Baptist University, Hanyang Guo School of Software Engineering, Sun Yat-sen University, Hong-Ning Dai Department of Computer Science, Hong Kong Baptist University, Xiapu Luo Hong Kong Polytechnic University DOI Pre-print | ||
14:45 15mTalk | Synthetic Repo-level Bug Dataset for Training Automated Program Repair Models Research Track Minh V. T. Pham FPT Software AI Center, Huy N. Phan FPT Software AI Center, Hoang Nhat Phan Nanyang Technological University, Cuong Chi Le The University of Texas at Dallas, Tien N. Nguyen University of Texas at Dallas, Nghi D. Q. Bui Google Research | ||
15:00 15mTalk | PredicateFix: Repairing Static Analysis Alerts with Bridging Predicates Research Track Yuan-An Xiao Peking University, Weixuan Wang Peking University, Dong Liu Center Research Institute, ZTE Coporation, China, Junwei Zhou Center Research Institute, ZTE Coporation, China, Shengyu Cheng ZTE Corporation, Yingfei Xiong Peking University Pre-print | ||
15:15 15mTalk | Input Reduction Enhanced LLM-based Program Repair Research Track Boyang Yang Yanshan University, Luyao Ren Peking University, Xin Yin Zhejiang University, Jiadong Ren Yanshan University, Haoye Tian Aalto University, Shunfu Jin Yanshan University DOI Pre-print | ||
14:00 - 15:30 | AI for Software Engineering 25Journal-first Papers / Research Track / New Ideas and Emerging Results (NIER) / Demonstrations at Europa II | ||
14:00 15mTalk | ArtifactSync: Automated Repository Synchronization through Hierarchical Change Impact Analysis Demonstrations Ebube Alor Concordia University, João Pedro de Souza Olivo Tardivo Universidade Estadual do Paraná, SayedHassan Khatoonabadi Concordia University, Emad Shihab Concordia University | ||
14:15 15mTalk | Introducing Phylogenetics in Search-based Software Engineering: Phylogenetics-aware SBSE Journal-first Papers Daniel Blasco SVIT Research Group. Universidad San Jorge, Antonio Iglesias Universidad San Jorge, Jorge Echeverria Universidad San Jorge, Francisca Perez Universitat Politècnica de València, Carlos Cetina | ||
14:30 15mTalk | Automating Terraform Code Migration through Provider Evolution Knowledge New Ideas and Emerging Results (NIER) Pranjal Gupta IBM Research, Pooja Aggarwal IBM Research, Brent Paulovicks IBM Research, Prateeti Mohapatra IBM Research, Rong Lee IBM Research, Vadim Sheinin IBM Research | ||
14:45 15mTalk | Replacing Training with Reasoning: Reinterpreting Classic ML Pipelines with LLMs New Ideas and Emerging Results (NIER) Marco Alecci University of Luxembourg, Jordan Samhi University of Luxembourg, Luxembourg, Tegawendé F. Bissyandé University of Luxembourg, Jacques Klein University of Luxembourg | ||
15:00 15mTalk | NB2P: Generating Data Science Pipelines from Computational Notebooks Research Track Haotian Gao National University of Singapore, Singapore and NUSRI Chongqing, China, Quang Trung Ta National University of Singapore, Tien Tuan Anh Dinh Deakin University, Australia, Nhut Minh Ho National University of Singapore, Zhiyong Huang National University of Singapore, Beng Chin Ooi National University of Singapore, Singapore | ||
15:15 15mTalk | Multi-Location Software Model Completion Research Track | ||
14:00 - 15:30 | |||
14:00 15mTalk | Back to the Roots: Assessing Mining Techniques for Java Vulnerability-Contributing Commits Journal-first Papers Torge Hinrichs Hamburg University of Technology, Emanuele Iannone Hamburg University of Technology, Tamás Aladics University of Szeged, Peter Hegedus University of Szeged, Andrea De Lucia University of Salerno, Fabio Palomba University of Salerno, Riccardo Scandariato Hamburg University of Technology | ||
14:15 15mTalk | Predicting the Understandability of Computational Notebooks through Code Metrics Analysis Journal-first Papers Mojtaba Mostafavi Sharif University of Technology, Alireza Asadi Department of Computer Engineering of Sharif University of Technology, Arash Asgari York University, Bardia Mohammadi Sharif University of Technology, Abbas Heydarnoori Bowling Green State University | ||
14:30 15mTalk | How Configurable is the Linux Kernel? Analyzing Two Decades of Feature-Model History Journal-first Papers Elias Kuiter University of Magdeburg, Chico Sundermann TU Braunschweig, Thomas Thüm TU Braunschweig, Tobias Heß University of Ulm, Sebastian Krieter TU Braunschweig, Germany, Gunter Saake University of Magdeburg, Germany | ||
14:45 15mTalk | Breaking Strong Encapsulation: A Comprehensive Study of Java Module Abuse Research Track Yirui He University of California, Irvine, Yongbo Chen University of California, Irvine, Jessy Ayala University of California, Irvine, Yecheng Zhou University of California, Irvine, Qiran Wang University of California, Irvine, Joshua Garcia University of California, Irvine | ||
15:00 15mTalk | Causal or Correlational? A Cohort Study on the Effects of Code Smells on Class Change- and Fault-Proneness Research Track Sabato Nocera University of Salerno, Sira Vegas Universidad Politecnica de Madrid, Giuseppe Scanniello University of Salerno, Massimiliano Di Penta University of Sannio, Italy, Natalia Juristo Universidad Politecnica de Madrid | ||
15:15 15mTalk | Six Million (Suspected) Fake Stars on GitHub: A Growing Spiral of Popularity Contests, Spams, and Malware Research Track Hao He Carnegie Mellon University, Haoqin Yang Carnegie Mellon University, Philipp Burckhardt Socket, Inc, Alexandros Kapravelos NCSU, Bogdan Vasilescu Carnegie Mellon University, Christian Kästner Carnegie Mellon University | ||
14:00 - 15:30 | |||
14:00 15mTalk | E-Test: E'er-Improving Test Suites Research Track Ketai Qiu USI Università della Svizzera Italiana, Luca Di Grazia University of St. Gallen, Leonardo Mariani University of Milano-Bicocca, Mauro Pezze Università della Svizzera italiana (USI) and Università degli Studi di Milano Bicocca Pre-print | ||
14:15 15mTalk | AssertFlip: Reproducing Bugs via Inversion of LLM-Generated Passing Tests Research Track Lara Khatib University of Waterloo, Noble Saji Mathews University of Waterloo, Canada, Mei Nagappan University of Waterloo | ||
14:30 15mTalk | Boosting Gas Revenues of Ethereum Miners Research Track Togzhan Barakbayeva HKUST, Soroush Farokhnia Hong Kong University of Science and Technology, Amir Kafshdar Goharshady University of Oxford, Sergei Novozhilov The Hong Kong University of Science and Technology | ||
14:45 15mTalk | LLM4Perf: Large Language Models Are Effective Samplers for Multi-Objective Performance Modeling Research Track Xin Wang The Hong Kong University of Science and Technology (Guangzhou), Zhenhao Li York University, Zishuo Ding The Hong Kong University of Science and Technology (Guangzhou) Pre-print | ||
15:00 15mTalk | On the Robustness of Fairness Practices: A Causal Framework for Systematic Evaluation Research Track Verya Monjezi University of Illinois Chicago, Ashish Kumar Pennsylvania State University, Ashutosh Trivedi University of Colorado Boulder, Gang (Gary) Tan Pennsylvania State University, Saeid Tizpaz-Niari University of Illinois Chicago | ||
15:15 15mTalk | Characterizing Regression Bug‑Inducing Changes and Improving LLM‑Based Regression Bug Detection Research Track Xuezhi Song Fudan University, Yijian Wu Fudan University, Bihuan Chen Fudan University, Zhengjie Lu Fudan University, Shuning Liu Fudan University, Xin Peng Fudan University | ||
14:00 - 15:30 | Testing and Analysis 18New Ideas and Emerging Results (NIER) / Demonstrations / Journal-first Papers at Oceania IX | ||
14:00 15mTalk | Drivora: A Unified and Extensible Infrastructure for Search-based Autonomous Driving Testing Demonstrations Mingfei Cheng Singapore Management University, Lionel Briand University of Ottawa, Canada; Lero centre, University of Limerick, Ireland, Yuan Zhou Zhejiang Sci-Tech University | ||
14:15 15mTalk | CITYWALK: Enhancing LLM-Based C++ Unit Test Generation via Project-Dependency Awareness and Language-Specific Knowledge Journal-first Papers Yuwei Zhang Institute of Software Chinese Academy of Sciences, Qingyuan Lu Institute of Software Chinese Academy of Sciences, Kai Liu Shanghai Stock Exchange Technology Co., Ltd., Wensheng Dou Institute of Software Chinese Academy of Sciences, Jiaxin Zhu Institute of Software at Chinese Academy of Sciences, Li Qian Shanghai Stock Exchange Technology Co., Ltd., Chunxi Zhang Shanghai Stock Exchange Technology Co., Ltd., Zheng Lin Shanghai Stock Exchange Technology Co., Ltd., Jun Wei Institute of Software at Chinese Academy of Sciences; University of Chinese Academy of Sciences | ||
14:30 15mTalk | How Toxic Can You Get? Search-Based Toxicity Testing for Large Language Models Journal-first Papers Simone Corbo Politecnico di Milano, Luca Bancale Politecnico di Milano, Valeria De Gennaro Politecnico di Milano, Livia Lestingi DEIB, Politecnico di Milano, Vincenzo Scotti Karlsruhe Institute of Technology, Matteo Camilli Politecnico di Milano | ||
14:45 15mTalk | Using Cooperative Co-evolutionary Search to Generate Metamorphic Test Cases for Autonomous Driving Systems Journal-first Papers Hossein Yousefizadeh University of Ottawa, Shenghui Gu University of Ottawa, Lionel Briand University of Ottawa, Canada; Lero centre, University of Limerick, Ireland, Ali Nasr Waterloo Research Center of Huawei | ||
15:00 15mTalk | Atomicity Violation Detection for Interrupt-Driven Programs via Incrementally Exploring Concurrent Paths New Ideas and Emerging Results (NIER) | ||
15:15 15mTalk | EVATest: Domain-Oriented Android GUI Testing based on Reward-Guided Retrieval-Augmented Generation New Ideas and Emerging Results (NIER) Bhavana Kondeti The University of Texas at San Antonio, Guanqun Yang Stevens Institute of Technology, USA, Yui Takashima The University of Texas at San Antonio, XUEQING Liu Stevens Institute of Technology, Xiaoyin Wang University of Texas at San Antonio | ||
14:00 - 15:30 | |||
14:00 15mTalk | Beyond Answer Engines: LLMs as Reasoning Partners in Data Structures and Algorithms Education Software Engineering Education and Training (SEET) Saad Zafar Khan University of Calgary, Desiree Leal University of Calgary, Lucas Valença University of Calgary, Ahmad Abdellatif University of Calgary, Mea Wang University of Calgary, Diwakar Krishnamurthy University of Calgary, Ronnie de Souza Santos University of Calgary | ||
14:15 15mTalk | The Boundary-Spanning Assistant: Understanding the Role and Usage patterns of LLMs in Project-Based Software Engineering Software Engineering Education and Training (SEET) Anh Nguyen-Duc University of South Eastern Norway, Kai-Kristian Kemell Tampere University, Aparna Chirumamilla NTNU | ||
14:30 15mTalk | An Experience Report on a Pedagogically Controlled, Curriculum-Constrained AI Tutor for SE Education Software Engineering Education and Training (SEET) Lucia Happe Karlsruhe Institute of Technology, Dominik Fuchß Karlsruhe Institute of Technology (KIT), Luca Hüttner Karlsruhe Institute of Technology (KIT), Kai Marquardt Karlsruhe Institute of Technology (KIT), Anne Koziolek Karlsruhe Institute of Technology DOI Pre-print | ||
14:45 15mTalk | Enhancing Debugging Skills With AI-Powered Assistance: A Real-Time Tool for Debugging Support Software Engineering Education and Training (SEET) Elizaveta Artser JetBrains Research, Daniil Karol Researcher at Education Research at JetBrains Research, Anna Potriasaeva JetBrains Research, Aleksei Rostovskii JetBrains Research, Katsiaryna Dzialets JetBrains, Ekaterina Koshchenko JetBrains Research, Xiaotian Su ETH Zurich, April Wang ETH Zürich, Anastasiia Birillo JetBrains Research | ||
15:00 15mTalk | Reasoning About Bugs in Learners’ Scratch Programs Using Large Language Models Software Engineering Education and Training (SEET) Benedikt Fein University of Passau, Patric Feldmeier University of Passau, Florian Obermueller University of Passau, Gordon Fraser University of Passau | ||
15:15 15mTalk | Learning to Program Alongside AI: Critical Thinking, AI Ethics, and Gendered Patterns of German Secondary School Students Software Engineering Education and Training (SEET) Isabella Graßl Technical University of Darmstadt | ||
14:00 - 15:30 | Dependability and Security 10Journal-first Papers / New Ideas and Emerging Results (NIER) / Research Track at Oceania X | ||
14:00 15mTalk | When Uncertainty Leads to Unsafety: Empirical Insights into the Role of Uncertainty in Unmanned Aerial Vehicle Safety Journal-first Papers Sajad Khatiri Università della Svizzera italiana and University of Bern, Fatemeh Mohammadi Amin Zurich University of Applied Sciences (ZHAW), Sebastiano Panichella University of Bern, Paolo Tonella USI Lugano | ||
14:15 15mTalk | Structural Causal World Models: Towards An Assurance Framework for Safety-Critical Systems and Safeguarded AI New Ideas and Emerging Results (NIER) Jie Zou Centre for Assuring Autonomy, University of York, UK, Simon Burton Centre for Assuring Autonomy, University of York, UK, Radu Calinescu University of York, UK, Ioannis Stefanakos University of York, Roger Rivett University of York | ||
14:30 15mTalk | Towards Verifiably Safe Tool Use for LLM Agents New Ideas and Emerging Results (NIER) Aarya Doshi Georgia Institute of Technology, Yining Hong Carnegie Mellon University, Congying Xu The Hong Kong University of Science and Technology, China, Eunsuk Kang Carnegie Mellon University, Alexandros Kapravelos NCSU, Christian Kästner Carnegie Mellon University | ||
14:45 15mTalk | A Taxonomy of System-Level Attacks on Deep Learning Models in Autonomous Vehicles Journal-first Papers Masoud Jamshidiyan Tehrani Università della Svizzera italiana, Jinhan Kim Università della Svizzera italiana, ROSMAEL ZIDANE LEKEUFACK FOULEFACK University of Trento, Alessandro Marchetto Università di Trento, Paolo Tonella USI Lugano | ||
15:00 15mTalk | Model Discovery and Graph Simulation: A Lightweight Gateway to Chaos Engineering New Ideas and Emerging Results (NIER) Anatoly Krasnovsky Department of Computer Science and Engineering, Innopolis University; MB3R Lab, 420500, Innopolis, Russia | ||
15:15 15mTalk | Learning From Software Failures: A Case Study at a National Space Research Center Research Track Dharun Anandayuvaraj Purdue University, Tanmay Singla Purdue University, Zain Alabedin Haj Hammadeh German Aerospace Center (DLR), Andreas Lund German Aerospace Center (DLR), Alexandra Holloway Jet Propulsion Laboratory (JPL), James C. Davis Purdue University | ||
16:00 - 17:30 | AI for Software Engineering 26Research Track / Demonstrations / New Ideas and Emerging Results (NIER) at Asia I | ||
16:00 15mTalk | AdapTrack: Constrained Decoding without Distorting LLM's Output Intent Research Track Yongmin Li Peking University, Jia Li Tsinghua University, Ge Li Peking University, Zhi Jin Peking University, Wuhan University | ||
16:15 15mTalk | Evaluating Generated Commit Messages with Large Language Models Research Track Qunhong Zeng Beijing Institute of Technology, Yuxia Zhang Beijing Institute of Technology, Zexiong Ma Peking University, Bo Jiang Bytedance Network Technology, Ningyuan Sun ByteDance, Klaas-Jan Stol Lero; University College Cork; SINTEF Digital , Xingyu Mou Beijing Institute of Technology, Hui Liu Beijing Institute of Technology Pre-print | ||
16:30 15mTalk | Automating Just-In-Time Python Type Annotation Updating Research Track Zhipeng Xue Zhejiang University, Zhipeng Gao Shanghai Institute for Advanced Study - Zhejiang University, Xing Hu Zhejiang University, Jingyuan Chen Zhejiang University, Xin Xia Zhejiang University, Shanping Li Zhejiang University | ||
16:45 15mTalk | Unveiling the Potential of Diffusion Large Language Models in Software Engineering Tasks: An Empirical Study New Ideas and Emerging Results (NIER) Jingyao Zhang Xi'an Jiaotong-Liverpool University, Li Tianlin NTU, Xiaoyu Zhang Nanyang Technological University, Singapore, Qiang Hu Tianjin University, Bin Shi Xi'an Jiaotong University | ||
17:00 15mTalk | Enhancing LLM Code Generation with Ensembles: A Similarity-Based Selection Approach Research Track Tarek Mahmud Texas State University, Bin Duan University of Queensland, Corina S. Păsăreanu Carnegie Mellon University; NASA Ames, Guowei Yang University of Queensland | ||
17:15 15mTalk | Code4MeV2: a Research-oriented Code-completion Platform Demonstrations Roham Koohestani Delft University of Technology, Parham Bateni Delft University of Technology, Aydin Ebrahimi Delft University of Technology, Behdad Etezadi Delft University of Technology, Kiarash Karimi Delft University of Technology, Maliheh Izadi Delft University of Technology | ||
16:00 - 17:30 | |||
16:00 15mTalk | Setup AGent (SAG): A Dual-Model LLM Agent for Autonomous End-to-End Java Project Configuration New Ideas and Emerging Results (NIER) Chenhao Wei Stevens Institute of technology, Gengwu Zhao Stevens Institute of Technology, Xinyi Li Stevens Institute of Technology, Billy Ye Stevens Institute of Technology, Lu Xiao Stevens Institute of Technology | ||
16:15 15mTalk | MAJIT: Just-in-Time Detection of Compatibility Issues in Android and iOS Apps through Large Language Model-based Multi-Agent Collaboration New Ideas and Emerging Results (NIER) Jiaqi Wang Xidian University, Di Cui Xidian University, Shenghan Liu Douyin, Qiankang Mao Douyin, xiangxingqian Douyin, Qiaoyin Gan Douyin, Rui Li | ||
16:30 15mTalk | Code Wars: Adversarial Self-Play for Evolving Software Validation Tools New Ideas and Emerging Results (NIER) | ||
16:45 15mTalk | SEAlign: Alignment Training for Software Engineering Agent Research Track Kechi Zhang Peking University, China, Huangzhao Zhang Huawei, Ge Li Peking University, Jinliang You Peking University, Jia Li , Yunfei Zhao Peking University, Zhi Jin Peking University, Wuhan University | ||
17:00 15mTalk | Atomizer: An LLM-based Collaborative Multi-Agent Framework for Intent-Driven Commit Untangling Research Track Kangchen Zhu National university of Defense Technology, Zhiliang Tian National University of Defense Technology, Shangwen Wang National University of Defense Technology, mingyue leng National University of Defense Technology, Xiaoguang Mao National University of Defense Technology | ||
17:15 15mTalk | Enhancing Issue Localization Agent with Tool-Interactive Training Research Track Zexiong Ma Peking University, Chao Peng ByteDance, Qunhong Zeng Beijing Institute of Technology, Pengfei Gao ByteDance, Yanzhen Zou Peking University, Bing Xie Peking University Pre-print | ||
16:00 - 17:30 | AI for Software Engineering 28Journal-first Papers / New Ideas and Emerging Results (NIER) / Research Track at Europa II | ||
16:00 15mTalk | ConfLogger: Enhance Systems' Configuration Diagnosability through Configuration Logging Research Track Shiwen Shan Sun Yat-sen University, Yintong Huo Singapore Management University, Singapore, Yuxin Su Sun Yat-sen University, Zhining Wang Sun Yat-sen University, Dan Li Sun Yat-sen University, Zibin Zheng Sun Yat-sen University | ||
16:15 15mTalk | Towards Better Linux Kernel Fault Localization: Leveraging Contrastive Reasoning and Hierarchical Context Analysis Research Track Haichi Wang College of Intelligence and Computing, Tianjin University, Ruiguo Yu College of Intelligence and Computing, Tianjin University, Yesong Pang College of Intelligence and Computing, Tianjin University, Yingquan Zhao Tianjin University, Junjie Chen Tianjin University, Jiajun Jiang Tianjin University, Zan Wang Tianjin University | ||
16:30 15mTalk | LLM meets ML: Data-efficient Anomaly Detection on Unstable Logs Journal-first Papers Fatemeh (Bahar) Hadadi University of Ottawa, Xu Qinghua Research Ireland Lero Centre for Software, University of Limerick Limerick, Domenico Bianculli University of Luxembourg, Lionel Briand University of Ottawa, Canada; Lero centre, University of Limerick, Ireland | ||
16:45 15mTalk | Generality Is Not Enough: Zero-Label Cross-System Log-Based Anomaly Detection via Knowledge-Level Collaboration New Ideas and Emerging Results (NIER) Xinlong Zhao School of Software and Microelectronics, Peking University, Tong Jia Institute for Artificial Intelligence, Peking University, Beijing, China, Minghua He Peking University, Ying Li School of Software and Microelectronics, Peking University, Beijing, China | ||
17:00 15mTalk | Knowledge-Augmented Log Anomaly Detection with Large Language Models Research Track Yongliang Tao , Hongyu Zhang Chongqing University, Van-Hoang Le The University of Newcastle, Yi Xiao Chongqing University | ||
17:15 15mTalk | FoundRoot: Towards Foundation Model for Root Cause Analysis via Structured Deep Thinking Research Track Zhe Xie Tsinghua University, Zeyan Li ByteDance, Xiao He Bytedance, Shenglin Zhang Nankai University, Longlong Xu Tsinghua University, Yuzhuo Yang Tsinghua University, Tieying Zhang ByteDance, Jianjun Chen Bytedance, Rui Shi Bytedance, Dan Pei Tsinghua University | ||
16:00 - 17:30 | |||
16:00 15mTalk | Precise Static Identification of Ethereum Storage Variables Research Track Sifis Lagouvardos University of Athens, Yannis Bollanos Dedaub, Michael Debono Friendly Maltese Citizens, Neville Grech Dedaub Limited, Yannis Smaragdakis University of Athens Pre-print | ||
16:15 15mTalk | D-BUNDLR: Destructing JavaScript Bundles for Effective Static Analysis Research Track Wenyuan Xu Aarhus University, Alexi Turcotte CISPA, Cristian-Alexandru Staicu CISPA Helmholtz Center for Information Security | ||
16:30 15mTalk | PTV: Scalable Version Detection of Web Libraries and its Security Application Research Track Xinyue Liu Chongqing University, Haipeng Cai University at Buffalo, SUNY, Lukasz Ziarek University at Buffalo | ||
16:45 15mTalk | Context-Free Grammar Inference for Complex Programming Languages in Black Box Settings Research Track Feifei Li Tsinghua Shenzhen International Graduate School, Xiao Chen University of Newcastle, xiaoyu sun The Australian National University, Xi Xiao Tsinghua University, Shaohua Wang Central University of Finance and Economics, Yong Ding School of Computer Science & lnformation Security, Guilin University of Electronic Technology, Guilin, Gusngxi, China, Sheng Wen Swinburne University of Technology, Qingli Peng Cheng Laboratory | ||
17:00 15mTalk | LoopSCC: Summarizing Complex Multi-branch Nested Loops via Periodic Oscillation Interval Research Track Kai Zhu Institute of Information Engineering, Chinese Academy of Sciences; University of Chinese Academy of Sciences, Haofeng Li SKLP, Institute of Computing Technology, CAS, Kuihao Yan Institute of Information Engineering, Chinese Academy of Sciences, Rongqing Wang Institute of Information Engineering, Chinese Academy of Sciences, Jiaming Guo Institute of Information Engineering, Chinese Academy of Sciences, Haoran Yang Institute of Information Engineering, Chinese Academy of Sciences, Jie Lu Institute of Computing Technology, Chinese Academy of Sciences, Lei Yu Institute of Software, Chinese Academy of Sciences, University of Chinese Academy of Sciences, China, Xiaoqi Jia Institute of Information Engineering, Chinese Academy of Sciences, Chenkai Guo Nankai University, China, Haichao Du Institute of Information Engineering, Chinese Academy of Sciences, Qingjia Huang Institute of Information Engineering, Chinese Academy of Sciences, Yamin Xie Institute of Information Engineering，Chinese Academy of Science；University of Chinese Academy of Sciences, Jing Tang Institute of Information Engineering, Chinese Academy of Sciences | ||
17:15 15mTalk | Efficient Strong Updates For Path Sensitive Data Dependence Analysis Research Track Yiyuan Guo The Hong Kong University of Science and Technology, Ant Group, Charles Zhang Hong Kong University of Science and Technology DOI Pre-print | ||
16:00 - 17:30 | |||
16:00 15mTalk | JUnitGenie: A Framework for Path-Sensitive Unit Test Generation with Large Language Models Demonstrations Dianshu Liao the Australian National University, Xin Yin Zhejiang University, Shidong Pan Columbia University & New York University, Chao Ni Zhejiang University, Zhenchang Xing CSIRO’s Data61; Australian National University, xiaoyu sun The Australian National University | ||
16:15 15mTalk | BugHunter: An Automated Tool for Bug-Aware GUI Testing via Retrieval Augmentation Demonstrations Zhe Liu Institute of Software, Chinese Academy of Sciences, Mengzhuo Chen Institute of Software, Chinese Academy of Sciences, Chunyang Chen TU Munich, Junjie Wang Institute of Software at Chinese Academy of Sciences, Xu Xiang Beike Technology Co., Ltd., Yujiao Yuan Beike Technology Co., Ltd., Qing Wang Institute of Software at Chinese Academy of Sciences | ||
16:30 15mTalk | Automated Testing of Conversational Agents with Chatbot Dōjō Demonstrations Iván Sotillo del Horno Universidad Autónoma de Madrid, Alejandro del Pozzo Universidad Autónoma de Madrid, Esther Guerra Universidad Autónoma de Madrid, Juan de Lara Autonomous University of Madrid | ||
16:45 15mTalk | GDSynth: A Graph Database Testing Framework via Effective Graph Synthesis Demonstrations Fozail Ahmad McGill University, Kristóf Marussy Budapest University of Technology and Economics, Oszkár Semeráth Budapest University of Technology and Economics, Daniel Varro Linköping University / McGill University, Lili Wei McGill University | ||
17:00 15mTalk | WiseUT: An Intelligent Framework for Unit Test Generation Demonstrations Chen Yang Tianjin University, Ziqi Wang Tianjin University, Lin Yang Tianjin University, Dong Wang Tianjin University, Shutao Gao Tianjin University, Yanjie Jiang Tianjin University, Junjie Chen Tianjin University | ||
17:15 15mTalk | RESTifAI: LLM-Based Workflow for Reusable REST API Testing Demonstrations Leon Kogler CASABLANCA hotelsoftware, Maximilian Ehrhart CASABLANCA hotelsoftware, Benedikt Dornauer University of Innsbruck; University of Cologne, Eduard Paul Enoiu Mälardalen University | ||
16:00 - 17:30 | AI for Software Engineering 29Journal-first Papers / Research Track / New Ideas and Emerging Results (NIER) at Oceania IX | ||
16:00 15mTalk | Learning Program Behavioral Models from Synthesized Input-Output Pairs Journal-first Papers Tural Mammadov CISPA Helmholtz Center for Information Security, Dietrich Klakow Saarland University, Alexander Koller Saarland University, Andreas Zeller CISPA Helmholtz Center for Information Security | ||
16:15 15mTalk | MeDeT: Medical Device Digital Twins Creation with Few-shot Meta-learning Journal-first Papers Hassan Sartaj Simula Research Laboratory, Shaukat Ali Simula Research Laboratory and Oslo Metropolitan University, Julie Marie Gjøby Welfare Technologies Section, Oslo Kommune Helseetaten | ||
16:30 15mTalk | Large Language Model powered Test Driver Generation for High-performance Computing Library New Ideas and Emerging Results (NIER) Ziran He National University of Defense Technology, Changsha, China, Guofeng Zhang College of Computer, National University of Defense Technology, Meixi Liu National University of Defense Technology, Changsha, China, Zhenbang Chen College of Computer, National University of Defense Technology | ||
16:45 15mTalk | HarnessLLM: Rust Verification Harness Generation with Large Language Models Research Track | ||
17:00 15mTalk | Agentic Predicates Reasoning for Directed Fuzzing Research Track Jie Zhu University of Chicago, Chihao Shen University of Maryland, Ziyang Li Johns Hopkins University, Jiahao Yu Northwestern University, Yizheng Chen University of Maryland, Kexin Pei The University of Chicago | ||
17:15 15mTalk | Change And Cover: Last-Mile, Pull Request-Based Regression Test Augmentation Research Track Zitong Zhou UCLA, Matteo Paltenghi University of Stuttgart, Miryung Kim UCLA and Amazon Web Services, Michael Pradel CISPA Helmholtz Center for Information Security | ||
16:00 - 17:30 | |||
16:00 15mTalk | PosEyeDOM: Lightweight Positional Copilot Suggestion Logger for Eye-Tracking Applications using the DOM Demonstrations | ||
16:15 15mTalk | Developer Perspectives on Licensing and Copyright Issues Arising from Generative AI for Software Development Journal-first Papers Trevor Stalnaker William & Mary, Nathan Wintersgill William & Mary, Oscar Chaparro William & Mary, Laura A. Heymann William & Mary, Massimiliano Di Penta University of Sannio, Italy, Daniel M. German University of Victoria, Denys Poshyvanyk William & Mary | ||
16:30 15mTalk | The Impact of Generative AI on Creativity in Software Development: A Research Agenda Journal-first Papers Victoria Jackson University of Southampton, Bogdan Vasilescu Carnegie Mellon University, Daniel Russo Department of Computer Science, Aalborg University, Paul Ralph Dalhousie University, Maliheh Izadi Delft University of Technology, Rafael Prikladnicki School of Technology at PUCRS University, Sarah D'Angelo Google, Sarah Inman Google, Anielle Severo Lisboa de Andrade Catholic Pontifical University of Rio Grande do Sul, Andre van der Hoek University of California, Irvine | ||
17:15 15mTalk | Investigating the Role of Cultural Values in Adopting Large Language Models for Software Engineering Journal-first Papers Stefano Lambiase Department of Computer Science, Aalborg University, Denmark, Gemma Catolino University of Salerno, Fabio Palomba University of Salerno, Filomena Ferrucci Università di Salerno, Daniel Russo Department of Computer Science, Aalborg University | ||
16:00 - 17:30 | |||
16:00 15mTalk | On the Role and Impact of GenAI Tools in Software Engineering Education Software Engineering Education and Training (SEET) Qiaolin Qin Polytechnique Montréal, Ronnie de Souza Santos University of Calgary, Rodrigo Spinola Virginia Commonwealth University | ||
16:15 15mTalk | Learning Programming in Informal Spaces: Using Emotion as a Lens to Understand Novice Struggles on r/learnprogramming Software Engineering Education and Training (SEET) Alif Al Hasan Case Western Reserve University, Subarna Saha , Mia Mohammad Imran Missouri University of Science and Technology Pre-print | ||
16:30 15mTalk | From Struggle to Success: Unveiling Students’ Emotional Journeys during Capstone Projects Software Engineering Education and Training (SEET) Wardah Naeem Awan LUT University, Maria Paasivaara LUT University, Finland & Aalto University, Finland, Peter Gloor Massachusetts Institute of Technology SDM | ||
16:45 15mTalk | Same Same But Different: Preventing Refactoring Attacks on Software Plagiarism Detection Research Track Robin Maisch Karlsruhe Institute of Technology (KIT), Larissa Schmid KTH Royal Institute of Technology, Timur Sağlam Karlsruhe Institute of Technology (KIT), Nils Niehues Karlsruhe Institute of Technology (KIT) Pre-print | ||
16:00 - 17:30 | |||
16:00 15mTalk | TaskEval: Synthesised Evaluation for Foundation-Model Tasks New Ideas and Emerging Results (NIER) Dilani Widanapathiranage Applied Artificial Intelligence Initiative, Deakin University, Scott Barnett Applied Artificial Intelligence Initiative, Deakin University, Stefanus Kurniawan Deakin University, Wannita Takerngsaksiri Applied Artificial Intelligence Initiative, Deakin University | ||
16:15 15mTalk | SpecOps: A Fully Automated AI Agent Testing Framework in Real-World GUI Environments Research Track Syed Yusuf Ahmed Purdue University, Shiwei Feng Purdue University, Chanwoo Bae Purdue University, Calix Barrus University of Texas at San Antonio, Xiangyu Zhang Purdue University | ||
16:30 15mTalk | Revisiting "Revisiting Neuron Coverage for DNN Testing: A Layer-Wise and Distribution-Aware Criterion": A Critical Review and Implications on DNN Coverage Testing Research Track Jinhan Kim Università della Svizzera italiana, Nargiz Humbatova Università della Svizzera italiana, Gunel Jahangirova King's College London, Shin Yoo KAIST, Paolo Tonella USI Lugano Pre-print | ||
16:45 15mTalk | VADA: A Multicultural Benchmark for Value-Aware Data Generation and Alignment Evaluation in LLMs Research Track Zhanglun Zhang Nanjing University, Yang Feng Nanjing University, Shihao Weng Nanjing University, Yining Yin Nanjing University, Jincheng Li Nanjing University, Jia Liu Nanjing University | ||
17:00 15mTalk | Evaluating the effectiveness of LLM-based interoperability Research Track Rodrigo Falcão Fraunhofer IESE, Stefan Schweitzer Fraunhofer Institute for Experimental Software Engineering, Julien Siebert Fraunhofer IESE, Emily Calvet Fraunhofer Institute for Experimental Software Engineering, Frank Elberzhager Fraunhofer Institute for Experimental Software Engineering | ||
17:15 15mTalk | Beyond Correctness: Exposing LLM-generated Logical Flaws in Reasoning via Multi-step Automated Theorem Proving Research Track Xinyi Zheng Huazhong University of Science and Technology, Ningke Li National University of Singapore, Xiaokun Luan Peking University, Kailong Wang Huazhong University of Science and Technology, Ling Shi Nanyang Technological University, Meng Sun Peking University, Haoyu Wang Huazhong University of Science and Technology | ||
16:00 - 17:30 | Dependability and Security 11Journal-first Papers / New Ideas and Emerging Results (NIER) / Research Track at Oceania X | ||
16:00 15mTalk | AtomGraph: Tackling Atomicity Violation in Smart Contracts using Multimodal GCNs New Ideas and Emerging Results (NIER) Xiaoqi Li Hainan University, Zongwei Li Hainan University, Wenkai Li Hainan University, Zeng Zhang Hainan University, Lei Xie Hainan University | ||
16:15 15mTalk | ACFix: Guiding LLMs with Mined Common RBAC Practices for Context-Aware Repair of Access Control Vulnerabilities in Smart Contracts Journal-first Papers Lyuye Zhang Nanyang Technological University, Kaixuan Li Nanyang Technological University, Kairan Sun Nanyang Technological University, Daoyuan Wu Lingnan University, Ye Liu Singapore Management University, Haoye Tian Aalto University, Yang Liu Nanyang Technological University | ||
16:30 15mTalk | Do Automated Fixes Truly Mitigate Smart Contract Exploits? Journal-first Papers Sofia Bobadilla KTH Royal Institute of Technology, Sweden, Mónica Jin KTH Royal Institute of Technology, Martin Monperrus KTH Royal Institute of Technology | ||
16:45 15mTalk | CKG-LLM: LLM-Assisted Detection of Smart Contract Access Control Vulnerabilities Based on Knowledge Graphs New Ideas and Emerging Results (NIER) Xiaoqi Li Hainan University, Hailu Kuang Hainan University, Wenkai Li Hainan University, Zongwei Li Hainan University, Shipeng Ye Hainan University | ||
17:00 15mTalk | One Signature, Multiple Payments: Demystifying and Detecting Signature Replay Vulnerabilities in Smart Contracts Research Track Zexu Wang Sun Yat-sen University, Jiachi Chen Sun Yat-sen University, Zewei Lin Sun Yat-sen University, Wenqing Chen Sun Yat-sen University, Kaiwen Ning Sun Yat-sen University, Jianxing Yu Sun Yat-sen University, Yuming Feng Peng Cheng Laboratory, Yu Zhang Harbin Institute of Technology, Weizhe Zhang Harbin Institute of Technology, Zibin Zheng Sun Yat-sen University Pre-print | ||
17:15 15mTalk | USCSA: Evolution-Aware Security Analysis for Proxy-Based Upgradeable Smart Contracts New Ideas and Emerging Results (NIER) Xiaoqi Li Hainan University, Lei Xie Hainan University, Wenkai Li Hainan University, Zongwei Li Hainan University | ||