Campus Event Calendar
Event Entry
What and Who
Relational cache analysis in presence of pointer-based data structures
Tomasz Dudziak
University of Wrocław - Poland
PhD Application Talk
AG 1, AG 2, AG 3, AG 4, AG 5, SWS, RG1, MMCI
Public Audience
English
Note: We use this to send email in the morning.
Date, Time and Location
Monday, 7 May 2012
11:00
60 Minutes
E1 4
024
Saarbrücken
Abstract
Worst-case execution time (WCET) analysis is a formal software verification technique used for assuring safety of real-time systems. Static prediction of CPU cache behavior is a significant subproblem in the computation of WCET. Programs manipulating data structures with pointers (like linked lists or trees) cannot not be analyzed using existing methods. I would like to present my attempt to lift that restriction by employing shape analysis
Contact
IMPRS Office Team
9325 1800
--email hidden
passcode not visible
logged in users only
Marc Schmitt, 05/04/2012 13:44 -- Created document.