OSDI 2023 论文分类总结

OSDI 2023 论文分类总结

数据来源: OSDI 2023 会议官网

技术领域分类

技术领域分布

数据加载中...

技术领域论文数量

技术领域 论文数量 占比

作者来源分析

国家和机构分布图

数据加载中...

国家和机构分布表

国家 论文数量 占比 机构

关键词词云

论文标题关键词分布

论文来源机构分布

知识图谱

论文列表

Make Your Bits Go Faster

Ship your Critical Section, Not Your Data: Enabling Transparent Delegation with TCLOCKS
Vishal Gupta, (EPFL); Kumar Kartikeya Dwivedi, (SRMIST); Yugesh Kothari, Yueyang Pan, Diyu Zhou, and Sanidhya Kashyap, (EPFL)
RON: One-Way Circular Shortest Routing to Achieve Efficient and Bounded-waiting Spinlocks
Shiwu Lo, Han-Ting Lin, Yao-Hung Hsieh, and Chao-Ting Lin, (National Chung Cheng University); Yu-Hsueh Fang, (National Cheng Kung University); Ching-Shen Lin, (National Chung Cheng University); Ching-Chun Huang, (National Cheng Kung University); Kam Yiu Lam, (City University of Hong Kong); Yuan-Hao Chang, (Academia Sinica, Taiwan)
Userspace Bypass: Accelerating Syscall-intensive Applications
Zhe Zhou, Yanxiang Bi, Junpeng Wan, and Yangfan Zhou, (Fudan University); Zhou Li, (University of California, Irvine)
Triangulating Python Performance Issues with SCALENE
Emery D. Berger, Sam Stern, and Juan Altmayer Pizzorno, (University of Massachusetts Amherst)
Relational Debugging --- Pinpointing Root Causes of Performance Problems
Xiang Ren, Sitao Wang, Zhuqi Jin, David Lion, and Adrian Chiu, (University of Toronto); Tianyin Xu, (University of Illinois at Urbana-Champaign); Ding Yuan, (University of Toronto)

Secure Your Bits I

Accountable authentication with privacy protection: The Larch system for universal login
Emma Dauterman, (UC Berkeley); Danny Lin, (Woodinville High School); Henry Corrigan-Gibbs, (MIT); David Mazières, (Stanford University)
K9db: Privacy-Compliant Storage For Web Applications By Construction
Kinan Dak Albab, Ishan Sharma, Justus Adam, Benjamin Kilimnik, Aaron Jeyaraj, Raj Paul, Artem Agvanian, Leonhard Spiegelberg, and Malte Schwarzkopf, (Brown University)
Encrypted Databases Made Secure Yet Maintainable
Mingyu Li, (Shanghai Jiao Tong University; Shanghai AI Laboratory; Engineering Research Center for Domain-specific Operating Systems, Ministry of Education, China); Xuyang Zhao and Le Chen, (Shanghai Jiao Tong University; Engineering Research Center for Domain-specific Operating Systems, Ministry of Education, China); Cheng Tan, (Northeastern University); Huorong Li and Sheng Wang, (Alibaba Group); Zeyu Mi, (Shanghai Jiao Tong University; Engineering Research Center for Domain-specific Operating Systems, Ministry of Education, China); Yubin Xia, (Shanghai Jiao Tong University; Shanghai AI Laboratory; Engineering Research Center for Domain-specific Operating Systems, Ministry of Education, China); Feifei Li, (Alibaba Group); Haibo Chen, (Shanghai Jiao Tong University; Engineering Research Center for Domain-specific Operating Systems, Ministry of Education, China)
LVMT: An Efficient Authenticated Storage for Blockchain
Chenxing Li, (Shanghai Tree-Graph Blockchain Research Institute); Sidi Mohamed Beillahi, (University of Toronto); Guang Yang and Ming Wu, (Shanghai Tree-Graph Blockchain Research Institute); Wei Xu, (Tsinghua University); Fan Long, (University of Toronto)
Honeycomb: Secure and Efficient GPU Executions via Static Validation
Haohui Mai, (PrivacyCore Inc.); Jiacheng Zhao, (SKLP, Institute of Computing Technology, CAS; Zhongguancun Laboratory; and UCAS); Hongren Zheng, (IIIS, Tsinghua University); Yiyang Zhao, (SKLP, Institute of Computing Technology, CAS; and UCAS); Zibin Liu, (BUPT); Mingyu Gao, (IIIS, Tsinghua University); Cong Wang, (IDEA Shenzhen); Huimin Cui, (SKLP, Institute of Computing Technology, CAS; and UCAS); Xiaobing Feng, (SKLP, Institute of Computing Technology, CAS; Zhongguancun Laboratory; and UCAS); Christos Kozyrakis, (PrivacyCore Inc. and Stanford)

