Write a Blog >>
PLDI 2021
Sun 20 - Sat 26 June 2021 Virtual Conference

Registered user since Fri 27 Feb 2015

Name: Ton Chanh Le

Affiliation: Stevens Institute of Technology

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

Research interests: Software Verification, Program Analysis, Separation Logic, Termination, Non-Termination


PLDI 2021 Committee Member in Artifact Evaluation Committee within the Research Artifacts-track
Show activities from other conferences

Using general profile