Collaborated with:P.A.Abdulla M.F.Atig Y.Chen L.Holík A.Rezine P.Rümmer
Talks about:constraint (1) framework (1) flatten (1) conquer (1) analysi (1) string (1) effici (1)
Person: Bui Phi Diep
DBLP: Diep:Bui_Phi
Contributed to:
2017Wrote 1 papers:
- PLDI-2017-AbdullaACDHRR #analysis #constraints #framework #performance #string
- Flatten and conquer: a framework for efficient analysis of string constraints (PAA, MFA, YFC, BPD, LH, AR, PR), pp. 602–617.