BibTeX Export

@INPROCEEDINGS{jannesari_ea:2013:icpads,
     author = {Jannesari, Ali and Koprowski, Nico and Schimmel, Jochen and Wolf, Felix and Tichy, Walter F.},
      month = {December},
      title = {Detecting Correlation Violations and Data Races by Inferring Non-deterministic Reads},
  booktitle = {Proc. of the 19th IEEE International Conference on Parallel and Distributed Systems (ICPADS), Seoul, Korea},
       year = {2013},
      pages = {1--9},
  publisher = {IEEE},
       issn = {1521-9097},
        doi = {10.1109/ICPADS.2013.14}
}