Talks and Poster Presentations (with Proceedings-Entry):
J. Knoop:
"Data-Flow Analysis for Multi-Core Architectures - A Reminder to Reverse Data-Flow Analysis";
Talk: Dagstuhl Seminar 08161 Scalable Program Analysis,
Schloss Dagstuhl, Dagstuhl, Wadern (invited);
2008-04-13
- 2008-04-18; in: "Dagstuhl Seminar Proceedings 08161 Scalable Program Analysis",
F. Martin, H. Nielson, C. Riva, M. Schordan (ed.);
Schloss Dagstuhl, Leibniz-Zentrum für Informatik,
(2008),
ISSN: 1862-4405;
1
- 14.
English abstract:
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.
Keywords:
Multi-core computing systems, scalable program analysis, reverse data-flow analysis, demand-driven data-flow analysis
Electronic version of the publication:
http://drops.dagstuhl.de/opus/volltexte/2008/1575
Related Projects:
Project Head Jens Knoop:
ALL-TIMES: Integration Europäischer Zeitanalyse Technologie
Created from the Publication Database of the Vienna University of Technology.