See this document in CiteSeerX!

A General Approach for Run-Time Specialization and its Application to C (1995)  (Make Corrections)  (132 citations)
Charles Consel, et al.
Symposium on Principles of Programming Languages



  Home/Search   Context   Related

Links:   ACM   DBLP

 
View or download:
irisa.fr/techreports/199...PI946.ps.gz
Cached:  PS.gz  PS  PDF   Image  Update  Help

From:  fermivista.math.ju...ftp.irisa.fr (more)
(Enter author homepages)

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

Abstract: : Specializing programs with respect to run-time invariants is an optimization technique that has shown to improve the performance of programs substantially. It allows a program to adapt to execution contexts that are valid for a limited time. Run-time specialization is being actively investigated in a variety of areas. For example, recently, major operating system research projects have been focusing on run-time specialization as a means to obtain efficiency from highly extensible and... (Update)

Cited by:   More
A Modal Analysis of Staged Computation - Rowan Davies And (1996)   (Correct)
Dynamic specialization in the Fabius system - Mark Leone And (1998)   (Correct)
The Abstraction and Instantiation of String-Matching.. - Amtoft, Consel.. (2001)   (Correct)

Active bibliography (related documents):   More   All
0.4:   A Uniform Approach for Compile-time and Run-time.. - Consel, Hornof.. (1996)   (Correct)
0.4:   Partial Evaluation: Principles and Perspectives - Consel, Danvy (1993)   (Correct)
0.4:   Evaluating Runtime-Compiled Value-Specific Optimizations - Keppel, Eggers, Henry (1993)   (Correct)

Similar documents based on text:   More   All
0.2:   Tempo: Specializing Systems Applications and Beyond - Consel, Hornof, Marlet.. (1998)   (Correct)
0.2:   Experiments in Program Compilation by Interpreter.. - Thibault, Bercot.. (1998)   (Correct)
0.2:   Towards Automatic Specialization of Java Programs - Schultz, Lawall, Consel, Muller (1999)   (Correct)

Related documents from co-citation:   More   All
49:   Partial Evaluation and Automatic Program Generation (context) - Jones, Gomard et al. - 1993
48:   Optimizing ML with run-time code generation - Lee, Leone
36:   effective dynamic compilation (context) - Auslander, Philipose et al. - 1996

BibTeX entry:   (Update)

Charles Consel and Franccois Noel. A general approach for run-time specialization and its application to C. In 23rd Annual ACM SIGACT-SIGPLAN Symposium on the Principles of Programming Languages, pages 145--156, January 1996. http://citeseer.ist.psu.edu/consel95general.html   More

@inproceedings{ consel96general,
    author = "Charles Consel and Francois Noel",
    title = "A General Approach for Run-Time Specialization and its Application to C",
    booktitle = "Symposium on Principles of Programming Languages",
    pages = "145-156",
    year = "1996",
    url = "citeseer.ist.psu.edu/consel95general.html" }
Citations (may not include all citations):
638   Partial Evaluation and Automatic Program Generation (context) - Jones, Gomard et al. - 1993  ACM
206   Tutorial notes on partial evaluation (context) - Consel, Danvy - 1993  ACM   DBLP
145   Customization: Optimizing compiler technology for SELF (context) - Chambers, Ungar - 1989
111   Optimistic incremental specialization: Streamlining a commer.. - Pu, Autrey et al. - 1995  DBLP
107   Scout: A communications-oriented operating system - Montz, Mosberger et al. - 1994
89   SPIN -- an extensible microkernel for application-specific o.. - Bershad, Chambers et al. - 1994
76   A uniform approach for compile-time and run-time specializat.. - Consel, Hornof et al. - 1995  ACM   DBLP
74   Threads and input/output in the Synthesis kernel - Massalin, Pu - 1989  DBLP
63   A code generation interface for ANSI C - Fraser, Hanson - 1991  ACM   DBLP
44   Lightweight run-time code generation - Lee, Leone - 1994  DBLP
34   A case for runtime code generation (context) - Keppel, Eggers et al. - 1991
31   retargetable dynamic code generation system (context) - Engler, Proebsting et al. - 1994
26   Evaluating runtime compiled value-specific optimizations - Keppel, Eggers et al. - 1993
24   software trade-offs for bitmap graphics on the blit (context) - Pike, Locanthi et al. - 1985
23   Incremental specialization: The key to high performance (context) - Consel, Pu et al. - 1993
18   From interpreting to compiling binding times (context) - Consel, Danvy - 1990  ACM   DBLP
4   Making production OS kernel adaptive: Incremental specializa.. (context) - Consel, Pu et al. - 1994
3   off-line partial evaluation: Semantic specifications and cor.. (context) - Consel, Khoo - 1993
3   Fast bitblt with asm (context) - Locanthi - 1987



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


Documents on the same site (http://fermivista.math.jussieu.fr/ftp/ftp.irisa.fr.html):   More
Table 51: Topology error tests - Test Path   (Correct)
Solving the Consensus Problem in a Mobile Environment - Badache, Hurfin, Macedo (1997)   (Correct)
A New Method For The Generation Of Strong Prime Numbers - Saouter (1995)   (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