Search results
| Title | Conference | Speaker(s) | |
|---|---|---|---|
| Semeru: A Memory-Disaggregated Managed Runtime | OSDI '20 | Chenxi Wang, Haoran Ma, Shi Liu, Yuanqi Li, Zhenyuan Ruan, Khanh Nguyen, Michael D. Bond, Ravi Netravali, Miryung Kim, Guoqing Harry Xu | |
| Specification and verification in the field: Applying formal methods to BPF just-in-time compilers in the Linux kernel | OSDI '20 | Luke Nelson, Jacob Van Geffen, Emina Torlak, Xi Wang | |
| Toward a Generic Fault Tolerance Technique for Partial Network Partitioning | OSDI '20 | Mohammed Alfatafta, Basil Alkhatib, Ahmed Alquraan, Samer Al-Kiswany | |
| Gauntlet: Finding Bugs in Compilers for Programmable Packet Processing | OSDI '20 | Fabian Ruffy, Tao Wang, Anirudh Sivaraman | |
| Ansor: Generating High-Performance Tensor Programs for Deep Learning | OSDI '20 | Lianmin Zheng, Chengfan Jia, Minmin Sun, Zhao Wu, Cody Hao Yu, Ameer Haj-Ali, Yida Wang, Jun Yang, Danyang Zhuo, Koushik Sen, Joseph E. Gonzalez, Ion Stoica | |
| Assise: Performance and Availability via Client-local NVM in a Distributed File System | OSDI '20 | Thomas E. Anderson, Marco Canini, Jongyul Kim, Dejan Kostić, Youngjin Kwon, Simon Peter, Waleed Reda, Henry N. Schuh, Emmett Witchel | |
| Serving DNNs like Clockwork: Performance Predictability from the Bottom Up | OSDI '20 | Arpan Gujarati, Reza Karimi, Safya Alzayat, Wei Hao, Antoine Kaufmann, Ymir Vigfusson, Jonathan Mace | |
| RackSched: A Microsecond-Scale Scheduler for Rack-Scale Computers | OSDI '20 | Hang Zhu, Kostis Kaffes, Zixu Chen, Zhenming Liu, Christos Kozyrakis, Ion Stoica, Xin Jin | |
| CrossFS: A Cross-layered Direct-Access File System | OSDI '20 | Yujie Ren, Changwoo Min, Sudarsun Kannan | |
| Microsecond Consensus for Microsecond Applications | OSDI '20 | Marcos K. Aguilera, Naama Ben-David, Rachid Guerraoui, Virendra J. Marathe, Athanasios Xygkis, Igor Zablotchi | |
| Aragog: Scalable Runtime Verification of Shardable Networked Systems | OSDI '20 | Nofel Yaseen, Behnaz Arzani, Ryan Beckett, Selim Ciraci, Vincent Liu | |
| Fault-tolerant and transactional stateful serverless workflows | OSDI '20 | Haoran Zhang, Adney Cardoza, Peter Baile Chen, Sebastian Angel, Vincent Liu | |
| Cobra: Making Transactional Key-Value Stores Verifiably Serializable | OSDI '20 | Cheng Tan, Changgeng Zhao, Shuai Mu, Michael Walfish | |
| Caladan: Mitigating Interference at Microsecond Timescales | OSDI '20 | Joshua Fried, Zhenyuan Ruan, Amy Ousterhout, Adam Belay | |
| Testing Database Engines via Pivoted Query Synthesis | OSDI '20 | Manuel Rigger, Zhendong Su | |
| Retiarii: A Deep Learning Exploratory-Training Framework | OSDI '20 | Quanlu Zhang, Zhenhua Han, Fan Yang, Yuge Zhang, Zhe Liu, Mao Yang, Lidong Zhou | |
| LinnOS: Predictability on Unpredictable Flash Storage with a Light Neural Network | OSDI '20 | Mingzhe Hao, Levent Toksoz, Nanqinqin Li, Edward Edberg Halim, Henry Hoffmann, Haryadi S. Gunawi | |
| Heterogeneity-Aware Cluster Scheduling Policies for Deep Learning Workloads | OSDI '20 | Deepak Narayanan, Keshav Santhanam, Fiodar Kazhamiaka, Amar Phanishayee, Matei Zaharia | |
| SafetyPin: Encrypted Backups with Human-Memorable Secrets | OSDI '20 | Emma Dauterman, Henry Corrigan-Gibbs, David Mazières | |
| DORY: An Encrypted Search System with Distributed Trust | OSDI '20 | Emma Dauterman, Eric Feng, Ellen Luo, Raluca Ada Popa, Ion Stoica | |
| Automated Reasoning and Detection of Specious Configuration in Large Systems with Symbolic Execution | OSDI '20 | Yigong Hu, Gongqi Huang, Peng Huang | |
| KungFu: Making Training in Distributed Machine Learning Adaptive | OSDI '20 | Luo Mai, Guo Li, Marcel Wagenländer, Konstantinos Fertakis, Andrei-Octavian Brabete, Peter Pietzuch | |
| A Tensor Compiler for Unified Machine Learning Prediction Serving | OSDI '20 | Supun Nakandala, Karla Saur, Gyeong-In Yu, Konstantinos Karanasos, Carlo Curino, Markus Weimer, Matteo Interlandi | |
| Determinizing Crash Behavior with a Verified Snapshot-Consistent Flash Translation Layer | OSDI '20 | Yun-Sheng Chang, Yao Hsiao, Tzu-Chi Lin, Che-Wei Tsao, Chun-Feng Wu, Yuan-Hao Chang, Hsiang-Shang Ko, Yu-Fang Chen | |
| FIRM: An Intelligent Fine-grained Resource Management Framework for SLO-Oriented Microservices | OSDI '20 | Haoran Qiu, Subho S. Banerjee, Saurabh Jha, Zbigniew T. Kalbarczyk, Ravishankar K. Iyer |