Jiangchao Liu
Researcher
Computer Science Department
Ecole Normale Superieure (ENS)
France
Biography
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.
Research Interest
static analysis of operating systems components manipulating complex data structures.
Publications
-
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
-
Abstraction of Optional Numerical Values. Jiangchao Liu and Xavier Rival. In Asian Symposium on Programming Languages and Systems (APLAS'15), pp.90--108.
-
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
