Write a Blog >>
PLDI 2020
Mon 15 - Fri 19 June 2020
Chengyu Zhang

Registered user since Thu 25 Jan 2018

Name: Chengyu Zhang

Country: China

Affiliation: East China Normal University

Personal website: http://www.chengyuzhang.com

Research interests: Software Testing, Symbolic Execution, Program Analysis


PLDI 2020Author of Validating SMT Solvers via Semantic Fusion within the PLDI Research Papers-track
Show activities from other conferences

PLDI 2020-profile
View general profile