Output details
11 - Computer Science and Informatics
University College London
Return to search
Output 0 of 0 in the submission
Article title
Compositional Shape Analysis by Means of Bi-Abduction
Type
D - Journal article
Title of journal
Journal of the ACM
Article number
-
Volume number
58
Issue number
6
First page of article
1
ISSN of journal
0004-5411
Year of publication
2011
URL
-
Number of additional authors
3
Additional information
<11>Following our work (CAV'08) that took automatic proofs of pointer structures (“shape analysis”) from hundreds to ten thousand lines of code, this paper is the first taking shape analysis to millions of lines. It is based on a novel form of abductive inference, a concept from philosophy of science. Besides being influential in the research community, this work led to the founding of the SME Monodics, which used the paper's algorithms. Monoidics' assets were acquired by Facebook in 2013. The preliminary version from POPL'09, which should be considered part of this contribution, attracts most citations (>170 on Google Scholar).
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
-
