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 (PLDI 2020) Efficient Handling of String-Number Conversion
Show activities from other conferences

Using general profile