I do research in compilers, with a current focus on security and scalable and precise analysis, including pointer analysis. I also have interests in microarchitecture, and I have just finished writing a textbook with Larry Snyder called Principles of Parallel Programming.

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,

The most important thing you can do
is what you're doing when you're doing it.
When you study, study,
and when you play, play.

                    - Pete Carril