Shengchao Qin -

Registered user since Thu 13 Nov 2014

Name: Shengchao Qin

Country: United Kingdom

Affiliation: University of Teesside

Research interests: Program Analysis and Verification

Contributions

ASE 2019	Author of Automatically 'Verifying' Complex Systems through Learning, Abstraction and Refinement within the Journal First Presentations-track Author of How Do API Selections Affect the Runtime Performance of Data Analytics Tasks? within the Research Papers-track
* ICSE 2018 *	Author of Poster T24: Testing Heap-Based Programs with Java StarFinder within the Posters -track Committee Member in Program Committee within the SRC - ACM Student Research Competition -track
PLDI 2015	Author of Termination and Non-Termination Specification Inference within the Research Papers-track