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
Country/TerritoryViet Nam
CityHanoi
Period15/10/1318/10/13

Cite this