Vikram Adve
Professor Adve's broad research interest lies in using compilers (more generally, program analysis and transformation techniques) as tools for improving the performance, programmability, and security of modern computer systems. His research emphasizes the development of novel systems, compilation techniques, and (where necessary) language features to address these problems.
One example of his approach is the SAFECode project. The goal of the project is to enable program safety without runtime checks and garbage collection, through 100% or near-100% static enforcement of program safety properties. SAFECode defines a code representation with minimal semantic restrictions designed to enable static enforcement of safety, using aggressive compiler techniques developed in this project.
Recent trust-oriented publications from Vikram Adve include:
- Dinakar Dhurjati, Sumant Kowshik, and Vikram Adve. SAFECode: Enforcing Alias Analysis for Weakly Typed Languages. Proceedings of the 2006 ACM SIGPLAN Conference on Programming Language Design and Implementation, 2006, pp. 144-157.
- John Criswell, Andrew Lenharth, Dinakar Dhurjati, and Vikram Adve. Secure Virtual Architecture: A Safe Execution Environment for Commodity Operating Systems. Proceedings of the 21st ACM Symposium on Operating Systems Principles, October 2007.
