Kai Jia -

Registered user since Fri 17 Sep 2021

Name:Kai Jia

Country:United States

Affiliation:Massachusetts Institute of Technology

Personal website: https://jiakai.xyz/

GitHub: https://github.com/jia-kai

Contributions

2023

Static Analysis Symposium

Committee Member in Artifact Evaluation Committee within the SAS 2023 Artifacts-track

2022

Static Analysis Symposium

Committee Member in Artifact Evaluation Committee within the SAS 2022 Artifacts-track

2021

Static Analysis Symposium

Author of Exploiting Verified Neural Networks via Floating Point Numerical Error within the SAS-track
Author of Verifying Low-dimensional Input Neural Networks via Input Quantization within the SAS-track