Imperial College London
Portrait Picture

ProfessorAlastairDonaldson

Faculty of Engineering, Department of Computing

Professor of Programming Languages
 
 
 
//

Contact

 

+44 (0)20 7594 8266alastair.donaldson Website

 
 
//

Location

 

422Huxley BuildingSouth Kensington Campus

//

Summary

 

Publications

Citation

BibTex format

@inproceedings{Deligiannis:2015:10.1109/ASE.2015.30,
author = {Deligiannis, P and Donaldson, AF and Rakamaric, Z},
doi = {10.1109/ASE.2015.30},
pages = {166--177},
publisher = {IEEE},
title = {Fast and Precise Symbolic Analysis of Concurrency Bugs in Device Drivers},
url = {http://dx.doi.org/10.1109/ASE.2015.30},
year = {2015}
}
Download

RIS format (EndNote, RefMan)

TY  - CPAPER
AB  - Concurrency errors, such as data races, make device drivers notoriously hard to develop and debug without automated tool support. We present Whoop, a new automated approach that statically analyzes drivers for data races. Whoop is empowered by symbolic pairwise lockset analysis, a novel analysis that can soundly detect all potential races in a driver. Our analysis avoids reasoning about thread interleavings and thus scales well. Exploiting the race-freedom guarantees provided by Whoop, we achieve a sound partial-order reduction that significantly accelerates Corral, an industrial-strength bug-finder for concurrent programs. Using the combination of Whoop and Corral, we analyzed 16 drivers from the Linux 4.0 kernel, achieving 1.5 -- 20× speedups over standalone Corral.
AU  - Deligiannis,P
AU  - Donaldson,AF
AU  - Rakamaric,Z
DO  - 10.1109/ASE.2015.30
EP  - 177
PB  - IEEE
PY  - 2015///
SP  - 166
TI  - Fast and Precise Symbolic Analysis of Concurrency Bugs in Device Drivers
UR  - http://dx.doi.org/10.1109/ASE.2015.30
UR  - http://hdl.handle.net/10044/1/31793
ER  -
Download