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

This program is tentative and subject to change.

Wed 15 Oct 2025 14:40 - 14:55 at Peony West - LLMs for Code Generation

Large language models (LLMs) are becoming increasingly integrated into software development, with a majority of developers now adopting AI tools for code generation. Although the current models can produce syntactically and functionally correct code, they often generate unnecessarily complex solutions, and struggle with large, evolving code bases that have rich internal structure. Most evaluations of LLM-generated code to date have focused primarily on test-based accuracy, unfairly overlooking other essential aspects of software quality. In this paper, we emphasize the importance of modularity — the practice of structuring code into well-defined, reusable components — as a critical lens for improving the maintainability of AI-generated code. We argue that modularity should be a foundational principle in LLM-assisted code generation, empowering models to produce more maintainable, production-ready software.

This program is tentative and subject to change.

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