OSDI 2023 论文分类总结
数据来源: OSDI 2023 会议官网
技术领域分类
技术领域分布
数据加载中...
技术领域论文数量
技术领域 | 论文数量 | 占比 |
---|
作者来源分析
国家和机构分布图
数据加载中...
国家和机构分布表
国家 | 论文数量 | 占比 | 机构 |
---|
关键词词云
论文标题关键词分布
论文来源机构分布
知识图谱
论文列表
Make Your Bits Go Faster
Ship your Critical Section, Not Your Data: Enabling Transparent Delegation with TCLOCKS
RON: One-Way Circular Shortest Routing to Achieve Efficient and Bounded-waiting Spinlocks
Userspace Bypass: Accelerating Syscall-intensive Applications
Triangulating Python Performance Issues with SCALENE
Relational Debugging --- Pinpointing Root Causes of Performance Problems
Secure Your Bits I
Accountable authentication with privacy protection: The Larch system for universal login
K9db: Privacy-Compliant Storage For Web Applications By Construction
Encrypted Databases Made Secure Yet Maintainable
LVMT: An Efficient Authenticated Storage for Blockchain
Honeycomb: Secure and Efficient GPU Executions via Static Validation
Secure Your Bits II
An Extensible Orchestration and Protection Framework for Confidential Cloud Computing
Nimble: Rollback Protection for Confidential Cloud Services
Kerveros: Efficient and Scalable Cloud Admission Control
Security and Performance in the Delegated User-level Virtualization
Core slicing: closing the gap between leaky confidential VMs and bare-metal cloud
Expanding, Hardening, and Deploying Your Bits
ExoFlow: A Universal Workflow System for Exactly-Once DAGs
Hyrax: Fail-in-Place Server Operation in Cloud Platforms
NCC: Natural Concurrency Control for Strictly Serializable Datastores by Avoiding the Timestamp-Inversion Pitfall
Conveyor: One-Tool-Fits-All Continuous Software Deployment at Meta
Query Your Bits
Chardonnay: Fast and General Datacenter Transactions for On-Disk Databases
ScaleDB: A Scalable, Asynchronous In-Memory Database
VBASE: Unifying Online Vector Similarity Search and Relational Queries via Relaxed Monotonicity
Detecting Transactional Bugs in Database Engines via Graph-Based Oracle Construction
Take Out the TraChe: Maximizing (Tra)nsactional Ca(che) Hit Rate
Store Your Bits
Replicating Persistent Memory Key-Value Stores with Efficient RDMA Abstraction
eZNS: An Elastic Zoned Namespace for Commodity ZNS SSDs
SEPH: Scalable, Efficient, and Predictable Hashing on Persistent Memory
No Provisioned Concurrency: Fast RDMA-codesigned Remote Fork for Serverless Computing
Manage Your Bits I
Johnny Cache: the End of DRAM Cache Conflicts (in Tiered Main Memory Systems)
TAILCHECK: A Lightweight Heap Overflow Detection Mechanism with Page Protection and Tagged Pointers
SMART: A High-Performance Adaptive Radix Tree for Disaggregated Memory
ORC: Increasing Cloud Memory Density via Object Reuse with Capabilities
Manage Your Bits II
Global Capacity Management With Flux
Defcon: Preventing Overload with Graceful Feature Degradation
Cilantro: Performance-Aware Resource Allocation for General Objectives via Online Feedback
Karma: Resource Allocation for Dynamic Demands
Train Your Bits I
AlpaServe: Statistical Multiplexing with Model Parallelism for Deep Learning Serving
Cocktailer: Analyzing and Optimizing Dynamic Control Flow in Deep Learning
Welder: Scheduling Deep Learning Memory Access via Tile-graph
Effectively Scheduling Computational Graphs of Deep Neural Networks toward Their Domain-Specific Accelerators
Train Your Bits II
EINNET: Optimizing Tensor Programs with Derivation-Based Transformations
Hydro: Surrogate-Based Hyperparameter Tuning Service in Datacenters
MGG: Accelerating Graph Neural Networks with Fine-Grained Intra-Kernel Communication-Computation Pipelining on Multi-GPU Platforms
Optimizing Dynamic Neural Networks with Brainstorm
AdaEmbed: Adaptive Embedding for Large-Scale Recommendation Models
Verify Your Bits
BWoS: Formally Verified Block-based Work Stealing for Parallel Processing
Spoq: Scaling Machine-Checkable Systems Verification in Coq
Verifying vMVCC, a high-performance transaction library using multi-version concurrency control
Automated Verification of Idempotence for Stateful Serverless Applications
Sharding the State Machine: Automated Modular Reasoning for Complex Concurrent Systems
Transfer Your Bits
Flor: An Open High Performance RDMA Framework Over Heterogeneous RNICs
ShRing: Networking with Shared Receive Rings
ServiceRouter: Hyperscale and Minimal Cost Service Mesh at Meta
Characterizing Off-path SmartNIC for Accelerating Distributed Systems
Ensō: A Streaming Interface for NIC-Application Communication
评论