See this document in CiteSeerX!

C: A Language for High-Level, Efficient, and Machine-independent Dynamic Code Generation (1996)  (Make Corrections)  (4 citations)
Dawson R. Engler, Wilson C. Hsieh, M. Frans Kaashoek
Symposium on Principles of Programming Languages



  Home/Search   Context   Related

 
View or download:
mit.edu/publicatio...MITLCSTM526.pdf
mit.edu/publicatio...TLCSTM526.ps.gz
Cached:  PS.gz  PS  PDF   Image  Update  Help

From:  mit.edu/publications/pubs/pdf/ (more)
(Enter author homepages)

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

Abstract: Dynamic code generation allows specialized code sequences to be crafted using runtime information. Since this information is by definition not available statically, the use of dynamic code generation can achieve performance inherently beyond that of static code generation. Previous attempts to support dynamic code generation have been low-level, expensive, or machine-dependent. Despite the growing use of dynamic code generation, no mainstream language provides flexible, portable, and... (Update)

Context of citations to this paper:   More

.... for dynamic compilation and adaptive execution require the user to identify run time invariants using user guided annotations [16, 17, 18, 19, 20]. One of the goals of value profiling is to provide an automated approach for identifying semi invariant variables and to use...

.... C) a dialect of C that allows the programmer to specify certain sections of code whose compilation will be delayed until run time [11,21,22]. The generated code can then be optimized to take advantage of run time information such as run time constants (program parameters such...

Cited by:   More
Active Library Resolution in Active Networks - Lee (1998)   (Correct)
An API for Runtime Code Patching - Buck, Hollingsworth (2000)   (Correct)
A Case for Automatic Run-Time Code Optimization - Feigin (1999)   (Correct)

Similar documents (at the sentence level):
44.6%:   `C: A Language for High-Level, Efficient, and.. - Engler, Hsieh, Kaashoek (1996)   (Correct)

Active bibliography (related documents):   More   All
0.4:   tcc: A System for Fast, Flexible, and High-level Dynamic .. - Poletto, Engler.. (1997)   (Correct)
0.4:   Optimizing ML with Run-Time Code Generation - Detex Paper Wc   (Correct)
0.4:   tcc: A Template-Based Compiler for `C - Poletto, Engler, Kaashoek (1995)   (Correct)

Similar documents based on text:   More   All
1.2:   `C and tcc: A Language and Compiler for Dynamic Code.. - Poletto, Hsieh, Engler, .. (1999)   (Correct)
1.0:   VCODE: A Retargetable, Extensible, Very Fast Dynamic Code.. - Engler (1996)   (Correct)
0.9:   DCG: An Efficient, Retargetable Dynamic Code Generation System - Engler, Proebsting (1994)   (Correct)

Related documents from co-citation:   More   All
2:   ATOM: A System for Building Customized Program Analysis Tools (context) - Srivastava, Eustace - 1994
2:   Optimizing dynamicallydispatched calls with run-time type feedback (context) - Holzle, Ungar - 1994
2:   Fast, Effective Dynamic Compilation - Auslander, Philipose et al. - 1996

BibTeX entry:   (Update)

D. Engler, W. Hsieh, and M. Kaashoek, "`C: A language for high-level efficient, and machine-independent dynamic code generation," in Thirteenth ACM Symposium on Principles of Programming Languages, pp. 131--144, ACM, Jan. 1996. http://citeseer.ist.psu.edu/engler96language.html   More

@inproceedings{ engler96language,
    author = "Dawson R. Engler and Wilson C. Hsieh and M. Frans Kaashoek",
    title = "`C: A Language for High-Level, Efficient, and Machine-Independent Dynamic Code Generation",
    booktitle = "Symposium on Principles of Programming Languages",
    pages = "131-144",
    year = "1996",
    url = "citeseer.ist.psu.edu/engler96language.html" }
Citations (may not include all citations):
206   Tutorial notes on partial evaluation (context) - Consel, Danvy - 1993
197   Revised report on the algorithmic language Scheme - Rees, Clinger - 1992
161   The packet filter: An efficient mechanism for user-level net.. - Mogul, Rashid et al. - 1987
145   Customization: Optimizing compiler technology for SELF (context) - Chambers, Ungar - 1989
142   MINT: a front end for efficient simulation of shared-memory .. - Veenstra, Fowler - 1994
121   Efficient implementation of the Smalltalk-80 system - Deutsch, Schiffman - 1984
98   Mix: a self-applicable partial evaluator for experiments in .. (context) - Jones, Sestoft et al. - 1989
89   SPIN - an extensible microkernel for application-specific op.. - Bershad, Chambers et al. - 1994
80   Optimizing dynamically-dispatched calls with run-time type f.. (context) - Holzle, Ungar - 1994
65   Computing Systems (context) - Pu, Massalin et al. - 1988
63   A code generation interface for ANSI C - Fraser, Hanson - 1990
53   Synthesis: an efficient implementation of fundamental operat.. - Massalin - 1992
44   Lightweight run-time code generation - Leone, Lee - 1994
38   Programmable syntax macros - Weise, Crew - 1993
31   retargetable dynamic code generation system (context) - Engler, Proebsting et al. - 1994
29   A Reference Manual (context) - Harbison, Jr - 1991
24   second edition (context) - Jr, Lisp - 1990
22   A portable interface for on-the-fly instruction space modifi.. (context) - Keppel - 1991
4   Prentice Hall Software Series (context) - Wall, Programming - 1994
3   Hardwaresoftware trade off bitmap graphic Blit - Locanthi, software et al. - 1985

Documents on the same site (http://www.lcs.mit.edu/publications/pubs/pdf/):   More
Proving Correctness of a Distributed Shared Memory Implementation - Castro (1999)   (Correct)
Experience with Fine-Grain Synchronization in MIMD Machines.. - Yeung, Agarwal (1993)   (Correct)
Write Barrier Removal by Static Analysis - Zee, Rinard (2002)   (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