Concepedia

Operating System Microkernels

Operating System Microkernels is a foundational architectural paradigm in operating system design wherein the core functionality is minimized to essential mechanisms such as inter-process communication, thread management, and memory management, while higher-level services are implemented as user-space processes, thereby enhancing modularity, reliability, and security.

229

Publications

14.5K

Citations

594

Authors

144

Institutions

Publications per year

2017–2026

17

Parents

Publications

229

Mach: A New Kernel Foundation for UNIX Development.

Michael J. Accetta, R. Baron, William J. Bolosky et al. · USENIX Summer · 1986 · 919 citations

, , +16

Helios

Nathan Farrington, George Porter, Sivasankar Radhakrishnan et al. · 2010 · 909 citations

, , +17

Networked: the new social operating system

Choice Reviews Online · 2012 · 659 citations

, , +12

Proceedings of the 10th USENIX conference on Operating Systems Design and Implementation

Amin Vahdat, Chandu Thekkath · 2012 · 450 citations

, , +14

MANTIS OS: An Embedded Multithreaded Operating System for Wireless Micro Sensor Platforms

Shah Bhatti, James D. Carlson, Hui Dai et al. · Mobile Networks and Applications · 2005 · 428 citations

, , +15

1–5 of 229

Authors

594

  1. GH
    Gernot Heiser

    UNSW Sydney, Australia

    13 publications · 998 citations

    12

    h-index

  2. KE
    Kevin Elphinstone

    UNSW Sydney, Australia

    9 publications · 609 citations

    9

    h-index

  3. RW
    Robert W. Wisniewski

    IBM (United States), United States

    8 publications · 334 citations

    8

    h-index

  4. BN
    Brian N. Bershad

    University of Washington, United States

    6 publications · 382 citations

    7

    h-index

  5. BS
    Bryan S. Rosenburg

    IBM Research - Thomas J. Watson Research Center, United States

    5 publications · 246 citations

    5

    h-index

1–5 of 594

Institutions

144

  1. UNSW Sydney

    Sydney, Australia

    12 h-index

    34 publications

    2.4K citations

  2. University of Washington

    Seattle, United States

    9 h-index

    28 publications

    2.9K citations

  3. IBM (United States)

    Armonk, United States

    8 h-index

    30 publications

    2.2K citations

  4. Carnegie Mellon University

    Pittsburgh, United States

    7 h-index

    22 publications

    1.2K citations

  5. Data61

    Sydney, Australia

    7 h-index

    19 publications

    1.1K citations

  6. University of Wisconsin–Madison

    Madison, United States

    6 h-index

    20 publications

    984 citations

  7. Stanford University

    Stanford, United States

    6 h-index

    10 publications

    396 citations

  8. Virginia Tech

    Blacksburg, United States

    5 h-index

    6 publications

    152 citations

1–8 of 144

Venues

  1. ACM SIGOPS Operating Systems Review

    14 publications · 433 citations

    11

    h-index

  2. ACM Transactions on Computer Systems

    TOCS · 5 publications · 402 citations

    5

    h-index

  3. Computer

    4 publications · 241 citations

    4

    h-index

  4. Software Practice and Experience

    3 publications · 159 citations

    3

    h-index

  5. Operating Systems Design and Implementation

    Conference · 3 publications · 335 citations

    3

    h-index

1–5