Output details
11 - Computer Science and Informatics
Queen Mary University of London
Article title
Compositional Shape Analysis by Means of Bi-Abduction
Type
D - Journal article
Title of journal
Journal of the ACM
Article number
ARTN 26
Volume number
58
Issue number
6
First page of article
26
ISSN of journal
0004-5411
Year of publication
2011
URL
Number of additional authors
3
Additional information
<11>This paper is the first to take automatic program shape analysis to millions of lines of code. The new approach is based on abductive inference, a technique not previously used in program verification, but that, following this paper, is becoming widely used. Besides being influential in the research community, our approach forms the basis of Monoidics Ltd's technology (customers include Airbus, Arm, Mitsubishi), recently sold to Facebook. This paper led to the 2012 Needham Award and keynote addresses at international conferences (Static Analysis Symposium 2012, Asian Symposium on Programming Languages and Systems 2008, Formal Methods for Industrial Critical Systems 2009).
Interdisciplinary
-
Cross-referral requested
-
Research group
None
Citation count
1
Proposed double-weighted
No
Double-weighted statement
-
Reserve for a double-weighted output
No
Non-English
No
English abstract
-
