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: Chen:Liqian
Contributed to:
2014
2013
2013
2011
20102009
2019Wrote 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.