Automatic Loop Invariant Generation for Data Dependence Analysis

Parallelization of programs relies on sound and precise analysis of data dependences in the code, specifically, when dealing with loops. State-of-art tools are based on dynamic profiling and static analysis. They tend to over- and, occasionally, to under-approximate dependences. The former misses pa...

Celý popis

Podrobná bibliografia

Vydané v:	2022 IEEE/ACM 10th International Conference on Formal Methods in Software Engineering (FormaliSE) s. 34 - 45
Hlavní autori:	Tabar, Asmae Heydari, Bubel, Richard, Hahnle, Reiner
Médium:	Konferenčný príspevok..
Jazyk:	English
Vydavateľské údaje:	ACM 01.05.2022
Predmet:	Abstraction; Invariants Automation Behavioral sciences Codes Computing methodologies→Massively parallel algorithms Formal software verification Java Parallel algorithms Software Software and its engineering→Software verification Static analysis Theory of computation→Programming logic
ISSN:	2575-5099
On-line prístup:	Získať plný text
Tagy:	Pridať tag Žiadne tagy, Buďte prvý, kto otaguje tento záznam!