Qianshan Yu -

Registered user since Thu 29 Oct 2020

Name: Qianshan Yu

Affiliation: Tsinghua University

Research interests: software verification, regression verification, program analysis

Contributions

SPLASH 2020	Author of Incremental Predicate Analysis for Regression Verification within the Posters-track Author of Incremental Predicate Analysis for Regression Verification within the OOPSLA-track
ICSE 2019	Author of Enhancing Precision of Structured Merge by Proper Tree Matching within the Posters-track