Write a Blog >>
ICSE 2020
Mon 5 - Sun 11 October 2020 Yongsan-gu, Seoul, South Korea

Registered user since Sun 17 Dec 2017

Name: Zhenbang Chen

Country: China

Affiliation: College of Computer, National University of Defense Technology, Changsha, PR China

Personal website: http://zbchen.github.io

Research interests: Program analysis, Formal methods and their applications


ICSE 2020Author of MPI-SV: A Symbolic Verifier for MPI Programs within the Demonstrations-track
Author of Symbolic Verification of Message Passing Interface Programs within the Technical Papers-track
Show activities from other conferences

Using general profile