Buchumschlag

The Fearless Journey [Draft]

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Webster, Nick, Servetto, Marco, Homer, Michael
Format:	Preprint
Veröffentlicht:	2024
Schlagworte:	Programming Languages
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Fearless Asynchronous Communications with Timed Multiparty Session Protocols
von: Hou, Ping, et al.
Veröffentlicht: (2024)

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

Do You Even Lift? Strengthening Compiler Security Guarantees Against Spectre Attacks
von: Fabian, Xaver, et al.
Veröffentlicht: (2024)

DeepLL: Considering Linear Logic for the Analysis of Deep Learning Experiments
von: Papoulias, Nick
Veröffentlicht: (2024)

Fully integrating the Flang Fortran compiler with standard MLIR
von: Brown, Nick
Veröffentlicht: (2024)

Automated Verification of Tree-Manipulating Programs Using Constrained Horn Clauses
von: Faella, Marco, et al.
Veröffentlicht: (2024)

Iso-Recursive Multiparty Sessions and their Automated Verification -- Technical Report
von: Giunti, Marco, et al.
Veröffentlicht: (2025)

Secure Composition of Robust and Optimising Compilers
von: Kruse, Matthis, et al.
Veröffentlicht: (2023)

Getting a Handle on Unmanaged Memory
von: Wanninger, Nick, et al.
Veröffentlicht: (2024)

Verification Algorithms for Automated Separation Logic Verifiers
von: Eilers, Marco, et al.
Veröffentlicht: (2024)

Ozone: Fully Out-of-Order Choreographies
von: Plyukhin, Dan, et al.
Veröffentlicht: (2024)

A Promising Future: Omission Failures in Choreographic Programming
von: Graversen, Eva, et al.
Veröffentlicht: (2017)

On the Semantic Expressiveness of Iso- and Equi-Recursive Types
von: Devriese, Dominique, et al.
Veröffentlicht: (2020)

Programming Frameworks for Differential Privacy
von: Gaboardi, Marco, et al.
Veröffentlicht: (2024)

Grokking the Sequent Calculus (Functional Pearl)
von: Binder, David, et al.
Veröffentlicht: (2024)

Accompanist: A Runtime for Resilient Choreographic Programming
von: Kløvedal, Viktor Strate, et al.
Veröffentlicht: (2026)

Strong Priority and Determinacy in Timed CCS
von: Liquori, Luigi, et al.
Veröffentlicht: (2024)

FastDraft: How to Train Your Draft
von: Zafrir, Ofir, et al.
Veröffentlicht: (2024)

Fair intersection of seekable iterators
von: Arntzenius, Michael
Veröffentlicht: (2025)

An MLIR pipeline for offloading Fortran to FPGAs via OpenMP
von: Rodriguez-Canal, Gabriel, et al.
Veröffentlicht: (2025)

Malicious and Unintentional Disclosure Risks in Large Language Models for Code Generation
von: Rabin, Rafiqul, et al.
Veröffentlicht: (2025)

Task-Based Tensor Computations on Modern GPUs
von: Yadav, Rohan, et al.
Veröffentlicht: (2025)

Draft-OPD: On-Policy Distillation for Speculative Draft Models
von: Lei, Haodi, et al.
Veröffentlicht: (2026)

PSM: Policy Synchronised Deterministic Memory
von: Mendler, Michael, et al.
Veröffentlicht: (2025)

Functional Logic Program Transformations
von: Hanus, Michael, et al.
Veröffentlicht: (2026)

Automated Expected Cost Analysis for Quantum Programs
von: Moser, Georg, et al.
Veröffentlicht: (2026)

Type-safe and portable support for packed data
von: Jamet, Arthur, et al.
Veröffentlicht: (2025)

Finite Functional Programming
von: Arntzenius, Michael, et al.
Veröffentlicht: (2026)

Pragma driven shared memory parallelism in Zig by supporting OpenMP loop directives
von: Kacs, David, et al.
Veröffentlicht: (2024)

MSWasm: Soundly Enforcing Memory-Safe Execution of Unsafe Code
von: Michael, Alexandra E., et al.
Veröffentlicht: (2022)

Hiord#: An Approach to the Specification and Verification of Higher-Order (C)LP Programs
von: Ciccalè, Marco, et al.
Veröffentlicht: (2025)

Exploiting Multiple Abstract Call Patterns for Optimizing Run-Time Checks
von: Ferreiro, Daniela, et al.
Veröffentlicht: (2026)

Constrained Code Generation with Discrete Diffusion
von: Shao, Lize, et al.
Veröffentlicht: (2026)

Making Formulog Fast: An Argument for Unconventional Datalog Evaluation (Extended Version)
von: Bembenek, Aaron, et al.
Veröffentlicht: (2024)

Employing polyhedral methods to optimize stencils on FPGAs with stencil-specific caches, data reuse, and wide data bursts
von: Mayer, Florian, et al.
Veröffentlicht: (2024)

HITrees: Higher-Order Interaction Trees
von: Ayyam, Amir Mohammad Fadaei, et al.
Veröffentlicht: (2025)

Spegion: Implicit and Non-Lexical Regions with Sized Allocations
von: Hughes, Jack, et al.
Veröffentlicht: (2025)

&inator: Correct, Precise C-to-Rust Interface Translation
von: Chen, Victor, et al.
Veröffentlicht: (2026)

A Monadic Implementation of Functional Logic Programs
von: Hanus, Michael, et al.
Veröffentlicht: (2026)

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