Minh-Thai Trinh

Registered user since Mon 13 Apr 2015

Name: Minh-Thai Trinh

Affiliation: National University of Singapore

Personal website: http://www.comp.nus.edu.sg/~trinhmt/

Research interests: Automated Program Verification, Theorem Proving, Program Analysis, Web Security, Constraint Solving


PLDI 2015 Automatic Induction Proofs of Data-Structures in Imperative Programs
Show activities from other conferences

PLDI 2015-profile
View general profile