Bui Phi Diep
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
7
Venues
5
Active years
2016–2021
Best venue rank
A*
Where they publish
Papers
7 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2021 | APLAS | Solving Not-Substring Constraint withFlat Abstraction. | Parosh Aziz Abdulla, Mohamed Faouzi Atig, Yu-Fang Chen, Bui Phi Diep, Luks Holk, Denghang Hu, Wei-Lun Tsai, Zhilin Wu, Di-De Yen |
| 2020 | FMCAD | Distributed Bounded Model Checking. | Prantik Chatterjee, Subhajit Roy, Bui Phi Diep, Akash Lal |
| 2020 | PLDI | Efficient handling of string-number conversion. | Parosh Aziz Abdulla, Mohamed Faouzi Atig, Yu-Fang Chen, Bui Phi Diep, Julian Dolby, Petr Janku, Hsin-Hung Lin, Luks Holk, Wei-Cheng Wu |
| 2019 | ATVA | Chain-Free String Constraints. | Parosh Aziz Abdulla, Mohamed Faouzi Atig, Bui Phi Diep, Luks Holk, Petr Janku |
| 2018 | FMCAD | Trau: SMT solver for string constraints. | Parosh Aziz Abdulla, Mohamed Faouzi Atig, Yu-Fang Chen, Bui Phi Diep, Luks Holk, Ahmed Rezine, Philipp Rmmer |
| 2017 | PLDI | Flatten and conquer: a framework for efficient analysis of string constraints. | Parosh Aziz Abdulla, Mohamed Faouzi Atig, Yu-Fang Chen, Bui Phi Diep, Luks Holk, Ahmed Rezine, Philipp Rmmer |
| 2016 | FM | Counter-Example Guided Program Verification. | Parosh Aziz Abdulla, Mohamed Faouzi Atig, Bui Phi Diep |