• Sign in
  • Sign up
conf.researchr.org / Bui Phi Diep
  • ECOOP 2019 profile
  • PLDI 2020 profile
  • PLDI 2022 profile
  • PLDI, ECOOP, Curry On, DEBS, LCTES and ISMM profile
  • SPLASH 2021 profile
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

  • 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

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
Share
xSun 22 Jun 00:48
using conf.researchr.org (v1.69.0)
Support page
Sign Up