Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Jialin Li
conf.researchr.org general profile
ICSE 2022 profile
POPL 2024 profile
VEE 2021 profile
Registered user since Tue 26 Jan 2021
Name:
Jialin Li
Affiliation:
National University of Singapore, Singapore
Contributions
2024
PROPL
Author of Formal Methods to Save the Earth within the PROPL-track
2022
ICSE
Author of Linear-time Temporal Logic guided Greybox Fuzzing within the Technical Track-track
2021
VEE
Committee Member in Program Committee
Session Chair of Virtualized Memory I (part of Research Papers)
Share
x
Thu 21 Nov 16:32