Secure Your Bits II

An Extensible Orchestration and Protection Framework for Confidential Cloud Computing
Adil Ahmad and Alex Schultz, (Arizona State University); Byoungyoung Lee, (Seoul National University); Pedro Fonseca, (Purdue University)
Nimble: Rollback Protection for Confidential Cloud Services
Sebastian Angel, (Microsoft Research); Aditya Basu, (Penn State University); Weidong Cui, (Microsoft Research); Trent Jaeger, (Penn State University); Stella Lau, (MIT CSAIL); Srinath Setty, (Microsoft Research); Sudheesh Singanamalla, (University of Washington)
Kerveros: Efficient and Scalable Cloud Admission Control
Sultan Mahmud Sajal, (Microsoft Research and Pennsylvania State University); Luke Marshall and Beibin Li, (Microsoft Research); Shandan Zhou and Abhisek Pan, (Microsoft Azure); Konstantina Mellou and Deepak Narayanan, (Microsoft Research); Timothy Zhu, (Pennsylvania State University); David Dion and Thomas Moscibroda, (Microsoft Azure); Ishai Menache, (Microsoft Research)
Security and Performance in the Delegated User-level Virtualization
Jiahao Chen, (Institute of Parallel and Distributed Systems, SEIEE, Shanghai Jiao Tong University; Engineering Research Center for Domain-specific Operating Systems, Ministry of Education, China); Dingji Li, (Institute of Parallel and Distributed Systems, SEIEE, Shanghai Jiao Tong University; Engineering Research Center for Domain-specific Operating Systems, Ministry of Education, China; MoE Key Lab of Artificial Intelligence, AI Institute, Shanghai Jiao Tong University); Zeyu Mi, Yuxuan Liu, and Binyu Zang, (Institute of Parallel and Distributed Systems, SEIEE, Shanghai Jiao Tong University; Engineering Research Center for Domain-specific Operating Systems, Ministry of Education, China); Haibing Guan, (Shanghai Key Laboratory of Scalable Computing and Systems, Shanghai Jiao Tong University); Haibo Chen, (Institute of Parallel and Distributed Systems, SEIEE, Shanghai Jiao Tong University; Engineering Research Center for Domain-specific Operating Systems, Ministry of Education, China)
Core slicing: closing the gap between leaky confidential VMs and bare-metal cloud
Ziqiao Zhou, (Microsoft Research); Yizhou Shan, (University of California, San Diego); Weidong Cui, Xinyang Ge, Marcus Peinado, and Andrew Baumann, (Microsoft Research)

Expanding, Hardening, and Deploying Your Bits

