Write a Blog >>
LCTES 2018
co-located with PLDI 2018

Registered user since Thu 3 May 2018

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

Contributions

Show activities from other conferences

PLDI 2018-profile
View general profile