Greg Morrisett, David Tarditi, Perry Cheng, Chris Stone, Robert Harper, Peter Lee  Home/Search
Context Related
| cmu.edu/project/fox/mosaic...wcsss96.ps cmu.edu/~cstone/papers/wcsss96.ps cornell.edu/faculty/home/jgm...wcsss.ps 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: cmu.edu/project/fox/mosaic/peo... (more) From: cornell.edu/faculty/home/j...home (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Systems code requires both high performance and reliability. Usually, these two goals are at odds with each other. For example, to prevent kernel data structures from being over-written or read, either accidentally or maliciously, conventional systems use hardware-enforced protection or software fault isolation (SFI). Unfortunately, both of these techniques exact a cost at run time: Hardware protection requires expensive context switches and data copying to communicate with the kernel or other... (Update)
Cited by: More
Manifest Security for Distributed Information - Crary, Harper, Pfenning (2006) (Correct)
Automated Techniques for Provably Safe Mobile Code - Colby, Crary, Harper, Lee.. (2000) (Correct)
From System F to Typed Assembly Language - Greg Morrisett David (1998) (Correct)
Similar documents (at the sentence level):
7.0%: TIL: A Type-Directed Optimizing Compiler for ML - Tarditi, Morrisett, Cheng (1995) (Correct)
Active bibliography (related documents): More All
0.2: Type-Secure Meta-Programming - Christopher Bentley Dornan (1998) (Correct)
0.2: Using Program Structure to Guide Optimization in the Presence of.. - Tarditi (1994) (Correct)
0.1: A Type-Theoretic Account of Standard ML 1996 (Version 2) - Harper (1996) (Correct)
Similar documents based on text: More All
0.1: The Event Handler API - Beck, Bee, Duval, Francis, Laugier.. (Correct)
0.1: Compiling Functional Languages - Bibliography - Tolmach (1996) (Correct)
0.1: From System F to Typed Assembly Language (Extended Version) - Morrisett, Walker, Crary.. (1997) (Correct)
Related documents from co-citation: More All
10: TALx86: A realistic typed assembly language - Morrisett, Crary et al. - 1999
9: TIL: A type-directed optimizing compiler for ML - Tarditi, Morrisett et al. - 1995
7: Abstract Types Have Existential Type (context) - Mitchell, Plotkin - 1988
BibTeX entry: (Update)
G. Morrisett, D. Tarditi, P. Cheng, C. Stone, R. Harper, and P. Lee. The TIL/ML compiler: Performance and safety through types. In Workshop on Compiler Support for Systems Software, Tucson, February 1996. http://citeseer.ist.psu.edu/morrisett96tilml.html More
@misc{ morrisett96tilml,
author = "Greg Morrisett and David Tarditi and Perry Cheng and Chris Stone and Robert
Harper and Peter Lee",
title = "The TIL/ML Compiler: Performance and Safety through Types",
text = "G. Morrisett, D. Tarditi, P. Cheng, C. Stone, R. Harper, and P. Lee. The
TIL/ML compiler: Performance and safety through types. In Workshop on Compiler
Support for Systems Software, Tucson, February 1996.",
year = "1996",
url = "citeseer.ist.psu.edu/morrisett96tilml.html" }
Citations (may not include all citations):339 Efficient software-based fault isolation - Wahbe, Lucco et al. - 1993 ACM DBLP
311 Abstract types have existential type (context) - Mitchell, Plotkin - 1988 ACM DBLP
215 A type-theoretic approach to higher-order modules with shari.. - Harper, Lillibridge - 1994 ACM DBLP
210 TIL: A type-directed optimizing compiler for ml - Tarditi, Morrisett et al. - 1996 DBLP
186 Compiling polymorphism using intensional type analysis - Harper, Morrisett - 1995 ACM DBLP
138 Typed closure conversion - Minamide, Morrisett et al. - 1996 ACM DBLP
128 and separate compilation (context) - Leroy, modules - 1994
95 Elements of Functional Programming (context) - Reade - 1989 ACM
85 Abstract models of memory management (context) - Morrisett, Felleisen et al. - 1995 ACM DBLP
79 A type-based compiler for Standard ML - Shao, Appel - 1994 ACM DBLP
63 Tag-free garbage collection using explicit type parameters - Tolmach - 1994 ACM DBLP
58 Java intermediate bytecodes (context) - Gosling - 1995 ACM
36 School of Computer Science (context) - Morrisett, Types - 1995
33 Space-efficient conservative garbage collection - Boehm - 1993
28 A lexical analyzer generator for Standard ML (context) - Appel, Mattson et al. - 1989
27 Signatures for a network protocol stack: A systems applicati.. - Biagioni, Harper et al. - 1994 DBLP
17 SIMPLE: An exercise in future scientific programming (context) - Ekanadham - 1987
15 Parallel implementations from function prototypes: a case st.. (context) - Waugh, McAndrew et al. - 1990
7 School of Computer Science (context) - Tarditi, PhD
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://foxnet.cs.cmu.edu/afs/cs.cmu.edu/project/fox/mosaic/people/cstone/): More
Transparent and Opaque Interpretations of Datatypes - Crary, Harper, Cheng.. (Correct)
Privacy via Subsumption - Riecke (1998) (Correct)
TIL: A Type-Directed Optimizing Compiler for ML - Tarditi, Morrisett, Cheng (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