Cover Image

Consistent Updates for Scalable Microservices

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Chait-Roth, Devora, Namjoshi, Kedar S., Wies, Thomas
Format:	Preprint
Published:	2025
Subjects:	Programming Languages
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Constructing Trustworthy Smart Contracts
by: Chait-Roth, Devora, et al.
Published: (2024)

Context-Aware Separation Logic
by: Meyer, Roland, et al.
Published: (2023)

Implementability of Global Distributed Protocols modulo Network Architectures
by: Li, Elaine, et al.
Published: (2026)

Abstract Interpretation of Temporal Safety Effects of Higher Order Programs
by: Nicola, Mihai, et al.
Published: (2024)

Verifying Lock-free Search Structure Templates
by: Patel, Nisarg, et al.
Published: (2024)

Characterizing Implementability of Global Protocols with Infinite States and Data
by: Li, Elaine, et al.
Published: (2024)

Arithmetizing Shape Analysis
by: Wolff, Sebastian, et al.
Published: (2024)

Complete Multiparty Session Type Projection with Automata
by: Li, Elaine, et al.
Published: (2023)

SafeTree: Expressive Tree Policies for Microservices
by: Grewal, Karuna, et al.
Published: (2025)

Scalable and Accurate Application-Level Crash-Consistency Testing via Representative Testing
by: Gu, Yile, et al.
Published: (2025)

BASIC: Updating a Familiar Language.
by: Eyman, David H.
Published: (1988)

Meerkat: A Distributed Reactive Programming Language with Live Updates
by: Zhong, Heng, et al.
Published: (2024)

Checking Consistency of Event-driven Traces
by: Abdulla, Parosh Aziz, et al.
Published: (2025)

Scalable Equivalence Checking and Verification of Shallow Quantum Circuits
by: Yu, Nengkun, et al.
Published: (2025)

Consistent Distributed Reactive Programming with Retroactive Computation
by: Kamina, Tetsuo, et al.
Published: (2025)

Verifying Sequential Consistency under Bounded Preemptions
by: Govind, R., et al.
Published: (2026)

Atomicity and Abstraction for Cross-Blockchain Interactions
by: Lu, Huaixi, et al.
Published: (2024)

Causal-Consistent Reversible Debugging: Improving CauDEr
by: González-Abril, Juan José, et al.
Published: (2024)

Real-Time Performance Optimization of Travel Reservation Systems Using AI and Microservices
by: Barua, Biman, et al.
Published: (2024)

VerityMath: Advancing Mathematical Reasoning by Self-Verification Through Unit Consistency
by: Han, Vernon Toh Yan, et al.
Published: (2023)

Deciding Subtyping for Asynchronous Multiparty Sessions
by: Li, Elaine, et al.
Published: (2024)

Towards a Scalable Proof Engine: A Performant Prototype Rewriting Primitive for Coq
by: Gross, Jason, et al.
Published: (2023)

Design and Evaluation of a Microservices Cloud Framework for Online Travel Platforms
by: Barua, Biman, et al.
Published: (2025)

Memory Consistency and Program Transformations
by: Gopalakrishnan, Akshay, et al.
Published: (2024)

Scalable Memory Recycling for Large Quantum Programs
by: Reichental, Israel, et al.
Published: (2025)

Functional Consistency of LLM Code Embeddings: A Self-Evolving Data Synthesis Framework for Benchmarking
by: Li, Zhuohao, et al.
Published: (2025)

Scalable Floating-Point Satisfiability via Staged Optimization
by: Zhang, Yuanzhuo, et al.
Published: (2026)

ReFEree: Reference-Free and Fine-Grained Method for Evaluating Factual Consistency in Real-World Code Summarization
by: Bae, Suyoung, et al.
Published: (2026)

Enhancing the Code Reasoning Capabilities of LLMs via Consistency-based Reinforcement Learning
by: Qin, Zhanyue, et al.
Published: (2026)

You Can Run But You Can't Hide: Runtime Protection Against Malicious Package Updates For Node.js
by: Ohm, Marc, et al.
Published: (2023)

SAQR-QC: A Logic for Scalable but Approximate Quantitative Reasoning about Quantum Circuits
by: Yu, Nengkun, et al.
Published: (2025)

StackPilot: Autonomous Function Agents for Scalable and Environment-Free Code Execution
by: Zhao, Xinkui, et al.
Published: (2025)

Scalable, Validated Code Translation of Entire Projects using Large Language Models
by: Zhang, Hanliang, et al.
Published: (2024)

VRank: Enhancing Verilog Code Generation from Large Language Models via Self-Consistency
by: Zhao, Zhuorui, et al.
Published: (2025)

Formalization and Implementation of Safe Destination Passing in Pure Functional Programming Settings
by: Bagrel, Thomas
Published: (2026)

Can Large Language Models Learn Formal Logic? A Data-Driven Training and Evaluation Framework
by: Xia, Yuan, et al.
Published: (2025)

Rely-Guarantee Reasoning for Causally Consistent Shared Memory (Extended Version)
by: Lahav, Ori, et al.
Published: (2023)

Destination Calculus: A Linear λ-Calculus for Purely Functional Memory Writes
by: Bagrel, Thomas, et al.
Published: (2025)

Newtonian Program Analysis of Probabilistic Programs
by: Wang, Di, et al.
Published: (2023)

Are LLM Belief Updates Consistent with Bayes' Theorem?
by: Imran, Sohaib, et al.
Published: (2025)