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