Buchumschlag

Concurrent Data Structures Made Easy (Extended Version)

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Le, Callista, Gopinathan, Kiran, Lee, Koon Wen, Gilbert, Seth, Sergey, Ilya
Format:	Preprint
Veröffentlicht:	2024
Schlagworte:	Programming Languages Distributed, Parallel, and Cluster Computing
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Fray: An Efficient General-Purpose Concurrency Testing Platform for the JVM (Extended Version)
von: Li, Ao, et al.
Veröffentlicht: (2025)

Actor Capabilities for Message Ordering (Extended Version)
von: Gordon, Colin S.
Veröffentlicht: (2025)

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

Pact: A Choreographic Language for Agentic Ecosystems
von: Gopinathan, Kiran, et al.
Veröffentlicht: (2026)

Same Engine, Multiple Gears: Parallelizing Fixpoint Iteration at Different Granularities (Extended Version)
von: Kocal, Ali Rasim, et al.
Veröffentlicht: (2026)

Extending Contract Verification for Parallel Programming Models to Fortran
von: Oraji, Yussur Mustafa, et al.
Veröffentlicht: (2026)

Wilkins: HPC In Situ Workflows Made Easy
von: Yildiz, Orcun, et al.
Veröffentlicht: (2024)

A Formal Semantics of C with OpenMP Parallelism (Extended Version)
von: Du, Ke, et al.
Veröffentlicht: (2026)

Distributed Locking as a Data Type
von: Haas, Julian, et al.
Veröffentlicht: (2024)

Embedded Made Easy -- Rethinking Embedded + Cloud Software Development (WIP)
von: Arnold, Anthony, et al.
Veröffentlicht: (2026)

Sal: Multi-modal Verification of Replicated Data Types
von: Ramesh, Pranav, et al.
Veröffentlicht: (2026)

PRDTs: Composable Knowledge-Based Consensus Protocols with Replicated Data Types
von: Haas, Julian, et al.
Veröffentlicht: (2025)

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

Pragma driven shared memory parallelism in Zig by supporting OpenMP loop directives
von: Kacs, David, et al.
Veröffentlicht: (2024)

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

Batch-Schedule-Execute: On Optimizing Concurrent Deterministic Scheduling for Blockchains (Extended Version)
von: Hay, Yaron, et al.
Veröffentlicht: (2024)

Mapple: A Domain-Specific Language for Mapping Distributed Programs
von: Wei, Anjiang, et al.
Veröffentlicht: (2025)

Worst-Case Input Generation for Concurrent Programs under Non-Monotone Resource Metrics
von: Pham, Long, et al.
Veröffentlicht: (2023)

Sharded Elimination and Combining for Highly-Efficient Concurrent Stacks
von: Singh, Ajay, et al.
Veröffentlicht: (2026)

Decentralized Learning Made Easy with DecentralizePy
von: Dhasade, Akash, et al.
Veröffentlicht: (2023)

Orthrus: Accelerating Multi-BFT Consensus through Concurrent Partial Ordering of Transactions (Extended Version)
von: Lyu, Hanzheng, et al.
Veröffentlicht: (2024)

Multi-Relational Algebra for Multi-Granular Data Analytics
von: Wu, Xi, et al.
Veröffentlicht: (2023)

Flo: a Semantic Foundation for Progressive Stream Processing
von: Laddad, Shadaj, et al.
Veröffentlicht: (2024)

OMP4Py: a pure Python implementation of OpenMP
von: Piñeiro, César, et al.
Veröffentlicht: (2024)

Suki: Choreographed Distributed Dataflow in Rust
von: Laddad, Shadaj, et al.
Veröffentlicht: (2024)

Towards a Function-as-a-Service Choreographic Programming Language: Examples and Applications
von: De Palma, Giuseppe, et al.
Veröffentlicht: (2024)

Detrimental task execution patterns in mainstream OpenMP runtimes
von: Tuft, Adam S., et al.
Veröffentlicht: (2024)

We Know I Know You Know; Choreographic Programming With Multicast and Multiply Located Values
von: Bates, Mako, et al.
Veröffentlicht: (2024)

Streamlining Cloud-Native Application Development and Deployment with Robust Encapsulation
von: Lertpongrujikorn, Pawissanutt, et al.
Veröffentlicht: (2024)

Fully integrating the Flang Fortran compiler with standard MLIR
von: Brown, Nick
Veröffentlicht: (2024)

Failure Transparency in Stateful Dataflow Systems (Technical Report)
von: Veresov, Aleksey, et al.
Veröffentlicht: (2024)

Fortran... ok, and what's next?
von: Magnin, Vincent, et al.
Veröffentlicht: (2024)

Coordination-free Collaborative Replication based on Operational Transformation
von: Takeichi, Masato
Veröffentlicht: (2024)

MultiChor: Census Polymorphic Choreographic Programming with Multiply Located Values
von: Bates, Mako, et al.
Veröffentlicht: (2024)

Timetide: A programming model for logically synchronous distributed systems
von: Kenwright, Logan, et al.
Veröffentlicht: (2025)

Hydra: Virtualized Multi-Language Runtime for High-Density Serverless Platforms
von: Ivanenko, Serhii, et al.
Veröffentlicht: (2022)

MCFuser: High-Performance and Rapid Fusion of Memory-Bound Compute-Intensive Operators
von: Zhang, Zheng, et al.
Veröffentlicht: (2025)

An MLIR pipeline for offloading Fortran to FPGAs via OpenMP
von: Rodriguez-Canal, Gabriel, et al.
Veröffentlicht: (2025)

Assessing Opportunities of SYCL for Biological Sequence Alignment on GPU-based Systems
von: Costanzo, Manuel, et al.
Veröffentlicht: (2022)

Choreographies as Macros
von: Bohosian, Alexander, et al.
Veröffentlicht: (2025)