filmov
tv
ASPLOS'20 - Session 13A - HMC: Model Checking for Hardware Memory Models
Показать описание
ASPLOS'20: The 25th International Conference on Architectural Support for Programming Languages and Operating Systems
Session 13A: Persistence and correctness — Or... persistent correctness?
Title: HMC: Model Checking for Hardware Memory Models
Presented by: Michalis Kokologiannakis (MPI-SWS)
Authors: Michalis Kokologiannakis (MPI-SWS); Viktor Vafeiadis (MPI-SWS)
Session 13A: Persistence and correctness — Or... persistent correctness?
Title: HMC: Model Checking for Hardware Memory Models
Presented by: Michalis Kokologiannakis (MPI-SWS)
Authors: Michalis Kokologiannakis (MPI-SWS); Viktor Vafeiadis (MPI-SWS)
0:18:49
ASPLOS'20 - Session 13A - Lazy Release Persistency
0:14:33
ASPLOS'20 - Session 13A - Effective Concurrency Testing for Distributed Systems
0:19:32
ASPLOS'20 - Session 13A - HMC: Model Checking for Hardware Memory Models
0:16:20
ASPLOS'20 - Session 13A - Cross-Failure Bug Detection in Persistent Memory Programs
0:16:16
ASPLOS'20 - Session 14A - The Guardian Council: Parallel Programmable Hardware Security
0:19:27
ASPLOS'20 - Session 5B - CryoCache A Fast, Large and Cost-Effective Cache Architecture for Cryo...
0:14:39
ASPLOS'20 - Session 3A - Hermes: a Fast, Fault-Tolerant and Linearizable Replication Protocol
0:20:56
ASPLOS'20 - Session 2B - Egalito: Layout-Agnostic Binary Recompilation
0:17:57
ASPLOS'20 - Session 7A - LeapIO: Efficient and Portable Virtual NVMe Storage on ARM SoCs
0:06:09
ASPLOS'20 - Introduction to the conference by the PC chairs -- Prof. Luis Ceze and Karin Straus...
0:20:14
ASPLOS'20 - Session 3B - FlexAmata: A Universal and Efficient Adaption of Applications to Spati...
0:19:08
ASPLOS'20 - Session 2A - Lynx A SmartNIC-driven Accelerator-centric Architecture for Network Se...
0:19:00
ASPLOS'20 - Session 8B - FirePerf: FPGA-Accelerated Full-System Hardware/Software Performance P...
0:17:51
ASPLOS'20 - Session 5B - Livia: Data-Centric Computing Throughout the Memory Hierarchy
0:15:13
ASPLOS'20 - Session 9B - AvA: Accelerated Virtualization of Accelerators
0:19:37
ASPLOS'20 - Session 11A - MERR: Improving Security of Persistent Memory Objects via Efficient M...
0:16:55
ASPLOS'22 - Session 4A - NASPipe: High Performance and Reproducible Pipeline Parallel Supernet
0:19:32
Evanesco: Efficient Data Sanitization in Modern Flash-Based Storage Systems - ASPLOS 2020 Talk
0:15:20
Reliable Timekeeping for Intermittent Computing - ACM ASPLOS 2020 Presentation
0:17:28
ASPLOS'22 - Session 4B - Clio: A Hardware-Software Co-Designed Disaggregated Memory System
0:15:05
Time-sensitive Intermittent Computing Meets Legacy Software - ACM ASPLOS 2020 Presentation
0:02:00
MunichBFOR: sharing v4 rastrigin
0:16:37
GCPersist: An Efficient GC-assisted Lazy Persistency Framework for Resilient Java Applications on NV
0:15:04
Jaaru: Efficiently Model Checking Persistent Memory Programs (Full Presentation)
Комментарии