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

ASPLOS'20 - Session 13A - Effective Concurrency Testing for Distributed SystemsПодробнее

Controlled Concurrency Testing via Periodical SchedulingПодробнее

ASPLOS'20 - Session 13B - The TrieJax Architecture: Accelerating Graph Operations Through RelationalПодробнее

ASPLOS'20 - Session 5A - Prague: High-Performance Heterogeneity-Aware Asynchronous Decentralized TraПодробнее

ASPLOS'20 - Session 5B - CryoCache A Fast, Large and Cost-Effective Cache Architecture for CryogenicПодробнее

ASPLOS'20 - Session 14A - The Guardian Council: Parallel Programmable Hardware SecurityПодробнее

ASPLOS'20 - Session 13A - HMC: Model Checking for Hardware Memory ModelsПодробнее

ASPLOS'20 - Session 13A - Lazy Release PersistencyПодробнее

ASPLOS'20 - Session 3A - Atomicity Checking in Linear Time using Vector ClocksПодробнее

ASPLOS'20 - Session 8A - A Benchmark Suite for Evaluating Caches‘ Vulnerability to Timing AttacksПодробнее

ASPLOS'20 - Session 10A - FlexTensor: An Automatic Schedule Exploration and Optimization FrameworkПодробнее

ASPLOS'20 - Session 4A - Hailstorm: Disaggregated Compute and Storage for Distributed LSM DatabasesПодробнее

ASPLOS'20 - Session 13B - Chronos: Efficient Speculative Parallelism for AcceleratorsПодробнее

ASPLOS'20 - Session 3A - Hermes: a Fast, Fault-Tolerant and Linearizable Replication ProtocolПодробнее

ASPLOS'20 - Session 8B - FirePerf: FPGA-Accelerated Full-System Hardware/Software Performance ProfilПодробнее