TCSE logo 
 Sigsoft logo
Sustainability badge

Dates
Sun 27 Apr 2025
Mon 28 Apr 2025
Tue 29 Apr 2025
Wed 30 Apr 2025
Thu 1 May 2025
Fri 2 May 2025
Sat 3 May 2025
Rooms
214
Canada Hall 3 plus Foyer
Tracks
ICSE Catering
LLM4Code
Badges
Nothing to filter
Your Program
Nothing to filter
You're viewing the program in a time zone which is different from your device's time zone change time zone

Sun 27 Apr

Displayed time zone: Eastern Time (US & Canada) change

10:30 - 11:00
10:30
30m
Coffee break
Sunday Morning Break
Catering

12:30 - 14:00
12:30
90m
Lunch
Sunday Lunch
Catering

15:30 - 16:00
15:30
30m
Break
Sunday Afternoon Break
Catering

Mon 28 Apr

Displayed time zone: Eastern Time (US & Canada) change

10:30 - 11:00
10:30
30m
Break
Monday Morning Break
Catering

12:30 - 14:00
12:30
90m
Lunch
Monday Lunch
Catering

15:30 - 16:00
15:30
30m
Break
Monday Afternoon Break
Catering

Tue 29 Apr

Displayed time zone: Eastern Time (US & Canada) change

10:30 - 11:00
10:30
30m
Break
Tuesday Morning Break
Catering

12:30 - 14:00
12:30
90m
Lunch
Tuesday Lunch
Catering

15:30 - 16:00
15:30
30m
Break
Tuesday Afternoon Break
Catering

Wed 30 Apr

Displayed time zone: Eastern Time (US & Canada) change

10:30 - 11:00
10:30
30m
Break
Wednesday Morning Break
Catering

12:30 - 14:00
12:30
90m
Lunch
Wednesday Lunch
Catering

15:30 - 16:00
15:30
30m
Break
Wednesday Afternoon Break
Catering

Thu 1 May

Displayed time zone: Eastern Time (US & Canada) change

10:30 - 11:00
10:30
30m
Break
Thursday Morning Break
Catering

12:30 - 14:00
12:30
90m
Lunch
Thursday Lunch
Catering

15:30 - 16:00
15:30
30m
Break
Thursday Afternoon Break
Catering

Fri 2 May

Displayed time zone: Eastern Time (US & Canada) change

10:30 - 11:00
10:30
30m
Break
Friday Morning Break
Catering

12:30 - 14:00
13:15
45m
Lunch
Friday Lunch
Catering

15:30 - 16:00
15:30
30m
Break
Friday Afternoon Break
Catering

Sat 3 May

Displayed time zone: Eastern Time (US & Canada) change

09:00 - 10:30
Opening / Keynote 1 / Paper Session 1LLM4Code at 214
Chair(s): Zijian Wang AWS AI Labs
09:00
10m
Day opening
Opening
LLM4Code
Lingming Zhang University of Illinois at Urbana-Champaign, Prem Devanbu University of California at Davis, Zijian Wang AWS AI Labs
09:10
60m
Keynote
Keynote 1: Building the Hybrid Human-AI Developer: From Code Completion to Agents (zoom talk)
LLM4Code
10:10
10m
Talk
Are Large Language Models Memorizing Bug Benchmarks?
LLM4Code
Daniel Ramos Carnegie Mellon University, Claudia Mamede Carnegie Mellon University, Kush Jain Carnegie Mellon University, Paulo Canelas Carnegie Mellon University, Catarina Gamboa Carnegie Mellon University, Claire Le Goues Carnegie Mellon University
10:20
10m
Talk
RepairBench: Leaderboard of Frontier Models for Program Repair
LLM4Code
André Silva KTH Royal Institute of Technology, Martin Monperrus KTH Royal Institute of Technology
10:30 - 11:00
10:30
30m
Break
Saturday Morning Break
Catering

11:00 - 12:30
Keynote 2 / Paper Session 2LLM4Code at 214
Chair(s): Prem Devanbu University of California at Davis
11:00
60m
Keynote
Keynote 2: Towards Autonomous Language Model Systems (zoom talk)
LLM4Code
Ofir Press Princeton University
12:00
10m
Talk
With a Little Help from My (LLM) Friends: Enhancing Static Analysis with LLMs to Detect Software Vulnerabilities
LLM4Code
Amy Munson University of California, San Diego, Juanita Gomez University of California, Santa Cruz, Álvaro Cárdenas University of California, Santa Cruz
12:10
10m
Talk
Automating the Detection of Code Vulnerabilities by Analyzing GitHub Issues
LLM4Code
Daniele Cipollone Delft University of Technology, Changjie Wang KTH Royal Institute of Technology, Mariano Scazzariello RISE Research Institutes of Sweden, Simone Ferlin Red Hat, Maliheh Izadi Delft University of Technology, Dejan Kostic KTH Royal Institute of Technology, Marco Chiesa KTH Royal Institute of Technology
12:20
10m
Talk
COSMosFL: Ensemble of Small Language Models for Fault Localisation
LLM4Code
Hyunjoon Cho KAIST, Sungmin Kang KAIST, Gabin An KAIST, Shin Yoo KAIST
Pre-print
12:30 - 14:00
13:15
45m
Lunch
Saturday Lunch
Catering

