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 2022	Author of (PLDI 2020) Efficient Handling of String-Number Conversion within the SIGPLAN Track-track
SPLASH 2021	Author of Efficient Handling of String-Number Conversion within the SIGPLAN Papers-track
APLAS 2021	Author of Solving Not-Substring with Flat Abstraction within the Research Papers-track
PLDI 2020	Author 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 2019	Committee Member in Program Committee within the Doctoral Symposium-track
PLDI 2017	Author of Flatten and Conquer (A Framework for Efficient Analysis of String Constraints) within the PLDI Research Papers-track