Inproceedings,
Sherlock: scalable deadlock detection for concurrent programs.
M. Eslamimehr, and J. Palsberg.SIGSOFT FSE, page 353-365. ACM, (2014)
Meta data
- BibTeX key
- conf/sigsoft/EslamimehrP14
- entry type
- inproceedings
- booktitle
- SIGSOFT FSE
- year
- 2014
- pages
- 353-365
- publisher
- ACM
- crossref
- conf/sigsoft/2014
- ee
- https://doi.org/10.1145/2635868.2635918
- isbn
- 978-1-4503-3056-5
- url
- http://dblp.uni-trier.de/db/conf/sigsoft/fse2014.html#EslamimehrP14
Tags
Users
Comments and Reviewsshow / hide
Cite this publication
More citation styles
- please select -%0 Conference Paper
%1 conf/sigsoft/EslamimehrP14
%A Eslamimehr, Mahdi
%A Palsberg, Jens
%B SIGSOFT FSE
%D 2014
%E Cheung, Shing-Chi
%E Orso, Alessandro
%E Storey, Margaret-Anne D.
%I ACM
%K dblp
%P 353-365
%T Sherlock: scalable deadlock detection for concurrent programs.
%U http://dblp.uni-trier.de/db/conf/sigsoft/fse2014.html#EslamimehrP14
%@ 978-1-4503-3056-5
@inproceedings{conf/sigsoft/EslamimehrP14,
added-at = {2018-11-06T00:00:00.000+0100},
author = {Eslamimehr, Mahdi and Palsberg, Jens},
biburl = {https://www.bibsonomy.org/bibtex/246c9b744f3dbe9288d3fdbab3f37e69c/dblp},
booktitle = {SIGSOFT FSE},
crossref = {conf/sigsoft/2014},
editor = {Cheung, Shing-Chi and Orso, Alessandro and Storey, Margaret-Anne D.},
ee = {https://doi.org/10.1145/2635868.2635918},
interhash = {e6b388cf8a524cfb73ded03b3e42dd87},
intrahash = {46c9b744f3dbe9288d3fdbab3f37e69c},
isbn = {978-1-4503-3056-5},
keywords = {dblp},
pages = {353-365},
publisher = {ACM},
timestamp = {2024-04-09T17:52:33.000+0200},
title = {Sherlock: scalable deadlock detection for concurrent programs.},
url = {http://dblp.uni-trier.de/db/conf/sigsoft/fse2014.html#EslamimehrP14},
year = 2014
}