Image de couverture de livre

SafeTree: Expressive Tree Policies for Microservices

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Grewal, Karuna, Godfrey, P. Brighten, Hsu, Justin
Format:	Preprint
Publié:	2025
Sujets:	Programming Languages
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Cedar: A New Language for Expressive, Fast, Safe, and Analyzable Authorization (Extended Version)
par: Cutler, Joseph W., et autres
Publié: (2024)

A Hoare Logic for Symmetry Properties
par: Mehta, Vaibhav, et autres
Publié: (2025)

Synthesizing Backward Error Bounds, Backward
par: Zielinski, Laura, et autres
Publié: (2026)

Consistent Updates for Scalable Microservices
par: Chait-Roth, Devora, et autres
Publié: (2025)

Numerical Fuzz: A Type System for Rounding Error Analysis
par: Kellison, Ariel E., et autres
Publié: (2024)

Increasing the Expressiveness of a Gradual Verifier
par: Gupta, Priyam
Publié: (2025)

On the Semantic Expressiveness of Iso- and Equi-Recursive Types
par: Devriese, Dominique, et autres
Publié: (2020)

Data-Driven Invariant Learning for Probabilistic Programs
par: Bao, Jialu, et autres
Publié: (2021)

EAGLE-Pangu: Accelerator-Safe Tree Speculative Decoding on Ascend NPUs
par: Han, Chang, et autres
Publié: (2026)

Type, Ability, and Effect Systems: Perspectives on Purity, Semantics, and Expressiveness
par: Bao, Yuyan, et autres
Publié: (2025)

Unsafe Impedance: Safe Languages and Safe by Design Software
par: Barney, Lee, et autres
Publié: (2024)

Expressivity of AuDaLa: Turing Completeness and Possible Extensions
par: Franken, Tom T. P., et autres
Publié: (2024)

Escape with Your Self: Sound and Expressive Bidirectional Typing with Avoidance for Reachability Types
par: Jia, Songlin, et autres
Publié: (2024)

On the Expressivity of Typed Concurrent Calculi
par: Paulus, Joseph William Neal
Publié: (2024)

Qmod: Expressive High-Level Quantum Modeling
par: Vax, Matan, et autres
Publié: (2025)

What's in the Box: Ergonomic and Expressive Capture Tracking over Generic Data Structures (Extended Version)
par: Xu, Yichen, et autres
Publié: (2025)

Bithoven: Formal Safety for Expressive Bitcoin Smart Contracts
par: Cho, Hyunhum, et autres
Publié: (2026)

Range Algebra for Safe Array Splits
par: Perisic, Aleksandar
Publié: (2014)

Rebound: Efficient, Expressive, and Well-Scoped Binding
par: De Santo, Noé, et autres
Publié: (2025)

Pacing Types: Safe Monitoring of Asynchronous Streams
par: Kohn, Florian, et autres
Publié: (2025)

Cage: Hardware-Accelerated Safe WebAssembly
par: Fink, Martin, et autres
Publié: (2024)

Is Productivity in Quantum Programming Equivalent to Expressiveness?
par: Corrales-Garro, Francini, et autres
Publié: (2025)

Expressive Power of One-Shot Control Operators and Coroutines
par: Kobayashi, Kentaro, et autres
Publié: (2025)

Scylla: Translating an Applicative Subset of C to Safe Rust
par: Fromherz, Aymeric, et autres
Publié: (2024)

Free Foil: Generating Efficient and Scope-Safe Abstract Syntax
par: Kudasov, Nikolai, et autres
Publié: (2024)

MimIR: An Extensible and Type-Safe Intermediate Representation for the DSL Age
par: Leißa, Roland, et autres
Publié: (2024)

Formalization and Implementation of Safe Destination Passing in Pure Functional Programming Settings
par: Bagrel, Thomas
Publié: (2026)

Typing Fallback Functions: A Semantic Approach to Type Safe Smart Contracts
par: Lybech, Stian, et autres
Publié: (2025)

LoRe: A Programming Model for Verifiably Safe Local-First Software
par: Haas, Julian, et autres
Publié: (2023)

Speak Now: Safe Actor Programming with Multiparty Session Types (Extended Version)
par: Fowler, Simon, et autres
Publié: (2026)

Real-Time Performance Optimization of Travel Reservation Systems Using AI and Microservices
par: Barua, Biman, et autres
Publié: (2024)

SafeFFI: Efficient Sanitization at the Boundary Between Safe and Unsafe Code in Rust and Mixed-Language Applications
par: Braunsdorf, Oliver, et autres
Publié: (2025)

Compilation of Modular and General Sparse Workspaces
par: Zhang, Genghan, et autres
Publié: (2024)

Free to Move: Reachability Types with Flow-Sensitive Effects for Safe Deallocation and Ownership Transfer
par: Deng, Haotian, et autres
Publié: (2025)

Bean: A Language for Backward Error Analysis
par: Kellison, Ariel E., et autres
Publié: (2025)

Liquid Tree Automata
par: Mishra, Ashish, et autres
Publié: (2026)

RichWasm: Bringing Safe, Fine-Grained, Shared-Memory Interoperability Down to WebAssembly
par: Paraskevopoulou, Zoe, et autres
Publié: (2024)

LACUNA: Safe Agents as Recursive Program Holes
par: Zhao, Yaoyu, et autres
Publié: (2026)

Verifying Cake-Cutting, Faster
par: Bertram, Noah, et autres
Publié: (2024)

HITrees: Higher-Order Interaction Trees
par: Ayyam, Amir Mohammad Fadaei, et autres
Publié: (2025)