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 2023
APLAS 2022
APLAS 2021
APLAS 2020
APLAS 2019
Sign in
Sign up
APLAS 2023 (
series
) /
Wei-Ngan Chin
APLAS 2023 profile
conf.research.org general profile
APLAS 2019 profile
ICFP 2022 profile
PEPM 2015 profile
PLDI 2015 profile
POPL 2017 profile
POPL 2018 profile
POPL 2019 profile
POPL 2021 profile
POPL 2022 profile
SPLASH 2010 profile
SPLASH 2011 profile
SPLASH 2016 profile
SPLASH 2021 profile
SPLASH 2022 profile
Registered user since Mon 18 Oct 2021
Name:
Wei-Ngan Chin
Affiliation:
National University of Singapore
Contributions
2023
APLAS
Incorrectness Proofs for Object-Oriented Programs via Subclass Reflection
Show activities from other conferences
Share
Using general profile
x
Thu 7 Dec 23:57