Publications

2020

• Efficient handling of string-number conversion. Parosh Aziz Abdulla, Mohamed Faouzi Atig, Yu-Fang Chen, Bui Phi Diep, Julian Dolby, Petr Janků, Hsin-Hung Lin, Lukáš Holík, Wei-Cheng Wu. PLDI’20. PDF Github

2019

• Chain-Free String Constraints. Parosh Aziz Abdulla, Mohamed Faouzi Atig, Bui Phi Diep, Lukáš Holík, Petr Janků. ATVA’18. Github Springer Best Paper Award.

2018

• Trau: SMT Solver for String Consraints. Parosh Aziz Abdulla, Mohamed Faouzi Atig, Yu-Fang Chen, Bui Phi Diep, Lukáš Holík, Ahmed Rezine, and Philipp Rümmer. FMCAD’18. Slides Github

2017

• Flatten and Conquer: A Framework for Efficient Analysis of String Constraints. Parosh Aziz Abdulla, Mohamed Faouzi Atig, Yu-Fang Chen, Bui Phi Diep, Lukáš Holík, Ahmed Rezine, and Philipp Rümmer. PLDI’17. PDF Slides Github

2016

• Counter-Example Guided Program Verification. Parosh Aziz Abdulla, Mohamed Faouzi Atig, and Bui Phi Diep. FM’16. PDF Slides Springer