Papers
Verifying concurrent software using movers in CSPEC
Tej Chajed, Frans Kaashoek, Butler Lampson et al.
Nickel: A Framework for Design and Verification of Information Flow Control Systems
Helgi Sigurbjarnarson, Luke Nelson, Bruno Castro-Karney et al.
Focus: Querying Large Video Datasets with Low Latency and Low Cost
Kevin Hsieh, Ganesh Ananthanarayanan, Peter Bodik et al.
Dynamic Query Re-Planning using QOOP
Kshiteej Mahajan, Mosharaf Chowdhury, Aditya Akella et al.
Deconstructing RDMA-enabled Distributed Transactions: Hybrid is Better!
Xingda Wei, Zhiyuan Dong, Rong Chen et al.
Noria: dynamic, partially-stateful data-flow for high-performance web applications
Jon Gjengset, Malte Schwarzkopf, Jonathan Behrens et al.
RobinHood: Tail Latency Aware Caching -- Dynamic Reallocation from Cache-Rich to Cache-Poor
Daniel S. Berger, Benjamin Berg, Timothy Zhu et al.
µTune: Auto-Tuned Threading for OLDI Microservices
Akshitha Sriraman, Thomas F. Wenisch
Principled Schedulability Analysis for Distributed Storage Systems using Thread Architecture Models
Suli Yang, Jing Liu, Andrea C. Arpaci-Dusseau et al.
Arachne: Core-Aware Thread Management
Henry Qin, Qian Li, Jacqueline Speiser et al.
Adaptive Dynamic Checkpointing for Safe Efficient Intermittent Computing
Kiwan Maeng, Brandon Lucia
Sharing, Protection, and Compatibility for Reconfigurable Fabric with AmorphOS
Ahmed Khawaja, Joshua Landgraf, Rohith Prakash et al.
The benefits and costs of writing a POSIX kernel in a high-level language
Cody Cutler, M. Frans Kaashoek, Robert T. Morris
LegoOS: A Disseminated, Distributed OS for Hardware Resource Disaggregation
Yizhou Shan, Yutong Huang, Yilun Chen et al.
An Analysis of Network-Partitioning Failures in Cloud Systems
Ahmed Alquraan, Hatem Takruri, Mohammed Alfatafta et al.
Finding Crash-Consistency Bugs with Bounded Black-Box Crash Testing
Jayashree Mohan, Ashlie Martinez, Soujanya Ponnapalli et al.
REPT: Reverse Debugging of Failures in Deployed Software
Weidong Cui, Xinyang Ge, Baris Kasikci et al.
Capturing and Enhancing In Situ System Observability for Failure Detection
Peng Huang, Chuanxiong Guo, Jacob R. Lorch et al.
Net2Text: Query-Guided Summarization of Network Forwarding Behaviors
Rüdiger Birkner, Dana Drachsler-Cohen, Laurent Vanbever et al.
Automatically Correcting Networks with NEAt
Wenxuan Zhou, Jason Croft, Bingzhe Liu et al.
NetComplete: Practical Network-Wide Configuration Synthesis with Autocompletion
Ahmed El-Hassany, Petar Tsankov, Laurent Vanbever et al.
PowerMan: An Out-of-Band Management Network for Datacenters Using Power Line Communication
Li Chen, Jiacheng Xia, Bairen Yi et al.
Inaudible Voice Commands: The Long-Range Attack and Defense
Nirupam Roy, Sheng Shen, Haitham Hassanieh et al.
LiveTag: Sensing Human-Object Interaction through Passive Chipless WiFi Tags
Chuhan Gao, Yilong Li, Xinyu Zhang
Deepview: Virtual Disk Failure Diagnosis and Pattern Detection for Azure
Qiao Zhang, Guo Yu, Chuanxiong Guo et al.