Results
Submissions: 32 (64% of accepted papers)
Evaluation Results:
- 14 Artifact Available
- 31 Artifact Functional
- 25 Results Reproduced
| Paper | Avail. | Funct. | Repro. | Available At |
|---|---|---|---|---|
| Accelerating Graph Neural Networks with Fine-grained intra-kernel Communication-Computation Pipelining on Multi-GPU Platforms |
|
|
|
Repository |
| Accountable authentication with privacy protection: The Larch system for universal login |
|
|
|
Repository |
| AutoV: Scaling Machine-Checkable Verification for Large System Software |
|
|
|
Repository |
| BWoS: Formally Verified Block-based Work Stealing for Parallel Processing |
|
|
||
| Beta: Statistical Multiplexing with Model Parallelism for Deep Learning Serving |
|
|
|
Repository |
| Cilantro: A Framework for Performance-Aware Resource Allocation for General Objectives via Online Feedback |
|
|
Repository |
|
| Core slicing: closing the gap between leaky confidential VMs and bare-metal cloud |
|
|
Repository |
|
| Detecting Transactional Bugs in Database Engines via Graph-Based Oracle Construction |
|
|
Artifact Repository |
|
| Effectively Scheduling Computational Graphs of Deep Neural Networks toward Their Domain-Specific Accelerators |
|
|
Artifact |
|
| EinNet: Optimizing Tensor Programs with Derivation-Based Transformations |
|
|
|
Repository |
| Encrypted Databases Made Secure Yet Maintainable |
|
|
|
Repository |
| EnsÅ: A Streaming Interface for NIC-Application Communication |
|
|
|
Repository |
| ExoFlow: A Universal Workflow System for Exactly-Once DAGs |
|
|
|
Repository |
| Grinder: Analysis and Optimization for Dynamic Control Flow in Deep Learning |
|
|
|
Artifact Repository |
| Honeycomb: An Secure, Efficient GPU Execution Environment with Minimal TCB |
|
|
|
Repository |
| Hydro: Surrogate-Based Hyperparameter Tuning Service in the Datacenter |
|
|
|
Repository |
| LVMT: An Efficient Authenticated Storage for Blockchain |
|
|
|
Repository |
| Nimble: Rollback Protection for Confidential Cloud Services |
|
|
|
Repository |
| ORC: Increasing Cloud Memory Density via Object Reuse with Capabilities |
|
|
Repository |
|
| Optimizing Dynamic Neural Networks with Brainstorm |
|
|
|
Repository |
| Pelton: Privacy-Compliant Storage For Web Applications By Construction |
|
|
|
Repository |
| RON: One-Way Circular Shortest Routing to Achieve Efficient and Bounded-waiting Spinlocks |
|
|
||
| Relational Debugging --- Pinpointing Root Causes of Performance Problems |
|
|
|
Repository |
| SEPH: Scalable, Efficient, and Predictable Hashing on Persistent Memory |
|
|
|
|
| SMART: A High-Performance Adaptive Radix Tree for Disaggregated Memory |
|
|
|
Repository |
| Security and Performance in the Delegated User-level Virtualization |
|
|
|
Repository |
| Sharding the State Machine: Automated Modular Reasoning for Complex Concurrent Systems |
|
|
|
Repository |
| Ship your Critical Section Not Your Data: Enabling Transparent Delegation with TCLocks |
|
|
|
Repository |
| Take Out the TraChe: Maximizing (Tra)nsactional Ca(che) Hit |
|
Repository |
||
| Userspace Bypass: Accelerating Syscall-intensive Applications |
|
|
|
Repository |
| VBase: Unifying Online Vector Similarity Search and Relational Queries via Relaxed Monotonicity |
|
|
|
Repository |
| Welder: Scheduling Deep Learning Memory Access via Tile-graph |
|
|
|
Repository |