Select Publications
|
Feedback Mechanisms for Improving Probabilistic Memory
Prefetching,
with Ibrahim Hur
15th International Symposium on High-Performance
Computer Architecture,
2009 (to appear)
Semi-Sparse Flow-Sensitive Pointer Analysis
with Ben Hardekopf
Symposium on Principles of Programming Languages,
2009 (to appear)
Efficient and Extensible Security Enforcement Using Dynamic
Data Flow Analysis
with Walter Chang and Brandon Streiff
Computer and Communications Security,
2008, pp. 39-50.
Memory Scheduling for Modern Microprocessors
with Ibrahim Hur
ACM Transactions on Computer Systems,
December, 2007, 25(4), pp. 10-46.
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)
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 Samuel Z. 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 Daniel 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