Write a Blog >>
Bui Phi Diep

Registered user since Wed 8 Mar 2017

Name:Bui Phi Diep
Affiliation:Uppsala University
Personal website:https://diepbp.github.io/
Research interests:Program Verification, Constraint Solving


PLDI 2017 Flatten and Conquer (A Framework for Efficient Analysis of String Constraints)
Show activities from other conferences

PLDI, ECOOP, Curry On, DEBS, LCTES and ISMM-profile
View general profile