Language support for fast and reliable message-based communication in singularity OS

By Manuel Fähndrich, Mark Aiken, Chris Hawblitzel, O. Hodson, Galen C. Hunt, J. Larus, Steven P. Levi. European Conference on Computer Systems, 2006

341 citations recorded by the source corpus.

Subfields: Artificial Intelligence, Computer Networks and Communications, Hardware and Architecture

View Paper: https://www.semanticscholar.org/paper/f72e0a4c965fb900f959ca5f21c5af4ef60c214d

How researchers see this paper

The researchers whose trusted networks rank it highest, strongest advocate first. Every researcher gets a different order.

In Artificial Intelligence

In Computer Networks and Communications

In Hardware and Architecture

Citations in the corpus

seL4: Formal Veriﬁcation of an OS Kernel (2009, methodology): “…kernels and separation kernels [38, 54], the MILS approach [4], microkernels [1,12,35,45,57,71] and isolation kernels [69], the use of small hypervisors as a minimal trust base [16,26,56,59], as well as systems that require the use of type-safe languages for all code except some“dirty”core [7,23].”
Comprehensive formal verification of an OS microkernel (2014, background): “2007], as well as systems that require the use of type-safe languages for all code except some “dirty” core [Bershad et al. 1995; Fähndrich et al. 2006].”
The multikernel: a new OS architecture for scalable multicore systems (2009, background): “Consequently it can be evolved and refined more easily [23] and made robust to faults [30].”
Multiparty asynchronous session types (2008, neutral): “2007), operating systems (Fähndrich et al. 2006), Java (Dezani-Ciancaglini et al.”
Singularity: rethinking the software stack (2007, background): “Counting lines of code, over 90% of the Singularity kernel is written in Sing#.”
seL4: formal verification of an OS kernel (2009, methodology): “Implementations of kernels in type-safe languages such as SPIN [7] and Singularity [23] offer increased reliability, but they have to rely on traditional “dirty” code to implement their language runtime, which tends to be substantially bigger than the complete seL4 kernel.”
Faasm: Lightweight Isolation for Efficient Stateful Serverless Computing (2020, background): “Although SFI approaches are language-speciﬁc [11,23], WebAssembly is platform-independent and hence inherently multi-language.”