Radu Rugina, Martin Rinard  Home/Search
Context Related
Links: ACM DBLP | mit.edu/~rinard/paper/cc01.full.ps Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: mit.edu/~rinard/paper/ (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: This paper introduces design-driven compilation, an approach in which the compiler uses design information to drive its analysis and verify that the program conforms to its design. Although this requires the programmer to formally specify some additional design information, it offers a range of benefits, such as: fidelity to the designer's high-level expectations, early and automatic detection of design nonconformance bugs; analysis modularity, with support for local analysis, separate... (Update)
Context of citations to this paper: More
...precise e ects procedures with respect to the heap. The importance of procedure speci cations for pointer analysis was indicated in [14]. A language for annotating software libraries is described in [6] E ects systems in general were used in functional languages with side e...
...level semantic information (e.g. points to and side e#ect properties) and are produced by a library expert. Similarly, Rugina and Rinard [53] propose the use of design information in the context of optimizing compilers. In particular, they present summary information that...
Cited by: More
A Language for Role Specifications - Kuncak, Lam, Rinard (2001) (Correct)
Incorporating Domain-Specific Information into the Compilation.. - Guyer (2003) (Correct)
Detecting Errors with Configurable Whole-program Dataflow.. - Guyer, Berger, Lin (2002) (Correct)
Similar documents (at the sentence level):
50.1%: Design-Driven Compilation - Rugina, Rinard (2001) (Correct)
Active bibliography (related documents): More All
0.2: Symbolic Bounds Analysis of Pointers, Array Indices, and.. - Rugina, Rinard (2000) (Correct)
0.1: Analysis of Multithreaded Programs - Rinard (2001) (Correct)
0.1: An Object-Oriented Effects System - Greenhouse, Boyland (Correct)
System load high. Please wait...
Timeout. Please try your query later.
Similar documents based on text: More All
0.6: Automatic Parallelization of Divide and Conquer Algorithms - Rugina, Rinard (1999) (Correct)
0.5: Pointer Analysis for Multithreaded Programs - Radu Rugina And (1999) (Correct)
Related documents from co-citation: More All
7: An annotation language for optimizing software libraries - Guyer, Lin - 1999
5: Enforcing high-level protocols in low-level software - ahndrich, DeLine - 2001
5: Typestate a programming language concept for enhancing software reliability (context) - Strom, Yemini - 1986
BibTeX entry: (Update)
R. Rugina and M. Rinard. Design-driven compilation. In Proceedings of the International Conference on Compiler Construction, April 2001. http://citeseer.ist.psu.edu/article/rugina01designdriven.html More
@article{ rugina01designdriven,
author = "Radu Rugina and Martin Rinard",
title = "Design-Driven Compilation",
journal = "Lecture Notes in Computer Science",
volume = "2027",
pages = "150--??",
year = "2001",
url = "citeseer.ist.psu.edu/article/rugina01designdriven.html" }
Citations (may not include all citations):3972 Introductions to Algorithms (context) - Cormen, Leiserson et al. - 1990
246 Context-sensitive interprocedural points-to analysis in the .. - Emami, Ghiya et al. - 1994
230 Cilk: An efficient multithreaded runtime system - Blumofe, Joerg et al. - 1995
180 Efficient context-sensitive pointer analysis for C programs - Wilson, Lam - 1995 ACM DBLP
149 An implementation of interprocedural bounded regular section.. - Havlak, Kennedy - 1991
84 The SUIF compiler for scalable parallel machines (context) - Amarasinghe, Anderson et al. - 1995
81 The implementation of the Cilk-5 multithreaded language - Frigo, Leiserson et al. - 1998 ACM DBLP
80 Direct parallelization of CALL statements (context) - Triolet, Irigoin et al. - 1986 ACM DBLP
67 Detecting coarse-grain parallelism using an interprocedural .. - Hall, Amarasinghe et al. - 1995
60 Recursion leads to automatic variable blocking for dense lin.. (context) - Gustavson - 1997 ACM
51 Pointer analysis for multithreaded programs - Rugina, Rinard - 1999
42 Auto-blocking matrixmultiplication or tracking BLAS3 perform.. - Frens, Wise - 1997
33 Symbolic bounds analysis of pointers (context) - Rugina, Rinard - 2000
27 Automatic parallelization of divide and conquer algorithms - Rugina, Rinard - 1999 ACM DBLP
25 ACM Transactions on Programming Languages and Systems (context) - Rinard, Lam et al. - 1998
15 Automatic parallelization of recursive procedures - Gupta, Mukhopadhyay et al. - 1999 ACM DBLP
13 Recursive array layouts and fast matrix multiplication - Chatterjee, Lebeck et al. - 1999 ACM DBLP
7 Massachusetts Institute of Technology (context) - Gifford, Jouvelot et al. - 1987
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.cag.lcs.mit.edu/~rinard/paper/): More
Hierarchical Concurrency in Jade - Scales, Rinard, Lam, Anderson (Correct)
Commutativity Analysis: A Technique for Automatically.. - Rinard, Diniz (1996) (Correct)
Commutativity Analysis: A New Analysis Framework for.. - Rinard, Diniz (1996) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC