Cover Image

SPEAR: An Engineering Case Study of Multi-Agent Coordination for Smart Contract Auditing

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Chebolu, Indraveni, Mallick, Arnab, Rana, Harmesh
Format:	Preprint
Published:	2026
Subjects:	Multiagent Systems Artificial Intelligence Distributed, Parallel, and Cluster Computing Emerging Technologies Software Engineering
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Computing Threshold Circuits with Bimolecular Void Reactions in Step Chemical Reaction Networks
by: Anderson, Rachel, et al.
Published: (2024)

Evaluating Fault Tolerance and Scalability in Distributed File Systems: A Case Study of GFS, HDFS, and MinIO
by: Malhotra, Shubham, et al.
Published: (2025)

Execution Envelopes: A Shared Admission Contract for Backend AI Execution Requests
by: Tallam, Krti
Published: (2026)

HadAgent: Harness-Aware Decentralized Agentic AI Serving with Proof-of-Inference Blockchain Consensus
by: Jimenez, Landy, et al.
Published: (2026)

Model Discovery and Graph Simulation: A Lightweight Gateway to Chaos Engineering
by: Krasnovsky, Anatoly A.
Published: (2025)

CodeAD: Synthesize Code of Rules for Log-based Anomaly Detection with LLMs
by: Huang, Junjie, et al.
Published: (2025)

Moving From Monolithic To Microservices Architecture for Multi-Agent Systems
by: Goyal, Muskaan, et al.
Published: (2025)

Demystification and Near-perfect Estimation of Minimum Gas Limit and Gas Used for Ethereum Smart Contracts
by: Cabral, Danilo Rafael de Lima, et al.
Published: (2025)

Quantum resources in resource management systems
by: Bacher, Utz, et al.
Published: (2025)

Optimizing Spot Instance Reliability and Security Using Cloud-Native Data and Tools
by: Saqib, Muhammad, et al.
Published: (2025)

Generative AI for Software Architecture. Applications, Challenges, and Future Directions
by: Esposito, Matteo, et al.
Published: (2025)

Quantum-HPC Software Stacks and the openQSE Reference Architecture: A Survey
by: Shehata, Amir, et al.
Published: (2026)

AIOpsLab: A Holistic Framework to Evaluate AI Agents for Enabling Autonomous Clouds
by: Chen, Yinfang, et al.
Published: (2025)

AutoStreamPipe: LLM Assisted Automatic Generation of Data Stream Processing Pipelines
by: Younesi, Abolfazl, et al.
Published: (2025)

Transforming the Hybrid Cloud for Emerging AI Workloads
by: Chen, Deming, et al.
Published: (2024)

Software Engineering for Collective Cyber-Physical Ecosystems
by: Casadei, Roberto, et al.
Published: (2024)

A novel strategy for multi-resource load balancing in agent-based systems
by: Sliwko, Leszek, et al.
Published: (2025)

Optimizing Intra-Container Communication with Memory Protection Keys: A Novel Approach to Secure and Efficient Microservice Interaction
by: Yashu, Fnu, et al.
Published: (2025)

Bio-inspired Agentic Self-healing Framework for Resilient Distributed Computing Continuum Systems
by: Saleh, Alaa, et al.
Published: (2026)

Characterising Global Platforms: Centralised, Decentralised, Federated, and Grassroots
by: Shapiro, Ehud
Published: (2025)

Extending Data Spatial Semantics for Scale Agnostic Programming
by: Mars, Jason
Published: (2025)

Macroprogramming: Concepts, State of the Art, and Opportunities of Macroscopic Behaviour Modelling
by: Casadei, Roberto
Published: (2022)

Smart Space Environments: Key Challenges and Innovative Solutions
by: Kumar, Ramakant
Published: (2024)

Hierarchical Recursive Precision for Accelerating Symmetric Linear Solves on MXUs
by: Carrica, Vicki, et al.
Published: (2026)

Energy-Efficient Split Learning for Resource-Constrained Environments: A Smart Farming Solution
by: Soltani, Keiwan, et al.
Published: (2025)

Trustworthy Second-hand Marketplace for Built Environment
by: Wilson, Stanly, et al.
Published: (2025)

OptiML: An End-to-End Framework for Program Synthesis and CUDA Kernel Optimization
by: Bhattacharjee, Arijit, et al.
Published: (2026)

The Vision of Autonomic Computing: Can LLMs Make It a Reality?
by: Zhang, Zhiyang, et al.
Published: (2024)

3D System Design: A Case for Building Customized Modular Systems in 3D
by: Emma, Philip, et al.
Published: (2024)

The Lynchpin of In-Memory Computing: A Benchmarking Framework for Vector-Matrix Multiplication in RRAMs
by: Chowdhury, Md Tawsif Rahman, et al.
Published: (2024)

Service Orchestration in the Computing Continuum: Structural Challenges and Vision
by: Sedlak, Boris, et al.
Published: (2026)

Raft Distributed System for Multi-access Edge Computing Sharing Resources
by: Khaliq, Zain, et al.
Published: (2024)

Parallel FFTW on RISC-V: A Comparative Study including OpenMP, MPI, and HPX
by: Strack, Alexander, et al.
Published: (2025)

μACP: A Formal Calculus for Expressive, Resource-Constrained Agent Communication
by: Mallick, Arnab, et al.
Published: (2026)

Supporting Long-term Transactions in Smart Contracts Generated from Business Process Model and Notation (BPMN) Models
by: Liu, Christian Gang
Published: (2025)

KVFlow: Efficient Prefix Caching for Accelerating LLM-Based Multi-Agent Workflows
by: Pan, Zaifeng, et al.
Published: (2025)

Decoupling Correctness from Policy: A Deterministic Causal Structure for Multi-Agent Systems
by: Ren, Zhiyuan, et al.
Published: (2025)

When Coordination Is Avoidable: A Monotonicity Analysis of Organizational Tasks
by: Ju, Harang
Published: (2026)

Smart Contracts for SMEs and Large Companies
by: Liu, C. G., et al.
Published: (2025)

Blockchain Transaction Conflicts: A Historical Perspective
by: Anjana, Parwat Singh, et al.
Published: (2025)