default search action
28th SOSP 2021: Virtual Event / Koblenz, Germany
- Robbert van Renesse, Nickolai Zeldovich:
SOSP '21: ACM SIGOPS 28th Symposium on Operating Systems Principles, Virtual Event / Koblenz, Germany, October 26-29, 2021. ACM 2021, ISBN 978-1-4503-8709-5
Byzantine fault-tolerance
- Florian Suri-Payer, Matthew Burke
, Zheng Wang, Yunhao Zhang, Lorenzo Alvisi, Natacha Crooks
Basil: Breaking up BFT with ACID (transactions). 1-17 - Ji Qi, Xusheng Chen, Yunpeng Jiang, Jianyu Jiang, Tianxiang Shen, Shixiong Zhao, Sen Wang, Gong Zhang, Li Chen, Man Ho Au, Heming Cui:
Bidl: A High-throughput, Low-latency Permissioned Blockchain Framework for Datacenter Networks. 18-34 - Ray Neiheiser
Kauri: Scalable BFT Consensus with Pipelined Tree-Based Dissemination and Aggregation. 35-48
Finding bugs
- Aditya K. Kamath
iGUARD: In-GPU Advanced Race Detection. 49-65 - Sishuai Gong, Deniz Altinbüken, Pedro Fonseca, Petros Maniatis:
Snowboard: Finding Kernel Concurrency Bugs through Systematic Inter-thread Communication Analysis. 66-83 - Yechan Bae
Rudra: Finding Memory Safety Bugs in Rust at the Ecosystem Scale. 84-99
Consistency
- Xinwei Fu, Wook-Hee Kim, Ajay Paddayuru Shreepathi, Mohannad Ismail, Sunny Wadkar, Dongyoon Lee
Witcher: Systematic Crash Consistency Testing for Non-Volatile Memory Key-Value Stores. 100-115 - Yongle Zhang, Junwen Yang, Zhuqi Jin, Utsav Sethi, Kirk Rodrigues, Shan Lu, Ding Yuan:
Understanding and Detecting Software Upgrade Failures in Distributed Systems. 116-131 - Xiaojian Liao, Youyou Lu, Zhe Yang, Jiwu Shu:
Crash Consistent Non-Volatile Memory Express. 132-146
Databases
- Adar Zeitak, Adam Morrison:
Cuckoo Trie: Exploiting Memory-Level Parallelism for Efficient DRAM Indexing. 147-162 - Jeffrey Helt, Matthew Burke
Regular Sequential Serializability and Regular Sequential Consistency. 163-179 - Dai Qin, Angela Demke Brown, Ashvin Goel:
Caracal: Contention Management with Deterministic Concurrency Control. 180-194
Performance in the data center
- Irene Zhang, Amanda Raybuck, Pratyush Patel, Kirk Olynyk, Jacob Nelson, Omar S. Navarro Leija, Ashlie Martinez, Jing Liu, Anna Kornfeld Simpson, Sujay Jayakar, Pedro Henrique Penna, Max Demoulin, Piali Choudhury, Anirudh Badam:
The Demikernel Datapath OS Architecture for Microsecond-scale Datacenter Systems. 195-211 - Sumit Kumar Monga, Sanidhya Kashyap, Changwoo Min:
Birds of a Feather Flock Together: Scaling RDMA RPCs with Flock. 212-227 - Matthew Burke
PRISM: Rethinking the RDMA Interface for Distributed Systems. 228-242
Flash storage
- Sara McAllister
Kangaroo: Caching Billions of Tiny Objects on Flash. 243-262 - Huaicheng Li, Martin L. Putra, Ronald Shi, Xing Lin, Gregory R. Ganger, Haryadi S. Gunawi:
lODA: A Host/Device Co-Design for Strong Predictability Contract on Modern Flash Storage. 263-279 - Jonggyu Park, Young Ik Eom:
FragPicker: A New Defragmentation Tool for Modern Storage Devices. 280-294
Graphs
- Silvery Fu, Sylvia Ratnasamy:
dSpace: Composable Abstractions for Smart Spaces. 295-310 - Ke Yang, Xiaosong Ma, Saravanan Thirumuruganathan, Kang Chen, Yongwei Wu:
Random Walks on Huge Graphs at Cache Efficiency. 311-326 - Edo Roth, Karan Newatia, Yiping Ma, Ke Zhong, Sebastian Angel, Andreas Haeberlen:
Mycelium: Large-Scale Distributed Graph Queries with Differential Privacy. 327-343
Learning
- Hao Sun, Yuheng Shen, Cong Wang, Jianzhong Liu, Yu Jiang, Ting Chen, Aiguo Cui:
HEALER: Relation Learning Guided Kernel Fuzzing. 344-358 - Youhui Bai, Cheng Li, Quan Zhou, Jun Yi, Ping Gong, Feng Yan, Ruichuan Chen, Yinlong Xu:
Gradient Compression Supercharged High-Performance Data Parallel DNN Training. 359-375 - Shane Bergsma, Timothy Zeyl, Arik Senderovich, J. Christopher Beck:
Generating Complex, Realistic Cloud Workloads using Recurrent Neural Networks. 376-391
Non-volatile memory
- Amanda Raybuck, Tim Stamler, Wei Zhang, Mattan Erez
HeMem: Scalable Tiered Memory Management for Big Data Applications and Real NVM. 392-407 - Anatole Lefort
J-NVM: Off-heap Persistent Objects in Java. 408-423 - Wook-Hee Kim, Madhava Krishnan Ramanathan
PACTree: A High Performance Persistent Range Index Using PAC Guidelines. 424-439
Replication
- Aishwarya Ganesan, Ramnatthan Alagappan
Exploiting Nil-Externality for Fast Replicated Storage. 440-456 - Yingdi Shan
Geometric Partitioning: Explore the Boundary of Optimal Erasure Code Repair. 457-471 - Haochen Pan, Jesse Tuglu, Neo Zhou, Tianshu Wang
Rabia: Simplifying State-Machine Replication Through Randomization. 472-487
Resource allocation
- Seung-Seob Lee
MIND: In-Network Memory Management for Disaggregated Data Centers. 488-504 - Andrew Newell, Dimitrios Skarlatos, Jingyuan Fan, Pavan Kumar, Maxim Khutornenko, Mayank Pundir, Yirui Zhang, Mingjun Zhang, Yuanlai Liu, Linh Le, Brendon Daugherty, Apurva Samudra, Prashasti Baid, James Kneeland, Igor Kabiljo, Dmitry Shchukin, Andre Rodrigues, Scott Michelson, Ben Christensen, Kaushik Veeraraghavan, Chunqiang Tang:
RAS: Continuously Optimized Region-Wide Datacenter Resource Allocation. 505-520 - Deepak Narayanan, Fiodar Kazhamiaka, Firas Abuzaid, Peter Kraft, Akshay Agrawal, Srikanth Kandula, Stephen P. Boyd, Matei Zaharia
Solving Large-Scale Granular Resource Allocation Problems Efficiently with POP. 521-537
Scale
- Mahesh Balakrishnan, Chen Shen, Ahmed Jafri, Suyog Mapara, David Geraghty, Jason Flinn, Vidhya Venkat, Ivailo Nedelchev, Santosh Ghosh, Mihir Dharamshi, Jingming Liu, Filip Gruszczynski, Jun Li, Rounak Tibrewal, Ali Zaveri, Rajeev Nagar, Ahmed Yossef, Francois Richard, Yee Jiun Song:
Log-structured Protocols in Delos. 538-552 - Sangmin Lee, Zhenhua Guo, Omer Sunercan, Jun Ying, Thawan Kooburat, Suryadeep Biswal, Jun Chen, Kun Huang, Yatpang Cheung, Yiding Zhou, Kaushik Veeraraghavan, Biren Damani, Pol Mauri Ruiz, Vikas Mehta, Chunqiang Tang:
Shard Manager: A Generic Shard Management Framework for Geo-distributed Applications. 553-569 - Yang Chen, Zhongxin Guo, Runhuai Li, Shuo Chen, Lidong Zhou, Yajin Zhou, Xian Zhang:
Forerunner: Constraint-based Speculative Transaction Execution for Ethereum. 570-587
Scheduling
- Jack Tigar Humphries, Neel Natu, Ashwin Chaugule, Ofir Weisse, Barret Rhoden, Josh Don, Luigi Rizzo, Oleg Rombakh, Paul Turner, Christos Kozyrakis:
ghOSt: Fast & Flexible User-Space Delegation of Linux Scheduling. 588-604 - Kostis Kaffes, Jack Tigar Humphries, David Mazières, Christos Kozyrakis:
Syrup: User-Defined Scheduling Across the Stack. 605-620 - Henri Maxime Demoulin, Joshua Fried, Isaac Pedisich, Marios Kogias, Boon Thau Loo
When Idling is Ideal: Optimizing Tail-Latency for Heavy-Tailed Datacenter Workloads with Perséphone. 621-637
Security
- Dingji Li, Zeyu Mi, Yubin Xia, Binyu Zang, Haibo Chen, Haibing Guan:
TwinVisor: Hardware-isolated Confidential Virtual Machines for ARM. 638-654 - Emma Dauterman, Vivian Fang, Ioannis Demertzis
Snoopy: Surpassing the Scalability Bottleneck of Oblivious Storage. 655-671 - Ishtiyaque Ahmad, Laboni Sarker
Coeus: A System for Oblivious Document Ranking and Retrieval. 672-690
Serverless
- Zhipeng Jia, Emmett Witchel
Boki: Stateful Serverless Computing with Shared Logs. 691-707 - Jeff Barber, Ximing Yu, Laney Kuenzel Zamore, Jerry Lin, Vahid Jazayeri, Shie Erlich, Tony Savor, Michael Stumm
Bladerunner: Stream Processing at Scale for a Live View of Backend Data Mutations at the Edge. 708-723 - Yanqi Zhang, Iñigo Goiri, Gohar Irfan Chaudhry, Rodrigo Fonseca, Sameh Elnikety, Christina Delimitrou, Ricardo Bianchini:
Faster and Cheaper Serverless Computing on Harvested Resources. 724-739
Smart NICs
- Henry N. Schuh, Weihao Liang, Ming Liu, Jacob Nelson, Arvind Krishnamurthy
Xenic: SmartNIC-Accelerated Distributed Transactions. 740-755 - Jongyul Kim
LineFS: Efficient SmartNIC Offload of a Distributed File System with Pipeline Parallelism. 756-771 - Yiming Qiu
Automated SmartNIC Offloading Insights for Network Functions. 772-787
Storage
- Emil Tsalapatis, Ryan Hancock, Tavian Barnes, Ali José Mashtizadeh:
The Aurora Single Level Store Operating System. 788-803 - Rohan Kadekodi, Saurabh Kadekodi, Soujanya Ponnapalli, Harshad Shirwadkar, Gregory R. Ganger, Aasheesh Kolli, Vijay Chidambaram
WineFS: a hugepage-aware file system for persistent memory that ages gracefully. 804-818 - Jing Liu
Scale and Performance in a Filesystem Semi-Microkernel. 819-835
Verification
- James Bornholt, Rajeev Joshi, Vytautas Astrauskas, Brendan Cully, Bernhard Kragl
Using Lightweight Formal Methods to Validate a Key-Value Storage Node in Amazon S3. 836-850 - Rafael Lourenco de Lima Chehab, Antonio Paolillo
CLoF: A Compositional Lock Framework for Multi-level NUMA Systems. 851-865 - Runzhou Tao
Formal Verification of a Multiprocessor Hypervisor on Arm Relaxed Memory Hardware. 866-881
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-01-13 21:18 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: