:: Library Catalog

Buchumschlag

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Rasch, Ari
Format:	Preprint
Veröffentlicht:	2024
Schlagworte:	Programming Languages
Online-Zugang:	https://arxiv.org/abs/2405.05118
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Hybrid Multiparty Session Types -- Full Version
von: Gheri, Lorenzo, et al.
Veröffentlicht: (2023)

Language-Integrated Recursive Queries (Full Version)
von: Herlihy, Anna, et al.
Veröffentlicht: (2025)

Probing the Design Space: Parallel Versions for Exploratory Programming
von: Beckmann, Tom, et al.
Veröffentlicht: (2025)

Handling the Selection Monad (Full Version)
von: Plotkin, Gordon, et al.
Veröffentlicht: (2025)

Scheduling Languages: A Past, Present, and Future Taxonomy
von: Hall, Mary, et al.
Veröffentlicht: (2024)

ILA: Correctness via Type Checking for Fully Homomorphic Encryption
von: Gollamudi, Tarakaram, et al.
Veröffentlicht: (2025)

Compositional Symbolic Execution for the Next 700 Memory Models (Extended Version)
von: Lööw, Andreas, et al.
Veröffentlicht: (2025)

Notions of Stack-manipulating Computation and Relative Monads (Extended Version)
von: Jiang, Yuchen, et al.
Veröffentlicht: (2025)

Gillian Debugging: Swinging Through the (Compositional Symbolic Execution) Trees, Extended Version
von: Karmios, Nat, et al.
Veröffentlicht: (2026)

Leveraging ASIC AI Chips for Homomorphic Encryption
von: Tong, Jianming, et al.
Veröffentlicht: (2025)

CHAD: Combinatory Homomorphic Automatic Differentiation
von: Vákár, Matthijs, et al.
Veröffentlicht: (2021)

Compositional Symbolic Execution for Correctness and Incorrectness Reasoning (Extended Version)
von: Lööw, Andreas, et al.
Veröffentlicht: (2024)

Same Engine, Multiple Gears: Parallelizing Fixpoint Iteration at Different Granularities (Extended Version)
von: Kocal, Ali Rasim, et al.
Veröffentlicht: (2026)

DITRON: Distributed Multi-level Tiling Compiler for Parallel Tensor Programs
von: Zheng, Size, et al.
Veröffentlicht: (2026)

A Formal Semantics of C with OpenMP Parallelism (Extended Version)
von: Du, Ke, et al.
Veröffentlicht: (2026)

Sound Borrow-Checking for Rust via Symbolic Semantics (Long Version)
von: Ho, Son, et al.
Veröffentlicht: (2024)

The Case for Multi-Version Experimental Evaluation (MVEE)
von: Jörz, Simon, et al.
Veröffentlicht: (2026)

A Compute-Matched Re-Evaluation of TroVE on MATH
von: Sesterhenn, Tobias, et al.
Veröffentlicht: (2025)

Linearization via Rewriting (Long Version)
von: Lago, Ugo Dal, et al.
Veröffentlicht: (2025)

Homomorphism Calculus for User-Defined Aggregations
von: Wang, Ziteng, et al.
Veröffentlicht: (2025)

What's in the Box: Ergonomic and Expressive Capture Tracking over Generic Data Structures (Extended Version)
von: Xu, Yichen, et al.
Veröffentlicht: (2025)

Error Localization, Certificates, and Hints for Probabilistic Program Verification via Slicing (Extended Version)
von: Schröer, Philipp, et al.
Veröffentlicht: (2025)

The Algebra of Patterns (Extended Version)
von: Binder, David, et al.
Veröffentlicht: (2025)

Typing Strictness (Extended Version)
von: Sainati, Daniel, et al.
Veröffentlicht: (2025)

Divergent Multi-Version Execution (DME): Canonical Instruction-Trace Fault Detection via Structural Address-Space Decorrelation
von: Yrievich, Petro Baran
Veröffentlicht: (2026)

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

Multi-Threaded Software Model Checking via Parallel Trace Abstraction Refinement
von: Barth, Max, et al.
Veröffentlicht: (2025)

Full Iso-recursive Types
von: Zhou, Litao, et al.
Veröffentlicht: (2024)

Opportunistically Parallel Lambda Calculus
von: Mell, Stephen, et al.
Veröffentlicht: (2024)

Functional Meaning for Parallel Streaming
von: Rioux, Nick, et al.
Veröffentlicht: (2025)

Mechanised Hypersafety Proofs about Structured Data: Extended Version
von: Gladshtein, Vladimir, et al.
Veröffentlicht: (2024)

The Session Abstract Machine (Extended Version)
von: Caires, Luís, et al.
Veröffentlicht: (2024)

Handling Scope Checks (Extended Version)
von: Lee, Michael, et al.
Veröffentlicht: (2026)

Concurrent Data Structures Made Easy (Extended Version)
von: Le, Callista, et al.
Veröffentlicht: (2024)

Software Model Checking via Summary-Guided Search (Extended Version)
von: Fang, Ruijie, et al.
Veröffentlicht: (2025)

The Parallel Semantics Program Dependence Graph
von: Homerding, Brian, et al.
Veröffentlicht: (2024)

Parallel Dual-Numbers Reverse AD
von: Smeding, Tom, et al.
Veröffentlicht: (2022)

Compilation Semantics for a Programming Language with Versions
von: Tanabe, Yudai, et al.
Veröffentlicht: (2023)

Generic Reduction-Based Interpreters (Extended Version)
von: Bach, Casper
Veröffentlicht: (2025)

Lenses for Partially-Specified States (Extended Version)
von: Matsuda, Kazutaka, et al.
Veröffentlicht: (2026)