• Sign in
  • Sign up
conf.researchr.org / Xin Yi
  • APSEC 2022 profile
  • ICST 2022 profile
  • POPL 2019 profile

Registered user since Sat 17 Feb 2018

Name:Xin Yi
Country:China
Affiliation:National University of Defense Technology
Research interests:Programming Languages, Numerical Software, Automated Program Repair

Contributions

APSEC 2022 Author of NumFuzz: A Floating-Point Format Aware Fuzzer for Numerical Programs within the Technical Track-track
Author of Detecting High Floating-Point Errors via Ranking Analysis within the Technical Track-track
ICST 2022 Author of Symbolic Verification of Message Signatures in MPI 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

Share
xTue 28 Mar 18:05
using conf.researchr.org (v1.60.0)
Support page
Sign Up