Detecting correlation violations and data races by inferring non-deterministic reads
Jannesari, Ali; Koprowski, Nico; Schimmel, Jochen 1; Wolf, Felix; Tichy, Walter F.
1
1 Karlsruher Institut für Technologie (KIT)
11 Karlsruher Institut für Technologie (KIT)
| Zugehörige Institution(en) am KIT | Institut für Programmstrukturen und Datenorganisation (IPD) |
| Publikationstyp | Proceedingsbeitrag |
| Publikationsjahr | 2013 |
| Sprache | Englisch |
| Identifikator | ISBN: 978-1-4799-2081-5 KITopen-ID: 1000059697 |
| Erschienen in | 2013 19th IEEE International Conference on Parallel and Distributed Systems ICPADS 2013. 15-18 December 2013 Seoul, Korea. |
| Verlag | IEEE Computer Society |
| Seiten | 1-9 |
| Nachgewiesen in | Scopus Dimensions |