This is the web page of Jiangchao Liu, Ph.D. student in computer science.
Personal information:
I'm doing my Ph.D. at ENS Paris (in France), under the supervision of
Xavier Rival.
I am working on static analysis of operating systems components manipulating complex data structures.
E-mail: jliu A T di.ens.fr
Bureau: 2nd étage, "escalier de la direction", see the
map
Publications:
An array content static analysis based on non-contiguous partitions.
Jiangchao Liu and Xavier Rival.
In Computer Languages, Systems and Structures, Elsevier, 2017, 47(1), pp.104-129.
[.pdf]
Abstraction of Optional Numerical Values.
Jiangchao Liu and Xavier Rival.
In Asian Symposium on Programming Languages and Systems (APLAS'15), pp.90--108.
[.pdf]
Abstraction of arrays based on non contiguous partitions.
Jiangchao Liu and Xavier Rival.
In Verification, Model Checking and Abstract Interpretation (VMCAI'15), pp.282-199
[.pdf]
An abstract domain to infer octagonal constraints with absolute value.
Liqian Chen, Jiangchao Liu, Antoine Miné, Deepak Kapur and Ji Wang.
In Static Analysis Symposium (SAS'14), pp.101-117
[.pdf]