Vorträge und Posterpräsentationen (mit Tagungsband-Eintrag):
J. Knoop:
"Data-Flow Analysis for Multi-Core Architectures - A Reminder to Reverse Data-Flow Analysis";
Vortrag: Dagstuhl Seminar 08161 Scalable Program Analysis,
Schloss Dagstuhl, Dagstuhl, Wadern (eingeladen);
13.04.2008
- 18.04.2008; in: "Dagstuhl Seminar Proceedings 08161 Scalable Program Analysis",
F. Martin, H. Nielson, C. Riva, M. Schordan (Hrg.);
Schloss Dagstuhl, Leibniz-Zentrum für Informatik,
(2008),
ISSN: 1862-4405;
S. 1
- 14.
Kurzfassung englisch:
The increasing demands for highly performant, proven correct, easily
maintainable, extensible programs together with the continuous
growth of real-world programs strengthen the pressure for powerful and
scalable program analyses for program development and code
generation. Multi-core computing systems offer new chances for
enhancing the scalability of program analyses, if the additional
computing power offered by these systems can be used
effectively. This, however, poses new challenges on the analysis
side. In principle, it requires program analyses which can be easily
parallelized and mapped to multi-core architectures. In this paper we
remind to reverse data-flow analysis, which has been introduced
and investigated in the context of demand-driven data-flow analysis,
as one such class of program analyses which is particularly suitable
for this.
Schlagworte:
Multi-core computing systems, scalable program analysis, reverse data-flow analysis, demand-driven data-flow analysis
Elektronische Version der Publikation:
http://drops.dagstuhl.de/opus/volltexte/2008/1575
Zugeordnete Projekte:
Projektleitung Jens Knoop:
ALL-TIMES: Integration Europäischer Zeitanalyse Technologie
Erstellt aus der Publikationsdatenbank der Technischen Universität Wien.