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

Browse the full PLDI paper archive.