Zhe Chen -

Registered user since Mon 17 May 2021

Name:Zhe Chen

Country:China

Affiliation:Nanjing University of Aeronautics and Astronautics

Personal website:https://drzchen.github.io/

Research interests:Formal Methods, Software Verification, Model Checking, Runtime Verification

Contributions

ISSTA 2021	Author of Runtime Detection of Memory Errors with Smart Status within the Technical Papers-track Author of Runtime Detection of Memory Errors with Smart Status within the Artifact Evaluation-track
ICSE 2022	Author of A Dynamic Analysis Tool for Memory Safety Based on Smart Status and Source-Level Instrumentation within the DEMO - Demonstrations-track
ISSTA 2019	Author of Detecting Memory Errors at Runtime with Source-Level Instrumentation within the Technical Papers-track
* ICSE 2018 *	Author of Poster W23: Deciding Weak Monitorability for Runtime Verification within the Posters -track Author of Poster T22: Runtime Verification of Memory Safety via Source Transformation within the Posters -track Author of Poster W36: Beyond Spatial and Temporal Memory Safety within the Posters -track