Symbolic Execution Based Automatic Performance Optimization for MPI Programs
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 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.