Registered user since Thu 3 May 2018

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

Contributions

PLDI 2018 CUBA: Interprocedural Context-UnBounded Analysis of Concurrent Programs
Show activities from other conferences

PLDI 2018-profile
View general profile