Select Publications
|
Exploiting Pointer and Location Equivalence to Optimize Pointer
Analysis
with Ben Hardekopf
Static Analysis Symposium
August, 2007, pp. 265-280.
The Ant and the Grasshopper: Fast and Accurate Pointer Analysis
for Millions of Lines of Code
with Ben Hardekopf
Conference on Programming Language Design and Implementation,
June, 2007, pp. 290-299.
(Best Paper Award)
Memory Prefetching Using Adaptive Stream Detection
with Ibrahim Hur
39th International Symposium on Microarchitecture,
December, 2006, pp. 397-408.
Error Checking with Client-Driven Pointer Analysis
with Samuel Z. Guyer
Science of Computer Programming Journal,
vol 58, 2005, pp. 83-114.
Broadway: A Compiler for Exploiting the Domain-Specific Semantics of Software
Libraries
with S. Guyer
Proceedings of the IEEE,
Special issue on program generation, optimization, and adaptation,
93(2), 2005, pp. 342-357.
Adaptive History-Based Memory Schedulers
with Ibrahim Hur
37th International Symposium on Microarchitecture,
December, 2004, pp. 343-354.
(Best Paper Award)
Neural Methods for Dynamic Branch Prediction
with D. Jiménez
ACM Transactions on Computer Systems,
20(4), November 2002. pp. 369-397.
ZPL: A Machine Independent Programming Language for Parallel Computers
with B. Chamberlain, S. Choi, E. Lewis, L. Snyder, and W. Weathersby
IEEE Transactions on Software Engineering.
26(3), March, 2000, pp. 197-211,
|
Teaching