Detail publikace

Effect Summaries for Thread-Modular Analysis

HOLÍK, L.; MEYER, R.; VOJNAR, T.; WOLF, S. Effect Summaries for Thread-Modular Analysis. In SAS 2017: Static Analysis. Lecture Notes in Computer Science. Lecture Notes in Computer Science. Cham: Springer International Publishing, 2017. p. 169-191. ISBN: 978-3-319-66706-5. ISSN: 0302-9743.
Název česky
Souhrny efektů pro vláknově modulární analýzu
Typ
článek ve sborníku konference
Jazyk
anglicky
Autoři
Holík Lukáš, doc. Mgr., Ph.D. (UITS)
Meyer Roland, Prof. Dr.
Vojnar Tomáš, prof. Ing., Ph.D. (UITS)
Wolf Sebastian (FIT)
URL
Klíčová slova

Concurrent programs, thread-modular reasoning, effect summary, unbounded concurrency, dynamic lockless data structures.

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
ISBN
978-3-319-66706-5
Vydavatel
Springer International Publishing
Místo
Cham
DOI
10.1007/978-3-319-66706-5_9
UT WoS
000455332000009
EID Scopus
2-s2.0-85028682200
BibTeX 
@inproceedings{BUT146270,
  author="Lukáš {Holík} and Roland {Meyer} and Tomáš {Vojnar} and Sebastian {Wolf}",
  title="Effect Summaries for Thread-Modular Analysis",
  booktitle="SAS 2017: Static Analysis",
  year="2017",
  series="Lecture Notes in Computer Science",
  journal="Lecture Notes in Computer Science",
  volume="10422",
  number="1",
  pages="169--191",
  publisher="Springer International Publishing",
  address="Cham",
  doi="10.1007/978-3-319-66706-5\{_}9",
  isbn="978-3-319-66706-5",
  issn="0302-9743",
  url="https://link.springer.com/chapter/10.1007%2F978-3-319-66706-5_9"
}
Nahoru