Sponsored
View Detailed Profile
ASPLOS'23 - Session 9B - Compiling Distributed System Models with PGo

ASPLOS'23 - Session 9B - Compiling Distributed System Models with PGo

ASPLOS

Compiling Distributed System Models Into Implementations with PGo (Shayan Hosseini)

Compiling Distributed System Models Into Implementations with PGo (Shayan Hosseini)

Github: https://github.com/DistCompiler/

ASPLOS'23 - Session 9B - uBFT: Microsecond-scale BFT using Disaggregated Memory

ASPLOS'23 - Session 9B - uBFT: Microsecond-scale BFT using Disaggregated Memory

ASPLOS

Compiling Distributed System Models into Implementations with PGo - Hackett et al.

Compiling Distributed System Models into Implementations with PGo - Hackett et al.

Distributed systems

ASPLOS'24 - "A shared compilation stack for distributed-memory parallelism in stencil DSLs"

ASPLOS'24 - "A shared compilation stack for distributed-memory parallelism in stencil DSLs"

Lightning talk for the paper: "A shared

Sponsored
SOSP '23 | Grove: a Separation-Logic Library for Verifying Distributed Systems

SOSP '23 | Grove: a Separation-Logic Library for Verifying Distributed Systems

Authors: Upamanyu Sharma (Massachusetts Institute of Technology), Ralf Jung (ETH Zurich), Joseph Tassarotti (New York ...

ASPLOS'23 - Session 8C - Khuzdul: Efficient and Scalable Distributed Graph Pattern Mining Engine

ASPLOS'23 - Session 8C - Khuzdul: Efficient and Scalable Distributed Graph Pattern Mining Engine

ASPLOS

ASPLOS'23 - Session 7B - GZKP: A GPU Accelerated Zero-Knowledge Proof System

ASPLOS'23 - Session 7B - GZKP: A GPU Accelerated Zero-Knowledge Proof System

ASPLOS

ASPLOS'23 - Session 5B - Re-architecting I/O Caches for Emerging Fast Storage Devices

ASPLOS'23 - Session 5B - Re-architecting I/O Caches for Emerging Fast Storage Devices

ASPLOS

ASPLOS'24 - Session 10A - FPGAs and Reconfigurable Hardware

ASPLOS'24 - Session 10A - FPGAs and Reconfigurable Hardware

ASPLOS

ASPLOS'20 - Session 13A - Effective Concurrency Testing for Distributed Systems

ASPLOS'20 - Session 13A - Effective Concurrency Testing for Distributed Systems

ASPLOS

ASPLOS'24 - Lightning Talks - Session 2C - Kimbap: A Node Property Map System for Distributed Graph

ASPLOS'24 - Lightning Talks - Session 2C - Kimbap: A Node Property Map System for Distributed Graph

ASPLOS

ASPLOS'23 - Session 1A - Heron: Automatically Constrained High-performance Library Generation for De

ASPLOS'23 - Session 1A - Heron: Automatically Constrained High-performance Library Generation for De

ASPLOS