FSE 2025
Mon 23 - Fri 27 June 2025 Trondheim, Norway
co-located with ISSTA 2025
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

Overlapping communication with computation is a common way to optimize parallel programs in high-performance computing. However, this optimization is often carried out manually and is challenging to be automated to achieve a better performance. In this extended abstract, we report our recent progress of a symbolic execution-based automatic method for optimizing Message Passing Interface (MPI) programs by overlapping communication and computation. The key idea is to transform blocking communication operations into non-blocking ones while preserving the correctness of computation. We employ symbolic execution to extract the symbolic paths from the MPI program, based on which we can find the potential locations for optimization in each path. Then, we synthesize a global optimization transformation based on the potential optimization locations. The MPI program’s performance can be improved after applying the global optimization transformation. The preliminary experimental results indicate the promise of our method.

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.

:
:
:
: