- Amit Vasudevan, Petros Maniatis, Ruben Martins. überSpark: Practical, Provable, End-to-End Guarantees on Commodity Heterogenous Interconnected Computing Platforms. Operating Systems Review, 54(1):8-22, 2020.
- Gernot Heiser, Toby Murray, Gerwin Klein. Towards Provable Timing-Channel Prevention. Operating Systems Review, 54(1):1-7, 2020.
- Andres Erbsen, Jade Philipoom, Jason Gross, Robert Sloan, Adam Chlipala. Simple High-Level Code For Cryptographic Arithmetic: With Proofs, Without Compromises. Operating Systems Review, 54(1):23-30, 2020.
- Paul E. McKenney, Joel Fernandes, Silas Boyd-Wickizer, Jonathan Walpole. RCU Usage In the Linux Kernel: Eighteen Years Later. Operating Systems Review, 54(1):47-63, 2020.
- Srinath T. V. Setty, Sebastian Angel, Jonathan Lee. Verifiable state machines: Proofs that untrusted services operate correctly. Operating Systems Review, 54(1):40-46, 2020.
- Kostas Ferles, Jacob Van Geffen, Isil Dillig, Yannis Smaragdakis. Symbolic Reasoning for Automatic Signal Placement. Operating Systems Review, 54(1):64-76, 2020.
- Luke Nelson, James Bornholt, Arvind Krishnamurthy, Emina Torlak, Xi Wang 0005. Noninterference specifications for secure systems. Operating Systems Review, 54(1):31-39, 2020.
- Kexin Pei, Shiqi Wang, Yuchi Tian, Justin Whitehouse, Carl Vondrick, Yinzhi Cao, Baishakhi Ray, Suman Jana, Junfeng Yang. Bringing Engineering Rigor to Deep Learning. Operating Systems Review, 53(1):59-67, 2019.
- Yiying Zhang, Yutong Huang. "Learned": Operating Systems. Operating Systems Review, 53(1):40-45, 2019.
- Eunji Jeong, Sungwoo Cho, Gyeong-In Yu, Joo Seong Jeong, Dongjin Shin, Taebum Kim, Byung-Gon Chun. Speculative Symbolic Graph Execution of Imperative Deep Learning Programs. Operating Systems Review, 53(1):26-33, 2019.