14:00 - 15:30
Paper Session 3LLM4Code at 214
Chair(s): Chao Peng ByteDance
14:00
10m
Talk
Mix-of-Language-Experts Architecture for Multilingual Programming
LLM4Code
Yifan Zong University of Waterloo, Yuntian Deng University of Waterloo, Pengyu Nie University of Waterloo
14:10
10m
Talk
Proving the Coding Interview: A Benchmark for Formally Verified Code Generation
LLM4Code
Quinn Dougherty Unaffiliated, Ronak Mehta Unaffiliated
14:20
10m
Talk
LLM-ProS: Analyzing Large Language Models’ Performance in Competitive Problem Solving
LLM4Code
Md Sifat Hossain University of Dhaka, Anika Tabassum University of Dhaka, Md. Fahim Arefin University of Dhaka, Tarannum Shaila Zaman University of Maryland Baltimore County
Media Attached
14:30
10m
Talk
Syzygy: Dual Code-Test C to (safe) Rust Translation using LLMs and Dynamic Analysis
LLM4Code
Manish Shetty University of California, Berkeley, Naman Jain University of California, Berkeley, Adwait Godbole University of California, Berkeley, Sanjit A. Seshia University of California, Berkeley, Koushik Sen University of California at Berkeley
14:40
10m
Talk
Evaluating Language Models for Computer Graphics Code Completion
LLM4Code
Jan Kels Heinrich-Heine-Universität Düsseldorf, Abdelhalim Dahou GESIS – Leibniz-Institute for the Social Sciences, Brigitte Mathiak GESIS – Leibniz-Institute for the Social Sciences
Media Attached File Attached
14:50
10m
Talk
From Zero to Sixty at the Speed of RAG: Improving YAML Recipe Generation via Retrieval
LLM4Code
Farima Farmahinifarahani J.P. Morgan AI Research, Petr Babkin J.P. Morgan AI Research, Salwa Alamir J.P. Morgan AI Research, Xiaomo Liu J.P. Morgan AI Research
15:00
10m
Talk
SC-Bench: A Large-Scale Dataset for Smart Contract Auditing
LLM4Code
Shihao Xia The Pennsylvania State University, Mengting He The Pennsylvania State University, Linhai Song The Pennsylvania State University, Yiying Zhang University of California San Diego
15:10
10m
Talk
METAMON: Finding Inconsistencies between Program Documentation and Behavior using Metamorphic LLM Queries
LLM4Code
Hyunseok Lee KAIST, Gabin An KAIST, Shin Yoo KAIST
Pre-print
15:20
10m
Talk
CWEval: Outcome-driven Evaluation on Functionality and Security of LLM Code Generation
LLM4Code
Jinjun Peng Columbia University, Leyi Cui Columbia University, Kele Huang Columbia University, Junfeng Yang Columbia University, Baishakhi Ray Columbia University
15:30 - 16:00
15:30
30m
Break
Saturday Afternoon Break
Catering

