ASE 2025
Sun 16 - Thu 20 November 2025
Seoul, South Korea
Toggle navigation
Attending
Venue: Grand Walkerhill Seoul
Transportation to Venue
Floor Plan
Accommodations
Registration
Visa Letter
Hotel Shuttle Service
Daily Meals
About Seoul
Code of Conduct
Diversity and Inclusion Plan
Travel Support
Sponsorship
Program
ASE Program
Your Program
Program Overview
Sun 16 Nov
Mon 17 Nov
Tue 18 Nov
Wed 19 Nov
Thu 20 Nov
Tracks
ASE 2025
Keynote
Research Papers
Journal-First
Industry Showcase
NIER
Tool Demonstration Track
MIP Award
Workshops
Doctoral Symposium
New Faculty Symposium
Student Research Competition
Tutorials
Student Volunteers
Posters
TSE Editorial Board Meeting
Co-hosted Conferences
AIware
AIware
AIware
Keynotes
AIware
Main Track
AIware
ArXiv Track
AIware
Benchmark & Dataset Track
AIware
Industry Demo Track
Workshops
A-Mobile
AgenticSE
AISM
ASYDE
Code Completion Challenge
Ex-ASE
Intelligent SE
MAS-GAIN
VARSE
Co-hosted Symposia
SSBSE
SSBSE
SSBSE
Hot-off-the-Press
SSBSE
Keynote
SSBSE
RENE/NIER
SSBSE
Research Papers
SSBSE
Challenge
Organization
ASE 2025 Committees
Organizing Committee
Track Committees
Research Papers
Journal-First
Industry Showcase
NIER
Tool Demonstration Track
Workshops
Doctoral Symposium
Doctoral Symposium Committee
Doctoral Symposium Panel
New Faculty Symposium
Student Research Competition
Student Research Competition Chair
Judge
Program Committee
Tutorials
Student Volunteers
Contributors
People Index
Co-hosted Conferences
AIware
Steering Committee
Organizing Committee
Main Track
ArXiv Track
Benchmark & Dataset Track
Workshops
A-Mobile
Organising Committee
Program Committee
AgenticSE
N/A - check homepage
AISM
N/A - check homepage
ASYDE
N/A - check homepage
Code Completion Challenge
Organizing committee
Ex-ASE
N/A - check homepage
Intelligent SE
N/A - check homepage
MAS-GAIN
Organizing Committee
Steering Committee
Program Committee
VARSE
N/A - check homepage
Co-hosted Symposia
SSBSE
Organizing Committee
Steering Committee
Hot-off-the-Press
RENE/NIER
Research Papers
SSBSE Challenge
Search
Series
Series
ASE 2026
ASE 2025
ASE 2024
ASE 2023
ASE 2022
ASE 2021
ASE 2020
ASE 2019
Past Editions
Sign in
Sign up
ASE 2025
(
series
) /
AISM 2025 (
series
) /
AISM 2025
/
Grammar- and Coverage-based Augmentation of Programs for Training LLMs
Who
Shin Saito
,
Takaaki Tateishi
,
Yasuharu KATSUNO
Track
AISM 2025
Program Display Configuration
Time Zone
The program is currently displayed in
(GMT+09:00) Seoul
.
Use conference time zone: (GMT+09:00) Seoul
Select other time zone
(GMT-12:00) AoE (Anywhere On Earth)
(GMT-11:00) Midway Island, Samoa
(GMT-10:00) Hawaii-Aleutian
(GMT-10:00) Hawaii
(GMT-09:30) Marquesas Islands
(GMT-09:00) Gambier Islands
(GMT-09:00) Alaska
(GMT-08:00) Tijuana, Baja California
(GMT-08:00) Pitcairn Islands
(GMT-08:00) Pacific Time (US & Canada)
(GMT-07:00) Mountain Time (US & Canada)
(GMT-06:00) Chihuahua, La Paz, Mazatlan
(GMT-07:00) Arizona
(GMT-06:00) Saskatchewan, Central America
(GMT-05:00) Guadalajara, Mexico City, Monterrey
(GMT-05:00) Easter Island
(GMT-06:00) Central Time (US & Canada)
(GMT-05:00) Eastern Time (US & Canada)
(GMT-05:00) Cuba
(GMT-05:00) Bogota, Lima, Quito, Rio Branco
(GMT-04:00) Caracas
(GMT-03:00) Santiago
(GMT-04:00) La Paz
(GMT-03:00) Faukland Islands
(GMT-04:00) Manaus, Amazonas, Brazil
(GMT-04:00) Atlantic Time (Goose Bay)
(GMT-04:00) Atlantic Time (Canada)
(GMT-03:30) Newfoundland
(GMT-03:00) UTC-3
(GMT-03:00) Montevideo
(GMT-03:00) Miquelon, St. Pierre
(GMT-03:00) Greenland
(GMT-03:00) Buenos Aires
(GMT-03:00) Brasilia, Distrito Federal, Brazil
(GMT-02:00) Mid-Atlantic
(GMT-01:00) Cape Verde Is.
(GMT-01:00) Azores
(UTC) Coordinated Universal Time
(GMT) Belfast
(GMT) Dublin
(GMT) Lisbon
(GMT) London
(GMT) Monrovia, Reykjavik
(GMT+01:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
(GMT+01:00) Belgrade, Bratislava, Budapest, Ljubljana, Prague
(GMT+01:00) Brussels, Copenhagen, Madrid, Paris
(GMT+01:00) West Central Africa
(GMT+02:00) Windhoek
(GMT+02:00) Athens
(GMT+02:00) Beirut
(GMT+02:00) Cairo
(GMT+02:00) Gaza
(GMT+02:00) Harare, Pretoria
(GMT+02:00) Jerusalem
(GMT+03:00) Minsk
(GMT+03:00) Syria
(GMT+03:00) Moscow, St. Petersburg, Volgograd
(GMT+03:00) Nairobi
(GMT+03:30) Tehran
(GMT+04:00) Abu Dhabi, Muscat
(GMT+04:00) Yerevan
(GMT+04:30) Kabul
(GMT+05:00) Ekaterinburg
(GMT+05:00) Tashkent
(GMT+05:30) Chennai, Kolkata, Mumbai, New Delhi
(GMT+05:45) Kathmandu
(GMT+06:00) Astana, Dhaka
(GMT+07:00) Novosibirsk
(GMT+06:30) Yangon (Rangoon)
(GMT+07:00) Bangkok, Hanoi, Jakarta
(GMT+07:00) Krasnoyarsk
(GMT+08:00) Beijing, Chongqing, Hong Kong, Urumqi
(GMT+08:00) Irkutsk, Ulaan Bataar
(GMT+08:00) Perth
(GMT+08:45) Eucla
(GMT+09:00) Osaka, Sapporo, Tokyo
(GMT+09:00) Seoul
(GMT+09:00) Yakutsk
(GMT+10:30) Adelaide
(GMT+09:30) Darwin
(GMT+10:00) Brisbane
(GMT+11:00) Hobart
(GMT+10:00) Vladivostok
(GMT+11:00) Lord Howe Island
(GMT+11:00) Solomon Is., New Caledonia
(GMT+11:00) Magadan
(GMT+12:00) Norfolk Island
(GMT+12:00) Anadyr, Kamchatka
(GMT+13:00) Auckland, Wellington
(GMT+12:00) Fiji, Kamchatka, Marshall Is.
(GMT+13:45) Chatham Islands
(GMT+13:00) Nuku'alofa
(GMT+14:00) Kiritimati
The GMT offsets shown reflect the offsets
at the moment of the conference
.
Time Band
By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.
Display full program
Specify a time band
-
Save
When
Thu 20 Nov 2025 11:20 - 11:30 at
Grand Hall 2
-
AISM Workshop Second Session
Shin Saito
Japan
Takaaki Tateishi
IBM Research - Tokyo
Yasuharu KATSUNO
Program Display Configuration
Time Zone
The program is currently displayed in
(GMT+09:00) Seoul
.
Use conference time zone: (GMT+09:00) Seoul
Select other time zone
(GMT-12:00) AoE (Anywhere On Earth)
(GMT-11:00) Midway Island, Samoa
(GMT-10:00) Hawaii-Aleutian
(GMT-10:00) Hawaii
(GMT-09:30) Marquesas Islands
(GMT-09:00) Gambier Islands
(GMT-09:00) Alaska
(GMT-08:00) Tijuana, Baja California
(GMT-08:00) Pitcairn Islands
(GMT-08:00) Pacific Time (US & Canada)
(GMT-07:00) Mountain Time (US & Canada)
(GMT-06:00) Chihuahua, La Paz, Mazatlan
(GMT-07:00) Arizona
(GMT-06:00) Saskatchewan, Central America
(GMT-05:00) Guadalajara, Mexico City, Monterrey
(GMT-05:00) Easter Island
(GMT-06:00) Central Time (US & Canada)
(GMT-05:00) Eastern Time (US & Canada)
(GMT-05:00) Cuba
(GMT-05:00) Bogota, Lima, Quito, Rio Branco
(GMT-04:00) Caracas
(GMT-03:00) Santiago
(GMT-04:00) La Paz
(GMT-03:00) Faukland Islands
(GMT-04:00) Manaus, Amazonas, Brazil
(GMT-04:00) Atlantic Time (Goose Bay)
(GMT-04:00) Atlantic Time (Canada)
(GMT-03:30) Newfoundland
(GMT-03:00) UTC-3
(GMT-03:00) Montevideo
(GMT-03:00) Miquelon, St. Pierre
(GMT-03:00) Greenland
(GMT-03:00) Buenos Aires
(GMT-03:00) Brasilia, Distrito Federal, Brazil
(GMT-02:00) Mid-Atlantic
(GMT-01:00) Cape Verde Is.
(GMT-01:00) Azores
(UTC) Coordinated Universal Time
(GMT) Belfast
(GMT) Dublin
(GMT) Lisbon
(GMT) London
(GMT) Monrovia, Reykjavik
(GMT+01:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
(GMT+01:00) Belgrade, Bratislava, Budapest, Ljubljana, Prague
(GMT+01:00) Brussels, Copenhagen, Madrid, Paris
(GMT+01:00) West Central Africa
(GMT+02:00) Windhoek
(GMT+02:00) Athens
(GMT+02:00) Beirut
(GMT+02:00) Cairo
(GMT+02:00) Gaza
(GMT+02:00) Harare, Pretoria
(GMT+02:00) Jerusalem
(GMT+03:00) Minsk
(GMT+03:00) Syria
(GMT+03:00) Moscow, St. Petersburg, Volgograd
(GMT+03:00) Nairobi
(GMT+03:30) Tehran
(GMT+04:00) Abu Dhabi, Muscat
(GMT+04:00) Yerevan
(GMT+04:30) Kabul
(GMT+05:00) Ekaterinburg
(GMT+05:00) Tashkent
(GMT+05:30) Chennai, Kolkata, Mumbai, New Delhi
(GMT+05:45) Kathmandu
(GMT+06:00) Astana, Dhaka
(GMT+07:00) Novosibirsk
(GMT+06:30) Yangon (Rangoon)
(GMT+07:00) Bangkok, Hanoi, Jakarta
(GMT+07:00) Krasnoyarsk
(GMT+08:00) Beijing, Chongqing, Hong Kong, Urumqi
(GMT+08:00) Irkutsk, Ulaan Bataar
(GMT+08:00) Perth
(GMT+08:45) Eucla
(GMT+09:00) Osaka, Sapporo, Tokyo
(GMT+09:00) Seoul
(GMT+09:00) Yakutsk
(GMT+10:30) Adelaide
(GMT+09:30) Darwin
(GMT+10:00) Brisbane
(GMT+11:00) Hobart
(GMT+10:00) Vladivostok
(GMT+11:00) Lord Howe Island
(GMT+11:00) Solomon Is., New Caledonia
(GMT+11:00) Magadan
(GMT+12:00) Norfolk Island
(GMT+12:00) Anadyr, Kamchatka
(GMT+13:00) Auckland, Wellington
(GMT+12:00) Fiji, Kamchatka, Marshall Is.
(GMT+13:45) Chatham Islands
(GMT+13:00) Nuku'alofa
(GMT+14:00) Kiritimati
The GMT offsets shown reflect the offsets
at the moment of the conference
.
Time Band
By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.
Display full program
Specify a time band
-
Save
Session Program
Thu 20 Nov
Displayed time zone:
Seoul
change
10:30 - 12:30
AISM Workshop Second Session
AISM
at
Grand Hall 2
10:30
35m
Keynote
Benchmarking GenAI for Software Engineering: Challenges and Insights
AISM
Marco Vieira
University of North Carolina at Charlotte
11:05
15m
Long-paper
Uncovering Code Insights: Leveraging GitHub Artifacts for Deeper Code Understanding
AISM
Ziv Nevo
IBM Research
,
Orna Raz
,
Karen Yorav
IBM Research
11:20
10m
Short-paper
Grammar- and Coverage-based Augmentation of Programs for Training LLMs
AISM
Shin Saito
,
Takaaki Tateishi
IBM Research - Tokyo
,
Yasuharu KATSUNO
11:30
10m
Short-paper
Microservices Identification Using LLM
AISM
Jay Gandhi
TCS Research, Tata Consultancy Services
,
Raveendra Kumar Medicherla
TCS Research, Tata Consultancy Services
,
Manasi Patwardhan
TCS Research
,
Dipesh Sharma
TCS Research, Tata Consultancy Services
,
Ravindra Naik
11:40
10m
Short-paper
LLM Agents for Automated Dependency Upgrades
AISM
Vali Tawosi
J.P. Morgan AI Research
,
Salwa Alamir
J.P. Morgan AI Research
,
Xiaomo Liu
J.P. Morgan AI Research
,
Manuela Veloso
11:50
10m
Other
Q&A for Session 2
AISM
12:00
30m
Panel
AI for Software Modernization
AISM
x
Sun 7 Dec 22:29