Vikram S. Adve

Interim Head and Professor|Computer Science Department|University of Illinois at Urbana-Champaign

Publications

Deterministic Parallel Java

For publications and documents related to DPJ, see the DPJ home page.

Secure Virtual Architecture, SAFECode

For publications and documents related to SVA or SAFECode, see theSVA home page.

The LLVM Compiler Infrastructure

For publications and documents related to LLVM, see the LLVM home page.

The Automatic Pool Allocation Project

How Successful is Data Structure Analysis in Isolating and Analyzing Linked Data Structures?, Patrick Meredith, Balpreet Pankaj, Swarup Sahoo, Chris Lattner and Vikram Adve. Technical Report #UIUCDCS-R-2005-2658, Computer Science Dept., Univ. of Illinois, Dec. 2005.

Transparent Pointer Compression for Linked Data Structures, Chris Lattner and Vikram Adve. Proceedings of the ACM Workshop on Memory System Performance (MSP’05), Chicago, Illinois, June, 2005.

Best Paper Award: Automatic Pool Allocation: Improving Performance by Controlling Data Structure Layout in the Heap, Chris Lattner and Vikram Adve. Proceedings of the 2005 ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI’05) , Chicago, Illinois, Jun, 2005.
LLVA: A Low-level Virtual Instruction Set Architecture,” Vikram Adve, Chris Lattner, Michael Brukman, Anand Shukla and Brian Gaeke, 36th Annual International Sympoium on Microarchitecture, San Diego, CA, Dec. 2003.

Architecture For a Next-Generation GCC,” Chris Lattner & Vikram Adve, First Annual GCC Developers’ Summit, Ottawa, Canada, May 2003.

Making Context-Sensitive Points-to Analysis with Heap Cloning Practical For The Real World”, Chris Lattner, Andrew Lenharth, & Vikram Adve, Proc. of the 2007 ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI’07) , San Diego, CA, Jun, 2007.

Transforming Loops To Recursion for Multi-Level Memory Hierarchies, Qing Yi, Vikram Adve and Ken Kennedy, ACM SIGPLAN 2000 Conference on Programming Language Design and Implementation (PLDI 2000), Vancouver, Canada, June 2000.

SAFECode: Static Analysis For safe Execution of Code

