Static analysis for dynamic data race detection with TeSSLa
Title | Static analysis for dynamic data race detection with TeSSLa |
Publication Type | Conference Paper |
Year of Publication | 2018 |
Authors | Jakšić, S, Schmitz, M, Stolz, V, Thoma, D |
Conference Name | 30th Nordic Workshop on Programming Theory |
Volume | Report Nr. 485 |
Publisher | Department of Informatics Faculty of Mathematics and Natural Sciences, University of Oslo |
Bibtex:
@inproceedings {1305, title = {Static analysis for dynamic data race detection with TeSSLa}, booktitle = {30th Nordic Workshop on Programming Theory}, volume = {Report Nr. 485}, year = {2018}, publisher = {Department of Informatics Faculty of Mathematics and Natural Sciences, University of Oslo}, organization = {Department of Informatics Faculty of Mathematics and Natural Sciences, University of Oslo}, author = {Svetlana Jak{\v s}i{\'c} and Malte Schmitz and Volker Stolz and Daniel Thoma} }
PDF: