Write a Blog >>
Bui Phi Diep

Registered user since Wed 8 Mar 2017

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

Contributions

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