See this document in CiteSeerX!

DyC: An Expressive Annotation-Directed Dynamic Compiler for C (1998)  (Make Corrections)  (55 citations)
Brian Grant, Markus Mock, Matthai Philipose, Craig Chambers, Susan J. Eggers
Theoretical Computer Science



  Home/Search   Context   Related

 
View or download:
berkeley.edu/~kubitron/comp...uwdyc.ps
pitt.edu/~mock//paper...tr970303.pdf
Cached:  PS.gz  PS  PDF   Image  Update  Help

From:  berkeley.edu/~kubitron/comprea... (more)
(Enter author homepages)

Rate this article: (best)
  Comment on this article  
(Enter summary)

Abstract: We present the design of DyC, a dynamic-compilation system for C based on run-time specialization. Directed by a few declarative user annotations that specify the variables and code on which dynamic compilation should take place, a binding-time analysis computes the set of run-time constants at each program point in the annotated procedure's control-flow graph; the analysis supports programpoint -specific polyvariant division and specialization. The analysis results guide the construction of a... (Update)

Cited by:   More
Improving Mobile Program Performance through the Use of a Hybrid.. - Krintz (2002)   (Correct)
Tamper-Proof Annotations, by Construction - Franz, Haldar, Krintz, Stork   (Correct)
Efficient Data Driven Run-Time Code Generation - Brifault, Charles   (Correct)

Similar documents (at the sentence level):
78.3%:   DyC: An Expressive Annotation-Directed Dynamic.. - Grant, Mock.. (1997)   (Correct)
40.4%:   Annotation-Directed Run-Time Specialization in C - Grant   (Correct)

Active bibliography (related documents):   More   All
0.2:   JBSP: A BSP Programming Library In Java - Yan (1999)   (Correct)
0.2:   Multi-Threaded Processor For Software-Defined Radio - John Glossner Erdem (2002)   (Correct)
0.2:   The DELFT-JAVA Engine - Glossner (2001)   (Correct)

Similar documents based on text:   More   All
1.5:   The Benefits and Costs of DyC's Run-Time - Brian Grant Markus (2000)   (Correct)
1.2:   The Benefits and Costs of DyC's - Optimizations Brian Grant (2000)   (Correct)
0.3:   Calpa: A Tool for Automating Selective Dynamic Compilation - Mock, Chambers, Eggers (2000)   (Correct)

Related documents from co-citation:   More   All
19:   Optimizing ML with run-time code generation - Lee, Leone
18:   A general approach for run-time specialization and its application to C - Consel, Noel - 1996
14:   Practicing JUDO: Java Under Dynamic Optimizations (context) - Cierniak, Lueh et al. - 2000

BibTeX entry:   (Update)

Brian Grant, Markus Mock, Matthai Philipose, Craig Chambers, and Susan J. Eggers. DyC: An expressive annotationdirected dynamic compiler for C. Theoretical Computer Science, to appear. http://citeseer.ist.psu.edu/article/grant98dyc.html   More

@article{ grant00dyc,
    author = "Brian Grant and Markus Mock and Matthai Philipose and Craig Chambers and Susan J. Eggers",
    title = "Dy{C}: an expressive annotation-directed dynamic compiler for {C}",
    journal = "Theoretical Computer Science",
    volume = "248",
    number = "1--2",
    pages = "147--199",
    year = "2000",
    url = "citeseer.ist.psu.edu/article/grant98dyc.html" }
Citations (may not include all citations):
638   Partial Evaluation and Automatic Program Generation (context) - Jones, Gomard et al. - 1993
492   Smalltalk-80: The Language and its Implementation (context) - Goldberg, Robson - 1983
480   The Program Dependence Graph and its Use in Optimization (context) - Ferrante, Ottenstein et al. - 1987
476   Programming Language (context) - Kernighan, Ritchie - 1988
232   Program Analysis and Specialization for the C Programming La.. (context) - Andersen - 1994
228   Points-to Analysis in Almost Linear Time - Steensgaard - 1996
180   Efficient Context-Sensitive Pointer Analysis for C Programs - Wilson, Lam - 1995
156   The Multiflow Trace Scheduling Compiler - Lowney, Freudenberger et al. - 1993
152   An Efficient Method of Computing Static Single Assignment Fo.. (context) - Cytron, Ferrante et al. - 1989
132   A General Approach for RunTime Specialization and its Applic.. - Consel, Nol - 1996
123   Optimizing ML with Run-Time Code Generation - Leone, Lee - 1995
123   Optimizing ML with Run-Time Code Generation - Leone, Lee - 1996
90   Effective Dynamic Compilation (context) - Auslander, Philipose et al. - 1996
76   A Uniform Approach for Compile-Time and Run-Time Specializat.. - Consel, Hornof et al. - 1996
73   and Machine-Independent Dynamic Code Generation (context) - Engler, Hsieh et al. - 1996
69   A Tour of Schism: A Partial Evaluation System for Higher-Ord.. - Consel - 1993
48   Automatic online partial evaluation (context) - Weise, Conybeare et al. - 1991
38   Declarative specialization of object-oriented programs - Volanschi, Consel et al. - 1997
36   Taming Control Flow: A Structured Approach to Eliminating go.. - Erosa, Hendren - 1994
29   and High-level Dynamic Code Generation (context) - Poletto, Engler et al. - 1997
24   Techniques for Partial Evaluation of Imperative Languages (context) - Meyer - 1991
20   Self-Applicable C Program Specialization - Andersen - 1992
5   Inside the Java Virtual Machine (context) - Lindholm, Yellin - 1997
3   Retargetable Dynamic Code Generator (context) - Engler, Proebsting et al. - 1994
2   Measuring Limits of Fine-Grain Parallelism (context) - Sirer - 1993
1   If run-time inlining through function pointers were availabl.. (context) - Andersen, Specialization et al. - 1992



The graph only includes citing articles where the year of publication is known.


Documents on the same site (http://http.cs.berkeley.edu/~kubitron/compread/):   More
A Provably Time-Efficient Parallel Implementation of Full.. - Greiner, Blelloch (1996)   (Correct)
DPF: Fast, Flexible Message Demultiplexing using Dynamic.. - Engler, Kaashoek (1996)   (Correct)
Control Flow Speculation in Multiscalar Processors - Jacobson, al. (1997)   (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