Select Publications
|
Using Cargo-Bot to Provide Contextualized Learning of Recursion
with J. Tessler and B. Beth
International Computing Education Research Workshop,
2013.
Dynamic Scheduling for Large-Scale Distributed-Memory Ray Tracing
with P. Navratil, H. Childs, and D. Fussell
Eurographics Symposium on Parallel Graphics and Visualization,
2012.
(Best Paper Award)
Flow-Sensitive Pointer Analysis for Millions of Lines of Code
with B. Hardekopf
International Symposium on Code Generation and Optimization,
2011.
(Best Paper Award)
Efficient and Extensible Security Enforcement Using Dynamic
Data Flow Analysis
with Walter Chang and Brandon Streiff
Computer and Communications Security,
2008, pp. 39-50.
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