Programmer-Specified
Pointer Independence
Tuesday October 28, 2003
Hamerschlag Hall D-210
4:00 pm
Dave Koes
Carnegie Mellon University
Good alias analysis is essential in order to achieve high performance
on modern processors, yet precise interprocedural analysis does not scale
well. We present a source code annotation,
which is a more flexible, intuitive and useful way for the programmer
to provide pointer aliasing information than the current C99
keyword. We describe a tool which highlights the most important and most
likely correct locations at which a programmer can insert the pragmas.
We analyze the effect of the improved alias information using a range
of compilers and architectures.
Dave doesn't think computers are fast enough or that compilers are
good enough. His goal in attending grad school is to remedy that situation.
His advisor is Seth Goldstein.
|