FSE 2025
Mon 23 - Fri 27 June 2025 Trondheim, Norway
Tue 24 Jun 2025 10:00 - 10:30 at Space - Poster Session 1 Chair(s): Earl T. Barr
Tue 24 Jun 2025 15:30 - 16:00 at Space - Poster Session 2 Chair(s): Earl T. Barr

Since greybox fuzzers (e.g., AFL++, libfuzzer) generate test inputs by random mutations guided toward high code coverage, it is challenging for human developers to analyze fuzzed crashing inputs to understand failure-inducing condition and locate buggy code elements for debugging. To address this challenge, we present DiffMin, a technique that refines a fuzzed crashing input to gain greater similarities to given passing inputs to help human developers better diagnose the fault. DiffMin iteratively applies edit actions to transform the crashing input while preserving the crash behavior. Our pilot study using four buggy programs from the Magma benchmark demonstrates that DiffMin effectively minimizes the differences between crashing and passing inputs while enhancing the accuracy of spectrum-based fault localization, highlighting its potential as a valuable pre-debugging step after greybox fuzzing.

Tue 24 Jun

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

10:00 - 10:30
Poster Session 1Posters at Space
Chair(s): Earl T. Barr University College London
10:00
30m
Poster
Logprobs Know Uncertainty: Fighting LLM Hallucinations
Posters
Mengyao Xu ByteDance, Qiaoyin Gan Institute of Computing Technology, Chinese Academy of Sciences, Zhenyu Zhu ByteDance, Haojun Qin ByteDance
10:00
30m
Poster
Symbolic Execution Based Automatic Performance Optimization for MPI Programs
Posters
Zheng Bian National University of Defense Technology, Zhenbang Chen College of Computer, National University of Defense Technology, Ji Wang National University of Defense Technology
10:00
30m
Poster
Autonomous agents in software development for information retrieval using LLM models
Posters
Aneta Poniszewska-Maranda Institute of Information Technology, Lodz University of Technology, Maciej Kopa Lodz University of Technology
10:00
30m
Poster
Detecting Data Races in Language Virtual Machines with RaceHunter. Lessons Learned.
Posters
Pavel Andrianov ISP RAS Research Center for Trusted Artificial Intelligence, Vadim Mutilin ISP RAS Research Center for Trusted Artificial Intelligence, Evgeny Gerlits Ivannikov Institute for System Programming of the Russian Academy of Sciences
10:00
30m
Poster
Enhancing Deep Learning Transpilation with LLMs: Automation and Semantic Consistency
Posters
Xingpei Li National University of Defense Technology, China, Zhijie Jiang National University of Defense Technology, Zhouyang Jia National University of Defense Technology, Yuanliang Zhang National University of Defense Technology, Si Zheng National University of Defense Technology, Haifang Zhou National University of Defense Technology, Shanshan Li National University of Defense Technology
10:00
30m
Poster
Pn4PLC: Verification of Software Upgrade for PLC Code
Posters
Soumyadip Bandyopadhyay ABB Corporate Research Center, India, Raoul Jetley ABB
10:00
30m
Poster
SODAOpt: Socio-Demographic and Textual Adaptive Fusion for Optimizing Developer Task Assignment
Posters
Karina Romanova Al Talent Hub, ITMO University, Wildberries, Sergey Senichev ITMO University, MTS AI, Lina Veltman Wildberries, Ivan Nasonov Moscow Institute of Physics and Technology, Andrey Kuznetsov AIRI, Ilya Makarov AIRI, ISP RAS, Moscow, Russia
10:00
30m
Poster
LLMAppHub: A Large Collection of LLM-based Applications for the Research Community
Posters
Zixuan Wu Zhejiang University, Chen Zhi Zhejiang University, Junxiao Han Hangzhou City University, Shuiguang Deng Zhejiang University; Alibaba-Zhejiang University Joint Institute of Frontier Technologies, Jianwei Yin Zhejiang University
10:00
30m
Poster
Refining Fuzzed Crashing Inputs for Better Fault Diagnosis
Posters
Kieun Kim Chungbuk National University, Seongmin Lee Max Planck Institute for Security and Privacy (MPI-SP), Shin Hong Chungbuk National University
Pre-print
15:30 - 16:00
Poster Session 2Posters at Space
Chair(s): Earl T. Barr University College London
15:30
30m
Poster
Refining Fuzzed Crashing Inputs for Better Fault Diagnosis
Posters
Kieun Kim Chungbuk National University, Seongmin Lee Max Planck Institute for Security and Privacy (MPI-SP), Shin Hong Chungbuk National University
Pre-print
15:30
30m
Poster
Logprobs Know Uncertainty: Fighting LLM Hallucinations
Posters
Mengyao Xu ByteDance, Qiaoyin Gan Institute of Computing Technology, Chinese Academy of Sciences, Zhenyu Zhu ByteDance, Haojun Qin ByteDance
15:30
30m
Poster
Symbolic Execution Based Automatic Performance Optimization for MPI Programs
Posters
Zheng Bian National University of Defense Technology, Zhenbang Chen College of Computer, National University of Defense Technology, Ji Wang National University of Defense Technology
15:30
30m
Poster
SODAOpt: Socio-Demographic and Textual Adaptive Fusion for Optimizing Developer Task Assignment
Posters
Karina Romanova Al Talent Hub, ITMO University, Wildberries, Sergey Senichev ITMO University, MTS AI, Lina Veltman Wildberries, Ivan Nasonov Moscow Institute of Physics and Technology, Andrey Kuznetsov AIRI, Ilya Makarov AIRI, ISP RAS, Moscow, Russia
15:30
30m
Poster
Pn4PLC: Verification of Software Upgrade for PLC Code
Posters
Soumyadip Bandyopadhyay ABB Corporate Research Center, India, Raoul Jetley ABB
15:30
30m
Poster
LLMAppHub: A Large Collection of LLM-based Applications for the Research Community
Posters
Zixuan Wu Zhejiang University, Chen Zhi Zhejiang University, Junxiao Han Hangzhou City University, Shuiguang Deng Zhejiang University; Alibaba-Zhejiang University Joint Institute of Frontier Technologies, Jianwei Yin Zhejiang University
15:30
30m
Poster
Detecting Data Races in Language Virtual Machines with RaceHunter. Lessons Learned.
Posters
Pavel Andrianov ISP RAS Research Center for Trusted Artificial Intelligence, Vadim Mutilin ISP RAS Research Center for Trusted Artificial Intelligence, Evgeny Gerlits Ivannikov Institute for System Programming of the Russian Academy of Sciences
15:30
30m
Poster
Enhancing Deep Learning Transpilation with LLMs: Automation and Semantic Consistency
Posters
Xingpei Li National University of Defense Technology, China, Zhijie Jiang National University of Defense Technology, Zhouyang Jia National University of Defense Technology, Yuanliang Zhang National University of Defense Technology, Si Zheng National University of Defense Technology, Haifang Zhou National University of Defense Technology, Shanshan Li National University of Defense Technology
15:30
30m
Poster
Autonomous agents in software development for information retrieval using LLM models
Posters
Aneta Poniszewska-Maranda Institute of Information Technology, Lodz University of Technology, Maciej Kopa Lodz University of Technology

Information for Participants
Info for room Space:

Space is the name for the main conference area where the registration desk is located.

Posters will be exposed in this area on Tuesday, and authors will be available during the coffee breaks.

This is the same place as the Foyer.