Registered user since Thu 3 May 2018
Name:Peizun Liu
Affiliation:Northeastern University, USA
Personal website:http://www.ccs.neu.edu/home/lpzun/
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
View general profile