Securing Distributed Systems with Information Flow Control. - Nickolai Zeldovich; Silas Boyd-Wickizer; David Mazières (NSDI, 2008)

Corey: An Operating System for Many Cores. - Silas Boyd-Wickizer; Haibo Chen 001; Rong Chen 001; Yandong Mao; M. Frans Kaashoek; Robert Morris 005; Aleksey Pesterev; Lex Stein; Ming Wu 007; Yue-hua Dai; Yang Zhang; Zheng Zhang 001 (OSDI, 2008)

Reinventing Scheduling for Multicore Systems. - Silas Boyd-Wickizer; Robert Morris 005; M. Frans Kaashoek (HotOS, 2009)

Using memory mapping to support cactus stacks in work-stealing runtime systems. - I-Ting Angelina Lee; Silas Boyd-Wickizer; Zhiyi Huang 001; Charles E. Leiserson (PACT, 2010)

An Analysis of Linux Scalability to Many Cores. - Silas Boyd-Wickizer; Austin T. Clements; Yandong Mao; Aleksey Pesterev; M. Frans Kaashoek; Robert Morris 005; Nickolai Zeldovich (OSDI, 2010)

Tolerating Malicious Device Drivers in Linux. - Silas Boyd-Wickizer; Nickolai Zeldovich (USENIX ATC, 2010)

Rethinking the library OS from the top down. - Donald E. Porter; Silas Boyd-Wickizer; Jon Howell; Reuben Olinsky; Galen C. Hunt (ASPLOS, 2011)

Making information flow explicit in HiStar. - Nickolai Zeldovich; Silas Boyd-Wickizer; Eddie Kohler; David Mazières (Commun. ACM, 2011)

Fast and cycle-accurate modeling of a multicore processor. - Asif Khan 005; Muralidaran Vijayaraghavan; Silas Boyd-Wickizer; Arvind 001 (ISPASS, 2012)

Optimizing communication bottlenecks in multiprocessor operating system kernels. - Silas Boyd-Wickizer (2014)

RCU Usage In the Linux Kernel: Eighteen Years Later. - Paul E. McKenney; Joel Fernandes; Silas Boyd-Wickizer; Jonathan Walpole (ACM SIGOPS Oper. Syst. Rev., 2020)