Write a Blog >>
ICSE 2020
Wed 24 June - Thu 16 July 2020

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

Contributions

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