M
Mark Aiken
Researcher at Microsoft
Publications - 14
Citations - 949
Mark Aiken is an academic researcher from Microsoft. The author has contributed to research in topics: Network interface & Network switch. The author has an hindex of 12, co-authored 14 publications receiving 931 citations.
Papers
More filters
Proceedings ArticleDOI
Language support for fast and reliable message-based communication in singularity OS
Manuel Fähndrich,Mark Aiken,Chris Hawblitzel,Orion Hodson,Galen C. Hunt,James R. Larus,Steven P. Levi +6 more
TL;DR: It is shown that using advanced programming language and verification techniques, it is possible to provide and enforce strong system-wide invariants that enable efficient communication and low-overhead software-based process isolation and reduce the difficulty of the message-based programming model.
Journal Article
An Overview of the Singularity Project
Galen C. Hunt,James R. Larus,Martín Abadi,Mark Aiken,Paul Barham,Manuel Fähndrich,Chris Hawblitzel,Orion Hodson,Steven P. Levi,Nick Murphy,Bjarne Steensgaard,David Tarditi,Ted Wobber,Brian Zill +13 more
TL;DR: Singularity demonstrates the practicality of new technologies and architectural decisions, which should lead to the construction of more robust and dependable systems.
Proceedings ArticleDOI
Sealing OS processes to improve dependability and safety
Galen C. Hunt,Mark Aiken,Manuel Fähndrich,Chris Hawblitzel,Orion Hodson,James R. Larus,Steven P. Levi,Bjarne Steensgaard,David Tarditi,Ted Wobber +9 more
TL;DR: The implementation of the sealed process architecture in the Singularity operating system is described, its merits and drawbacks are discussed, its effectiveness is evaluated, and the first macrobenchmarks for a sealed-process operating system and applications are presented.
Proceedings ArticleDOI
Deconstructing process isolation
TL;DR: To compare the performance of Singularity's SIPs against traditional isolation techniques, an optional hardware isolation mechanism was implemented and found that hardware-based isolation incurs non-trivial performance costs and complicates system implementation.
Patent
Exposing a bridged network as a single virtual segment
TL;DR: In this article, a software network bridge is proposed, which allows the connected network segments to be presented as a single network unit to the host computer, which can be implemented as an intermediate network driver, abstracting multiple network segments into one network interface for higher level protocols and applications.