Fakulta informačních technologií VUT v Brně

Detail publikace

Effect Summaries for Thread-Modular Analysis

HOLÍK Lukáš, MEYER Roland, VOJNAR Tomáš a WOLF Sebastian. Effect Summaries for Thread-Modular Analysis. 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. 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áš, Mgr., Ph.D. (UITS FIT VUT)
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
Sborník
SAS 2017: Static Analysis
Řada
Lecture Notes in Computer Science
Svazek
10422
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
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",
   pages = "169--191",
   booktitle = "SAS 2017: Static Analysis",
   series = "Lecture Notes in Computer Science",
   volume = 10422,
   year = 2017,
   location = "Cham, DE",
   publisher = "Springer International Publishing",
   ISBN = "978-3-319-66706-5",
   doi = "10.1007/978-3-319-66706-5\_9",
   language = "english",
   url = "https://www.fit.vut.cz/research/publication/11563"
}
Nahoru