Model-guided Fuzzing of Distributed Systems
Fuente:
arXiv
Salvato in:
| Autori principali: | Gulcan, Ege Berkay, Ozkan, Burcu Kulahcioglu, Majumdar, Rupak, Nagendra, Srinidhi |
|---|---|
| Natura: | Preprint |
| Pubblicazione: |
2024
|
| Soggetti: | |
| Accesso online: | |
| Tags: |
Aggiungi Tag
Nessun Tag, puoi essere il primo ad aggiungerne!!
|
Documenti analoghi
Reward Augmentation in Reinforcement Learning for Testing Distributed Systems
di: Borgarelli, Andrea, et al.
Pubblicazione: (2024)
di: Borgarelli, Andrea, et al.
Pubblicazione: (2024)
Multi-Grained Specifications for Distributed System Model Checking and Verification
di: Ouyang, Lingzhi, et al.
Pubblicazione: (2024)
di: Ouyang, Lingzhi, et al.
Pubblicazione: (2024)
Efficiently Reproducing Distributed Workflows in Notebook-based Systems
di: Azaz, Talha, et al.
Pubblicazione: (2026)
di: Azaz, Talha, et al.
Pubblicazione: (2026)
Configurable Runtime Orchestration for Dynamic Data Retrieval in Distributed Systems
di: Kandiraju, Abhiram
Pubblicazione: (2026)
di: Kandiraju, Abhiram
Pubblicazione: (2026)
MegaFlow: Large-Scale Distributed Orchestration System for the Agentic Era
di: Zhang, Lei, et al.
Pubblicazione: (2026)
di: Zhang, Lei, et al.
Pubblicazione: (2026)
A Lightweight Hybrid Publish/Subscribe Event Fabric for IPC and Modular Distributed Systems
di: Gkoulis, Dimitris
Pubblicazione: (2026)
di: Gkoulis, Dimitris
Pubblicazione: (2026)
Radon: a Programming Model and Platform for Computing Continuum Systems
di: De Martini, Luca, et al.
Pubblicazione: (2025)
di: De Martini, Luca, et al.
Pubblicazione: (2025)
TraceMesh: Scalable and Streaming Sampling for Distributed Traces
di: Chen, Zhuangbin, et al.
Pubblicazione: (2024)
di: Chen, Zhuangbin, et al.
Pubblicazione: (2024)
ShuffleBench: A Benchmark for Large-Scale Data Shuffling Operations with Distributed Stream Processing Frameworks
di: Henning, Sören, et al.
Pubblicazione: (2024)
di: Henning, Sören, et al.
Pubblicazione: (2024)
Histrio: a Serverless Actor System
di: Buttiglieri, Giorgio Natale, et al.
Pubblicazione: (2024)
di: Buttiglieri, Giorgio Natale, et al.
Pubblicazione: (2024)
A Scalable Clustered Architecture for Cyber-Physical Systems
di: Cabral, Bernardo
Pubblicazione: (2024)
di: Cabral, Bernardo
Pubblicazione: (2024)
Learning Recovery Strategies for Dynamic Self-healing in Reactive Systems
di: Sanabria, Mateo, et al.
Pubblicazione: (2024)
di: Sanabria, Mateo, et al.
Pubblicazione: (2024)
Microservices-based Software Systems Reengineering: State-of-the-Art and Future Directions
di: Mohottige, Thakshila Imiya, et al.
Pubblicazione: (2024)
di: Mohottige, Thakshila Imiya, et al.
Pubblicazione: (2024)
CloudHeatMap: Heatmap-Based Monitoring for Large-Scale Cloud Systems
di: Sohana, Sarah, et al.
Pubblicazione: (2024)
di: Sohana, Sarah, et al.
Pubblicazione: (2024)
FMI Meets SystemC: A Framework for Cross-Tool Virtual Prototyping
di: Bosbach, Nils, et al.
Pubblicazione: (2025)
di: Bosbach, Nils, et al.
Pubblicazione: (2025)
Multi-Objective Load Balancing for Heterogeneous Edge-Based Object Detection Systems
di: Alqahtani, Daghash K., et al.
Pubblicazione: (2026)
di: Alqahtani, Daghash K., et al.
Pubblicazione: (2026)
AlertGuardian: Intelligent Alert Life-Cycle Management for Large-scale Cloud Systems
di: Yu, Guangba, et al.
Pubblicazione: (2026)
di: Yu, Guangba, et al.
Pubblicazione: (2026)
FSM Modeling For Off-Blockchain Computation
di: Liu, Christian Gang
Pubblicazione: (2025)
di: Liu, Christian Gang
Pubblicazione: (2025)
Supporting Long-term Transactions in Smart Contracts Generated from Business Process Model and Notation (BPMN) Models
di: Liu, Christian Gang
Pubblicazione: (2025)
di: Liu, Christian Gang
Pubblicazione: (2025)
Cost-Performance Analysis of Cloud-Based Retail Point-of-Sale Systems: A Comparative Study of Google Cloud Platform and Microsoft Azure
di: Pagidoju, Ravi Teja
Pubblicazione: (2026)
di: Pagidoju, Ravi Teja
Pubblicazione: (2026)
Do Large Language Models Understand Performance Optimization?
di: Cui, Bowen, et al.
Pubblicazione: (2025)
di: Cui, Bowen, et al.
Pubblicazione: (2025)
ATOM: Asynchronous Training of Massive Models for Deep Learning in a Decentralized Environment
di: Wu, Xiaofeng, et al.
Pubblicazione: (2024)
di: Wu, Xiaofeng, et al.
Pubblicazione: (2024)
RVISmith: Fuzzing Compilers for RVV Intrinsics
di: He, Yibo, et al.
Pubblicazione: (2025)
di: He, Yibo, et al.
Pubblicazione: (2025)
Optimizing OpenFaaS on Kubernetes: Comparative Analysis of Language Runtimes and Cluster Distributions
di: Ataie, Ehsan, et al.
Pubblicazione: (2026)
di: Ataie, Ehsan, et al.
Pubblicazione: (2026)
Balancing Fairness and Performance in Multi-User Spark Workloads with Dynamic Scheduling (extended version)
di: Kažemaks, Dāvis, et al.
Pubblicazione: (2025)
di: Kažemaks, Dāvis, et al.
Pubblicazione: (2025)
SeBS-Flow: Benchmarking Serverless Cloud Function Workflows
di: Schmid, Larissa, et al.
Pubblicazione: (2024)
di: Schmid, Larissa, et al.
Pubblicazione: (2024)
Adaptable TeaStore
di: Bliudze, Simon, et al.
Pubblicazione: (2024)
di: Bliudze, Simon, et al.
Pubblicazione: (2024)
Building Castles in the Cloud: Architecting Resilient and Scalable Infrastructure
di: Gundla, Naresh Kumar
Pubblicazione: (2024)
di: Gundla, Naresh Kumar
Pubblicazione: (2024)
Carbon-aware Software Services
di: Forti, Stefano, et al.
Pubblicazione: (2024)
di: Forti, Stefano, et al.
Pubblicazione: (2024)
CARISMA: CAR-Integrated Service Mesh Architecture
di: Klein, Kevin, et al.
Pubblicazione: (2024)
di: Klein, Kevin, et al.
Pubblicazione: (2024)
gFaaS: Enabling Generic Functions in Serverless Computing
di: Chadha, Mohak, et al.
Pubblicazione: (2024)
di: Chadha, Mohak, et al.
Pubblicazione: (2024)
LLOR: Automated Repair of OpenMP Programs
di: Bora, Utpal, et al.
Pubblicazione: (2024)
di: Bora, Utpal, et al.
Pubblicazione: (2024)
SPES: Towards Optimizing Performance-Resource Trade-Off for Serverless Functions
di: Lee, Cheryl, et al.
Pubblicazione: (2024)
di: Lee, Cheryl, et al.
Pubblicazione: (2024)
UPC Sentinel: An Accurate Approach for Detecting Upgradeability Proxy Contracts in Ethereum
di: Ebrahimi, Amir M., et al.
Pubblicazione: (2024)
di: Ebrahimi, Amir M., et al.
Pubblicazione: (2024)
A simple and fast C++ thread pool implementation capable of running task graphs
di: Puyda, Dmytro
Pubblicazione: (2024)
di: Puyda, Dmytro
Pubblicazione: (2024)
ExaWorks Software Development Kit: A Robust and Scalable Collection of Interoperable Workflow Technologies
di: Turilli, Matteo, et al.
Pubblicazione: (2024)
di: Turilli, Matteo, et al.
Pubblicazione: (2024)
On the correlation between Architectural Smells and Static Analysis Warnings
di: Esposito, Matteo, et al.
Pubblicazione: (2024)
di: Esposito, Matteo, et al.
Pubblicazione: (2024)
Hydra: Brokering Cloud and HPC Resources to Support the Execution of Heterogeneous Workloads at Scale
di: Alsaadi, Aymen, et al.
Pubblicazione: (2024)
di: Alsaadi, Aymen, et al.
Pubblicazione: (2024)
MPI Errors Detection using GNN Embedding and Vector Embedding over LLVM IR
di: Karchi, Jad El, et al.
Pubblicazione: (2024)
di: Karchi, Jad El, et al.
Pubblicazione: (2024)
A Framework for Effective Invocation Methods of Various LLM Services
di: Wang, Can, et al.
Pubblicazione: (2024)
di: Wang, Can, et al.
Pubblicazione: (2024)
Documenti analoghi
-
Reward Augmentation in Reinforcement Learning for Testing Distributed Systems
di: Borgarelli, Andrea, et al.
Pubblicazione: (2024) -
Multi-Grained Specifications for Distributed System Model Checking and Verification
di: Ouyang, Lingzhi, et al.
Pubblicazione: (2024) -
Efficiently Reproducing Distributed Workflows in Notebook-based Systems
di: Azaz, Talha, et al.
Pubblicazione: (2026) -
Configurable Runtime Orchestration for Dynamic Data Retrieval in Distributed Systems
di: Kandiraju, Abhiram
Pubblicazione: (2026) -
MegaFlow: Large-Scale Distributed Orchestration System for the Agentic Era
di: Zhang, Lei, et al.
Pubblicazione: (2026)