:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	Mohamed, Mohamed Husain Noor, Patil, Adarsh, Ionkov, Latchesar, Van Hensbergen, Eric
Format:	Preprint
Published:	2025
Subjects:	Programming Languages
Online Access:	https://arxiv.org/abs/2506.02233
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

UDON: A case for offloading to general purpose compute on CXL memory
by: Hermes, Jon, et al.
Published: (2024)

Minotaur: A SIMD-Oriented Synthesizing Superoptimizer
by: Liu, Zhengyang, et al.
Published: (2023)

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

Unified schemes for directive-based GPU offloading
by: Miki, Yohei, et al.
Published: (2024)

Annotation-guided AoS-to-SoA conversions and GPU offloading with data views in C++
by: Radtke, Pawel K., et al.
Published: (2025)

Choosing the Right Communication Protocol for your Web Application
by: Hassan, Mohamed
Published: (2024)

Sidekick compilation with xDSL
by: Fehr, Mathieu, et al.
Published: (2023)

A quantum compiler design method by using linear combinations of permutations
by: Daskin, Ammar
Published: (2024)

Meta-compilation of Baseline JIT Compilers with Druid
by: Palumbo, Nahuel, et al.
Published: (2025)

BeePL: Correct-by-compilation kernel extensions
by: Priya, Swarn, et al.
Published: (2025)

Stream Types
by: Cutler, Joseph W., et al.
Published: (2023)

Relaxed exception semantics for Arm-A (extended version)
by: Simner, Ben, et al.
Published: (2024)

Efficient compilation and execution of synchronous programs via type-state programming
by: Malik, Avinash
Published: (2025)

HELIX: Verified compilation of cyber-physical control systems to LLVM IR
by: Zaliva, Vadim, et al.
Published: (2026)

Verification of the Release-Acquire Semantics
by: Abdulla, Parosh, et al.
Published: (2025)

Active Libraries: Rethinking the roles of compilers and libraries
by: Veldhuizen, Todd L., et al.
Published: (1998)

Functional Meaning for Parallel Streaming
by: Rioux, Nick, et al.
Published: (2025)

The MLIR Transform Dialect. Your compiler is more powerful than you think
by: Lücke, Martin Paul, et al.
Published: (2024)

FlashSyn: Flash Loan Attack Synthesis via Counter Example Driven Approximation
by: Chen, Zhiyang, et al.
Published: (2022)

Efficient decomposition of unitary matrices in quantum circuit compilers
by: Krol, A. M., et al.
Published: (2021)

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

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

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

Checking Consistency of Event-driven Traces
by: Abdulla, Parosh Aziz, et al.
Published: (2025)

Latent Idiom Recognition for a Minimalist Functional Array Language using Equality Saturation
by: Van der Cruysse, Jonathan, et al.
Published: (2023)

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

Fast Collection Operations from Indexed Stream Fusion
by: Kovach, Scott, et al.
Published: (2025)

Denotational Semantics of Gradual Typing using Synthetic Guarded Domain Theory (Extended Version)
by: Giovannini, Eric, et al.
Published: (2024)

Compile-Time Java Stream Fusion via mapMulti
by: Bugayenko, Yegor, et al.
Published: (2026)

ASC-Hook: fast and transparent system call hook for Arm
by: Shen, Yang, et al.
Published: (2024)

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

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

Skitter: A Distributed Stream Processing Framework with Pluggable Distribution Strategies
by: Saey, Mathijs, et al.
Published: (2025)

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

Streaming Tensor Programs: A Streaming Abstraction for Dynamic Parallelism
by: Sohn, Gina, et al.
Published: (2025)

Validation of Modern JSON Schema: Formalization and Complexity
by: Attouche, Lyes, et al.
Published: (2023)

Automated Identification of Discourse Markers Using the NLP Approach: The Case of "Okay"
by: Sanosi, Abdulaziz, et al.
Published: (2021)

SkipFlow: Improving the Precision of Points-to Analysis using Primitive Values and Predicate Edges
by: Kozak, David, et al.
Published: (2025)

SequenceLayers: Sequence Processing and Streaming Neural Networks Made Easy
by: Skerry-Ryan, RJ, et al.
Published: (2025)

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