Dylan McNamee, Jonathan Walpole, Calton Pu, Crispin Cowan, Charles Krasic, Ashvin Goel, Perry Wagle  Home/Search
Context Related
| ogi.edu/~crispin/s...x_tocs_may2001.pdf gatech.edu/~calton...ializationTOCS.pdf 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: ogi.edu/~crispin/ (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Specialization has been recognized as a powerful technique for optimizing operating systems. However, specialization has not been broadly applied beyond the research community because current techniques, based on manual specialization, are time-consuming and error-prone. The goal of the work described in this paper is to help operating system tuners perform specialization more easily. We have built a specialization toolkit that assists the major tasks of specializing operating systems. ... (Update)
Cited by: More
Fast Paths in Concurrent Programs - Xu, Kumar, Li (2004) (Correct)
Transformation by Interpreter Specialisation - Jones (2004) (Correct)
Remote Customization of Systems Code for Embedded Devices - Bhatia, Consel, Pu (2004) (Correct)
Active bibliography (related documents): More All
0.5: StackGuard: Automatic Adaptive Detection and Prevention of.. - Cowan (1998) (Correct)
0.3: A Toolkit for Specializing Production Operating System.. - Cowan, McNamee, Black, .. (1997) (Correct)
0.3: Accurate Program Analyses for Successful Specialization.. - Muller, Marlet.. (2000) (Correct)
Similar documents based on text: More All
0.5: Declarative Specialization of Object-Oriented Programs - Volanschi, Consel, Muller.. (1997) (Correct)
0.5: Fast, Optimized Sun RPC Using Automatic Program.. - Muller, Marlet.. (1997) (Correct)
0.5: Specialization Classes: An Object Framework for Specialization - Crispin Cowan (1996) (Correct)
Related documents from co-citation: More All
7: Optimistic Incremental Specialization: Streamlining a Commercial Operating Syste.. - Pu, Autrey et al. - 1995
4: Partial Evaluation and Automatic Program Generation (context) - Jones, Gomard et al. - 1993
3: Automatic autoprojection of recursive equations with global variables and abstra.. - Bondorf, Danvy - 1991
BibTeX entry: (Update)
Dylan McNamee, Jonathan Walpole, Calton Pu, Crispin Cowan, Charles Krasic, Ashvin Goel, Perry Wagle, Charles Consel, Gilles Muller, and Renaud Marlet. Specialization tools and techniques for systematic optimization of system software. ACM Transactions on Computer Systems, 19(2):217-251, 2001. http://citeseer.ist.psu.edu/mcnamee01specialization.html More
@article{ mcnamee01specialization,
author = "Dylan McNamee and Jonathan Walpole and Calton Pu and Crispin Cowan and Charles Krasic and Ashvin Goel and Perry Wagle and Charles Consel and Gilles Muller and Renauld Marlet",
title = "Specialization tools and techniques for systematic optimization of system software",
journal = "ACM Transactions on Computer Systems",
volume = "19",
number = "2",
pages = "217--251",
year = "2001",
url = "citeseer.ist.psu.edu/mcnamee01specialization.html" }
Citations (may not include all citations):862 The Java Language Specification - Team, Gosling et al. - 1996
756 AspectOriented Programming - Kiczales, Lamping et al. - 1997
638 Partial Evaluation and Automatic Program Generation (context) - Jones, Gomard et al. - 1993
447 Exokernel: An Operating System Architecture for Application-.. - Engler, Kaashoek et al. - 1995
412 A Survey of Active Network Research - Tennenhouse, Smith et al. - 1997
400 Safety and Performance in the SPIN Operating System (context) - Bershad, Savage - 1995
299 The BSD Packet Filter: A New Architecture for User-level Pac.. - McCanne, Jacobson - 1993
236 Hypertext Transfer Protocol -- HTTP - Fielding, Gettys et al. - 1999
206 Tutorial Notes on Partial Evaluation (context) - Consel, Danvy - 1993
201 Telescript technology: The foundation for the electronic mar.. (context) - White - 1994
200 The PostScript Language Reference Manual (context) - Inc - 1984
159 lmbench: Portable tools for performance analysis - McVoy, Staelin - 1996
133 Multi-Stage Programming with Explicit Annotations - Taha, Sheard - 1997
121 Continuous Profiling: Where Have All the Cycles Gone - Anderson, Berc - 1997
111 Optimistic Incremental Specialization: Streamlining a Commer.. - Pu, Autrey - 1995
107 Scout: A Communications-Oriented Operating System - Montz, Mosberger et al. - 1995
105 NFS: Network File System Protocol Specification (context) - Microsystems - 1988
92 Microkernels Meet Recursive Virtual Machines - Ford, Hibler et al. - 1996
85 An experiment in partial evaluation: The generation of a com.. (context) - Jones, Sestoft et al. - 1985
84 The SUIF Compiler for Scalable Parallel --- 28 --- Machines (context) - Amarasinghe, Anderson et al. - 1995
73 and MachineIndependent Dynamic Code Generation (context) - Engler, Hsieh et al. - 1996
68 CPU Inheritance Scheduling - Ford, Susarla - 1996
64 Beyond the Black Box: Open Implementation (context) - Kiczales - 1996
63 Hypertext Transfer Protocol -- HTTP (context) - Berners-Lee, Feilding et al. - 1996
59 Multistage Programming: Its Theory and Applications - Taha - 1999
54 SLIC: An Extensibility System for Commodity Operating System.. - Ghormley, Petrou et al. - 1998
51 An Evaluation of Staged Run-time Optimizations in DyC (context) - Grant, Philipose et al. - 1999
49 Centrum voor Wiskunde en Informatica - Tip - 1994
46 Mach: A Foundation for Open Systems - Rashid, Baron - 1989
43 Accurate Binding-Time Analysis for Imperative Languages: Flo.. - Hornof, Noy - 1997
41 Frameworks and Refinement (context) - Campbell, Islam et al. - 1992
41 The Flux OSKit: A Substrate for OS and Language Research (context) - Ford, Back et al. - 1997
39 Fine-Grained Dynamic Instrumentation of Commodity Operating .. - Tamches, Miller - 1999
34 Dynamic binding for an Extensible System (context) - Pardyak, Bershad - 1996
34 high-performance communication systems from components (context) - Liu, Kreitz et al. - 1999
31 Knowledge Engineering Review (context) - Woolridge, Jennings - 1995
29 A Reflective Architecture for an Object-Oriented Distributed.. - Yokote, Teraoka et al. - 1989
29 OMOS - an Object Server for Program Execution - Orr - 1992
27 Fast Concurrent Dynamic Linking for an Adaptive Operating Sy.. - Cowan, Autrey et al. - 1996
27 Optimized Sun RPC Using Automatic Program Specialization (context) - Muller, Marlet et al. - 1998
26 Binding-time Analysis and the Taming of C Pointers - Andersen - 1993
22 DSL Implementation Using Staging and Monads - Sheard, Benaissa et al. - 1999
22 Dynamic Typing Through Staged Type Inference (context) - Shields, Sheard et al. - 1998
20 SWiFT: A Feedback Control and Dynamic Reconfiguration Toolki.. - Goel, Steere et al. - 1998
19 VINO: An Integrated Platform for Operating System and Databa.. - Small, Seltzer - 1994
19 Lackwit: A Program Understanding Tool Based on Type Inferenc.. (context) - O'Callahan, Jackson - 1997
18 A general approach to run-time specialization and its applic.. (context) - Consel, Nol - 1996
17 Recent Developments in AspectJ (context) - Lopes, Kiczales - 1998
17 Effective Specialization of Realistic Programs via Use Sensi.. - Hornof, Consel et al. - 1997
17 Architecturing Software Using a Methodology for Language Dev.. - Consel, Marlet - 1998
15 A Software Feedback Toolkit and its Application In Adaptive .. - Cen - 1997
15 Scaling up Partial Evaluation for Optimizing the Sun Commerc.. - Muller, Volanschi et al. - 1997
13 Efficient Incremental Run-Time Specialization for Free - Marlet, Consel et al. - 1999
13 The LinuxThreads library (context) - Leroy - 1996
11 Annotated Bibliography on Partial Evaluation and Mixed Compu.. (context) - Sestoft, Zamulin - 1988
11 Semantic Foundations of Binding-Time Analysis for Imperative.. (context) - Das, Reps et al. - 1995
10 Thread and InputOutput Synthesi Kernel - Pu, Input et al. - 1989
6 Accurate Program Analyses for Successful Specialization of L.. - Muller, Marlet et al. - 2000
2 A Toolkit for Specializing Production Operating System Code - Cowan, McNamee - 1997
1 Linux Trace Toolkit (context) - Yaghmour - 1999
1 RPC: Remote Proceduce Call (context) - Microsystems - 1988
1 Lockmeter: Kernel Spinlock Metering for Linux IA (context) - Inc - 1999
1 All About Administering NIS (context) - Ramsey - 1994
1 Solaris Naming Administration Guide (context) - Inc - 1999
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.cse.ogi.edu/~crispin/): More
StackGuard: Automatic Adaptive Detection and Prevention of.. - Cowan (1998) (Correct)
SubDomain: Parsimonious Server Security - Cowan, Beattie, Kroah-Hartman.. (2000) (Correct)
Linux Security Modules: General Security Support for the.. - Wright, Cowan, Morris (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