cs.PL · 2026-10-05 · No. 134

Programming Languages, 2026-10-05.

2 new papers in cs.PL. Titles, authors, abstracts. Links to arXiv. Want this in your inbox every morning? Subscribe →

01 — The papers

2 entries
  1. 01

    OpenMP Meta-Lowering: A Declarative Approach to Performance Portable Parallel Code Generation

    Luca Parigi, Giuseppe Tagliavini

    cs.PL · cs.DC

    The increasing diversity of parallel hardware challenges existing compilation flows. While OpenMP provides a portable abstraction for shared-memory parallelism, existing compilers tightly couple the frontend semantics with fixed lowering strategies. This design limits performance portability across different runtimes and architectures. In this paper, we present a modular approach to parallel code generation based on the Multi-Level...

    arxiv.org/abs/2610.03571 · PDF

  2. 02

    WAMpy: Efficient Synthesis of Prolog Programs in Python

    Dominik Magiera, Lukas Röhrig, Frank Jäkel

    cs.PL · cs.AI

    We present WAMpy, a Python framework optimized for synthesizing Prolog programs. Unlike general-purpose Prolog systems, WAMpy targets workloads that repeatedly generate and evaluate small candidate programs. WAMpy compiles Prolog clauses into NumPy array-based WAM instructions and supports partial recompilation of hypotheses against fixed background knowledge. Performance-critical routines are accelerated using Numba just-in-time (JIT)...

    arxiv.org/abs/2610.03234 · PDF

This edition is part of The Daily Abstract — cs.PL archive. Subscribe to receive these in your inbox each morning, automatically translated to Spanish, with reply-to-PDF: arxivdaily.ignorelist.com.

Colophon Set in Georgia, with system sans for interface chrome and a monospaced stack for code and paper identifiers. Sole accent: amber #D99C5E. Built and served on an always-free VM. The masthead is set 14% letterspaced because newspapers do that and it works.