PLDI 2020
Mon 15 - Sat 20 June 2020 London, United Kingdom
Phi-Diep Bui

Registered user since Wed 8 Mar 2017

Name: Phi-Diep Bui

Country: Sweden

Affiliation: Uppsala University

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

Research interests: Program Verification, Constraint Solving

Contributions

PLDI 2020Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Show activities from other conferences

Using general profile