You are in : Home » Results & submissions » Select UOA » 11 - Computer Science and Informatics » View submission: Imperial College London » Outputs » Detail

Output details

11 - Computer Science and Informatics

Imperial College London

Return to search Previous output Next output

Output 0 of 0 in the submission

Article title

Compositional Shape Analysis by Means of Bi-Abduction

Type

D - Journal article

DOI

10.1145/2049697.2049700

Title of journal

Journal of the ACM

Article number

ARTN 26

Volume number

Issue number

First page of article

ISSN of journal

0004-5411

Year of publication

2011

URL

Number of additional authors

Additional information

<11>This paper describes a method of boosting shape analyses, which are traditionally expensive and non-scalable, by defining a compositional method, where each procedure is analyzed independently of its callers. Our methods enable shape analysis, for the first time, to scale from toy programs to large code bases: over 1 million lines of the Linux kernel.

The ideas presented are implemented in the Infer analyzer developed by Monoidics, a technology startup recently acquired by Facebook (http://www.telegraph.co.uk/technology/facebook/10188628/Facebook-buys-UK-startup-Monoidics.html).

This work contributed to funding of FP7-STREP CARP (£600K at Imperial).

Extends conference paper at POPL'09 22%/160 submissions.

Interdisciplinary

Cross-referral requested

Research group

E - Programming Languages and Systems

Citation count

Proposed double-weighted

Double-weighted statement

Reserve for a double-weighted output

Non-English

English abstract