The Scala Workshop 2025
Mon 13 - Tue 14 October 2025 Singapore
co-located with ICFP/SPLASH 2025
ICFP/SPLASH 2025 (series) / The Scala Workshop 2025 (series) / Marina Bay Sands Convention Centre /

Room information: Orchid East

VenueMarina Bay Sands Convention Centre
Room nameOrchid East
Floor4
Room number4202-4203
Capacity180
Room Information

Venue floor plan

app-screen

Program

This program is tentative and subject to change.

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 Static AnalysisLMPL 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
16:00 - 17:40
LLMs for Program VerificationLMPL 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

Mon 13 Oct

Displayed time zone: Perth change

Room10:003011:003012:003013:003014:003015:003016:003017:0030
Orchid East

SAS

SAS

SAS

Tue 14 Oct

Displayed time zone: Perth change

Room10:003011:003012:003013:003014:003015:003016:003017:0030
Orchid East

SAS

SAS

SAS

Wed 15 Oct

Displayed time zone: Perth change

Room10:003011:003012:003013:003014:003015:003016:003017:0030
Orchid East

LMPL

Keynote

LMPL

LLMs for Static Analysis

LMPL

LLMs for Program Verification

Thu 16 Oct

Displayed time zone: Perth change

Room10:003011:003012:003013:003014:003015:003016:003017:0030
Orchid East

SPLASH OOPSLA

SPLASH OOPSLA

SPLASH OOPSLA

Fri 17 Oct

Displayed time zone: Perth change

Room10:003011:003012:003013:003014:003015:003016:003017:0030
Orchid East

SPLASH OOPSLA

SPLASH OOPSLA

SPLASH OOPSLA

Sat 18 Oct

Displayed time zone: Perth change

Room10:003011:003012:003013:003014:003015:003016:003017:0030
Orchid East

SPLASH OOPSLA

SPLASH OOPSLA

SPLASH OOPSLA

Wed 15 Oct

Displayed time zone: Perth change

Room10:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:00153045
Orchid East
LMPL
AI Safety through Programming?
10:50 - 12:05
LMPL
Function Renaming in Reverse Engineering of Embedded Device Firmware wi ...
13:40 - 13:55
LMPL
Enhancing Semantic Understanding in Pointer Analysis Using Large Langua ...
13:55 - 14:10
LMPL
Improving SAST Detection Capability with LLMs and Enhanced DFA
14:10 - 14:25
LMPL
ClearAgent: Agentic Binary Analysis for Effective Vulnerability Detection
14:25 - 14:40
LMPL
CG-Bench: Can Language Models Assist Call Graph Construction in the Rea ...
14:40 - 14:55
LMPL
Beyond Static Pattern Matching? Rethinking Automatic Cryptographic API ...
14:55 - 15:15
LMPL
Hallucination-Resilient LLM-Driven Sound and Tunable Static Analysis
16:00 - 16:15
LMPL
Toward Repository-Level Program Verification with Large Language Models
16:15 - 16:35
LMPL
Preguss: It Analyzes, It Specifies, It Verifies
16:35 - 16:50
LMPL
A Case Study on the Effectiveness of LLMs in Verification with Proof As ...
16:50 - 17:10
LMPL
Understanding Formal Reasoning Failures in LLMs as Abstract Interpreters
17:10 - 17:30