The Quest for Precision: A Layered Approach for Data Race Detection in Static Analysis

Jakob Mund; Ralf Huuck; Ansgar Fehnker; Cyrille Artho

doi:10.1007/978-3-319-02444-8_45

The Quest for Precision: A Layered Approach for Data Race Detection in Static Analysis

Jakob Mund, Ralf Huuck, Ansgar Fehnker, Cyrille Artho

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

Original language	English
Title of host publication	Automated Technology for Verification and Analysis
Subtitle of host publication	11th International Symposium, ATVA 2013, Hanoi, Vietnam, October 15-18, 2013. Proceedings
Editors	Dang Van Hung, Mizuhito Ogawa
Publisher	Springer
Pages	516-525
Number of pages	10
ISBN (Electronic)	978-3-319-02444-8
ISBN (Print)	978-3-319-02443-1
DOIs	https://doi.org/10.1007/978-3-319-02444-8_45
Publication status	Published - 2013
Externally published	Yes
Event	11th International Symposium on Automated Technology for Verification and Analysis - Hanoi, Viet Nam Duration: 15 Oct 2013 → 18 Oct 2013 Conference number: 11

Publication series

Name	Lecture Notes in Computer Science
Publisher	Springer
Volume	8172

Conference

Conference	11th International Symposium on Automated Technology for Verification and Analysis
Abbreviated title	ATVA 2013
Country/Territory	Viet Nam
City	Hanoi
Period	15/10/13 → 18/10/13

Access to Document

10.1007/978-3-319-02444-8_45

Cite this

Mund, J., Huuck, R., Fehnker, A., & Artho, C. (2013). The Quest for Precision: A Layered Approach for Data Race Detection in Static Analysis. In D. V. Hung, & M. Ogawa (Eds.), Automated Technology for Verification and Analysis: 11th International Symposium, ATVA 2013, Hanoi, Vietnam, October 15-18, 2013. Proceedings (pp. 516-525). (Lecture Notes in Computer Science; Vol. 8172). Springer. https://doi.org/10.1007/978-3-319-02444-8_45

Mund, Jakob ; Huuck, Ralf ; Fehnker, Ansgar et al. / The Quest for Precision : A Layered Approach for Data Race Detection in Static Analysis. Automated Technology for Verification and Analysis: 11th International Symposium, ATVA 2013, Hanoi, Vietnam, October 15-18, 2013. Proceedings. editor / Dang Van Hung ; Mizuhito Ogawa. Springer, 2013. pp. 516-525 (Lecture Notes in Computer Science).

@inproceedings{d20dfad20507488194d19c22ab3cbccf,

title = "The Quest for Precision: A Layered Approach for Data Race Detection in Static Analysis",

author = "Jakob Mund and Ralf Huuck and Ansgar Fehnker and Cyrille Artho",

year = "2013",

doi = "10.1007/978-3-319-02444-8_45",

language = "English",

isbn = "978-3-319-02443-1",

series = "Lecture Notes in Computer Science",

publisher = "Springer",

pages = "516--525",

editor = "Hung, {Dang Van} and Mizuhito Ogawa",

booktitle = "Automated Technology for Verification and Analysis",

address = "Germany",

note = "11th International Symposium on Automated Technology for Verification and Analysis, ATVA 2013 ; Conference date: 15-10-2013 Through 18-10-2013",

}

Mund, J, Huuck, R, Fehnker, A & Artho, C 2013, The Quest for Precision: A Layered Approach for Data Race Detection in Static Analysis. in DV Hung & M Ogawa (eds), Automated Technology for Verification and Analysis: 11th International Symposium, ATVA 2013, Hanoi, Vietnam, October 15-18, 2013. Proceedings. Lecture Notes in Computer Science, vol. 8172, Springer, pp. 516-525, 11th International Symposium on Automated Technology for Verification and Analysis, Hanoi, Viet Nam, 15/10/13. https://doi.org/10.1007/978-3-319-02444-8_45

The Quest for Precision: A Layered Approach for Data Race Detection in Static Analysis. / Mund, Jakob; Huuck, Ralf; Fehnker, Ansgar et al.
Automated Technology for Verification and Analysis: 11th International Symposium, ATVA 2013, Hanoi, Vietnam, October 15-18, 2013. Proceedings. ed. / Dang Van Hung; Mizuhito Ogawa. Springer, 2013. p. 516-525 (Lecture Notes in Computer Science; Vol. 8172).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

TY - GEN

T1 - The Quest for Precision

T2 - 11th International Symposium on Automated Technology for Verification and Analysis

AU - Mund, Jakob

AU - Huuck, Ralf

AU - Fehnker, Ansgar

AU - Artho, Cyrille

N1 - Conference code: 11

PY - 2013

Y1 - 2013

U2 - 10.1007/978-3-319-02444-8_45

DO - 10.1007/978-3-319-02444-8_45

M3 - Conference contribution

SN - 978-3-319-02443-1

T3 - Lecture Notes in Computer Science

SP - 516

EP - 525

BT - Automated Technology for Verification and Analysis

A2 - Hung, Dang Van

A2 - Ogawa, Mizuhito

PB - Springer

Y2 - 15 October 2013 through 18 October 2013

ER -

Mund J, Huuck R, Fehnker A, Artho C. The Quest for Precision: A Layered Approach for Data Race Detection in Static Analysis. In Hung DV, Ogawa M, editors, Automated Technology for Verification and Analysis: 11th International Symposium, ATVA 2013, Hanoi, Vietnam, October 15-18, 2013. Proceedings. Springer. 2013. p. 516-525. (Lecture Notes in Computer Science). doi: 10.1007/978-3-319-02444-8_45