SOSP A*

55 papers

YearTitle / Authors
2021Automated SmartNIC Offloading Insights for Network Functions.
Yiming Qiu, Jiarong Xing, Kuo-Feng Hsu, Qiao Kang, Ming Liu, Srinivas Narayana, Ang Chen
2021Basil: Breaking up BFT with ACID (transactions).
Florian Suri-Payer, Matthew Burke, Zheng Wang, Yunhao Zhang, Lorenzo Alvisi, Natacha Crooks
2021Bidl: A High-throughput, Low-latency Permissioned Blockchain Framework for Datacenter Networks.
Ji Qi, Xusheng Chen, Yunpeng Jiang, Jianyu Jiang, Tianxiang Shen, Shixiong Zhao, Sen Wang, Gong Zhang, Li Chen, Man Ho Au, Heming Cui
2021Birds of a Feather Flock Together: Scaling RDMA RPCs with Flock.
Sumit Kumar Monga, Sanidhya Kashyap, Changwoo Min
2021Bladerunner: Stream Processing at Scale for a Live View of Backend Data Mutations at the Edge.
Jeff Barber, Ximing Yu, Laney Kuenzel Zamore, Jerry Lin, Vahid Jazayeri, Shie Erlich, Tony Savor, Michael Stumm
2021Boki: Stateful Serverless Computing with Shared Logs.
Zhipeng Jia, Emmett Witchel
2021CLoF: A Compositional Lock Framework for Multi-level NUMA Systems.
Rafael Lourenco de Lima Chehab, Antonio Paolillo, Diogo Behrens, Ming Fu, Hermann Härtig, Haibo Chen
2021Caracal: Contention Management with Deterministic Concurrency Control.
Dai Qin, Angela Demke Brown, Ashvin Goel
2021Coeus: A System for Oblivious Document Ranking and Retrieval.
Ishtiyaque Ahmad, Laboni Sarker, Divyakant Agrawal, Amr El Abbadi, Trinabh Gupta
2021Crash Consistent Non-Volatile Memory Express.
Xiaojian Liao, Youyou Lu, Zhe Yang, Jiwu Shu
2021Cuckoo Trie: Exploiting Memory-Level Parallelism for Efficient DRAM Indexing.
Adar Zeitak, Adam Morrison
2021Exploiting Nil-Externality for Fast Replicated Storage.
Aishwarya Ganesan, Ramnatthan Alagappan, Andrea C. Arpaci-Dusseau, Remzi H. Arpaci-Dusseau
2021Faster and Cheaper Serverless Computing on Harvested Resources.
Yanqi Zhang, Iñigo Goiri, Gohar Irfan Chaudhry, Rodrigo Fonseca, Sameh Elnikety, Christina Delimitrou, Ricardo Bianchini
2021Forerunner: Constraint-based Speculative Transaction Execution for Ethereum.
Yang Chen, Zhongxin Guo, Runhuai Li, Shuo Chen, Lidong Zhou, Yajin Zhou, Xian Zhang
2021Formal Verification of a Multiprocessor Hypervisor on Arm Relaxed Memory Hardware.
Runzhou Tao, Jianan Yao, Xupeng Li, Shih-Wei Li, Jason Nieh, Ronghui Gu
2021FragPicker: A New Defragmentation Tool for Modern Storage Devices.
Jonggyu Park, Young Ik Eom
2021Generating Complex, Realistic Cloud Workloads using Recurrent Neural Networks.
Shane Bergsma, Timothy Zeyl, Arik Senderovich, J. Christopher Beck
2021Geometric Partitioning: Explore the Boundary of Optimal Erasure Code Repair.
Yingdi Shan, Kang Chen, Tuoyu Gong, Lidong Zhou, Tai Zhou, Yongwei Wu
2021Gradient Compression Supercharged High-Performance Data Parallel DNN Training.
Youhui Bai, Cheng Li, Quan Zhou, Jun Yi, Ping Gong, Feng Yan, Ruichuan Chen, Yinlong Xu
2021HEALER: Relation Learning Guided Kernel Fuzzing.
Hao Sun, Yuheng Shen, Cong Wang, Jianzhong Liu, Yu Jiang, Ting Chen, Aiguo Cui
2021HeMem: Scalable Tiered Memory Management for Big Data Applications and Real NVM.
Amanda Raybuck, Tim Stamler, Wei Zhang, Mattan Erez, Simon Peter
2021J-NVM: Off-heap Persistent Objects in Java.
Anatole Lefort, Yohan Pipereau, Kwabena Amponsem, Pierre Sutra, Gaël Thomas
2021Kangaroo: Caching Billions of Tiny Objects on Flash.
Sara McAllister, Benjamin Berg, Julian Tutuncu-Macias, Juncheng Yang, Sathya Gunasekar, Jimmy Lu, Daniel S. Berger, Nathan Beckmann, Gregory R. Ganger
2021Kauri: Scalable BFT Consensus with Pipelined Tree-Based Dissemination and Aggregation.
Ray Neiheiser, Miguel Matos, Luís E. T. Rodrigues
2021LineFS: Efficient SmartNIC Offload of a Distributed File System with Pipeline Parallelism.
Jongyul Kim, Insu Jang, Waleed Reda, Jaeseong Im, Marco Canini, Dejan Kostic, Youngjin Kwon, Simon Peter, Emmett Witchel
2021Log-structured Protocols in Delos.
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
2021MIND: In-Network Memory Management for Disaggregated Data Centers.
Seung-Seob Lee, Yanpeng Yu, Yupeng Tang, Anurag Khandelwal, Lin Zhong, Abhishek Bhattacharjee
2021Mycelium: Large-Scale Distributed Graph Queries with Differential Privacy.
Edo Roth, Karan Newatia, Yiping Ma, Ke Zhong, Sebastian Angel, Andreas Haeberlen
2021PACTree: A High Performance Persistent Range Index Using PAC Guidelines.
Wook-Hee Kim, Madhava Krishnan Ramanathan, Xinwei Fu, Sanidhya Kashyap, Changwoo Min
2021PRISM: Rethinking the RDMA Interface for Distributed Systems.
Matthew Burke, Sowmya Dharanipragada, Shannon Joyner, Adriana Szekeres, Jacob Nelson, Irene Zhang, Dan R. K. Ports
2021RAS: Continuously Optimized Region-Wide Datacenter Resource Allocation.
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
2021Rabia: Simplifying State-Machine Replication Through Randomization.
Haochen Pan, Jesse Tuglu, Neo Zhou, Tianshu Wang, Yicheng Shen, Xiong Zheng, Joseph Tassarotti, Lewis Tseng, Roberto Palmieri
2021Random Walks on Huge Graphs at Cache Efficiency.
Ke Yang, Xiaosong Ma, Saravanan Thirumuruganathan, Kang Chen, Yongwei Wu
2021Regular Sequential Serializability and Regular Sequential Consistency.
Jeffrey Helt, Matthew Burke, Amit Levy, Wyatt Lloyd
2021Rudra: Finding Memory Safety Bugs in Rust at the Ecosystem Scale.
Yechan Bae, Youngsuk Kim, Ammar Askar, Jungwon Lim, Taesoo Kim
2021SOSP '21: ACM SIGOPS 28th Symposium on Operating Systems Principles, Virtual Event / Koblenz, Germany, October 26-29, 2021
Robbert van Renesse, Nickolai Zeldovich
2021Scale and Performance in a Filesystem Semi-Microkernel.
Jing Liu, Anthony Rebello, Yifan Dai, Chenhao Ye, Sudarsun Kannan, Andrea C. Arpaci-Dusseau, Remzi H. Arpaci-Dusseau
2021Shard Manager: A Generic Shard Management Framework for Geo-distributed Applications.
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
2021Snoopy: Surpassing the Scalability Bottleneck of Oblivious Storage.
Emma Dauterman, Vivian Fang, Ioannis Demertzis, Natacha Crooks, Raluca Ada Popa
2021Snowboard: Finding Kernel Concurrency Bugs through Systematic Inter-thread Communication Analysis.
Sishuai Gong, Deniz Altinbüken, Pedro Fonseca, Petros Maniatis
2021Solving Large-Scale Granular Resource Allocation Problems Efficiently with POP.
Deepak Narayanan, Fiodar Kazhamiaka, Firas Abuzaid, Peter Kraft, Akshay Agrawal, Srikanth Kandula, Stephen P. Boyd, Matei Zaharia
2021Syrup: User-Defined Scheduling Across the Stack.
Kostis Kaffes, Jack Tigar Humphries, David Mazières, Christos Kozyrakis
2021The Aurora Single Level Store Operating System.
Emil Tsalapatis, Ryan Hancock, Tavian Barnes, Ali José Mashtizadeh
2021The Demikernel Datapath OS Architecture for Microsecond-scale Datacenter Systems.
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
2021TwinVisor: Hardware-isolated Confidential Virtual Machines for ARM.
Dingji Li, Zeyu Mi, Yubin Xia, Binyu Zang, Haibo Chen, Haibing Guan
2021Understanding and Detecting Software Upgrade Failures in Distributed Systems.
Yongle Zhang, Junwen Yang, Zhuqi Jin, Utsav Sethi, Kirk Rodrigues, Shan Lu, Ding Yuan
2021Using Lightweight Formal Methods to Validate a Key-Value Storage Node in Amazon S3.
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
2021When Idling is Ideal: Optimizing Tail-Latency for Heavy-Tailed Datacenter Workloads with Perséphone.
Henri Maxime Demoulin, Joshua Fried, Isaac Pedisich, Marios Kogias, Boon Thau Loo, Linh Thi Xuan Phan, Irene Zhang
2021WineFS: a hugepage-aware file system for persistent memory that ages gracefully.
Rohan Kadekodi, Saurabh Kadekodi, Soujanya Ponnapalli, Harshad Shirwadkar, Gregory R. Ganger, Aasheesh Kolli, Vijay Chidambaram
2021Witcher: Systematic Crash Consistency Testing for Non-Volatile Memory Key-Value Stores.
Xinwei Fu, Wook-Hee Kim, Ajay Paddayuru Shreepathi, Mohannad Ismail, Sunny Wadkar, Dongyoon Lee, Changwoo Min
2021Xenic: SmartNIC-Accelerated Distributed Transactions.
Henry N. Schuh, Weihao Liang, Ming Liu, Jacob Nelson, Arvind Krishnamurthy
2021dSpace: Composable Abstractions for Smart Spaces.
Silvery Fu, Sylvia Ratnasamy
2021ghOSt: Fast & Flexible User-Space Delegation of Linux Scheduling.
Jack Tigar Humphries, Neel Natu, Ashwin Chaugule, Ofir Weisse, Barret Rhoden, Josh Don, Luigi Rizzo, Oleg Rombakh, Paul Turner, Christos Kozyrakis
2021iGUARD: In-GPU Advanced Race Detection.
Aditya K. Kamath, Arkaprava Basu
2021lODA: A Host/Device Co-Design for Strong Predictability Contract on Modern Flash Storage.
Huaicheng Li, Martin L. Putra, Ronald Shi, Xing Lin, Gregory R. Ganger, Haryadi S. Gunawi