ExoFlow: A Universal Workflow System for Exactly-Once DAGs
Siyuan Zhuang, (UC Berkeley); Stephanie Wang, (UC Berkeley and Anyscale); Eric Liang and Yi Cheng, (Anyscale); Ion Stoica, (UC Berkeley)
Hyrax: Fail-in-Place Server Operation in Cloud Platforms
Jialun Lyu, (Microsoft Azure and University of Toronto); Marisa You, Celine Irvene, Mark Jung, Tyler Narmore, Jacob Shapiro, Luke Marshall, and Savyasachi Samal, (Microsoft Azure); Ioannis Manousakis and Lisa Hsu, (Formerly of Microsoft Azure); Preetha Subbarayalu, Ashish Raniwala, Brijesh Warrier, and Ricardo Bianchini, (Microsoft Azure); Bianca Schroeder, (University of Toronto); Daniel S. Berger, (Microsoft Azure and University of Washington)
NCC: Natural Concurrency Control for Strictly Serializable Datastores by Avoiding the Timestamp-Inversion Pitfall
Haonan Lu, (University at Buffalo); Shuai Mu, (Stony Brook University); Siddhartha Sen, (Microsoft Research); Wyatt Lloyd, (Princeton University)
Conveyor: One-Tool-Fits-All Continuous Software Deployment at Meta
Boris Grubic, (Meta); Yang Wang, (Meta and the Ohio State University); Tyler Petrochko, Ran Yaniv, Brad Jones, David Callies, Matt Clarke-Lauer, and Dan Kelley, (Meta); Soteris Demetriou, (Meta and Imperial College London); Kenny Yu and Chunqiang Tang, (Meta)

Query Your Bits

Chardonnay: Fast and General Datacenter Transactions for On-Disk Databases
Tamer Eldeeb and Xincheng Xie, (Columbia University); Philip A. Bernstein, (Microsoft Research); Asaf Cidon and Junfeng Yang, (Columbia University)
ScaleDB: A Scalable, Asynchronous In-Memory Database
Syed Akbar Mehdi, (The University of Texas at Austin); Deukyeon Hwang and Simon Peter, (University of Washington); Lorenzo Alvisi, (Cornell University)
VBASE: Unifying Online Vector Similarity Search and Relational Queries via Relaxed Monotonicity
Qianxi Zhang, Shuotao Xu, Qi Chen, and Guoxin Sui, (Microsoft Research Asia); Jiadong Xie, (Microsoft Research Asia and East China Normal University); Zhizhen Cai and Yaoqi Chen, (Microsoft Research Asia and University of Science and Technology of China); Yinxuan He, (Microsoft Research Asia and Renmin University of China); Yuqing Yang, Fan Yang, Mao Yang, and Lidong Zhou, (Microsoft Research Asia)
Detecting Transactional Bugs in Database Engines via Graph-Based Oracle Construction
Zu-Ming Jiang and Si Liu, (ETH Zurich); Manuel Rigger, (National University of Singapore); Zhendong Su, (ETH Zurich)
Take Out the TraChe: Maximizing (Tra)nsactional Ca(che) Hit Rate
Audrey Cheng, David Chu, Terrance Li, Jason Chan, Natacha Crooks, Joseph M. Hellerstein, and Ion Stoica, (UC Berkeley); Xiangyao Yu, (University of Wisconsin—Madison)

Store Your Bits

Replicating Persistent Memory Key-Value Stores with Efficient RDMA Abstraction
Qing Wang, Youyou Lu, Jing Wang, and Jiwu Shu, (Tsinghua University)
eZNS: An Elastic Zoned Namespace for Commodity ZNS SSDs
Jaehong Min and Chenxingyu Zhao, (University of Washington); Ming Liu, (University of Wisconsin-Madison); Arvind Krishnamurthy, (University of Washington)
SEPH: Scalable, Efficient, and Predictable Hashing on Persistent Memory
Chao Wang, Junliang Hu, Tsun-Yu Yang, Yuhong Liang, and Ming-Chang Yang, (The Chinese University of Hong Kong)
No Provisioned Concurrency: Fast RDMA-codesigned Remote Fork for Serverless Computing
Xingda Wei, (Institute of Parallel and Distributed Systems, SEIEE, Shanghai Jiao Tong University, and Shanghai AI Laboratory); Fangming Lu, Tianxia Wang, Jinyu Gu, and Yuhan Yang, (Institute of Parallel and Distributed Systems, SEIEE, Shanghai Jiao Tong University); Rong Chen, (Institute of Parallel and Distributed Systems, SEIEE, Shanghai Jiao Tong University, and Shanghai AI Laboratory); Haibo Chen, (Institute of Parallel and Distributed Systems, SEIEE, Shanghai Jiao Tong University)

