conf.researchr.org / Bui Phi Diep
Bui Phi Diep

Registered user since Wed 8 Mar 2017

Name: Bui Phi Diep

Affiliation: Uppsala University, Sweden

Personal website: https://diepbp.github.io/

Research interests: Program Verification, Constraint Solving

Contributions

PLDI 2020Author of Efficient Handling of String-Number Conversion within the PLDI Research Papers-track
Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
ECOOP 2019Committee Member in Program Committee within the Doctoral Symposium-track
PLDI 2017Author of Flatten and Conquer (A Framework for Efficient Analysis of String Constraints) within the PLDI Research Papers-track