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
Bureau: 2nd étage, "escalier de la direction", see the map


  • 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]