Manage Your Bits I

Johnny Cache: the End of DRAM Cache Conflicts (in Tiered Main Memory Systems)
Baptiste Lepers, (Université de Neuchâtel); Willy Zwaenepoel, (University of Sydney)
TAILCHECK: A Lightweight Heap Overflow Detection Mechanism with Page Protection and Tagged Pointers
Amogha Udupa Shankaranarayana Gopal, Raveendra Soori, Michael Ferdman, and Dongyoon Lee, (Stony Brook University)
SMART: A High-Performance Adaptive Radix Tree for Disaggregated Memory
Xuchuan Luo, (School of Computer Science, Fudan University); Pengfei Zuo, (Huawei Cloud); Jiacheng Shen and Jiazhen Gu, (The Chinese University of Hong Kong); Xin Wang, (School of Computer Science, Fudan University; Shanghai Key Laboratory of Intelligent Information Processing, Shanghai, China); Michael R. Lyu, (The Chinese University of Hong Kong); Yangfan Zhou, (School of Computer Science, Fudan University; Shanghai Key Laboratory of Intelligent Information Processing, Shanghai, China)
ORC: Increasing Cloud Memory Density via Object Reuse with Capabilities
Vasily A. Sartakov, Lluís Vilanova, and Munir Geden, (Imperial College London); David Eyers, (University of Otago); Takahiro Shinagawa, (The University of Tokyo); Peter Pietzuch, (Imperial College London)

Manage Your Bits II

Global Capacity Management With Flux
Marius Eriksen, Kaushik Veeraraghavan, Yusuf Abdulghani, Andrew Birchall, Po-Yen Chou, Richard Cornew, Adela Kabiljo, Ranjith Kumar S, Maroo Lieuw, Justin Meza, Scott Michelson, Thomas Rohloff, Hayley Russell, Jeff Qin, and Chunqiang Tang, (Meta)
Defcon: Preventing Overload with Graceful Feature Degradation
Justin J. Meza, Thote Gowda, Ahmed Eid, Tomiwa Ijaware, Dmitry Chernyshev, Yi Yu, Md Nazim Uddin, Rohan Das, Chad Nachiappan, Sari Tran, Shuyang Shi, Tina Luo, David Ke Hong, Sankaralingam Panneerselvam, Hans Ragas, Svetlin Manavski, Weidong Wang, and Francois Richard, (Meta Platforms, Inc.)
Cilantro: Performance-Aware Resource Allocation for General Objectives via Online Feedback
Romil Bhardwaj, (UC Berkeley); Kirthevasan Kandasamy, (University of Wisconsin-Madison); Asim Biswal, Wenshuo Guo, Benjamin Hindman, Joseph Gonzalez, Michael Jordan, and Ion Stoica, (UC Berkeley)
Karma: Resource Allocation for Dynamic Demands
Midhul Vuppalapati, Giannis Fikioris, and Rachit Agarwal, (Cornell University); Asaf Cidon, (Columbia University); Anurag Khandelwal, (Yale University); Éva Tardos, (Cornell University)

Train Your Bits I

AlpaServe: Statistical Multiplexing with Model Parallelism for Deep Learning Serving
Zhuohan Li and Lianmin Zheng, (UC Berkeley); Yinmin Zhong, (Peking University); Vincent Liu, (University of Pennsylvania); Ying Sheng, (Stanford University); Xin Jin, (Peking University); Yanping Huang and Zhifeng Chen, (Google); Hao Zhang, (UC San Diego); Joseph E. Gonzalez and Ion Stoica, (UC Berkeley)
Cocktailer: Analyzing and Optimizing Dynamic Control Flow in Deep Learning
Chen Zhang, (Tsinghua University); Lingxiao Ma and Jilong Xue, (Microsoft Research); Yining Shi, (Peking University & Microsoft Research); Ziming Miao and Fan Yang, (Microsoft Research); Jidong Zhai, (Tsinghua University); Zhi Yang, (Peking University); Mao Yang, (Microsoft Research)
Welder: Scheduling Deep Learning Memory Access via Tile-graph
Yining Shi, (Peking University & Microsoft Research); Zhi Yang, (Peking University); Jilong Xue, Lingxiao Ma, Yuqing Xia, Ziming Miao, Yuxiao Guo, Fan Yang, and Lidong Zhou, (Microsoft Research)
Effectively Scheduling Computational Graphs of Deep Neural Networks toward Their Domain-Specific Accelerators
Jie Zhao, (Information Engineering University); Siyuan Feng, (Shanghai Jiao Tong University); Xiaoqiang Dan, Fei Liu, Chengke Wang, Sheng Yuan, Wenyuan Lv, and Qikai Xie, (Stream Computing Inc.)