16:00 - 17:30
Paper Session 4 / Virtual Talk / Award Session & ClosingLLM4Code at 214
Chair(s): Lingming Zhang University of Illinois at Urbana-Champaign
16:00
10m
Talk
Cracks in The Stack: Hidden Vulnerabilities and Licensing Risks in LLM Pre-Training Datasets
LLM4Code
Mahmoud Jahanshahi University of Tennessee, Audris Mockus University of Tennessee
Pre-print
16:10
10m
Talk
Understanding Code Properties: Is Code All You Need?
LLM4Code
Srivishnu Pyda University of Maryland, Daniel Nichols University of Maryland, Abhinav Bhatele University of Maryland
16:20
10m
Talk
Analysis of Student-LLM Interaction in a Software Engineering Project
LLM4Code
Agrawal Naman National University of Singapore, Ridwan Salihin Shariffdeen National University of Singapore, Wang Guanlin National University of Singapore, Sanka Rasnayaka National University of Singapore, Ganesh Neelakanta Iyer National University of Singapore
16:30
10m
Talk
Training LLMs for Generating IEC 61131-3 Structured Text with Online Feedback
LLM4Code
Aaron Haag Siemens AG, Bertram Fuchs Siemens AG, Altay Kacan Siemens AG, Oliver Lohse Siemens AG
16:40
10m
Talk
Deriving Coding-Specific Sub-Models from LLMs using Resource-Efficient Pruning (Virtual Talk)
LLM4Code
Laura Puccioni Spotify, Alireza Farshin NVIDIA, Mariano Scazzariello RISE Research Institutes of Sweden, Changjie Wang KTH Royal Institute of Technology, Marco Chiesa KTH Royal Institute of Technology, Dejan Kostic KTH Royal Institute of Technology
Media Attached
16:40
10m
Talk
Is More or Less Automation Better? An Investigation into the LLM4TDD Process (Virtual Talk)
LLM4Code
Sanyogita Piya The University of Texas at Arlington, Anahita Samadi The University of Texas at Arlington, Allison Sullivan University of Texas at Arlington
16:40
10m
Talk
Knowledge Graph Based Repository-Level Code Generation (Virtual Talk)
LLM4Code
Mihir Athale Northeastern University, Vishal Vaddina Quantiphi Inc.
Pre-print Media Attached
16:40
10m
Talk
Leveraging LLMs for Legacy Code Modernization: Evaluation of LLM-Generated Documentation (Virtual Talk)
LLM4Code
Colin Diggs MITRE Corporation, Michael Doyle MITRE Corporation, Amit Madan MITRE Corporation, Emily Escamilla MITRE Corporation, Siggy Scott MITRE Corporation, Jacob Zimmer MITRE Corporation, Naveed Nekoo MITRE Corporation, Paul Ursino MITRE Corporation, Michael Bartholf MITRE Corporation, Zachary Robin MITRE Corporation, Anand Patel MITRE Corporation, Chris Glasz MITRE Corporation, William Macke MITRE Corporation, Paul Kirk MITRE Corporation, Jasper Phillips MITRE Corporation, Arun Sridharan MITRE Corporation, Doug Wendt MITRE Corporation, Scott Rosen MITRE Corporation, Nitin Naik MITRE Corporation, Justin F. Brunelle MITRE Corporation, Samruddhi Thaker MITRE Corporation
Media Attached
16:40
10m
Talk
From Theory to Practice: Code Generation Using LLMs for CAPEC and CWE Frameworks (Virtual Talk)
LLM4Code
Mohammed Murtuza Shahzad Syed Northern Illinois University, Joseph Wilson Northern Illinois University, Ibrahim Al Azher Northern Illinois University, Hamed Alhoori Dept. of Computer Science at the Northern Illinois University, Mona Rahimi Dept. of Computer Science at the Northern Illinois University
Media Attached
16:40
10m
Talk
Hierarchical Repository-Level Code Summarization for Business Applications Using Local LLMs (Virtual Talk)
LLM4Code
Nilesh Dhulshette TCS Research, Sapan Shah TCS Research, Vinay Kulkarni Tata Consultancy Services Research
Media Attached
16:40
10m
Talk
Code Summarization Beyond Function Level (Virtual Talk)
LLM4Code
Vladimir Makharev Innopolis University, AIRI, Vladimir Ivanov Innopolis University
Media Attached
16:40
10m
Talk
YABLoCo: Yet Another Benchmark for Long Context Code Generation (Virtual Talk)
LLM4Code
Aidar Valeev Innopolis University, Vladimir Ivanov Innopolis University, Roman Garaev Innopolis University, Vadim Lomshakov JetBrains, Irina Pionkovskaya Huawei Noah's Ark Lab, Israel Adewuyi Innopolis University
16:40
10m
Talk
CoCoNUT: Structural Code Understanding does not fall out of a tree (Virtual Talk)
LLM4Code
Claas Beger Cornell University, Saikat Dutta Cornell University
Pre-print Media Attached
16:40
10m
Talk
Do Code LLMs Understand Design Patterns? (Virtual Talk)
LLM4Code
Zhenyu Pan Northwestern University, Xuefeng Song Northwestern University, Yunkun Wang Zhejiang University, Rongyu Cao Tongyi Lab, Alibaba, China, Binhua Li Tongyi Lab, Alibaba, China, Yongbin Li Tongyi Lab, Alibaba, China, Han Liu Northwestern University
Media Attached
16:40
10m
Talk
From Scientific Texts to Verifiable Code: Automating the Process with Transformers (Virtual Talk)
LLM4Code
Changjie Wang KTH Royal Institute of Technology, Mariano Scazzariello RISE Research Institutes of Sweden, Marco Chiesa KTH Royal Institute of Technology
Media Attached
16:50
10m
Day closing
Award Session & Closing
LLM4Code

:
: