This industry forum is a one-day event on October 18, designed to foster meaningful dialogue between academia and industry, bringing together leading researchers from academia and practitioners from ICFP/SPLASH 2025 industry sponsors. By fostering a collaborative environment, the forum seeks to bridge the gap between theoretical research and real-world applications, ensuring that academic innovations are translated into practical solutions for industry challenges.
The session features a series of invited talks from both academia and industry. Academics will share cutting-edge research findings, while industry experts will provide insights into current market trends, technological advancements, and pressing challenges faced by businesses today. The exchange of ideas will not only enhance mutual understanding but also pave the way for potential collaborations, joint research projects, and the development of innovative solutions that benefit both sectors.
Sat 18 OctDisplayed time zone: Perth change
10:00 - 10:30 | |||
10:00 30mCoffee break | Break Catering | ||
10:30 - 12:15 | |||
10:30 15mTalk | Sponsors' Message Sponsor Invited Talks Xinyu Feng Nanjing University & Huawei | ||
10:45 30mTalk | Modal Cangjie: A Preliminary Design Sponsor Invited Talks Xinyu Feng Nanjing University & Huawei | ||
11:15 30mTalk | In the Specifications We Pursue Sponsor Invited Talks Zhendong Su ETH Zurich | ||
11:45 30mTalk | Enhancing Software Engineering with Large Language Models: Insights, Challenges, and Future Directions Sponsor Invited Talks Xin Xia Zhejiang University | ||
12:15 - 13:45 | |||
12:15 90mLunch | Lunch Catering | ||
13:45 - 15:30 | Programming Language & CompilerSponsor Invited Talks at Peony NE Chair(s): Zhiyang Chen University of Toronto 13:45 - 15:45 (Instead of 15:30), 30 min each talk | ||
13:45 26mTalk | Programming Language Design for GPU Systems Sponsor Invited Talks Michel Steuwer Technische Universität Berlin | ||
14:11 26mTalk | CStar: Unifying Programming and Verification in C Sponsor Invited Talks Di Wang Peking University | ||
14:37 26mTalk | Supercharge Compiler Engineering with LLMs Sponsor Invited Talks Yongqiang Tian Monash University | ||
15:03 26mTalk | Python, Is It Being Killed by Incremental Improvements? Sponsor Invited Talks Stefan Marr Johannes Kepler University Linz | ||
15:30 - 16:00 | |||
15:30 30mCoffee break | Break Catering | ||
16:00 - 17:30 | |||
16:00 30mTalk | Live Program Analysis for Security-Critical Scenarios Sponsor Invited Talks Zhiqiang Zuo Nanjing University | ||
16:30 30mTalk | Automated Approaches for Software Migration and Evolution Sponsor Invited Talks Jiasi Shen The Hong Kong University of Science and Technology | ||
17:00 30mTalk | SQLancer: From Research Prototype to Industry Use Sponsor Invited Talks Manuel Rigger National University of Singapore | ||
Invited Talks
| Title | |
|---|---|
| Automated Approaches for Software Migration and Evolution Sponsor Invited Talks | |
| CStar: Unifying Programming and Verification in C Sponsor Invited Talks | |
| Enhancing Software Engineering with Large Language Models: Insights, Challenges, and Future Directions Sponsor Invited Talks | |
| In the Specifications We Pursue Sponsor Invited Talks | |
| Live Program Analysis for Security-Critical Scenarios Sponsor Invited Talks | |
| Modal Cangjie: A Preliminary Design Sponsor Invited Talks | |
| Programming Language Design for GPU Systems Sponsor Invited Talks | |
| Python, Is It Being Killed by Incremental Improvements? Sponsor Invited Talks | |
| SQLancer: From Research Prototype to Industry Use Sponsor Invited Talks | |
| Supercharge Compiler Engineering with LLMs Sponsor Invited Talks |
