Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID28th 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, Miguel Matos, Luís E. T. Rodrigues:
Kauri: Scalable BFT Consensus with Pipelined Tree-Based Dissemination and Aggregation. 35-48
Finding bugs
- Aditya K. Kamath, Arkaprava Basu:
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, Youngsuk Kim, Ammar Askar, Jungwon Lim, Taesoo Kim:
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, Changwoo Min:
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, Amit Levy, Wyatt Lloyd:
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, Sowmya Dharanipragada, Shannon Joyner, Adriana Szekeres, Jacob Nelson, Irene Zhang, Dan R. K. Ports:
PRISM: Rethinking the RDMA Interface for Distributed Systems. 228-242
Flash storage
- Sara McAllister, Benjamin Berg, Julian Tutuncu-Macias, Juncheng Yang, Sathya Gunasekar, Jimmy Lu, Daniel S. Berger, Nathan Beckmann, Gregory R. Ganger:
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, Simon Peter:
HeMem: Scalable Tiered Memory Management for Big Data Applications and Real NVM. 392-407 - Anatole Lefort, Yohan Pipereau, Kwabena Amponsem, Pierre Sutra, Gaël Thomas:
J-NVM: Off-heap Persistent Objects in Java. 408-423 - Wook-Hee Kim, Madhava Krishnan Ramanathan, Xinwei Fu, Sanidhya Kashyap, Changwoo Min:
PACTree: A High Performance Persistent Range Index Using PAC Guidelines. 424-439
Replication
- Aishwarya Ganesan, Ramnatthan Alagappan, Andrea C. Arpaci-Dusseau, Remzi H. Arpaci-Dusseau:
Exploiting Nil-Externality for Fast Replicated Storage. 440-456 - Yingdi Shan, Kang Chen, Tuoyu Gong, Lidong Zhou, Tai Zhou, Yongwei Wu:
Geometric Partitioning: Explore the Boundary of Optimal Erasure Code Repair. 457-471 - Haochen Pan, Jesse Tuglu, Neo Zhou, Tianshu Wang, Yicheng Shen, Xiong Zheng, Joseph Tassarotti, Lewis Tseng, Roberto Palmieri:
Rabia: Simplifying State-Machine Replication Through Randomization. 472-487
Resource allocation
- Seung-Seob Lee, Yanpeng Yu, Yupeng Tang, Anurag Khandelwal, Lin Zhong, Abhishek Bhattacharjee:
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, Linh Thi Xuan Phan, Irene Zhang:
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, Natacha Crooks, Raluca Ada Popa:
Snoopy: Surpassing the Scalability Bottleneck of Oblivious Storage. 655-671 - Ishtiyaque Ahmad, Laboni Sarker, Divyakant Agrawal, Amr El Abbadi, Trinabh Gupta:
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, Insu Jang, Waleed Reda, Jaeseong Im, Marco Canini, Dejan Kostic, Youngjin Kwon, Simon Peter, Emmett Witchel:
LineFS: Efficient SmartNIC Offload of a Distributed File System with Pipeline Parallelism. 756-771 - Yiming Qiu, Jiarong Xing, Kuo-Feng Hsu, Qiao Kang, Ming Liu, Srinivas Narayana, Ang Chen:
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, Anthony Rebello, Yifan Dai, Chenhao Ye, Sudarsun Kannan, Andrea C. Arpaci-Dusseau, Remzi H. Arpaci-Dusseau:
Scale and Performance in a Filesystem Semi-Microkernel. 819-835
Verification
- James Bornholt, Rajeev Joshi, Vytautas Astrauskas, Brendan Cully, Bernhard Kragl, Seth Markle, Kyle Sauri, Drew Schleit, Grant Slatton, Serdar Tasiran, Jacob Van Geffen, Andrew Warfield:
Using Lightweight Formal Methods to Validate a Key-Value Storage Node in Amazon S3. 836-850 - Rafael Lourenco de Lima Chehab, Antonio Paolillo, Diogo Behrens, Ming Fu, Hermann Härtig, Haibo Chen:
CLoF: A Compositional Lock Framework for Multi-level NUMA Systems. 851-865 - Runzhou Tao, Jianan Yao, Xupeng Li, Shih-Wei Li, Jason Nieh, Ronghui Gu:
Formal Verification of a Multiprocessor Hypervisor on Arm Relaxed Memory Hardware. 866-881
a service of 
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 2024-06-10 21:38 CEST 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:
