ICFP/SPLASH 2025
Sun 12 - Sat 18 October 2025 Singapore

This program is tentative and subject to change.

Wed 15 Oct 2025 16:00 - 16:15 at Orchid East - LLMs for Program Analysis and Verification II Chair(s): Zhuo Zhang

We argue that soundness remains essential for LLM-driven static analysis and discuss hallucination-resilient approaches in combining LLMs with static analysis that ensure soundness while improving precision. We investigate the use of LLMs in higher-order control-flow analysis, building on the abstracting abstract machine (AAM) framework and delegating abstract address allocation to an LLM. Our analyzer LLMAAM maintains soundness regardless of LLM behavior, while adaptively tuning analysis precision. We report preliminary results and outline broader opportunities for sound LLM-driven analysis.

This program is tentative and subject to change.

Wed 15 Oct

Displayed time zone: Perth change

16:00 - 17:40
LLMs for Program Analysis and Verification IILMPL at Orchid East
Chair(s): Zhuo Zhang Columbia University
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