Copertina

Sal: Multi-modal Verification of Replicated Data Types

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Ramesh, Pranav, Soundarapandian, Vimala, Sivaramakrishnan, KC
Natura:	Preprint
Pubblicazione:	2026
Soggetti:	Programming Languages Distributed, Parallel, and Cluster Computing
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

PRDTs: Composable Knowledge-Based Consensus Protocols with Replicated Data Types
di: Haas, Julian, et al.
Pubblicazione: (2025)

Coordination-free Collaborative Replication based on Operational Transformation
di: Takeichi, Masato
Pubblicazione: (2024)

Distributed Locking as a Data Type
di: Haas, Julian, et al.
Pubblicazione: (2024)

A Datalog Framework for Conflict-Free Replicated Data Types
di: Yanakieva, Elena, et al.
Pubblicazione: (2026)

Extending Contract Verification for Parallel Programming Models to Fortran
di: Oraji, Yussur Mustafa, et al.
Pubblicazione: (2026)

TileLoom: Automatic Dataflow Planning for Tile-Based Languages on Spatial Dataflow Accelerators
di: Li, Wei, et al.
Pubblicazione: (2025)

Multi-Relational Algebra for Multi-Granular Data Analytics
di: Wu, Xi, et al.
Pubblicazione: (2023)

Concurrent Data Structures Made Easy (Extended Version)
di: Le, Callista, et al.
Pubblicazione: (2024)

Hydra: Virtualized Multi-Language Runtime for High-Density Serverless Platforms
di: Ivanenko, Serhii, et al.
Pubblicazione: (2022)

MultiChor: Census Polymorphic Choreographic Programming with Multiply Located Values
di: Bates, Mako, et al.
Pubblicazione: (2024)

Verifying Properties of Index Arrays in a Purely-Functional Data-Parallel Language
di: Hinnerskov, Nikolaj Hey, et al.
Pubblicazione: (2025)

Approaches to Conflict-free Replicated Data Types
di: Almeida, Paulo Sérgio
Pubblicazione: (2023)

Publish on Ping: A Better Way to Publish Reservations in Memory Reclamation for Concurrent Data Structures
di: Singh, Ajay, et al.
Pubblicazione: (2025)

VeriFx: Correct Replicated Data Types for the Masses
di: De Porre, Kevin, et al.
Pubblicazione: (2022)

Wait-free Replicated Data Types and Fair Reconciliation
di: Kuznetsov, Petr, et al.
Pubblicazione: (2025)

Evaluating SYCL as a Unified Programming Model for Heterogeneous Systems
di: Marowka, Ami
Pubblicazione: (2026)

Mat2Boundary: Treating User-Defined Boundary Condition as SpMV for Distributed PDE Solvers on Block-Structured Grids
di: Cai, Yanzheng, et al.
Pubblicazione: (2026)

Same Engine, Multiple Gears: Parallelizing Fixpoint Iteration at Different Granularities (Extended Version)
di: Kocal, Ali Rasim, et al.
Pubblicazione: (2026)

Branching Out: Existential External Choice in Effpi
di: Robinson, Benjamin, et al.
Pubblicazione: (2026)

ScanWeaver: Compiler-Driven Parallelization of Affine Recurrences via Associative Scan Lowering
di: Wu, Qiying, et al.
Pubblicazione: (2026)

Timetide: A programming model for logically synchronous distributed systems
di: Kenwright, Logan, et al.
Pubblicazione: (2025)

MCFuser: High-Performance and Rapid Fusion of Memory-Bound Compute-Intensive Operators
di: Zhang, Zheng, et al.
Pubblicazione: (2025)

An MLIR pipeline for offloading Fortran to FPGAs via OpenMP
di: Rodriguez-Canal, Gabriel, et al.
Pubblicazione: (2025)

Assessing Opportunities of SYCL for Biological Sequence Alignment on GPU-based Systems
di: Costanzo, Manuel, et al.
Pubblicazione: (2022)

Flo: a Semantic Foundation for Progressive Stream Processing
di: Laddad, Shadaj, et al.
Pubblicazione: (2024)

Choreographies as Macros
di: Bohosian, Alexander, et al.
Pubblicazione: (2025)

OMP4Py: a pure Python implementation of OpenMP
di: Piñeiro, César, et al.
Pubblicazione: (2024)

Suki: Choreographed Distributed Dataflow in Rust
di: Laddad, Shadaj, et al.
Pubblicazione: (2024)

Towards a Function-as-a-Service Choreographic Programming Language: Examples and Applications
di: De Palma, Giuseppe, et al.
Pubblicazione: (2024)

On the Duality of Task and Actor Programming Models
di: Yadav, Rohan, et al.
Pubblicazione: (2025)

GuStL - An Experimental Guarded States Language
di: Schirmer, Oskar
Pubblicazione: (2016)

Detrimental task execution patterns in mainstream OpenMP runtimes
di: Tuft, Adam S., et al.
Pubblicazione: (2024)

We Know I Know You Know; Choreographic Programming With Multicast and Multiply Located Values
di: Bates, Mako, et al.
Pubblicazione: (2024)

Streamlining Cloud-Native Application Development and Deployment with Robust Encapsulation
di: Lertpongrujikorn, Pawissanutt, et al.
Pubblicazione: (2024)

Fully integrating the Flang Fortran compiler with standard MLIR
di: Brown, Nick
Pubblicazione: (2024)

Introducing Support for Move Operations in Melda CRDT
di: Brocco, Amos
Pubblicazione: (2025)

Actor Capabilities for Message Ordering (Extended Version)
di: Gordon, Colin S.
Pubblicazione: (2025)

Failure Transparency in Stateful Dataflow Systems (Technical Report)
di: Veresov, Aleksey, et al.
Pubblicazione: (2024)

Mapple: A Domain-Specific Language for Mapping Distributed Programs
di: Wei, Anjiang, et al.
Pubblicazione: (2025)

Fortran... ok, and what's next?
di: Magnin, Vincent, et al.
Pubblicazione: (2024)