Gauntlet: Finding Bugs in Compilers for Programmable Packet Processing

Gespeichert in:
Bibliographische Detailangaben
Veröffentlicht in:USENIX Symposium on Operating Systems Design and Implementation (14. : 2020 : Online) 14th USENIX Symposium on Operating Systems Design and Implementation (OSDI'20) ; Volume 2 of 2
1. Verfasser: Ruffy, Fabian (VerfasserIn)
Weitere Verfasser: Wang, Tao (VerfasserIn), Sivaraman, Anirudh (VerfasserIn)
Pages:14
Format: UnknownFormat
Sprache:eng
Veröffentlicht: 2020
Schlagworte:
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Titel Jahr Verfasser
Microsecond Consensus for Microsecond Applications 2020 Aguilera, Marcos K.
Blockene: A High-throughput Blockchain Over Mobile Devices 2020 Satija, Sambhav
Gauntlet: Finding Bugs in Compilers for Programmable Packet Processing 2020 Ruffy, Fabian
From Global to Local Quiescence: Wait-Free Code Patching of Multi-Threaded Processes 2020 Rommel, Florian
Twine: A Unified Cluster Management System for Shared Infrastructure 2020 Tang, Chunqiang
Ansor: Generating High-Performance Tensor Programs for Deep Learning 2020 Zheng, Lianmin
Retiarii: A Deep Learning Exploratory-Training Framework 2020 Zhang, Quanlu
KungFu: Making Training in Distributed Machine Learning Adaptive 2020 Mai, Luo
A Tensor Compiler for Unified Machine Learning Prediction Serving 2020 Nakandala, Supun
Assise: Performance and Availability via Client-local NVM in a Distributed File System 2020 Anderson, Thomas E.
AGAMOTTO: How Persistent is your Persistent Memory Application? 2020 Neal, Ian
Efficiently Mitigating Transient Execution Attacks using the Unmapped Speculation Contract 2020 Behrens, Jonathan
Predictive and Adaptive Failure Mitigation to Avert Production Cloud VM Interruptions 2020 Levy, Sebastien
Fault-tolerant and transactional stateful serverless workflows 2020 Zhang, Haoran
Testing Database Engines via Pivoted Query Synthesis 2020 Rigger, Manuel
FIRM: An Intelligent Fine-grained Resource Management Framework for SLO-Oriented Microservices 2020 Qiu, Haoran
Building Scalable and Flexible Cluster Managers Using Declarative Programming 2020 Suresh, Lalith
RAMMER: Enabling Holistic Deep Learning Compiler Optimizations with rTasks 2020 Ma, Lingxiao
FVM: FPGA-assisted Virtual Device Emulation for Fast, Scalable, and Flexible Storage Virtualization 2020 Kwon, Dongup
Persistent State Machines for Recoverable In-memory Storage Systems with NVRam 2020 Zhang, Wen
Alle Artikel auflisten