Cover Image

SysMoBench: Evaluating AI on Formally Modeling Complex Real-World Systems

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Cheng, Qian, Tang, Ruize, Ma, Emilie, Hackett, Finn, He, Peiyang, Su, Yiming, Beschastnikh, Ivan, Huang, Yu, Ma, Xiaoxing, Xu, Tianyin
Format:	Preprint
Published:	2025
Subjects:	Artificial Intelligence 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

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

Cilium and VDM -- Towards Formal Analysis of Cilium Policies
by: Kulik, Tomas, et al.
Published: (2024)

FalconGEMM: Surpassing Hardware Peaks with Lower-Complexity Matrix Multiplication
by: Zhu, Honglin, et al.
Published: (2026)

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

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

Predictive Autoscaling for Node.js on Kubernetes: Lower Latency, Right-Sized Capacity
by: Tymoshenko, Ivan, et al.
Published: (2026)

CSnake: Detecting Self-Sustaining Cascading Failure via Causal Stitching of Fault Propagations
by: Qian, Shangshu, et al.
Published: (2025)

Ladon: High-Performance Multi-BFT Consensus via Dynamic Global Ordering (Extended Version)
by: Lyu, Hanzheng, et al.
Published: (2024)

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

AI-NativeBench: An Open-Source White-Box Agentic Benchmark Suite for AI-Native Systems
by: Wang, Zirui, et al.
Published: (2026)

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

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

MegaFlow: Large-Scale Distributed Orchestration System for the Agentic Era
by: Zhang, Lei, et al.
Published: (2026)

A Survey of Real-Time Support, Analysis, and Advancements in ROS 2
by: Casini, Daniel, et al.
Published: (2025)

HYDRA: Breaking the Global Ordering Barrier in Multi-BFT Consensus
by: Lyu, Hanzheng, et al.
Published: (2025)

FedFetch: Faster Federated Learning with Adaptive Downstream Prefetching
by: Yan, Qifan, et al.
Published: (2025)

Open Challenges in the Formal Verification of Autonomous Driving
by: Burgio, Paolo, et al.
Published: (2024)

STRATUS: A Multi-agent System for Autonomous Reliability Engineering of Modern Clouds
by: Chen, Yinfang, et al.
Published: (2025)

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

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

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

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

Integrating Odeint Time Stepping into OpenFPM for Distributed and GPU Accelerated Numerical Solvers
by: Singh, Abhinav, et al.
Published: (2023)

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

A Test Taxonomy and Continuous Integration Ecosystem for Dynamic Resource Management in HPC
by: Sandås, Petter, et al.
Published: (2026)

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)

Enabling mixed-precision in spectral element codes
by: Chen, Yanxiang, et al.
Published: (2025)

GitFarm: Git as a Service for Large-Scale Monorepos
by: Dwivedi, Preetam, et al.
Published: (2026)

Ocean: Fast Estimation-Based Sparse General Matrix-Matrix Multiplication on GPU
by: Li, Yifan, et al.
Published: (2026)

High-Performance Star-M SVD for Big Data Compression
by: Hussain, Md Taufique, et al.
Published: (2026)

Efficiently Reproducing Distributed Workflows in Notebook-based Systems
by: Azaz, Talha, et al.
Published: (2026)

AdaptiFlow: An Extensible Framework for Event-Driven Autonomy in Cloud Microservices
by: Ndadji, Brice Arléon Zemtsop, et al.
Published: (2025)

AlertGuardian: Intelligent Alert Life-Cycle Management for Large-scale Cloud Systems
by: Yu, Guangba, et al.
Published: (2026)

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

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

Do Large Language Models Understand Performance Optimization?
by: Cui, Bowen, et al.
Published: (2025)

A shared compilation stack for distributed-memory parallelism in stencil DSLs
by: Bisbas, George, et al.
Published: (2024)

Umbilical Choir: Automated Live Testing for Edge-To-Cloud FaaS Applications
by: Malekabbasi, Mohammadreza, et al.
Published: (2025)

Specx: a C++ task-based runtime system for heterogeneous distributed architectures
by: Cardosi, Paul, et al.
Published: (2023)