:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	Mayer, Florian, Brandner, Julian, Philippsen, Michael
Format:	Preprint
Published:	2024
Subjects:	Programming Languages
Online Access:	https://arxiv.org/abs/2401.13645
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Meshless method stencil evaluation with machine learning
by: Rot, Miha, et al.
Published: (2022)

On-chip stencil lithography for superconducting qubits
by: Hanna, Roudy, et al.
Published: (2025)

An experimental study of KV cache reuse strategies in chunk-level caching systems
by: Cestola, Samuel, et al.
Published: (2026)

Accelerating stencils on the Tenstorrent Grayskull RISC-V accelerator
by: Brown, Nick, et al.
Published: (2024)

The Runge--Kutta discontinuous Galerkin method with compact stencils for hyperbolic conservation laws
by: Chen, Qifan, et al.
Published: (2023)

A shared compilation stack for distributed-memory parallelism in stencil DSLs
by: Bisbas, George, et al.
Published: (2024)

Can a domain-specific language improve program structure comprehension of data pipelines? A mixed-methods study
by: Heltweg, Philip, et al.
Published: (2025)

Some observations regarding the RBF-FD approximation accuracy dependence on stencil size
by: Kolar-Požun, Andrej, et al.
Published: (2024)

Oscillatory behaviour of the RBF-FD approximation accuracy under increasing stencil size
by: Kolar-Požun, Andrej, et al.
Published: (2023)

Degree growth of lattice equations defined on a 3x3 stencil
by: Hietarinta, Jarmo
Published: (2023)

A bound-preserving Runge--Kutta discontinuous Galerkin method with compact stencils for hyperbolic conservation laws
by: Liu, Chen, et al.
Published: (2024)

A moment-based Hermite WENO scheme with unified stencils for hyperbolic conservation laws
by: Fan, Chuan, et al.
Published: (2024)

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

Structure functions with higher-order stencils as a probe to separate small- and large-scale magnetic fields
by: Seta, Amit, et al.
Published: (2024)

Type-safe and portable support for packed data
by: Jamet, Arthur, et al.
Published: (2025)

A formal specification of the jq language
by: Färber, Michael
Published: (2024)

Data Race Detection by Digest-Driven Abstract Interpretation (Extended Version)
by: Schwarz, Michael, et al.
Published: (2025)

Intervenciones urbanas en la ciudad global. El caso del stencil en Buenos Aires (2000-2007)
by: María Cecilia Guerra Lage
Published: (2009)

TAPA: A Scalable Task-Parallel Dataflow Programming Framework for Modern FPGAs with Co-Optimization of HLS and Physical Design
by: Guo, Licheng, et al.
Published: (2022)

Three‐dimensional surface lattice plasmon resonance effect from plasmonic inclined nanostructures via one‐step stencil lithography
by: Tae‐In Jeong, et al.
Published: (2024)

Entity -- Hardware-agnostic Particle-in-Cell Code for Plasma Astrophysics. III: Higher-order shape functions & generalized field stencils
by: Böss, Ludwig M., et al.
Published: (2026)

Correctness Witness Validation by Abstract Interpretation
by: Saan, Simmo, et al.
Published: (2023)

QRscript specification
by: Scanzio, Stefano, et al.
Published: (2024)

A type system for data flow and alias analysis in ReScript
by: Lund, Nicky Ask, et al.
Published: (2024)

Unboxed data constructors -- or, how cpp decides a halting problem
by: Chataing, Nicolas, et al.
Published: (2023)

Reflections on the design, applications and implementations of the normative specification language eFLINT
by: van Binsbergen, L. Thomas, et al.
Published: (2025)

Certus: A domain specific language for confidence assessment in assurance cases
by: Diemert, Simon, et al.
Published: (2025)

Compiler support for semi-manual AoS-to-SoA conversions with data views
by: Radtke, Pawel K., et al.
Published: (2024)

Automated Amortised Analysis of Skew Heaps and Leftist Heaps (Extended Version)
by: Walch, Armin, et al.
Published: (2026)

Cutting Corners on Uncertainty: Zonotope Abstractions for Stream-based Runtime Monitoring
by: Finkbeiner, Bernd, et al.
Published: (2026)

Pacing Types: Safe Monitoring of Asynchronous Streams
by: Kohn, Florian, et al.
Published: (2025)

Pacing Types for Asynchronous Stream Equations
by: Kohn, Florian, et al.
Published: (2026)

Taking out the Toxic Trash: Recovering Precision in Mixed Flow-Sensitive Static Analyses
by: Stemmler, Fabian, et al.
Published: (2025)

FPGA or GPU? Analyzing comparative research for application-specific guidance
by: Purkayastha, Arnab A, et al.
Published: (2025)

Reasoning about External Calls
by: Drossopoulou, Sophia, et al.
Published: (2025)

Polar: An Algebraic Analyzer for (Probabilistic) Loops
by: Moosbrugger, Marcel, et al.
Published: (2026)

OOPredictor: Predicting Object-Oriented Accesses using Static Analysis
by: Arafat, Hassan, et al.
Published: (2025)

Type-safe Monitoring of Parameterized Streams
by: Baumeister, Jan, et al.
Published: (2026)

Hypothetical answers to continuous queries over data streams
by: Cruz-Filipe, Luís, et al.
Published: (2019)

Verification under TSO with an infinite Data Domain
by: Abdulla, Parosh Aziz, et al.
Published: (2024)