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:
