17th USENIX Symposium on Operating Systems Design and Implementation, OSDI 2023, Boston, MA, USA, July 10-12, 2023.

第17届USENIX操作系统设计与实现研讨会，OSDI 2023，2023年7月10-12日，美国马萨诸塞州波士顿。

1. Ship your Critical Section, Not Your Data: Enabling Transparent Delegation with TCLOCKS.
   将你的关键部分发送出去，而不是你的数据：使用TCLOCKS实现透明委托。

2. RON: One-Way Circular Shortest Routing to Achieve Efficient and Bounded-waiting Spinlocks.
   RON：一种单向循环最短路由，实现高效且有界等待的自旋锁。

3. Userspace Bypass: Accelerating Syscall-intensive Applications.
   用户空间绕过：加速系统调用密集型应用程序。

4. Triangulating Python Performance Issues with SCALENE.
   使用SCALENE解决Python性能问题。

5. Relational Debugging - Pinpointing Root Causes of Performance Problems.
   关系调试 - 准确定位性能问题的根本原因。

6. Accountable authentication with privacy protection: The Larch system for universal login.
   负责任的身份验证与隐私保护：Larch系统实现通用登录。

7. K9db: Privacy-Compliant Storage For Web Applications By Construction.
   K9db：通过构建实现网络应用程序的隐私合规存储。

8. Encrypted Databases Made Secure Yet Maintainable.
   加密数据库的安全性与可维护性。

9. LVMT: An Efficient Authenticated Storage for Blockchain.
   LVMT：区块链的高效认证存储。

10. Honeycomb: Secure and Efficient GPU Executions via Static Validation.
    Honeycomb：通过静态验证实现安全高效的GPU执行。

11. An Extensible Orchestration and Protection Framework for Confidential Cloud Computing.
    机密云计算的可扩展编排和保护框架。

12. Nimble: Rollback Protection for Confidential Cloud Services.
    Nimble：保护机密云服务的回滚功能。

13. Security and Performance in the Delegated User-level Virtualization.
    用户级虚拟化中的安全性和性能。

14. Kerveros: Efficient and Scalable Cloud Admission Control.
    Kerveros：高效且可扩展的云准入控制。

15. Core slicing: closing the gap between leaky confidential VMs and bare-metal cloud.
    核心切片：弥合泄漏的保密虚拟机和裸金属云之间的差距。

16. ExoFlow: A Universal Workflow System for Exactly-Once DAGs.
    ExoFlow：一种用于仅一次DAG的通用工作流系统。

17. Hyrax: Fail-in-Place Server Operation in Cloud Platforms.
    Hyrax：云平台中的原地失败服务器操作。

18. NCC: Natural Concurrency Control for Strictly Serializable Datastores by Avoiding the Timestamp-Inversion Pitfall.
    NCC：通过避免时间戳反转陷阱实现严格可序列化数据存储的自然并发控制。

19. Conveyor: One-Tool-Fits-All Continuous Software Deployment at Meta.
    Conveyor：在 Meta 实现一切连续软件部署的通用工具。

20. Chardonnay: Fast and General Datacenter Transactions for On-Disk Databases.
    Chardonnay：用于磁盘数据库的快速通用数据中心事务。

21. ScaleDB: A Scalable, Asynchronous In-Memory Database.
    ScaleDB：可扩展的异步内存数据库。

22. VBASE: Unifying Online Vector Similarity Search and Relational Queries via Relaxed Monotonicity.
    VBASE：通过松弛单调性统一在线向量相似性搜索和关系查询。

23. Detecting Transactional Bugs in Database Engines via Graph-Based Oracle Construction.
    通过基于图的 Oracle 构建检测数据库引擎中的事务性错误。

24. Take Out the TraChe: Maximizing (Tra)nsactional Ca(che) Hit Rate.
    取出 TraChe：最大化事务缓存命中率。

25. Replicating Persistent Memory Key-Value Stores with Efficient RDMA Abstraction.
    使用高效的 RDMA 抽象复制持久内存键值存储。

26. eZNS: An Elastic Zoned Namespace for Commodity ZNS SSDs.
    eZNS：用于商品 ZNS SSD 的弹性分区命名空间。

27. SEPH: Scalable, Efficient, and Predictable Hashing on Persistent Memory.
    SEPH：持久内存上的可扩展、高效和可预测的哈希。

