Conferences
We at USENIX assert that Black lives matter: Read the USENIX Statement on Racism and Black, African-American, and African Diaspora Inclusion.
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 | |
| CrossFS: A Cross-layered Direct-Access File System | OSDI '20 | Yujie Ren, Changwoo Min, Sudarsun Kannan | |
| FlightTracker: Consistency across Read-Optimized Online Stores at Facebook | OSDI '20 | Xiao Shi, Scott Pruett, Kevin Doherty, Jinyu Han, Dmitri Petrov, Jim Carrig, John Hugg, Nathan Bronson | |
| 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 | |
| Kvell+: Snapshot Isolation without Snapshots | OSDI '20 | Baptiste Lepers, Oana Balmau, Karan Gupta, Willy Zwaenepoel | |
| 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 | |
| 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 | |
| Theseus: an Experiment in Operating System Structure and State Management | OSDI '20 | Kevin Boos, Namitha Liyanage, Ramla Ijaz, Lin Zhong | |
| Pegasus: Tolerating Skewed Workloads in Distributed Storage with In-Network Coherence Directories | OSDI '20 | Jialin Li, Jacob Nelson, Ellis Michael, Xin Jin, Dan R. K. Ports | |
| Overload Control for µs-scale RPCs with Breakwater | OSDI '20 | Inho Cho, Ahmed Saeed, Joshua Fried, Seo Jin Park, Mohammad Alizadeh, Adam Belay | |
| PACEMAKER: Avoiding HeART attacks in storage clusters with disk-adaptive redundancy | OSDI '20 | Saurabh Kadekodi, Francisco Maturana, Suhas Jayaram Subramanya, Juncheng Yang, K. V. Rashmi, Gregory R. Ganger | |
| A large scale analysis of hundreds of in-memory cache clusters at Twitter | OSDI '20 | Juncheng Yang, Yao Yue, K. V. Rashmi | |
| AIFM: High-Performance, Application-Integrated Far Memory | OSDI '20 | Zhenyuan Ruan, Malte Schwarzkopf, Marcos K. Aguilera, Adam Belay | |
| Performance-Optimal Read-Only Transactions | OSDI '20 | Haonan Lu, Siddhartha Sen, Wyatt Lloyd | |
| Fast RDMA-based Ordered Key-Value Store using Remote Learned Cache | OSDI '20 | Xingda Wei, Rong Chen, Haibo Chen | |
| RedLeaf: Isolation and Communication in a Safe Operating System | OSDI '20 | Vikram Narayanan, Tianjiao Huang, David Detweiler, Dan Appel, Zhaofeng Li, Gerd Zellweger, Anton Burtsev | |
| A Simpler and Faster NIC Driver Model for Network Functions | OSDI '20 | Solal Pirelli, George Candea | |
| Generalized Sub-Query Fusion for Eliminating Redundant I/O from Big-Data Queries | OSDI '20 | Partho Sarthi, Kaushik Rajan, Akash Lal, Abhishek Modi, Prakhar Jain, Mo Liu, Ashit Gosalia, Saurabh Kalikar | |
| From WiscKey to Bourbon: A Learned Index for Log-Structured Merge Trees | OSDI '20 | Yifan Dai, Yien Xu, Aishwarya Ganesan, Ramnatthan Alagappan, Brian Kroth, Andrea Arpaci-Dusseau, Remzi Arpaci-Dusseau | |
| Storage Systems are Distributed Systems (So Verify Them That Way!) | OSDI '20 | Travis Hance, Andrea Lattuada, Chris Hawblitzel, Jon Howell, Rob Johnson, Bryan Parno | |
| PANIC: A High-Performance Programmable NIC for Multi-tenant Networks | OSDI '20 | Jiaxin Lin, Kiran Patel, Brent E. Stephens, Anirudh Sivaraman, Aditya Akella | |
| Building Scalable and Flexible Cluster Managers Using Declarative Programming | OSDI '20 | Lalith Suresh, João Loff, Faria Kalim, Sangeetha Abdu Jyothi, Nina Narodytska, Leonid Ryzhyk, Sahan Gamage, Brian Oki, Pranshu Jain, Michael Gasch |