Skip to search formSkip to main contentSkip to account menu

Overcast: reliable multicasting with on overlay network

TLDR
Simulations indicate that Overcast quickly builds bandwidth-efficient distribution trees that, compared to IP Multicast, provide 70%-100% of the total bandwidth possible, at a cost of somewhat less than twice the network load.
View on ACM (opens in a new tab)

Exokernel: an operating system architecture for application-level resource management

TLDR
The prototype exokernel system implemented here is at least five times faster on operations such as exception dispatching and interprocess communication, and allows applications to control machine resources in ways not possible in traditional operating systems.
View on ACM (opens in a new tab)

Semantic file systems

TLDR
Experimental results from a semantic file system implementation support the thesis that semantic file systems present a more effective storage abstraction than do traditional tree structured file systems for information sharing and command level programming.
View on ACM (opens in a new tab)

Real-time replication garbage collection

TLDR
The first copying garbage collector is implemented that permits continuous unimpeded mutator access to the original objects during copying and uses a mutation log to bring the replicas up-to-date with changes made by the mutator.
View on ACM (opens in a new tab)

The operating system kernel as a secure programmable machine

TLDR
To test and evaluate exokernels and their customization techniques a prototype system is being developed, Aegis, which allows programmable yet safe additions to the supervisor-mode execution environment.
View on ACM (opens in a new tab)

The operating system kernel as a secure programmable machine

TLDR
To put abstractions traditionally implemented by the kernel out into user-space, where user-level libraries and servers abstract the exposed hardware resources, a new operating system structure, exokernel, is defined that safely exports the resources defined by the underlying hardware.
View on ACM (opens in a new tab)

Concurrent compacting garbage collection of a persistent heap

TLDR
The implementation is the first to provide concurrent and compacting garbage collection of a persistent heap and Measurements show that concurrent replicating collection produces significantly shorter pause times than stop-and-copy collection.
View on ACM (opens in a new tab)

Replication-Based Incremental Copying Collection

TLDR
A new ''replication-based'' copying garbage collection technique that does not destroy the original replica when a copy is created, and multiple copies may exist, and various standard strategies for maintaining consistency may be applied.
View via Publisher (opens in a new tab)

Type reconstruction with first-class polymorphic values

TLDR
This work presents the first type reconstruction system which combines the implicit typing of ML with the full power of the explicitly typed second-order polymorphic lambda calculus, and presents a type reconstruction algorithm for the system.
View on ACM (opens in a new tab)

Report on the FX-91 Programming Language

TLDR
The FX (short for FX-91) programming language is designed to support the parallel implementation of applications that perform both symbolic and scientific computations and includes an architecture independent module of parallel vector operators.
View via Publisher (opens in a new tab)
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy (opens in a new tab), Terms of Service (opens in a new tab), and Dataset License (opens in a new tab)