Output details
11 - Computer Science and Informatics
Imperial College London
Output title
Lock Inference in the Presence of Large Libraries
Type
E - Conference contribution
Name of conference/published proceedings
European Conference on Object-Oriented Programming
Volume number
7313
Issue number
-
First page of article
308
ISSN of proceedings
0302-9743
Year of publication
2012
URL
-
Number of additional authors
2
Additional information
<07>This paper describes the first lock inference technique that scales to large programs (>100KLOC). The result is a tool Lockguard (https://github.com/kgudka/lockguard), that is the first lock inference method capable of sound analysis of library code.The lead author’s PhD thesis expands on the work and has been nominated for the BCS Distinguished Dissertation award. On the basis of this work he was employed as a Post Doc in Cambridge. There are also ongoing discussions about concurrency constructs with Alex Buckley, the specification lead for the Java language and Virtual Machine at Oracle. ECOOP12 acceptance rate: 21%/140.
Interdisciplinary
-
Cross-referral requested
-
Research group
E - Programming Languages and Systems
Citation count
1
Proposed double-weighted
No
Double-weighted statement
-
Reserve for a double-weighted output
No
Non-English
No
English abstract
-
