Registered user since Thu 3 May 2018

Name:Peizun Liu
Affiliation:Northeastern University, USA
Research interests:Program analysis, formal verification

Contributions

PLDI 2018 Author of CUBA: Interprocedural Context-UnBounded Analysis of Concurrent Programs within the PLDI Research Papers-track