(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