See this document in CiteSeerX!

Knit: Component Composition for Systems Software (2000)  (Make Corrections)  (24 citations)
Alastair Reid, Matthew Flatt, Leigh Stoller, et al.
Proc. of the 4th Operating Systems Design and Implementation (OSDI)



  Home/Search   Context   Related

Links:   DBLP

 
View or download:
utah.edu/~reid/osdi2000.ps.gz
utah.edu/flux/paper...knitosdi00.ps.gz
utah.edu/~reid/osdi2000.pdf
Cached:  PS.gz  PS  PDF   Image  Update  Help

From:  utah.edu/~reid/writing (more)
(Enter author homepages)

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

Abstract: Knit is a new component definition and linking language for systems code. Knit helps make C code more understandable and reusable by third parties, helps eliminate much of the performance overhead of componentization, detects subtle errors in component composition that cannot be caught with normal component type systems, and provides a foundation for developing future analyses over C-based components, such as cross-component optimization. The language is especially designed for use with... (Update)

Cited by:   More
Jonathan Aldrich - Requirements For The   (Correct)
Constructing Component-Based Extension Interfaces - In Legacy Systems   (Correct)
An Approach to Building Reflective Component-Based.. - Parlavantzas, Blair.. (2002)   (Correct)

Active bibliography (related documents):   More   All
0.7:   Static and Dynamic Structure in Design Patterns - Eide, Reid, Regehr, Lepreau (2002)   (Correct)
0.7:   Aspect Weaving as Component Knitting: Separating Concerns .. - Eide, Reid, Flatt.. (2001)   (Correct)
0.3:   An Inter-entry Invocation Selection Mechanism for Concurrent.. - Keen, Olsson (2003)   (Correct)

Similar documents based on text:   More   All
0.4:   Fast, Scalable Disk Imaging with Frisbee - Leigh   (Correct)
0.3:   PsyScope User Manual Version 1.0 - Cohen, MacWhinney, Provost, Flatt (1994)   (Correct)
0.3:   Dynamic CPU Management for Real-Time, Middleware-Based.. - Eide, Stack, Regehr.. (2004)   (Correct)

Related documents from co-citation:   More   All
8:   Component Software - Beyond Object-Oriented Programming (context) - Szyperski - 1998
7:   MMLite: A Highly Componentized System Architecture - Helander, Forin - 1998
6:   Monitoring, Security, and Dynamic Configuration with the dynamicTAO Reflective O.. - Kon, Roman et al.

BibTeX entry:   (Update)

Alastair Reid, Matthew Flatt, Leigh Stoller, Jay Lepreau, and Eric Eide. Knit: Component Composition for Systems Software. In Proc. of the 4th Symposium on Operating Systems Design and Implementation, pages 347--360, San Diego, CA, October 2000. http://citeseer.ist.psu.edu/reid00knit.html   More

@inproceedings{ reidknit,
    author = "Alastair Reid and Matthew Flatt and Leigh Stoller and Jay Lepreau and Eric Eide",
    title = "Knit: Component Composition for Systems Software",
    booktitle = "Proc. of the 4th Operating Systems Design and Implementation (OSDI)",
    year = 2000,
    month = october,
    pages = "347--360",
    url = "citeseer.ist.psu.edu/reid00knit.html" }
Citations (may not include all citations):
1363   The Common Object Request Broker: Architecture and Specifica.. (context) - Group - 1999
444   Mach: A New Kernel Foundation for UNIX Development (context) - Accetta, Baron et al. - 1986  DBLP
115   The Spring Nucleus: a Microkernel for Objects - Hamilton, Kougiouris - 1993
107   Scout: A Communications-oriented Operating System - Montz, Mosberger et al. - 1994
83   Modules for Standard ML - MacQueen - 1984  ACM   DBLP
73   Component Object Model Specification (context) - Corporation, Corporation - 1995
63   Fudgets: A Graphical User Interface in a Lazy Functional Lan.. - Carlsson, Hallgren - 1993  DBLP
62   Type-Safe Linking and Modular Assembly Language - Glew, Morrisett - 1999  ACM   DBLP
60   Modular Object-Oriented Programming with Units and Mixins - Findler, Flatt - 1998  ACM   DBLP
52   The Click Modular Router - Morris, Kohler et al. - 1999  ACM   DBLP
51   Prentice Hall (context) - Harbison - 1991
48   What is a Recursive Module - Crary, Harper et al. - 1999
42   Composition Validation and Subjectivity in GenVoca Generator.. - Batory, Geraci - 1997  ACM   DBLP
41   The Flux OSKit: A Substrate for OS and Language Research (context) - Ford, Back et al. - 1997
34   Import Is Not Inheritance --- Why We Need Both: Modules and .. - Szyperski - 1992
34   highperformance communication systems from components (context) - Liu, Kreitz et al. - 1999
30   Mesa Language Manual (context) - Mitchell, Mayberry et al. - 1979
24   The Pebble Component-Based Operating System - Gabber, Small et al. - 1999  DBLP
23   The Fox Project: Advanced Development of Systems Software - Harper, Cooper et al. - 1991
20   Dynamic Program Monitoring and Transformation Using the OMOS.. - Orr, Mecklenburg et al. - 1994
18   MMLite: A Highly Componentized System Architecture - Helander, Forin - 1998  DBLP
13   Fast and Flexible Shared Libraries - Orr, Bonn et al. - 1993  DBLP
12   ACM Transactions on Programming Languages and Systems (context) - Blume, Appel - 1999
8   Ada 95 Reference Manual (context) - for - 1995
4   Programming language techniques for modular router configura.. - Kohler, Chen et al. - 2000
3   Programming in Limbo (context) - Dorward, Pike - 1997  ACM
3   Programming Languages for Component Software (context) - Flatt - 1999
3   Units: Cool Units for HOT Languages (context) - Flatt, Felleisen - 1998
1   eCos: Embedded Configurable Operating System (context) - Hat



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


Documents on the same site (http://www.cs.utah.edu/~reid/writing.html):
FVision: A Declarative Language for Visual Tracking - Peterson, Hudak, Reid, Hager (2001)   (Correct)
Aspect Weaving as Component Knitting: Separating Concerns .. - Eide, Reid, Flatt.. (2001)   (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