TU Darmstadt / ULB / TUbiblio

A Programming Model for Semi-implicit Parallelization of Static Analyses

Helm, Dominik ; Kübler, Florian ; Kölzer, Jan Thomas ; Haller, Philipp ; Eichberg, Michael ; Salvaneschi, Guido ; Mezini, Mira (2020)
A Programming Model for Semi-implicit Parallelization of Static Analyses.
ISSTA '20: 29th SIGSOFT International Symposium on Software Testing and Analysis. virtual Conference (18.07.2020-22.07.2020)
doi: 10.1145/3395363.3397367
Konferenzveröffentlichung, Bibliographie

Typ des Eintrags: Konferenzveröffentlichung
Erschienen: 2020
Autor(en): Helm, Dominik ; Kübler, Florian ; Kölzer, Jan Thomas ; Haller, Philipp ; Eichberg, Michael ; Salvaneschi, Guido ; Mezini, Mira
Art des Eintrags: Bibliographie
Titel: A Programming Model for Semi-implicit Parallelization of Static Analyses
Sprache: Englisch
Publikationsjahr: Juli 2020
Verlag: ACM
Veranstaltungstitel: ISSTA '20: 29th SIGSOFT International Symposium on Software Testing and Analysis
Veranstaltungsort: virtual Conference
Veranstaltungsdatum: 18.07.2020-22.07.2020
DOI: 10.1145/3395363.3397367
URL / URN: https://conf.researchr.org/home/issta-2020
Freie Schlagworte: Engineering; E1
Schlagworte:
Einzelne SchlagworteSprache
static analysis, concurrency, parallelizationEnglisch
Fachbereich(e)/-gebiet(e): 20 Fachbereich Informatik
20 Fachbereich Informatik > Softwaretechnik
DFG-Sonderforschungsbereiche (inkl. Transregio)
DFG-Sonderforschungsbereiche (inkl. Transregio) > Sonderforschungsbereiche
Profilbereiche
Profilbereiche > Cybersicherheit (CYSEC)
LOEWE
LOEWE > LOEWE-Zentren
LOEWE > LOEWE-Zentren > CRISP - Center for Research in Security and Privacy
DFG-Sonderforschungsbereiche (inkl. Transregio) > Sonderforschungsbereiche > SFB 1119: CROSSING – Kryptographiebasierte Sicherheitslösungen als Grundlage für Vertrauen in heutigen und zukünftigen IT-Systemen
Hinterlegungsdatum: 25 Aug 2020 08:02
Letzte Änderung: 25 Aug 2020 08:02
PPN:
Schlagworte:
Einzelne SchlagworteSprache
static analysis, concurrency, parallelizationEnglisch
Export:
Suche nach Titel in: TUfind oder in Google
Frage zum Eintrag Frage zum Eintrag

Optionen (nur für Redakteure)
Redaktionelle Details anzeigen Redaktionelle Details anzeigen