Liqian Chen

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 18
Fax: +33 1 44 32 20 15

Research Interests:

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

Publications:

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