Cover Image

Formal Analysis of Metastable Failures in Software Systems

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Alvaro, Peter, Isaacs, Rebecca, Majumdar, Rupak, Muniswamy-Reddy, Kiran-Kumar, Salamati, Mahmoud, Soudjani, Sadegh
Format:	Preprint
Published:	2025
Subjects:	Performance Software Engineering
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Estimating the Energy Footprint of Software Systems: a Primer
by: Castor, Fernando
Published: (2024)

SysLLMatic: Large Language Models are Software System Optimizers
by: Peng, Huiyun, et al.
Published: (2025)

Employing Software Diversity in Cloud Microservices to Engineer Reliable and Performant Systems
by: Akhtarian, Nazanin, et al.
Published: (2024)

Regret-Free Reinforcement Learning for LTL Specifications
by: Majumdar, Rupak, et al.
Published: (2024)

Rethinking Autonomy: Preventing Failures in AI-Driven Software Engineering
by: Navneet, Satyam Kumar, et al.
Published: (2025)

Energy-Efficient Software Development: A Multi-dimensional Empirical Analysis of Stack Overflow
by: Jin, Bihui, et al.
Published: (2024)

Scalable Software as a Service Architecture
by: Dedase, Ardy
Published: (2024)

Efficiently Ranking Software Variants with Minimal Benchmarks
by: Matricon, Théo, et al.
Published: (2025)

Performance of Genetic Algorithms in the Context of Software Model Refactoring
by: Cortellessa, Vittorio, et al.
Published: (2023)

Towards Assessing Spread in Sets of Software Architecture Designs
by: Cortellessa, Vittorio, et al.
Published: (2024)

On the Role of Search Budgets in Model-Based Software Refactoring Optimization
by: Diaz-Pace, J. Andres, et al.
Published: (2023)

A Model-driven Approach for Continuous Performance Engineering in Microservice-based Systems
by: Cortellessa, Vittorio, et al.
Published: (2023)

FlipFlop: A Static Analysis-based Energy Optimization Framework for GPU Kernels
by: Rajput, Saurabhsingh, et al.
Published: (2026)

Predicting Software Performance with Divide-and-Learn
by: Gong, Jingzhi, et al.
Published: (2023)

Prompting for Performance: Exploring LLMs for Configuring Software
by: Spieker, Helge, et al.
Published: (2025)

Bridging the Gap: Physical PCI Device Integration Into SystemC-TLM Virtual Platforms
by: Bosbach, Nils, et al.
Published: (2025)

Energy Consumption of Dataframe Libraries for End-to-End Deep Learning Pipelines:A Comparative Analysis
by: Kumar, Punit, et al.
Published: (2025)

Do AI Models Dream of Faster Code? An Empirical Study on LLM-Proposed Performance Improvements in Real-World Software
by: Yi, Lirong, et al.
Published: (2025)

gigiProfiler: Diagnosing Performance Issues by Uncovering Application Resource Bottlenecks
by: Hu, Yigong, et al.
Published: (2025)

A Magnified View into Heterogeneous-ISA Thread Migration Performance without State Transformation
by: Mavrogeorgis, Nikolaos, et al.
Published: (2025)

An Empirical Study on Method-Level Performance Evolution in Open-Source Java Projects
by: Shahedi, Kaveh, et al.
Published: (2025)

MLKAPS: Machine Learning and Adaptive Sampling for HPC Kernel Auto-tuning
by: Jam, Mathys, et al.
Published: (2025)

FaaSter Troubleshooting -- Evaluating Distributed Tracing Approaches for Serverless Applications
by: Borges, Maria C., et al.
Published: (2021)

What Is the Cost of Energy Monitoring? An Empirical Study on the Overhead of RAPL-Based Tools
by: Diamond, Jeremy, et al.
Published: (2026)

Optimas: An Intelligent Analytics-Informed Generative AI Framework for Performance Optimization
by: Zaeed, Mohammad, et al.
Published: (2026)

Beyond Accuracy: Unveiling Inefficiency Patterns in Tool-Integrated Reasoning
by: Su, Qisheng, et al.
Published: (2026)

Energy Patterns for Web: An Exploratory Study
by: Rani, Pooja, et al.
Published: (2024)

Tracing Optimization for Performance Modeling and Regression Detection
by: Shahedi, Kaveh, et al.
Published: (2024)

An Empirical Study on How Architectural Topology Affects Microservice Performance and Energy Usage
by: Ristova, Irena, et al.
Published: (2026)

Root Cause Localization for Microservice Systems in Cloud-edge Collaborative Environments
by: Zhu, Yuhan, et al.
Published: (2024)

Risk-Aware Batch Testing for Performance Regression Detection
by: Sayedsalehi, Ali, et al.
Published: (2026)

Prefetching Cache Optimization Using Graph Neural Networks: A Modular Framework and Conceptual Analysis
by: Qowy, F. I.
Published: (2025)

Stencil-Lifting: Hierarchical Recursive Lifting System for Extracting Summary of Stencil Kernel in Legacy Codes
by: Li, Mingyi, et al.
Published: (2025)

Rethinking Performance Analysis for Configurable Software Systems: A Case Study from a Fitness Landscape Perspective
by: Huang, Mingyu, et al.
Published: (2024)

Real-time Event Joining in Practice With Kafka and Flink
by: Saket, Srijan, et al.
Published: (2024)

SWE-fficiency: Can Language Models Optimize Real-World Repositories on Real Workloads?
by: Ma, Jeffrey Jian, et al.
Published: (2025)

An Empirical Study on the Performance and Energy Usage of Compiled Python Code
by: Stoico, Vincenzo, et al.
Published: (2025)

PerfBench: Can Agents Resolve Real-World Performance Bugs?
by: Garg, Spandan, et al.
Published: (2025)

GreenMalloc: Allocator Optimisation for Industrial Workloads
by: Dakhama, Aidan, et al.
Published: (2025)

Interpreting Performance Profiles with Deep Learning
by: Liu, Zhuoran
Published: (2025)