Cover Image

Cilium and VDM -- Towards Formal Analysis of Cilium Policies

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Kulik, Tomas, Boudjadar, Jalil
Format:	Preprint
Published:	2024
Subjects:	Distributed, Parallel, and Cluster Computing Software Engineering
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Towards an Optimized Benchmarking Platform for CI/CD Pipelines
by: Japke, Nils, et al.
Published: (2025)

SPES: Towards Optimizing Performance-Resource Trade-Off for Serverless Functions
by: Lee, Cheryl, et al.
Published: (2024)

An Analysis of HPC and Edge Architectures in the Cloud
by: Santillan, Steven, et al.
Published: (2025)

On the correlation between Architectural Smells and Static Analysis Warnings
by: Esposito, Matteo, et al.
Published: (2024)

Complexity at Scale: A Quantitative Analysis of an Alibaba Microservice Deployment
by: Winchester, Giles, et al.
Published: (2025)

A Comprehensive Benchmarking Analysis of Fault Recovery in Stream Processing Frameworks
by: Vogel, Adriano, et al.
Published: (2024)

L4: Diagnosing Large-scale LLM Training Failures via Automated Log Analysis
by: Jiang, Zhihan, et al.
Published: (2025)

Cost-Performance Analysis of Cloud-Based Retail Point-of-Sale Systems: A Comparative Study of Google Cloud Platform and Microsoft Azure
by: Pagidoju, Ravi Teja
Published: (2026)

Towards Secure Management of Edge-Cloud IoT Microservices using Policy as Code
by: Pallewatta, Samodha, et al.
Published: (2024)

SeBS-Flow: Benchmarking Serverless Cloud Function Workflows
by: Schmid, Larissa, et al.
Published: (2024)

CloudHeatMap: Heatmap-Based Monitoring for Large-Scale Cloud Systems
by: Sohana, Sarah, et al.
Published: (2024)

Adaptable TeaStore
by: Bliudze, Simon, et al.
Published: (2024)

Building Castles in the Cloud: Architecting Resilient and Scalable Infrastructure
by: Gundla, Naresh Kumar
Published: (2024)

Histrio: a Serverless Actor System
by: Buttiglieri, Giorgio Natale, et al.
Published: (2024)

Carbon-aware Software Services
by: Forti, Stefano, et al.
Published: (2024)

CARISMA: CAR-Integrated Service Mesh Architecture
by: Klein, Kevin, et al.
Published: (2024)

ATOM: Asynchronous Training of Massive Models for Deep Learning in a Decentralized Environment
by: Wu, Xiaofeng, et al.
Published: (2024)

Learning Recovery Strategies for Dynamic Self-healing in Reactive Systems
by: Sanabria, Mateo, et al.
Published: (2024)

gFaaS: Enabling Generic Functions in Serverless Computing
by: Chadha, Mohak, et al.
Published: (2024)

ShuffleBench: A Benchmark for Large-Scale Data Shuffling Operations with Distributed Stream Processing Frameworks
by: Henning, Sören, et al.
Published: (2024)

Model-guided Fuzzing of Distributed Systems
by: Gulcan, Ege Berkay, et al.
Published: (2024)

LLOR: Automated Repair of OpenMP Programs
by: Bora, Utpal, et al.
Published: (2024)

UPC Sentinel: An Accurate Approach for Detecting Upgradeability Proxy Contracts in Ethereum
by: Ebrahimi, Amir M., et al.
Published: (2024)

A simple and fast C++ thread pool implementation capable of running task graphs
by: Puyda, Dmytro
Published: (2024)

ExaWorks Software Development Kit: A Robust and Scalable Collection of Interoperable Workflow Technologies
by: Turilli, Matteo, et al.
Published: (2024)

Hydra: Brokering Cloud and HPC Resources to Support the Execution of Heterogeneous Workloads at Scale
by: Alsaadi, Aymen, et al.
Published: (2024)

MPI Errors Detection using GNN Embedding and Vector Embedding over LLVM IR
by: Karchi, Jad El, et al.
Published: (2024)

A Framework for Effective Invocation Methods of Various LLM Services
by: Wang, Can, et al.
Published: (2024)

Cost-Effective Big Data Orchestration Using Dagster: A Multi-Platform Approach
by: Picatto, Hernan, et al.
Published: (2024)

Runtime Instrumentation for Reactive Components (Extended Version)
by: Aceto, Luca, et al.
Published: (2024)

Microservices-based Software Systems Reengineering: State-of-the-Art and Future Directions
by: Mohottige, Thakshila Imiya, et al.
Published: (2024)

Supercharging Federated Learning with Flower and NVIDIA FLARE
by: Roth, Holger R., et al.
Published: (2024)

Multi-Grained Specifications for Distributed System Model Checking and Verification
by: Ouyang, Lingzhi, et al.
Published: (2024)

Comprehensive Review of Performance Optimization Strategies for Serverless Applications on AWS Lambda
by: Bechir, Mohamed Lemine El, et al.
Published: (2024)

Optimizing Checkpoint-Restart Mechanisms for HPC with DMTCP in Containers at NERSC
by: Timalsina, Madan, et al.
Published: (2024)

TraceMesh: Scalable and Streaming Sampling for Distributed Traces
by: Chen, Zhuangbin, et al.
Published: (2024)

A Scalable Clustered Architecture for Cyber-Physical Systems
by: Cabral, Bernardo
Published: (2024)

LLM-HPC++: Evaluating LLM-Generated Modern C++ and MPI+OpenMP Codes for Scalable Mandelbrot Set Computation
by: Diehl, Patrick, et al.
Published: (2025)

A Unifying Framework to Enable Artificial Intelligence in High Performance Computing Workflows
by: Domke, Jens, et al.
Published: (2025)

$μ$OpTime: Statically Reducing the Execution Time of Microbenchmark Suites Using Stability Metrics
by: Japke, Nils, et al.
Published: (2025)