Link to CALCM Home  

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.


Department of Electrical and Computer EngineeringCarnegie Mellon UniversitySchool of Computer Science