Space - PROMISE 2025

Room nameSpace

Floor0

Room InformationNo extra information available

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.

Program

Time Zone

The program is currently displayed in (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna.

Use conference time zone: (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, ViennaSelect other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.

Display full programSpecify a time band

Save

You're viewing the program in a time zone which is different from your device's time zone change time zone

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

10:00 - 10:30	Poster Session 1FSE Posters at Space Chair(s): Earl T. Barr University College London

10:00 30m Poster		Logprobs Know Uncertainty: Fighting LLM Hallucinations FSE 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 FSE 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 FSE 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. FSE 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 FSE 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 FSE 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 FSE 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 FSE 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 FSE 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 2FSE Posters at Space Chair(s): Earl T. Barr University College London

15:30 30m Poster		Refining Fuzzed Crashing Inputs for Better Fault Diagnosis FSE 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 FSE 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 FSE 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 FSE 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 FSE 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 FSE 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. FSE 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 FSE 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 FSE Posters Aneta Poniszewska-Maranda Institute of Information Technology, Lodz University of Technology, Maciej Kopa Lodz University of Technology

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


Room	10:00						30						11:00						30						12:00						30						13:00						30						14:00						30						15:00						30
Space	FSE Posters Poster Session 1																																																																		FSE Posters Poster Session 2

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


Room	10:00			15			30			45			11:00			15			30			45			12:00			15			30			45			13:00			15			30			45			14:00			15			30			45			15:00			15			30			45
Space	FSE Posters Logprobs Know Uncertainty: Fighting LLM Hallucinations 10:00 - 10:30 Symbolic Execution Based Automatic Performance Optimization for MPI Pro ... 10:00 - 10:30 Autonomous agents in software development for information retrieval usi ... 10:00 - 10:30 Detecting Data Races in Language Virtual Machines with RaceHunter. Less ... 10:00 - 10:30 Enhancing Deep Learning Transpilation with LLMs: Automation and Semanti ... 10:00 - 10:30 Pn4PLC: Verification of Software Upgrade for PLC Code 10:00 - 10:30 SODAOpt: Socio-Demographic and Textual Adaptive Fusion for Optimizing D ... 10:00 - 10:30 LLMAppHub: A Large Collection of LLM-based Applications for the Researc ... 10:00 - 10:30 Refining Fuzzed Crashing Inputs for Better Fault Diagnosis 10:00 - 10:30																																																																		FSE Posters Refining Fuzzed Crashing Inputs for Better Fault Diagnosis 15:30 - 16:00 Logprobs Know Uncertainty: Fighting LLM Hallucinations 15:30 - 16:00 Symbolic Execution Based Automatic Performance Optimization for MPI Pro ... 15:30 - 16:00 SODAOpt: Socio-Demographic and Textual Adaptive Fusion for Optimizing D ... 15:30 - 16:00 Pn4PLC: Verification of Software Upgrade for PLC Code 15:30 - 16:00 LLMAppHub: A Large Collection of LLM-based Applications for the Researc ... 15:30 - 16:00 Detecting Data Races in Language Virtual Machines with RaceHunter. Less ... 15:30 - 16:00 Enhancing Deep Learning Transpilation with LLMs: Automation and Semanti ... 15:30 - 16:00 Autonomous agents in software development for information retrieval usi ... 15:30 - 16:00

Room information: Space

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

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

FSE Posters

FSE Posters

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

Tracks

FSE 2025

Co-hosted Conferences

Workshops

Room information: Space

Program Display Configuration

Tue 24 JunDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Tue 24 JunDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

FSE Posters

FSE Posters

Tue 24 JunDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Information for Participants

Information for Participants

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

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

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