Travelled to:1 × Germany
1 × India
Collaborated with:X.Rival L.Chen A.Miné D.Kapur J.Wang
Talks about:abstract (2) constraint (1) octagon (1) contigu (1) absolut (1) partit (1) domain (1) infer (1) array (1) valu (1)
Person: Jiangchao Liu
DBLP: Liu:Jiangchao
Contributed to:
2015
2014Wrote 2 papers:
- VMCAI-2015-LiuR #abstraction #array
- Abstraction of Arrays Based on Non Contiguous Partitions (JL, XR), pp. 282–299.
- SAS-2014-ChenLMKW #abstract domain #constraints
- An Abstract Domain to Infer Octagonal Constraints with Absolute Value (LC, JL, AM, DK, JW), pp. 101–117.