• Sign in
  • Sign up
conf.researchr.org / Qiuping Yi
  • ESEC/FSE 2018 profile
  • ICSE 2020 profile
  • PLDI 2024 profile
  • PLDI, ECOOP, Curry On, DEBS, LCTES and ISMM profile
Qiuping Yi

Registered user since Tue 10 Jan 2017

Name:Qiuping Yi
Country:China
Affiliation:Beijing University of Posts and Telecommunications
Personal website: https://sites.google.com/site/yiqiuping/home
Research interests:Testing, Verification, Concurrency, Debugging

Contributions

2024

PLDI

  • Author of Compatible Branch Coverage Driven Symbolic Execution for Efficient Bug Finding within the PLDI Research Papers-track

2020

ICSE

  • Author of Summary-Guided Incremental Symbolic Execution within the ICSE 2020 Posters-track

2018

ESEC/FSE

  • Author of Concurrency Verification with Maximal Path Causality within the Research Papers-track

2017

PLDI

  • Committee Member in Artifact Evaluation Committee
Share
xSat 14 Jun 02:46
using conf.researchr.org (v1.69.0)
Support page
Sign Up