28. No Provisioned Concurrency: Fast RDMA-codesigned Remote Fork for Serverless Computing.
    无需预留并发性：用于无服务器计算的快速 RDMA 设计的远程分叉。

29. Johnny Cache: the End of DRAM Cache Conflicts (in Tiered Main Memory Systems).
    Johnny Cache：DRAM 缓存冲突的终结（在分层主存储系统中）。

30. TAILCHECK: A Lightweight Heap Overflow Detection Mechanism with Page Protection and Tagged Pointers.
    TAILCHECK：具有页面保护和标记指针的轻量级堆溢出检测机制。

31. SMART: A High-Performance Adaptive Radix Tree for Disaggregated Memory.
    SMART：用于分离内存的高性能自适应 Radix 树。

32. ORC: Increasing Cloud Memory Density via Object Reuse with Capabilities.
    ORC：通过能力复用增加云内存密度。

33. Global Capacity Management With Flux.
    使用 Flux 进行全局容量管理。

34. Defcon: Preventing Overload with Graceful Feature Degradation.
    Defcon：通过优雅的功能降级防止过载。

35. Cilantro: Performance-Aware Resource Allocation for General Objectives via Online Feedback.
    Cilantro：通过在线反馈实现面向性能的通用目标资源分配。

36. Karma: Resource Allocation for Dynamic Demands.
    Karma：动态需求的资源分配。

37. AlpaServe: Statistical Multiplexing with Model Parallelism for Deep Learning Serving.
    AlpaServe：用于深度学习服务的模型并行统计复用。

38. Cocktailer: Analyzing and Optimizing Dynamic Control Flow in Deep Learning.
    Cocktailer：分析和优化深度学习中的动态控制流。

39. Welder: Scheduling Deep Learning Memory Access via Tile-graph.
    Welder：通过瓦片图调度深度学习内存访问。

40. Effectively Scheduling Computational Graphs of Deep Neural Networks toward Their Domain-Specific Accelerators.
    有效地调度深度神经网络的计算图以实现其特定域加速器。

41. EINNET: Optimizing Tensor Programs with Derivation-Based Transformations.
    EINNET：通过基于导出的转换优化张量程序。

42. Hydro: Surrogate-Based Hyperparameter Tuning Service in Datacenters.
    Hydro：数据中心中基于替代的超参数调整服务。

43. MGG: Accelerating Graph Neural Networks with Fine-Grained Intra-Kernel Communication-Computation Pipelining on Multi-GPU Platforms.
    MGG：在多 GPU 平台上使用细粒度内核通信-计算流水线加速图神经网络。

44. Optimizing Dynamic Neural Networks with Brainstorm.
    使用 Brainstorm 优化动态神经网络。

45. AdaEmbed: Adaptive Embedding for Large-Scale Recommendation Models.
    AdaEmbed：用于大规模推荐模型的自适应嵌入。

46. BWoS: Formally Verified Block-based Work Stealing for Parallel Processing.
    BWoS：用于并行处理的经过正式验证的基于块的工作窃取。

47. Spoq: Scaling Machine-Checkable Systems Verification in Coq.
    Spoq：在 Coq 中扩展机器可检验系统验证。

48. Verifying vMVCC, a high-performance transaction library using multi-version concurrency control.
    验证 vMVCC，使用多版本并发控制的高性能事务库。

49. Automated Verification of Idempotence for Stateful Serverless Applications.
    对有状态无服务器应用程序的幂等性进行自动验证。

50. Sharding the State Machine: Automated Modular Reasoning for Complex Concurrent Systems.
    分片状态机：用于复杂并发系统的自动模块化推理。

51. Flor: An Open High Performance RDMA Framework Over Heterogeneous RNICs.
    Flor：面向异构 RNIC 的开放高性能 RDMA 框架。

52. ShRing: Networking with Shared Receive Rings.
    ShRing：使用共享接收环的网络。

53. ServiceRouter: Hyperscale and Minimal Cost Service Mesh at Meta.
    ServiceRouter：在 Meta 上实现超大规模和最小成本的服务网格。

54. Characterizing Off-path SmartNIC for Accelerating Distributed Systems.
    表征用于加速分布式系统的离线智能网卡。

55. Ensō: A Streaming Interface for NIC-Application Communication.
    Ensō：用于 NIC-应用通信的流接口。