BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Portugal
1 × Spain
1 × USA
3 × Germany
Collaborated with:
J.Wang A.Miné P.Cousot X.Mao R.Li X.Wu Z.Dai Y.Lei Xin Yi Tao Ji J.Liu D.Kapur
Talks about:
abstract (4) linear (3) interv (3) domain (3) analysi (2) absolut (2) specif (2) numer (2) infer (2) valu (2)

Person: Liqian Chen

DBLP DBLP: Chen:Liqian

Contributed to:

SAS 20142014
SAC 20132013
WCRE 20132013
ESOP 20112011
VMCAI 20102010
SAS 20092009
POPL 20192019

Wrote 7 papers:

SAS-2014-ChenLMKW #abstract domain #constraints
An Abstract Domain to Infer Octagonal Constraints with Absolute Value (LC, JL, AM, DK, JW), pp. 101–117.
SAC-2013-ChenLWW #abstraction #source code #static analysis
Static analysis of list-manipulating programs via bit-vectors and numerical abstractions (LC, RL, XW, JW), pp. 1204–1210.
WCRE-2013-DaiMLC #component #precise #specification
Leveraging specifications of subcomponents to mine precise specifications of composite components (ZD, XM, YL, LC), pp. 162–171.
ESOP-2011-ChenMWC #analysis #linear
Linear Absolute Value Relation Analysis (LC, AM, JW, PC), pp. 156–175.
VMCAI-2010-ChenMWC #abstract domain #linear
An Abstract Domain to Discover Interval Linear Equalities (LC, AM, JW, PC), pp. 112–128.
SAS-2009-ChenMWC #abstract domain #linear
Interval Polyhedra: An Abstract Domain to Infer Interval Linear Relationships (LC, AM, JW, PC), pp. 309–325.
POPL-2019-YiCMJ #automation #fault #float #library #performance
Efficient automated repair of high floating-point errors in numerical libraries (XY, LC, XM, TJ), p. 29.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.