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