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: Peony West

VenueMarina Bay Sands Convention Centre
Room namePeony West
Floor4
Room number4511-4512
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

13:40 - 15:20
LLMs for Code GenerationLMPL at Peony West
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
Neuro-Symbolic Language/Agent DesignLMPL at Peony West
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
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

Tue 14 Oct

Displayed time zone: Perth change

Room10:003011:003012:003013:003014:003015:003016:003017:0030
Peony West

HATRA

HATRA

HATRA

Wed 15 Oct

Displayed time zone: Perth change

Room10:003011:003012:003013:003014:003015:003016:003017:0030
Peony West

LMPL

LMPL

LLMs for Code Generation

LMPL

Neuro-Symbolic Language/Agent Design

Wed 15 Oct

Displayed time zone: Perth change

Room13:0015304514:0015304515:0015304516:0015304517:00153045
Peony West
LMPL
W2GPU: Toward WebAssembly-to-WebGPU Program Translation via Small Langu ...
13:40 - 13:55
LMPL
Reasoning as a Resource: Optimizing Fast and Slow Thinking in Code Gene ...
13:55 - 14:10
LMPL
Ranking Formal Specifications using LLMs
14:10 - 14:25
LMPL
Challenges in C++ to Rust Translation with Large Language Models: A Pre ...
14:25 - 14:40
LMPL
The Modular Imperative: Rethinking LLMs for Maintainable Software
14:40 - 14:55
LMPL
Programming Language Techniques for Bridging LLM Code Generation Semant ...
14:55 - 15:10
LMPL
Vibe Coding Needs Vibe Reasoning – Improving Vibe Coding with Formal Ve ...
16:00 - 16:15
LMPL
Current Practices for Building LLM-Powered Reasoning Tools Are Ad Hoc—a ...
16:15 - 16:30
LMPL
Composable Effect Handling for Programming LLM-integrated Scripts
16:30 - 16:45
LMPL
The LLM Era Demands Natural-Language-Aligned Theorem Provers for Mathem ...
16:45 - 17:00
LMPL
Programming Large Language Models with Algebraic Effect Handlers and th ...
17:00 - 17:15