ASE 2023
Mon 11 - Fri 15 September 2023
Kirchberg, Luxembourg
Toggle navigation
Attending
Venue: European Convention Center Luxembourg (ECCL)
Registration
Author Information
Accommodation
Social Activities
Travel Support
Program
Complete Program
Your Program
Schedule Overview
Keynote
Mon 11 Sep
Tue 12 Sep
Wed 13 Sep
Thu 14 Sep
Fri 15 Sep
Tracks
ASE 2023
Research Papers
SATE - Software Engineering at the Era of LLMs
Keynotes
Journal-first Papers
Industry Showcase (Papers)
Industry Challenge (Competition)
Doctoral Forum
New Faculty Symposium
NIER Track
Tool Demonstrations
Tutorials
Most Influential Papers (MIP)
Workshops
[Workshop] ASYDE
[Workshop] CPAchecker
[Workshop] A-Mobile
[Workshop] HCSE-CS
[Workshop] A-TEST
Social Events
Organization
ASE 2023 Committees
Organizing Committee
Track Committees
Research Papers
Research Papers Chair
Program Committee
SATE - Software Engineering at the Era of LLMs
Journal-first Papers
Journal-first Papers Chair
Program Committee
Industry Showcase (Papers)
Industry Showcase Chairs
Program Committee
Industry Challenge (Competition)
Industry Challenge Chairs
Program Committee
Doctoral Forum
Doctoral Forum Chair
Expert Panel Members
New Faculty Symposium
NIER Track
NIER Chairs
Program Committee
Tool Demonstrations
Tool Demonstrations Chair
Program Committee
Tutorials
Tutorials Chair
Program Committee
Most Influential Papers (MIP)
Most Influential Papers (MIP) Chair
Program Committee
Workshops
Contributors
People Index
Search
Series
Series
ASE 2024
ASE 2023
ASE 2022
ASE 2021
ASE 2020
ASE 2019
Past Editions
Sign in
Sign up
ASE 2023
(
series
) /
European Convention Center Luxembourg (ECCL)
/
Room information: Room A
Venue
European Convention Center Luxembourg (ECCL)
Room name
Room A
Floor
0
Room Information
No extra information available
Program
Detailed Table
Session Timeline
Detailed Timeline
Program Display Configuration
Time Zone
The program is currently displayed in
(GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
.
Use conference time zone: (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
Select other time zone
(GMT-12:00) AoE (Anywhere On Earth)
(GMT-11:00) Midway Island, Samoa
(GMT-09:00) Hawaii-Aleutian
(GMT-10:00) Hawaii
(GMT-09:30) Marquesas Islands
(GMT-09:00) Gambier Islands
(GMT-08:00) Alaska
(GMT-07:00) Tijuana, Baja California
(GMT-08:00) Pitcairn Islands
(GMT-07:00) Pacific Time (US & Canada)
(GMT-06: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-05:00) Central Time (US & Canada)
(GMT-04:00) Eastern Time (US & Canada)
(GMT-04: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-03:00) Atlantic Time (Goose Bay)
(GMT-03:00) Atlantic Time (Canada)
(GMT-02:30) Newfoundland
(GMT-03:00) UTC-3
(GMT-03:00) Montevideo
(GMT-02:00) Miquelon, St. Pierre
(GMT-02: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) Azores
(UTC) Coordinated Universal Time
(GMT+01:00) Belfast
(GMT+01:00) Dublin
(GMT+01:00) Lisbon
(GMT+01:00) London
(GMT) Monrovia, Reykjavik
(GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
(GMT+02:00) Belgrade, Bratislava, Budapest, Ljubljana, Prague
(GMT+02:00) Brussels, Copenhagen, Madrid, Paris
(GMT+01:00) West Central Africa
(GMT+02:00) Windhoek
(GMT+03:00) Athens
(GMT+03:00) Beirut
(GMT+02:00) Cairo
(GMT+03:00) Gaza
(GMT+02:00) Harare, Pretoria
(GMT+03: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+09:30) Adelaide
(GMT+09:30) Darwin
(GMT+10:00) Brisbane
(GMT+10:00) Hobart
(GMT+10:00) Vladivostok
(GMT+10:30) Lord Howe Island
(GMT+11:00) Solomon Is., New Caledonia
(GMT+11:00) Magadan
(GMT+11:00) Norfolk Island
(GMT+12:00) Anadyr, Kamchatka
(GMT+12:00) Auckland, Wellington
(GMT+12:00) Fiji, Kamchatka, Marshall Is.
(GMT+12: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
×
You're viewing the program in a time zone which is different from your device's time zone
change time zone
Mon 11 Sep
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
08:45 - 09:00
Opening
Doctoral Forum
at
Room A
09:00 - 10:00
Invited Talk
Doctoral Forum
at
Room A
09:00
60m
Talk
Invited Talk
Doctoral Forum
Lionel Briand
University of Luxembourg; University of Ottawa
10:30 - 12:00
Presentations 1
Doctoral Forum
at
Room A
10:30
30m
Talk
Early Detection of Defects in Machine Learning Programs by Semi-Static Analysis
Doctoral Forum
Yiran Wang
Linköping University
11:00
30m
Talk
Mutation Testing for supporting Smart Contract code inspection
Doctoral Forum
Morena Barboni
University of Camerino
11:30
30m
Talk
Failure-based Testing: A Testing Paradigm in the Era of Large Language Models
Doctoral Forum
Li Tsz On
The Hong Kong University of Science and Technology
13:30 - 15:00
Presentations 2
Doctoral Forum
at
Room A
13:30
30m
Talk
Deferring Partial Analysis Execution for Soundness
Doctoral Forum
Anemone Kampkötter
TU Dortmund
14:00
30m
Talk
Improve the Performance of Large Language Models on Code Generation
Doctoral Forum
Jinhao Dong
Peking University
14:30
30m
Talk
Analysis and Tool-Support for Scalable and Reliable Imperative Deep Learning Programs
Doctoral Forum
Tatiana Castro Vélez
City University of New York (CUNY) Graduate Center
15:30 - 16:30
Speed-mentoring session
Doctoral Forum
at
Room A
15:30
60m
Social Event
Speed-mentoring session
Doctoral Forum
Mon 11 Sep
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
Room
8:00
30
9:00
30
10:00
30
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
16:00
30
Room A
Doctoral Forum
Opening
Doctoral Forum
Invited Talk
Doctoral Forum
Presentations 1
Doctoral Forum
Presentations 2
Doctoral Forum
Speed-mentoring session
Mon 11 Sep
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
Room
9:00
15
30
45
10:00
15
30
45
11:00
15
30
45
12:00
15
30
45
13:00
15
30
45
14:00
15
30
45
15:00
15
30
45
16:00
15
30
45
Room A
ASE Doctoral Forum
Invited Talk
09:00 - 10:00
ASE Doctoral Forum
Early Detection of Defects in Machine Learning Programs by Semi-Static ...
10:30 - 11:00
ASE Doctoral Forum
Mutation Testing for supporting Smart Contract code inspection
11:00 - 11:30
ASE Doctoral Forum
Failure-based Testing: A Testing Paradigm in the Era of Large Language ...
11:30 - 12:00
ASE Doctoral Forum
Deferring Partial Analysis Execution for Soundness
13:30 - 14:00
ASE Doctoral Forum
Improve the Performance of Large Language Models on Code Generation
14:00 - 14:30
ASE Doctoral Forum
Analysis and Tool-Support for Scalable and Reliable Imperative Deep Lea ...
14:30 - 15:00
ASE Doctoral Forum
Speed-mentoring session
15:30 - 16:30
x
Mon 29 Apr 10:15