Liqian Chen

I have moved to NUDT in China.

Joint PhD candidate in the Abstract Interpretation and Semantics group of Patrick Cousot, at LIENS (Computer Science Laboratory of Ecole Normale Supérieure).

Contact:

Département d'Informatique
Ecole Normale Supérieure
45, rue d'Ulm
75230 Paris Cedex 05 - France

E-mail: liqian.chen@ens.fr
Téléphone: +33 1 44 32 21 64
Fax: +33 1 44 32 20 15

Research Interests:

My research interests include program analysis/verification, abstract interpretation. In particular, I am interested in numerical abstract domains and numerical static analysis.

Publications:

Liqian Chen, Antoine Miné, Ji Wang and Patrick Cousot. Linear Absolute Value Relation Analysis. In Proc. of the 20th European Symposium on Programming(ESOP 2011), volume 6602 of LNCS, pages 156--175, Springer, Saarbrücken, Germany, Mar 30--Apr 1, 2011.

Download: PDF PS.GZ Reference: Bibtex Original: SpringerLink Slides: PDF

Axel Simon and Liqian Chen. Simple and Precise Widenings for H-Polyhedra. In Proc. of the 8th Asian Symposium on Programming Languages and Systems (APLAS 2010), volume 6461 of LNCS, pages 139--155, Springer, Shanghai, China, Nov 28--Dec 1, 2010.

Download: PDF PS.GZ Reference: Bibtex Original: SpringerLink

Liqian Chen, Antoine Miné, Ji Wang and Patrick Cousot. An Abstract Domain to Discover Interval Linear Equalities. In Proc. of the 11th International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI 2010), volume 5944 of LNCS, pages 112--128, Springer, Madrid, Spain, Jan 17--19, 2010.

Download: PDF PS Reference: Bibtex Original: SpringerLink Slides: PDF

Liqian Chen, Antoine Miné, Ji Wang and Patrick Cousot. Interval Polyhedra: An Abstract Domain to Infer Interval Linear Relationships. In Proc. of the 16th International Static Analysis Symposium (SAS 2009), volume 5673 of LNCS, pages 309--325, Springer, Los Angeles, CA, USA, Aug 9--11, 2009.

Download: PDF PS Reference: Bibtex Original: SpringerLink

Liqian Chen, Antoine Miné and Patrick Cousot. A Sound Floating-Point Polyhedra Abstract Domain. In Proc. of the 6th Asian Symposium on Programming Languages and Systems (APLAS 2008), volume 5356 of LNCS, pages 3--18, Springer, Bangalore, India, Dec 9--11, 2008.

Download: PDF PS Reference: Bibtex Original: SpringerLink

Thesis:

Liqian Chen. Sound floating-point and non-convex static analysis using interval linear abstract domains. Phd Thesis, National University of Defense Technology, Changsha, China, April, 2010.

Abstract Bibtex