Train Your Bits II

EINNET: Optimizing Tensor Programs with Derivation-Based Transformations
Liyan Zheng, Haojie Wang, Jidong Zhai, Muyan Hu, Zixuan Ma, Tuowei Wang, and Shuhong Huang, (Tsinghua University); Xupeng Miao, (Carnegie Mellon University); Shizhi Tang and Kezhao Huang, (Tsinghua University); Zhihao Jia, (Carnegie Mellon University)
Hydro: Surrogate-Based Hyperparameter Tuning Service in Datacenters
Qinghao Hu, (Nanyang Technological University, S-Lab, NTU, and Shanghai AI Laboratory); Zhisheng Ye, (Shanghai AI Laboratory and Peking University); Meng Zhang, (Nanyang Technological University, S-Lab, NTU, and Shanghai AI Laboratory); Qiaoling Chen, (Shanghai AI Laboratory and National University of Singapore); Peng Sun, (Shanghai AI Laboratory and SenseTime Research); Yonggang Wen and Tianwei Zhang, (Nanyang Technological University)
MGG: Accelerating Graph Neural Networks with Fine-Grained Intra-Kernel Communication-Computation Pipelining on Multi-GPU Platforms
Yuke Wang, Boyuan Feng, and Zheng Wang, (University of California Santa Barbara); Tong Geng, (University of Rochester); Kevin Barker and Ang Li, (Pacific Northwest National Laboratory); Yufei Ding, (University of California Santa Barbara)
Optimizing Dynamic Neural Networks with Brainstorm
Weihao Cui, (Shanghai Jiao Tong University); Zhenhua Han, (Microsoft Research Asia); Lingji Ouyang, (University of Science and Technology of China); Yichuan Wang, (Shanghai Jiao Tong University); Ningxin Zheng, Lingxiao Ma, Yuqing Yang, Fan Yang, Jilong Xue, Lili Qiu, and Lidong Zhou, (Microsoft Research Asia); Quan Chen, (Shanghai Jiao Tong University); Haisheng Tan, (University of Science and Technology of China); Minyi Guo, (Shanghai Jiao Tong University)
AdaEmbed: Adaptive Embedding for Large-Scale Recommendation Models
Fan Lai, (University of Michigan); Wei Zhang, Rui Liu, William Tsai, Xiaohan Wei, Yuxi Hu, Sabin Devkota, Jianyu Huang, Jongsoo Park, Xing Liu, Zeliang Chen, Ellie Wen, Paul Rivera, Jie You, and Chun-cheng Jason Chen, (Meta); Mosharaf Chowdhury, (University of Michigan)

Verify Your Bits

