Richard West, Gary T. Wong  Home/Search
Context Related
| bu.edu/techreports...2005006cuckoo.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: bu.edu/techreports/pdf/ (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: This paper is centered around the design of a threadand memory-safe language, primarily for the compilation of application-specific services for extensible operating systems. We describe various issues that have influenced the design of our language, called Cuckoo, that guarantees safety of programs with potentially asynchronous flows of control. Comparisons are drawn between Cuckoo and related software safety techniques, including Cyclone and software-based fault isolation (SFI), and... (Update)
Cited by: More
Cuckoo: a Language for Implementing Memory- and Thread-safe.. - Services Richard West (2005) (Correct)
Active bibliography (related documents): More All
1.1: Cuckoo: a Language for Implementing Memory- and Thread-safe.. - West, Wong (2005) (Correct)
0.3: An Efficient End-host Architecture for Cluster Communication.. - Qi, Parmer, West (2004) (Correct)
0.2: User-Level Sandboxing: a Safe and Efficient Mechanism for.. - West, Gloudon (2003) (Correct)
Similar documents based on text: More All
0.1: On Network CoProcessors for Scalable, Predictable Media .. - Krishnamurthy, Schwan, .. (2002) (Correct)
0.1: ShareStreams: A Scalable Architecture and Hardware .. - Krishnamurthy.. (Correct)
0.1: The Adaptiveness of Defence Strategies Against Cuckoo.. - Planque, Britton.. (2002) (Correct)
BibTeX entry: (Update)
R. West and G. Wong. Cuckoo: a language for implementing memory- and thread-safe system services. Technical Report 2005-006, Boston University, February 2005. http://citeseer.ist.psu.edu/article/west05cuckoo.html More
@misc{ west05cuckoo,
author = "R. West and G. Wong",
title = "Cuckoo: a language for implementing memory- and thread-safe system services",
text = "R. West and G. Wong. Cuckoo: a language for implementing memory- and thread-safe
system services. Technical Report 2005-006, Boston University, February
2005.",
year = "2005",
url = "citeseer.ist.psu.edu/article/west05cuckoo.html" }
Citations (may not include all citations):264 Safe kernel extensions without runtime checking - Necula, Lee - 1996
175 Dealing with disaster: Surviving misbehaved kernel extension.. - Seltzer, Endo et al. - 1996
127 Systems Programming with Modula (context) - Nelson - 1991
88 Cyclone: A safe dialect of C - Jim, Morrisett et al. - 2002
78 and performance in the SPIN operating system (context) - Bershad, Savage et al. - 1995
67 Ccured: Typesafe retrofitting of legacy code - Necula, McPeak et al. - 2002
43 On micro-kernel construction - Liedtke - 1995
36 Integrating segmentation and paging protection for safe - Chiueh, Venkitachalam et al. - 1999
14 Memory safety without runtime checks or garbage collection - Dhurjati, Kowshik et al. - 2003
10 Programming Language Second Edition (context) - Kernighan, Ritchie - 1988
10 QoS safe' kernel extensions for real-time resource managemen.. - West, Gloudon - 2002
9 User-Level Sandboxing: a safe and efficient mechanism for ex.. - West, Gloudon - 2003
8 Software-based fault isolation (context) - Wahbe, Lucco et al. - 1993
5 Requirements for realtime extensions for the Java platform (context) - Carnahan, Ruark - 1999
3 An efficient end-host architecture for cluster communication.. - Qi, Parmer et al. - 2004
Documents on the same site (http://www.cs.bu.edu/techreports/pdf/): More
Robust Tracking of Human Motion - Buzan (2004) (Correct)
Segmenting Foreground Objects from a Dynamic Textured.. - Zhong, Sclaroff (2003) (Correct)
dPAM: A Distributed Prefetching Protocol for Scalable.. - Sharma, Bestavros, Matta (2004) (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