Detail publikace
Effect Summaries for Thread-Modular Analysis Sound Analysis Despite an Unsound Heuristic
HOLÍK Lukáš, MEYER Roland, VOJNAR Tomáš a WOLF Sebastian. Effect Summaries for Thread-Modular Analysis Sound Analysis Despite an Unsound Heuristic. In: SAS 2017: Static Analysis. Lecture Notes in Computer Science, roč. 10422. Cham: Springer International Publishing, 2017, s. 169-191. ISBN 978-3-319-66706-5. ISSN 0302-9743. Dostupné z: https://link.springer.com/chapter/10.1007%2F978-3-319-66706-5_9
Název česky
Souhrny efektů pro vláknově modulární analýzu
Typ
článek ve sborníku konference
Jazyk
angličtina
Autoři
Holík Lukáš, doc. Mgr., Ph.D. (UITS FIT VUT)
Meyer Roland (UNIKL)
Vojnar Tomáš, prof. Ing., Ph.D. (UITS FIT VUT)
Wolf Sebastian (UNIKL)
Meyer Roland (UNIKL)
Vojnar Tomáš, prof. Ing., Ph.D. (UITS FIT VUT)
Wolf Sebastian (UNIKL)
URL
Abstrakt
Článek navrhuje nový přístup k vláknově modulární analýze paralelních programů s bezzámkovými dynamickými datovými strukturami. Tento přístup je založen na heuristickém odvození a následném ověření souhrnu efektů různých operací nad bezzámkovými strukturami.
Rok
2017
Strany
169-191
Časopis
Lecture Notes in Computer Science, roč. 10422, č. 1, ISSN 0302-9743
Sborník
SAS 2017: Static Analysis
Řada
Lecture Notes in Computer Science
Konference
24th International Static Analysis Symposium, New York City, US
ISBN
978-3-319-66706-5
Vydavatel
Springer International Publishing
Místo
Cham, DE
DOI
UT WoS
000455332000009
EID Scopus
BibTeX
@INPROCEEDINGS{FITPUB11563, author = "Luk\'{a}\v{s} Hol\'{i}k and Roland Meyer and Tom\'{a}\v{s} Vojnar and Sebastian Wolf", title = "Effect Summaries for Thread-Modular Analysis Sound Analysis Despite an Unsound Heuristic", pages = "169--191", booktitle = "SAS 2017: Static Analysis", series = "Lecture Notes in Computer Science", journal = "Lecture Notes in Computer Science", volume = 10422, number = 1, year = 2017, location = "Cham, DE", publisher = "Springer International Publishing", ISBN = "978-3-319-66706-5", ISSN = "0302-9743", doi = "10.1007/978-3-319-66706-5\_9", language = "english", url = "https://www.fit.vut.cz/research/publication/11563" }