Program - ICFP/SPLASH 2025

Detailed Table Session Timeline Detailed Timeline

This program is tentative and subject to change.

Time Zone

The program is currently displayed in (GMT+08:00) Perth.

Use conference time zone: (GMT+08:00) PerthSelect 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

Wed 15 Oct
Displayed time zone: Perth change

10:50 - 12:05	KeynoteLMPL at Orchid East

10:50 75m Keynote		AI Safety through Programming? LMPL Jun Sun Singapore Management University

13:40 - 15:20	LLMs for Program Analysis and Verification ILMPL at Orchid East

13:40 15m Talk		Function Renaming in Reverse Engineering of Embedded Device Firmware with ChatGPT LMPL Puzhuo Liu Ant Group & Tsinghua University, Peng Di Ant Group & UNSW Sydney, Yu Jiang Tsinghua University
13:55 15m Talk		Enhancing Semantic Understanding in Pointer Analysis Using Large Language Models LMPL Baijun Cheng Peking University, Kailong Wang Huazhong University of Science and Technology, Ling Shi Nanyang Technological University, Haoyu Wang Huazhong University of Science and Technology, Yao Guo Peking University, Ding Li Peking University, Xiangqun Chen Peking University
14:10 15m Talk		Improving SAST Detection Capability with LLMs and Enhanced DFA LMPL Yuan Luo Tencent Security Yunding Lab, Zhaojun Chen Tencent Security Yunding Lab, Yuxin Dong Peking University, Haiquan Zhang Tencent Security Yunding Lab, Yi Sun Tencent Security Yunding Lab, Fei Xie Tencent Security Yunding Lab, Zhiqiang Dong Tencent Security Yunding Lab
14:25 15m Talk		ClearAgent: Agentic Binary Analysis for Effective Vulnerability Detection LMPL Xiang Chen The Hong Kong University of Science and Technology, Anshunkang Zhou The Hong Kong University of Science and Technology, Chengfeng Ye The Hong Kong University of Science and Technology, Charles Zhang The Hong Kong University of Science and Technology
14:40 15m Talk		CG-Bench: Can Language Models Assist Call Graph Construction in the Real World? LMPL Ting Yuan , Wenrui Zhang Huawei Technologies Co., Ltd, Dong Chen Huawei, Jie Wang Huawei Technologies Co., Ltd Pre-print
14:55 20m Talk		Beyond Static Pattern Matching? Rethinking Automatic Cryptographic API Misuse Detection in the Era of LLMs LMPL Yifan Xia

13:40 - 15:20	LLMs for Code GenerationLMPL at Orchid Small

13:40 15m Talk		W2GPU: Toward WebAssembly-to-WebGPU Program Translation via Small Language Models LMPL Mehmet Oguz Derin Unaffiliated Media Attached
13:55 15m Talk		Reasoning as a Resource: Optimizing Fast and Slow Thinking in Code Generation Models LMPL Zongjie Li The Hong Kong University of Science and Technology, Shuai Wang Hong Kong University of Science and Technology
14:10 15m Talk		Ranking Formal Specifications using LLMs LMPL Deyuan (Mike) He Princeton University, Zhendong Ang National University of Singapore, Ankush Desai Amazon Web Services, Aarti Gupta Princeton University
14:25 15m Talk		Challenges in C++ to Rust Translation with Large Language Models: A Preliminary Empirical Study LMPL Yanyan Yan Nanjing University, Yang Feng Nanjing University, Qi He Nanjing University, Jun Zeng Chongqing University, Baowen Xu Nanjing University
14:40 15m Talk		The Modular Imperative: Rethinking LLMs for Maintainable Software LMPL Anastasiya Kravchuk-Kirilyuk Harvard University, Fernanda Graciolli Midspiral, Nada Amin Harvard University
14:55 15m Talk		Programming Language Techniques for Bridging LLM Code Generation Semantic Gaps LMPL Yalong Du Harbin Institute of Technology, Shenzhen, Chaozheng Wang The Chinese University of Hong Kong, Huaijin Wang Ohio State University

16:00 - 17:40	LLMs for Program Analysis and Verification IILMPL at Orchid East

16:00 15m Talk		Hallucination-Resilient LLM-Driven Sound and Tunable Static Analysis LMPL Guannan Wei Tufts University, Zhuo Zhang Columbia University, Caterina Urban Inria & ENS \| PSL
16:15 20m Talk		Toward Repository-Level Program Verification with Large Language Models LMPL Si Cheng Zhong University of Toronto, Xujie Si University of Toronto DOI
16:35 15m Talk		Preguss: It Analyzes, It Specifies, It Verifies LMPL Zhongyi Wang Zhejiang University, China, Tengjie Lin Zhejiang University, Mingshuai Chen Zhejiang University, Mingqi Yang Zhejiang University, Haokun Li Peking University, Xiao Yi The Chinese University of Hong Kong, Shengchao Qin Xidian University, Jianwei Yin Zhejiang University
16:50 20m Talk		A Case Study on the Effectiveness of LLMs in Verification with Proof Assistants LMPL Barış Bayazıt University of Toronto, Yao Li Portland State University, Xujie Si University of Toronto Pre-print
17:10 20m Talk		Understanding Formal Reasoning Failures in LLMs as Abstract Interpreters LMPL Jacqueline Mitchell University of Southern California, Brian Hyeongseok Kim University of Southern California, Chenyu Zhou University of Southern California, Chao Wang University of Southern California

16:00 - 17:40	Neuro-Symbolic Language/Agent DesignLMPL at Orchid Small

16:00 15m Talk		Vibe Coding Needs Vibe Reasoning – Improving Vibe Coding with Formal Verification LMPL Jacqueline Mitchell University of Southern California, Yasser Shaaban Workato
16:15 15m Talk		Current Practices for Building LLM-Powered Reasoning Tools Are Ad Hoc—and We Can Do Better LMPL Aaron Bembenek The University of Melbourne Pre-print
16:30 15m Talk		Composable Effect Handling for Programming LLM-integrated Scripts LMPL Di Wang Peking University Pre-print
16:45 15m Talk		The LLM Era Demands Natural-Language-Aligned Theorem Provers for Mathematics LMPL Qinxiang Cao Shanghai Jiao Tong University, Lihan Xie Shanghai Jiao Tong University, Junchi Yan Shanghai Jiao Tong University
17:00 15m Talk		Programming Large Language Models with Algebraic Effect Handlers and the Selection Monad LMPL Shangyin Tan University of California, Berkeley, Guannan Wei Tufts University, Koushik Sen University of California at Berkeley, Matei Zaharia UC Berkeley

LMPL 2025 Program

This program is tentative and subject to change.

Wed 15 Oct
Displayed time zone: Perth change

Tracks

Co-hosted Conferences

Workshops

Co-hosted Symposia

LMPL 2025 Program

Switch Program View

This program is tentative and subject to change.

Program Display Configuration

Wed 15 OctDisplayed time zone: Perth change

Get Calendar (iCal)

Wed 15 Oct
Displayed time zone: Perth change