Liqian Chen

Learn More
The polyhedra abstract domain is one of the most powerful and commonly used numerical abstract domains in the field of static program analysis based on abstract interpretation. In this paper, we present an implementation of the polyhedra domain using floating-point arithmetic without sacrificing sound-ness. Floating-point arithmetic allows a compact memory(More)
We introduce a new numerical abstract domain, so-called interval polyhedra (itvPol), to infer and propagate interval linear constraints over program variables. itvPol, which allows to represent constraints of the form k [a k , b k ]x k ≤ c, is more expressive than the classic convex polyhedra domain and allows to express certain non-convex (even(More)
We introduce a new abstract domain, namely the domain of Interval Linear Equalities (itvLinEqs), which generalizes the affine equality domain with interval coefficients by leveraging results from interval linear algebra. The representation of itvLinEqs is based on a row echelon system of interval linear equalities , which natively allows expressing(More)
Linear relation analysis (polyhedral analysis), devoted to discovering linear invariant relations among variables of a program, remains one of the most powerful abstract interpretations but is subject to convexity limitations. Absolute value enjoys piecewise linear expressiveness and thus natively fits to encode certain non-convex properties. Based on this(More)
INTRODUCTION There is growing interest in the use of low tidal volume ventilation in patients undergoing general anaesthesia. However, its potential benefit has long been debated and conflicting results have been reported. We describe here the protocol of a systematic review and meta-analysis for investigating the beneficial effects of low tidal volume(More)
Embedded software often involves intensive numerical computations and suffers from a number of runtime errors. The technique of numerical static analysis is of practical importance for checking the correctness of embedded software. However, most of the existing approaches of numerical static analysis consider sequential programs, while interrupts are a(More)