Area Index
Secure Virtual Architecture
The LLVM Compiler Infrastructure
The Automatic Pool Allocation
Project
SAFECode:
Static Analysis For Enforcing Code Safety
Program
Control Language (PCL): Language and Compiler Support for Adaptive Distributed
Computing
Data-Parallel
Compilers and Programming Environments
Performance
Modeling Techniques for Parallel Programs
Design and
Analysis of Parallel Computer Architectures
For publications and documents related to SVA, see
the SVA home page.
For publications and documents related to the LLVM Infrastructure, see
the LLVM home page.
 |
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 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.
|
|
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.
|
|
High Performance Fortran Compilation Techniques for Parallelizing Scientific
Codes,
Vikram Adve, Guohua Jin, John Mellor-Crummey and Qing Yi,
Supercomputing '98 (November 1998).
(HTML)
(Postscript)
|
|
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)
(Postscript)
|
|
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.. |
|
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
|
|
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. |
    
Last
Revised:
October 01, 2003 05:21 PM
.
|
