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 JunDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
10:00 - 10:30 | |||
10:00 30mPoster | 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 30mPoster | 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 30mPoster | 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 30mPoster | 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 30mPoster | 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 30mPoster | Pn4PLC: Verification of Software Upgrade for PLC Code Posters | ||
10:00 30mPoster | 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 30mPoster | 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 30mPoster | 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 | |||
15:30 30mPoster | 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 30mPoster | 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 30mPoster | 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 30mPoster | 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 30mPoster | Pn4PLC: Verification of Software Upgrade for PLC Code Posters | ||
15:30 30mPoster | 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 30mPoster | 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 30mPoster | 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 30mPoster | 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 | ||
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.