conf.researchr.org / Liqian Chen
Liqian Chen

Registered user since Tue 6 Nov 2018

Name:Liqian Chen
Country:China
Affiliation:National University of Defense Technology, China
Personal website:http://lqchen.github.io/
Research interests:Program analysis/verification, Abstract interpretation, Automated program repair

Contributions

SAS 2022 Committee Member in Program Committee within the SAS 2022 Papers-track
NSAD 2020 Author of Rigorous Linear Programming Techniques for Numerical Abstract Domains within the NSAD-track
Session Chair of Papers (part of NSAD)
Co-chair in Organizing Committee within the NSAD-track
ESEC/FSE 2020 Author of Detecting Numerical Bugs in Neural Network Architectures within the Research Papers-track
POPL 2019 Author of Efficient Automated Repair of High Floating-Point Errors in Numerical Libraries within the Research Papers-track
VMCAI 2017 Author of Block-wise abstract interpretation by combining abstract domains with SMT within the VMCAI-track