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

2022

PLDI

Author of (PLDI 2020) Efficient Handling of String-Number Conversion within the SIGPLAN Track-track

2021

SPLASH

Author of Efficient Handling of String-Number Conversion within the SIGPLAN Papers-track

APLAS

Author of Solving Not-Substring with Flat Abstraction within the Research Papers-track

2020

PLDI

2019

ECOOP

Committee Member in Program Committee within the Doctoral Symposium-track

2017

PLDI

Author of Flatten and Conquer (A Framework for Efficient Analysis of String Constraints) within the PLDI Research Papers-track