BWoS: Formally Verified Block-based Work Stealing for Parallel Processing
Jiawei Wang, (Huawei Dresden Research Center, Huawei Central Software Institute, Technische Universität Dresden); Bohdan Trach, Ming Fu, Diogo Behrens, Jonathan Schwender, Yutao Liu, and Jitang Lei, (Huawei Dresden Research Center, Huawei Central Software Institute); Viktor Vafeiadis, (MPI-SWS); Hermann Härtig, (Technische Universität Dresden); Haibo Chen, (Huawei Central Software Institute, Shanghai Jiao Tong University)
Spoq: Scaling Machine-Checkable Systems Verification in Coq
Xupeng Li, Xuheng Li, Wei Qiang, Ronghui Gu, and Jason Nieh, (Columbia University)
Verifying vMVCC, a high-performance transaction library using multi-version concurrency control
Yun-Sheng Chang, (MIT CSAIL); Ralf Jung, (ETH Zurich); Upamanyu Sharma, (MIT CSAIL); Joseph Tassarotti, (New York University); M. Frans Kaashoek and Nickolai Zeldovich, (MIT CSAIL)
Automated Verification of Idempotence for Stateful Serverless Applications
Haoran Ding, Zhaoguo Wang, and Zhuohao Shen, (Institute of Parallel and Distributed Systems, SEIEE, Shanghai Jiao Tong University); Rong Chen, (Institute of Parallel and Distributed Systems, SEIEE, Shanghai Jiao Tong University, and Shanghai AI Laboratory); Haibo Chen, (Institute of Parallel and Distributed Systems, SEIEE, Shanghai Jiao Tong University)
Sharding the State Machine: Automated Modular Reasoning for Complex Concurrent Systems
Travis Hance and Yi Zhou, (Carnegie Mellon University); Andrea Lattuada, (VMware Research); Reto Achermann, (University of British Columbia); Alex Conway, (VMware Research); Ryan Stutsman, (VMware Research and University of Utah); Gerd Zellweger, (VMware Research); Chris Hawblitzel, (Microsoft Research); Jon Howell, (VMware Research); Bryan Parno, (Carnegie Mellon University)

Transfer Your Bits

Flor: An Open High Performance RDMA Framework Over Heterogeneous RNICs
Qiang Li, (Alibaba Group); Yixiao Gao and Xiaoliang Wang, (Nanjing University); Haonan Qiu, (Alibaba Group); Yanfang Le, (AMD); Derui Liu, (Alibaba Group); Qiao Xiang, (Xiamen University); Fei Feng, Peng Zhang, Bo Li, Jianbo Dong, Lingbo Tang, Hongqiang Harry Liu, Shaozong Liu, Weijie Li, Rui Miao, Yaohui Wu, Zhiwu Wu, Chao Han, Lei Yan, Zheng Cao, and Zhongjie Wu, (Alibaba Group); Chen Tian and Guihai Chen, (Nanjing University); Dennis Cai, Jinbo Wu, Jiaji Zhu, and Jiesheng Wu, (Alibaba Group); Jiwu Shu, (Xiamen University)
ShRing: Networking with Shared Receive Rings
Boris Pismenny, (Technion and NVIDIA); Adam Morrison, (Tel Aviv University); Dan Tsafrir, (Technion & VMware Research)
ServiceRouter: Hyperscale and Minimal Cost Service Mesh at Meta
Harshit Saokar, (Meta); Soteris Demetriou, (Meta and Imperial College London); Nick Magerko, Max Kontorovich, Josh Kirstein, and Margot Leibold, (Meta); Dimitrios Skarlatos, (Meta and Carnegie Mellon University); Hitesh Khandelwal and Chunqiang Tang, (Meta)
Characterizing Off-path SmartNIC for Accelerating Distributed Systems
Xingda Wei and Rongxin Cheng, (Institute of Parallel and Distributed Systems, SEIEE, Shanghai Jiao Tong University, and Shanghai AI Laboratory); Yuhan Yang, (Institute of Parallel and Distributed Systems, SEIEE, Shanghai Jiao Tong University); Rong Chen, (Institute of Parallel and Distributed Systems, SEIEE, Shanghai Jiao Tong University, and Shanghai AI Laboratory); Haibo Chen, (Institute of Parallel and Distributed Systems, SEIEE, Shanghai Jiao Tong University)
Ensō: A Streaming Interface for NIC-Application Communication
Hugo Sadok and Nirav Atre, (Carnegie Mellon University); Zhipeng Zhao, (Microsoft); Daniel S. Berger, (Microsoft Research & University of Washington); James C. Hoe, (Carnegie Mellon University); Aurojit Panda, (New York University); Justine Sherry, (Carnegie Mellon University); Ren Wang, (Intel)