APLAS 2023
Sun 26 - Wed 29 November 2023
Taipei, Taiwan
Toggle navigation
Attending
Venue: IIS, Academia Sinica
Registration
Visa for Taiwan
PRC Passport Holders
Accommodation
Food and Drink
Excursion
Program
Complete Program
Your Program
Filter by Day
Mon 20 Nov
Tue 21 Nov
Wed 22 Nov
Thu 23 Nov
Fri 24 Nov
Sat 25 Nov
Sun 26 Nov
Mon 27 Nov
Tue 28 Nov
Wed 29 Nov
Tracks
APLAS 2023
APLAS 2023
SRC & Posters
APLAS NIER
Co-hosted Events
AIM XXXVII
Organization
APLAS 2023 Committees
Track Committees
APLAS 2023
Organizing Committee
APLAS 2023
Program Committee
APLAS 2023
Steering Committee
SRC & Posters
Organiser
SRC & Posters
Judges
SRC & Posters
Selection Committee
Contributors
People Index
Co-hosted Events
AIM XXXVII
N/A - check homepage
About the Logo
Search
Series
Series
APLAS 2024
APLAS 2023
APLAS 2022
APLAS 2021
APLAS 2020
APLAS 2019
Sign in
Sign up
APLAS 2023 (
series
) /
Yahui Song
APLAS 2023 profile
conf.research.org general profile
Registered user since Tue 21 Aug 2018
Name:
Yahui Song
Contributions
2023
APLAS
Incorrectness Proofs for Object-Oriented Programs via Subclass Reflection
Show activities from other conferences
Share
APLAS 2023-profile
View general profile
x
Wed 16 Oct 04:15