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 proceedingConference contributionAcademicpeer-review

1 Citation (Scopus)
Original languageEnglish
Title of host publicationAutomated Technology for Verification and Analysis
Subtitle of host publication11th International Symposium, ATVA 2013, Hanoi, Vietnam, October 15-18, 2013. Proceedings
EditorsDang Van Hung, Mizuhito Ogawa
PublisherSpringer
Pages516-525
Number of pages10
ISBN (Electronic)978-3-319-02444-8
ISBN (Print)978-3-319-02443-1
DOIs
Publication statusPublished - 2013
Externally publishedYes
Event11th International Symposium on Automated Technology for Verification and Analysis - Hanoi, Viet Nam
Duration: 15 Oct 201318 Oct 2013
Conference number: 11

Publication series

NameLecture Notes in Computer Science
PublisherSpringer
Volume8172

Conference

Conference11th International Symposium on Automated Technology for Verification and Analysis
Abbreviated titleATVA 2013
CountryViet Nam
CityHanoi
Period15/10/1318/10/13

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 ; Artho, Cyrille. / 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",

}

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; Artho, Cyrille.

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 proceedingConference contributionAcademicpeer-review

TY - GEN

T1 - The Quest for Precision

T2 - A Layered Approach for Data Race Detection in Static Analysis

AU - Mund, Jakob

AU - Huuck, Ralf

AU - Fehnker, Ansgar

AU - Artho, Cyrille

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

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). https://doi.org/10.1007/978-3-319-02444-8_45