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