☆17May 22, 2023Updated 3 years ago
Alternatives and similar repositories for honeycomb-osdi23-ae
Users that are interested in honeycomb-osdi23-ae are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Getting Started with the Core Slicing Prototype☆14Jun 25, 2026Updated 4 months ago
- ☆33Jun 7, 2023Updated 3 years ago
- A GPU-accelerated DNN inference serving system that supports instant kernel preemption and biased concurrent execution in GPU scheduling.☆42May 29, 2022Updated 4 years ago
- ☆23Jun 14, 2023Updated 3 years ago
- ☆28Dec 22, 2024Updated last year
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- RTL blocks compatible with the Rocket Chip Generator☆17Mar 30, 2025Updated last year
- Code repository for the research paper "A Systematic Look at Ciphertext Side Channels on AMD SEV-SNP"☆13May 17, 2022Updated 4 years ago
- Paging Debug tool for GDB using python☆13Jun 4, 2022Updated 4 years ago
- CIPHERH: Automated Detection of Ciphertext Side-channel Vulnerabilities in Cryptographic Implementations☆13Dec 17, 2023Updated 2 years ago
- What if everything is a io_uring?☆17Nov 10, 2022Updated 4 years ago
- ☆11Jun 10, 2024Updated 2 years ago
- Tensors and Dynamic neural networks in Python with strong GPU acceleration☆15Dec 21, 2020Updated 5 years ago
- ☆28Mar 4, 2025Updated last year
- ☆49Dec 11, 2020Updated 5 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- 项目的主仓库☆27Sep 11, 2022Updated 4 years ago
- A minimal bootstrap scheme for fast boot of serverless microVMs with AMD Secure Encrypted Virtualization (SEV)☆15Feb 7, 2024Updated 2 years ago
- ☆22Jul 16, 2022Updated 4 years ago
- ☆12May 15, 2024Updated 2 years ago
- Performance Prediction Toolkit☆58Sep 13, 2025Updated last year
- Eyrie enclave runtime kernel☆37Aug 2, 2023Updated 3 years ago
- Our repository for NSCSCC☆21Feb 22, 2025Updated last year
- Using Malicious #VC Interrupts to Break AMD SEV-SNP (IEEE S&P 2024)☆26Apr 22, 2024Updated 2 years ago
- Tableau for basic modal logic in Lean 3 - This is OLD and not maintained. See https://github.com/m4lvin/lean4-pdl instead.☆13Oct 24, 2023Updated 3 years ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- An experimental modular OS written in Rust.☆12Jul 19, 2024Updated 2 years ago
- Jinzhao Disk (JinDisk) is a log-structured secure block device for TEEs. This repo is JinDisk's Linux version.☆36May 26, 2023Updated 3 years ago
- Ancillary open source software to support confidential computing on NVIDIA GPUs☆326Oct 24, 2026Updated 2 weeks ago
- ☆12Nov 29, 2024Updated last year
- Bindings and specification for BLAS☆11Feb 12, 2026Updated 9 months ago
- ☆34Sep 9, 2020Updated 6 years ago
- This serves as a repository for reproducibility of the SC21 paper "In-Depth Analyses of Unified Virtual Memory System for GPU Accelerated…☆38Sep 25, 2023Updated 3 years ago
- Property-based testing for Lean via metaprogramming☆16Jul 23, 2026Updated 3 months ago
- Intel® Tensor Processing Primitives extension for Pytorch*☆20Aug 24, 2026Updated 2 months ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- ☆110Jul 20, 2026Updated 3 months ago
- ☆10Aug 10, 2024Updated 2 years ago
- ☆15Jul 18, 2023Updated 3 years ago
- ☆10Dec 8, 2021Updated 4 years ago
- Formal Verification for Ethereum☆11Oct 29, 2026Updated 2 weeks ago
- ☆17Aug 12, 2025Updated last year
- Implementation and benchmark of lock-free Hopscotch Hashing☆11Oct 31, 2019Updated 7 years ago
Are these results useful?