TU Darmstadt / ULB / TUbiblio

A Programming Model for Semi-implicit Parallelization of Static Analyses

Helm, Dominik and Kübler, Florian and Kölzer, Jan Thomas and Haller, Philipp and Eichberg, Michael and Salvaneschi, Guido and Mezini, Mira (2020):
A Programming Model for Semi-implicit Parallelization of Static Analyses.
pp. 428-439, ACM, ISSTA '20: 29th SIGSOFT International Symposium on Software Testing and Analysis, virtual Conference, 18.-22.07., ISBN 978-1-4503-8008-9,
DOI: 10.1145/3395363.3397367,
[Conference or Workshop Item]

Item Type: Conference or Workshop Item
Erschienen: 2020
Creators: Helm, Dominik and Kübler, Florian and Kölzer, Jan Thomas and Haller, Philipp and Eichberg, Michael and Salvaneschi, Guido and Mezini, Mira
Title: A Programming Model for Semi-implicit Parallelization of Static Analyses
Language: English
Publisher: ACM
ISBN: 978-1-4503-8008-9
Uncontrolled Keywords: Engineering; E1
Divisions: 20 Department of Computer Science
20 Department of Computer Science > Software Technology
DFG-Collaborative Research Centres (incl. Transregio)
DFG-Collaborative Research Centres (incl. Transregio) > Collaborative Research Centres
Profile Areas
Profile Areas > Cybersecurity (CYSEC)
LOEWE
LOEWE > LOEWE-Zentren
LOEWE > LOEWE-Zentren > CRISP - Center for Research in Security and Privacy
DFG-Collaborative Research Centres (incl. Transregio) > Collaborative Research Centres > CRC 1119: CROSSING – Cryptography-Based Security Solutions: Enabling Trust in New and Next Generation Computing Environments
Event Title: ISSTA '20: 29th SIGSOFT International Symposium on Software Testing and Analysis
Event Location: virtual Conference
Event Dates: 18.-22.07.
Date Deposited: 25 Aug 2020 08:02
DOI: 10.1145/3395363.3397367
Official URL: https://conf.researchr.org/home/issta-2020
Alternative keywords:
Alternative keywordsLanguage
static analysis, concurrency, parallelizationEnglish
Export:
Suche nach Titel in: TUfind oder in Google
Send an inquiry Send an inquiry

Options (only for editors)
Show editorial Details Show editorial Details