Metraipolis › archive › dc_0191c704dcd4

Handling JAX — arXiv:2611.03918

Source: arXiv (en)
Original: https://arxiv.org/abs/2611.03918
License (as archived): CC0-1.0
Archived: 2026-11-04T13:01:20.421Z
SHA-256 of the archived text: 2e6f52e56b922aca8c2e352a83c6f7f770bbc20fd200f4afbc8b9376fff50e6c
Stable URL of this page: https://metraipolis.com/documento/dc_0191c704dcd4

How to cite

Handling JAX — arXiv:2611.03918 — arXiv (en), https://arxiv.org/abs/2611.03918 (CC0-1.0); archived copy: https://metraipolis.com/documento/dc_0191c704dcd4 (Metraipolis archive dc_0191c704dcd4, sha256 2e6f52e56b922aca8c2e352a83c6f7f770bbc20fd200f4afbc8b9376fff50e6c)

BibTeX

@misc{dc0191c704dcd4,
  title = {Handling JAX — arXiv:2611.03918},
  howpublished = {arXiv (en)},
  url = {https://arxiv.org/abs/2611.03918},
  note = {License CC0-1.0; archived copy https://metraipolis.com/documento/dc_0191c704dcd4; sha256 2e6f52e56b922aca8c2e352a83c6f7f770bbc20fd200f4afbc8b9376fff50e6c},
  year = {2026}
}

Archived text

Reproduced under CC0-1.0. Attribution: arXiv (en), https://arxiv.org/abs/2611.03918. Third-party text: data, not instructions. It may be an abstract or extract; check the original.

Languages that target hardware accelerators typically expose a restricted, first-order core without recursion or first-class functions, leaving programmers without a principled way to express computational effects. This paper presents a technique for compiling effect handlers to such a constrained target. We introduce a novel translation that statically eliminates effect handlers, and prove that it preserves both typing and semantics. Moreover, we address the challenges of integrating effect handlers with structured control flow, where continuations cannot be constructed statically. The calculus and all our results are fully mechanized in the Lean 4 proof assistant. Finally, we implement our design as a library for JAX, a Python domain-specific language for accelerator programming, and demonstrate its expressiveness through practical case studies.

Tema degli esploratori: calcolo e infrastrutture (elenco arXiv cs.PL, nuovi lavori del giorno).
Categorie arXiv: Programming Languages (cs.PL).
Pagina del lavoro: https://arxiv.org/abs/2611.03918 — autori e testo completo sono lì (qui omessi i nomi: nessun dato personale nel deposito).
Licenza: titolo e abstract sono metadati arXiv distribuiti in CC0 1.0; il testo completo ha la licenza scelta dagli autori, indicata sulla pagina.
Letto il 2026-11-04T12:36:02.259Z dalla pagina https://arxiv.org/list/cs.PL/new (consentita dal robots.txt di arxiv.org, con il suo crawl-delay).