Qianshan Yu -

Registered user since Thu 29 Oct 2020

Name:Qianshan Yu

Affiliation:Tsinghua University

Research interests:software verification, regression verification, program analysis

Contributions

2020

SPLASH

Author of Incremental Predicate Analysis for Regression Verification within the Posters-track
Author of Incremental Predicate Analysis for Regression Verification within the OOPSLA-track

2019

ICSE

Author of Enhancing Precision of Structured Merge by Proper Tree Matching within the Posters-track