Copertina

Advances in Semantic Patching for HPC-oriented Refactorings with Coccinelle

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Martone, Michele, Lawall, Julia
Natura:	Preprint
Pubblicazione:	2025
Soggetti:	Distributed, Parallel, and Cluster Computing Programming Languages
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

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

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

Leveraging LLMs to Automate Energy-Aware Refactoring of Parallel Scientific Codes
di: Dearing, Matthew T., et al.
Pubblicazione: (2025)

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

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)

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

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

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

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

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

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)

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

NPB-Rust: NAS Parallel Benchmarks in Rust
di: Martins, Eduardo M., et al.
Pubblicazione: (2025)

Stream programs are monoid homomorphisms with state
di: Hou, Tyler, et al.
Pubblicazione: (2025)

Virtual Garbage Collector (VGC): A Zone-Based Garbage Collection Architecture for Python's Parallel Runtime
di: M, Abdulla
Pubblicazione: (2025)

KPerfIR: Towards an Open and Compiler-centric Ecosystem for GPU Kernel Performance Tooling on Modern AI Workloads
di: Guan, Yue, et al.
Pubblicazione: (2025)

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

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

Sal: Multi-modal Verification of Replicated Data Types
di: Ramesh, Pranav, et al.
Pubblicazione: (2026)

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

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

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

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)

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)

Extending Contract Verification for Parallel Programming Models to Fortran
di: Oraji, Yussur Mustafa, et al.
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)

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

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

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

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

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

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

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

Pragma driven shared memory parallelism in Zig by supporting OpenMP loop directives
di: Kacs, David, et al.
Pubblicazione: (2024)

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