Copertina

VeriFx: Correct Replicated Data Types for the Masses

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	De Porre, Kevin, Ferreira, Carla, Boix, Elisa Gonzalez
Natura:	Preprint
Pubblicazione:	2022
Soggetti:	Programming Languages Distributed, Parallel, and Cluster Computing D.1.3; D.3.0
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Modular GPU Programming with Typed Perspectives
di: Bansal, Manya, et al.
Pubblicazione: (2025)

NVLang: Unified Static Typing for Actor-Based Concurrency on the BEAM
di: Guerreiro, Miguel de Oliveira
Pubblicazione: (2025)

Sharded Elimination and Combining for Highly-Efficient Concurrent Stacks
di: Singh, Ajay, et al.
Pubblicazione: (2026)

Optimizing Fine-Grained Parallelism Through Dynamic Load Balancing on Multi-Socket Many-Core Systems
di: Wang, Wenyi, et al.
Pubblicazione: (2025)

AutoTSMM: An Auto-tuning Framework for Building High-Performance Tall-and-Skinny Matrix-Matrix Multiplication on CPUs
di: Li, Chendi, et al.
Pubblicazione: (2022)

Enabling Practical Transparent Checkpointing for MPI: A Topological Sort Approach
di: Xu, Yao, et al.
Pubblicazione: (2024)

Stream parallel skeleton optimization
di: Aldinucci, Marco, et al.
Pubblicazione: (2024)

StreamFlow: cross-breeding cloud with HPC
di: Colonnelli, Iacopo, et al.
Pubblicazione: (2020)

Categorical Message Passing Language (CaMPL) for programmers
di: Hashimoto, Daniel Kiyoshi, et al.
Pubblicazione: (2026)

Fancy Some Chips for Your TeaStore? Modeling the Control of an Adaptable Discrete System
di: Gallone, Anna, et al.
Pubblicazione: (2025)

DNA sequence alignment: An assignment for OpenMP, MPI, and CUDA/OpenCL
di: Gonzalez-Escribano, Arturo, et al.
Pubblicazione: (2024)

Challenging Portability Paradigms: FPGA Acceleration Using SYCL and OpenCL
di: de Castro, Manuel, et al.
Pubblicazione: (2024)

A C++17 Thread Pool for High-Performance Scientific Computing
di: Shoshany, Barak
Pubblicazione: (2021)

SpaDA: A Spatial Dataflow Architecture Programming Language
di: Gianinazzi, Lukas, et al.
Pubblicazione: (2025)

NM-SpMM: Accelerating Matrix Multiplication Using N:M Sparsity with GPGPU
di: Ma, Cong, et al.
Pubblicazione: (2025)

Minimum Cost Loop Nests for Contraction of a Sparse Tensor with a Tensor Network
di: Kanakagiri, Raghavendra, et al.
Pubblicazione: (2023)

Hybrid Quantum-HPC Middleware Systems for Adaptive Resource, Workload and Task Management
di: Mantha, Pradeep, et al.
Pubblicazione: (2026)

VSS Challenge Problem: Verifying the Correctness of AllReduce Algorithms in the MPICH Implementation of MPI
di: Hovland, Paul D.
Pubblicazione: (2025)

Rust vs. C for Python Libraries: Evaluating Rust-Compatible Bindings Toolchains
di: Amaral, Isabella Basso do, et al.
Pubblicazione: (2025)

Dynamic Memory Management on GPUs with SYCL
di: Standish, Russell K.
Pubblicazione: (2025)

A Formal Semantics of C with OpenMP Parallelism (Extended Version)
di: Du, Ke, et al.
Pubblicazione: (2026)

HTVM: Efficient Neural Network Deployment On Heterogeneous TinyML Platforms
di: Van Delm, Josse, et al.
Pubblicazione: (2024)

Utilizing Sparsity in the GPU-accelerated Assembly of Schur Complement Matrices in Domain Decomposition Methods
di: Homola, Jakub, et al.
Pubblicazione: (2025)

Send: Objects, History, and Transactions in a Single-Verb Kernel
di: Goes, Christopher
Pubblicazione: (2026)

How to Relax Instantly: Elastic Relaxation of Concurrent Data Structures
di: von Geijer, Kåre, et al.
Pubblicazione: (2024)

An Evaluation of Massively Parallel Algorithms for DFA Minimization
di: Martens, Jan, et al.
Pubblicazione: (2024)

Planetary computing for data-driven environmental policy-making
di: Ferris, Patrick, et al.
Pubblicazione: (2023)

CUNQA: a Distributed Quantum Computing emulator for HPC
di: Vázquez-Pérez, Jorge, et al.
Pubblicazione: (2025)

Introducing SWIRL: An Intermediate Representation Language for Scientific Workflows
di: Colonnelli, Iacopo, et al.
Pubblicazione: (2024)

PoCL-R: An Open Standard Based Offloading Layer for Heterogeneous Multi-Access Edge Computing with Server Side Scalability
di: Solanti, Jan, et al.
Pubblicazione: (2023)

Hardware-Level QoS Enforcement Features: Technologies, Use Cases, and Research Challenges
di: Larsson, Oliver, et al.
Pubblicazione: (2025)

PIM-STM: Software Transactional Memory for Processing-In-Memory Systems
di: Lopes, André, et al.
Pubblicazione: (2024)

MATCH: Model-Aware TVM-based Compilation for Heterogeneous Edge Devices
di: Hamdi, Mohamed Amine, et al.
Pubblicazione: (2024)

Accelerating Gravitational $N$-Body Simulations Using the RISC-V-Based Tenstorrent Wormhole
di: Almerol, Jenny Lynn, et al.
Pubblicazione: (2025)

Static Batching of Irregular Workloads on GPUs: Framework and Application to Efficient MoE Model Inference
di: Li, Yinghan, et al.
Pubblicazione: (2025)

Unlocking Python's Cores: Hardware Usage and Energy Implications of Removing the GIL
di: Salazar, José Daniel Montoya
Pubblicazione: (2026)

The Autonomous Data Language -- Concepts, Design and Formal Verification
di: Franken, Tom T. P., et al.
Pubblicazione: (2025)

Hector: An Efficient Programming and Compilation Framework for Implementing Relational Graph Neural Networks in GPU Architectures
di: Wu, Kun, et al.
Pubblicazione: (2023)

Scheduler-Driven Job Atomization
di: Konopa, Michal, et al.
Pubblicazione: (2025)

JASDA: Introducing Job-Aware Scheduling in Scheduler-Driven Job Atomization
di: Konopa, Michal, et al.
Pubblicazione: (2025)