Enforcing Alias Analysis for Weakly Typed Languages” Dinakar Dhurjati, Sumant Kowshik and Vikram Adve, To appear in Proceedings of the 2006 ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI’06), Ottawa, Canada, Jun, 2006. (The formal portion of this paper is contained in an accompanying technical report: Enforcing Alias Analysis for Weakly Typed Languages, By Dinakar Dhurjati, Sumant Kowshik, and Vikram Adve. Technical Report #UIUCDCS-R-2005-2657, Computer Science Dept., Univ. of Illinois, Nov. 2005.)

Backwards-Compatible Array Bounds Checking for C with Very Low Overhead,, Dinakar Dhurjati and Vikram Adve. To appear in Proceedings of the 28th International Conference in Software Engineering, Shanghai, China, May 2006.

Memory Safety Without Garbage Collection For Embedded Applications, Dinakar Dhurjati, Sumant Kowshik, Vikram Adve and Chris Lattner. ACM Transactions in Embedded Computing Systems (TECS), vol. 4, no. 1, pp. 73-111. February 2005. Special Issue on the Best Papers from LCTES 2003.

Memory Safety Without Runtime Checks or Garbage Collection, Dinakar Dhurjati, Sumant Kowshik, Vikram Adve and Chris Lattner, Languages, Compilers, and Tools for Embedded Systems (LCTES’03), San Diego, California, June 2003. (Selected to appear in a special issue of ACM TECS for the Best Papers from LCTES 2003. The TECS paper above is an expanded and updated version of this paper.)

Ensuring Code Safety Without Runtime Checks for Real-Time Control Systems, Sumant Kowshik, Dinakar Dhurjati, and Vikram Adve, Proc. Int’l Conf. on Compilers, Architecture and Synthesis for Embedded Systems (CASES02), Grenoble, France, Oct. 2002. (The TECS paper above is an expanded and updated version of this paper.)

PCL: Language and Compiler Support for Adaptive Distributed Computing

Coordinating Adaptations in Distributed Systems, Brian Ensink and Vikram Adve, 24th International Conference on Distributed Computing Systems (ICDCS 2004), Tokyo, Japan, March 2004.

Program Control Language: A Programming Language for Adaptive Distributed Applications, Brian Ensink, Joel Stanley and Vikram Adve, Journal of Parallel and Distributed Computing , vol. 63, no. 11, pp. 1082-1104, Nov. 2003

Language and Compiler Support for Adaptive Distributed Applications, Vikram Adve, Vinh Vi Lam and Brian Ensink, ACM SIGPLAN Workshop on Optimization of Middleware and Distributed Systems (OM 2001) Snowbird, Utah, June 2001 (in conjunction with PLDI2001. This paper is a preliminary version of the one above.)

Compiler Synthesis of Task Graphs for Parallel Programs Vikram Adve and Rizos Sakellariou, 13th International Workshop on Languages and Compilers for High Performance Computing (LCPC ’00), Yorktown Heights, NY (August 2000).

Data-Parallel Compilers and Programming Environments

Design and Evaluation of a Computation Partitioning Framework for Data-Parallel Compilers, Vikram Adve, Guohua Jin, John Mellor-Crummey, Dejan Mircevski and Qing Yi, Submitted for publication.

Advanced Optimization Strategies in the Rice dHPF Compiler. , John Mellor-Crummey, Vikram Adve, Bradley Broom, Daniel Chavarria-Miranda, Robert Fowler, Guohua Jin, Ken Kennedy, and Qing Yi, Concurrency: Practice and Experience, 14(8-9), 2002 , Montreal, CA (June 1998).

High Performance Fortran Compilation Techniques for Parallelizing Scientific Codes, Vikram Adve, Guohua Jin, John Mellor-Crummey and Qing Yi, Supercomputing ’98 (November 1998). (HTML)

Using Integer Sets for Data-Parallel Program Analysis and Optimization, Vikram Adve and John Mellor-Crummey, Proceedings of the SIGPLAN’98 Conference on Programming Language Design and Implementation (PLDI), Montreal, CA (June 1998).

Advanced Code Generation for High Performance Fortran, Vikram Adve and John Mellor-Crummey, in Languages, Compilation Techniques and Run Time Systems for Scalable Parallel Systems, Chapter 18, Lecture Notes in Computer Science Series, Springer Verlag (to appear).

A Control-Flow Simplification Algorithm for Optimizing Compiler-Generated Parallel Code, John Mellor-Crummey and Vikram Adve, International Journal of Parallel Programming, 26 (5), October 1998 (special issue on Compilers and Languages for Parallel Computing; a preliminary version of this paper appeared in the 10th International Workshop on Languages and Compilers for Parallel Computing, Minneapolis, MN, August 1997).

An Integrated Compilation and Performance Analysis Environment for Data Parallel Programs, Vikram Adve, Jhy-Chun Wang, John Mellor-Crummey, Daniel Reed, Mark Anderson, and K. Kennedy, Supercomputing ’95. (HTML)

Requirements for Data-Parallel Programming Environments, Vikram S. Adve, A. Carle, E. Granston, S. Hiranandani, K. Kennedy, C. Koelbel, U. Kremer, J. Mellor-Crummey, S. Warren and C.-W. Tseng, IEEE Parallel and Distributed Technology, vol. 2, no. 3 (September 1994), pp. 48-58.

Compiler Support for Analysis and Tuning of Data Parallel Programs Vikram S. Adve, Charles Koelbel, and John Mellor-Crummey, Proceedings of the 1994 Workshop on Parallel Processing Tools and Environments (May 1994). (A more detailed version of this paper is available as CRPC-TR94405.)

Performance Modeling Techniques for Parallel Programs

Best Paper Award: Improving Lookahead in Parallel Discrete Event Simulations of Large-Scale Applications using Compiler Analysis, Ewa Deelman, Rajive Bagrodia, Rizos Sakellariou and Vikram Adve, Proc. 15th Workshop on Parallel and Distributed Simulation (PADS’01), Lake Arrowhead, California, USA, May 15-18 2001.

Compiler-Optimized Simulation of Large-Scale Applications on High Performance Architectures, Vikram S. Adve, Rajive Bagrodia, Ewa Deelman, and Rizos Sakellariou, Journal of Parallel and Distributed Computing, Special Issue on Parallel and Distributed Discrete-Event Simulation. pp. 393-426. Mar. 2002.

Compiler-Supported Simulation of Highly Scalable Parallel Applications, Vikram Adve, Rajive Bagrodia, Ewa Deelman, Thomas Phan and Rizos Sakellariou, SC99: High Performance Networking and Computing, Portland, OR (November 1999). (This is a preliminary version of the above JPDC paper)

POEMS: End-to-End Performance Design of Large Parallel Adaptive Computational Systems, Vikram S. Adve, Rajive Bagrodia, James C. Browne, Ewa Deelman, Aditya Dube, Elias Houstis, John Rice, Rizos Sakellariou, David Sundaram-Stukel, Patricia J. Teller, and Mary K. Vernon, IEEE Transactions on Software Engineering, 26 (11), Nov. 2000 (Special Issue on Software and Performance), pp. 1027-1048. (A preliminary version of this paper appeared in the Proceedings of the First International Workshop on Software and Performance, Santa Fe, NM, October 1998.)

Application Representations for Multi-Paradigm Performance Modeling of Large-Scale Parallel Scientific Codes, Vikram Adve and Rizos Sakellariou, International Journal of High-Performance and Scientific Applications, vol. 14, no. 4 (Winter 2000), pp. 304-316.

Parallel Program Performance Prediction Using Deterministic Task Graph Analysis, Vikram S. Adve and Mary K. Vernon, ACM Transactions on Computer Systems, Vol. 22, No. 1, pp. 94–136, Feb. 2004.

The Influence of Random Delays on Parallel Execution Times, Vikram S. Adve and Mary K. Vernon, Proceedings of the 1993 ACM SIGMETRICS Conference on Measurement and Modeling of Computer Systems, May 1993, pp. 61-73

The Relationship between Bernoulli and Fixed Feedback Policies for the M/G/1 Queue, Vikram S. Adve and Randolph D. Nelson, Operations Research, vol. 42, no. 2, pp. 380-385, March-April 1994.

Ph.D. Thesis Analyzing the Behavior and Performance of Parallel Programs, Computer Sciences Department, University of Wisconsin-Madison, October 1993.

Design and Analysis of Parallel Computer Architectures

An Evaluation of Fine-Grain Producer-Initiated Communication in Cache-Coherent Multiprocessors, Hazim A. Abdel-Shafi, Jonathan Hall, Sarita V. Adve and Vikram S. Adve, Proceedings of High Performance Computer Architecture-3 (February 1997).

Performance Analysis of Multiprocessor Mesh Interconnection Networks with Deterministic Routing, Vikram S. Adve and Mary K. Vernon, IEEE Transactions on Parallel and Distributed Systems, vol. 5, no. 3, March 1994.

Comparison of Hardware and Software Cache Coherence Schemes, Sarita V. Adve, Vikram S. Adve, Mark D. Hill and Mary K. Vernon, Proceedings of the Eighteenth Annual International Symposium on Computer Architecture (ISCA), May 1991, pp. 298-308. (Reprinted in The Cache-Coherence Problem in Shared-Memory Multiprocessors: Hardware Solutions, edited by Milo Tomasevic and Veljko Milutinovic, IEEE Computer Society Press, 1993, and in The Cache-Coherence Problem in Shared-Memory Multiprocessors: Software Solutions, edited by Igor Tartalja and Veljko Milutinovic, IEEE Computer Society Press, 1996.)