Image de couverture de livre

All for One and One for All: Program Logics for Exploiting Internal Determinism in Parallel Programs

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Moine, Alexandre, Westrick, Sam, Tassarotti, Joseph
Format:	Preprint
Publié:	2025
Sujets:	Programming Languages
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

TypeDis: A Type System for Disentanglement
par: Moine, Alexandre, et autres
Publié: (2025)

Probabilistic Concurrent Reasoning in Outcome Logic: Independence, Conditioning, and Invariants
par: Zilberstein, Noam, et autres
Publié: (2024)

Contextual Refinement of Higher-Order Concurrent Probabilistic Programs (Extended Version)
par: Li, Kwing Hei, et autres
Publié: (2025)

Logical Relations for Formally Verified Authenticated Data Structures
par: Gregersen, Simon Oddershede, et autres
Publié: (2025)

A Demonic Outcome Logic for Randomized Nondeterminism
par: Zilberstein, Noam, et autres
Publié: (2024)

Approximate Relational Reasoning for Higher-Order Probabilistic Programs
par: Haselwarter, Philipp G., et autres
Publié: (2024)

Theorem Provers: One Size Fits All?
par: Oates, Harrison, et autres
Publié: (2025)

Modular Reasoning about Error Bounds for Concurrent Probabilistic Programs (Extended Version)
par: Li, Kwing Hei, et autres
Publié: (2025)

From Program Logics to Language Logics
par: Cimini, Matteo
Publié: (2024)

Functional Logic Program Transformations
par: Hanus, Michael, et autres
Publié: (2026)

Error Credits: Resourceful Reasoning about Error Bounds for Higher-Order Probabilistic Programs
par: Aguirre, Alejandro, et autres
Publié: (2024)

The Parallel Semantics Program Dependence Graph
par: Homerding, Brian, et autres
Publié: (2024)

Repr Types: One Abstraction to Rule Them All
par: Palmkvist, Viktor, et autres
Publié: (2024)

Modular Verification of Differential Privacy in Probabilistic Higher-Order Separation Logic (Extended Version)
par: Haselwarter, Philipp G., et autres
Publié: (2026)

A Monadic Implementation of Functional Logic Programs
par: Hanus, Michael, et autres
Publié: (2026)

Programming with High-Level Abstractions, Proceedings of the 3rd Workshop on Logic and Practice of Programming
par: Warren, David S., et autres
Publié: (2024)

Multi-Language Probabilistic Programming
par: Stites, Sam, et autres
Publié: (2025)

Tachis: Higher-Order Separation Logic with Credits for Expected Costs
par: Haselwarter, Philipp G., et autres
Publié: (2024)

Probing the Design Space: Parallel Versions for Exploratory Programming
par: Beckmann, Tom, et autres
Publié: (2025)

Logic Programming with Extensible Types
par: Perez, Ivan, et autres
Publié: (2026)

Finite-Choice Logic Programming
par: Martens, Chris, et autres
Publié: (2024)

Explaining Explanations in Probabilistic Logic Programming
par: Vidal, Germán
Publié: (2024)

A Direct-Style Effect Notation for Sequential and Parallel Programs
par: Richter, David, et autres
Publié: (2023)

Qudit Quantum Programming with Projective Cliffords
par: Paykin, Jennifer, et autres
Publié: (2024)

Exploiting Code Symmetries for Learning Program Semantics
par: Pei, Kexin, et autres
Publié: (2023)

Cerisier: A Program Logic for Attestation in a Capability Machine
par: Rousseau, June, et autres
Publié: (2026)

Mover Logic: A Concurrent Program Logic for Reduction and Rely-Guarantee Reasoning (Extended Version)
par: Flanagan, Cormac, et autres
Publié: (2024)

Towards Fixed-Point Formats Determination for Faust Programs
par: Herrou, Agathe, et autres
Publié: (2024)

DITRON: Distributed Multi-level Tiling Compiler for Parallel Tensor Programs
par: Zheng, Size, et autres
Publié: (2026)

Program Synthesis using Inductive Logic Programming for the Abstraction and Reasoning Corpus
par: Rocha, Filipe Marinho, et autres
Publié: (2024)

Structural Temporal Logic for Mechanized Program Verification
par: Ioannidis, Eleftherios, et autres
Publié: (2024)

A Program Logic for Abstract (Hyper)Properties
par: Baldan, Paolo, et autres
Publié: (2026)

FO-Complete Program Verification for Heap Logics
par: Murali, Adithya, et autres
Publié: (2026)

Automating Unrealizability Logic: Hoare-Style Proof Synthesis for Infinite Sets of Programs
par: Nagy, Shaan, et autres
Publié: (2024)

Staged Specification Logic for Verifying Higher-Order Imperative Programs (Technical Report)
par: Foo, Darius, et autres
Publié: (2023)

Local Optimization of Quantum Circuits (Extended Version)
par: Arora, Jatin, et autres
Publié: (2025)

Outcome Logic: A Unified Approach to the Metatheory of Program Logics with Branching Effects
par: Zilberstein, Noam
Publié: (2024)

Proceedings of the 2024 miniKanren and Relational Programming Workshop
par: Verbitskaia, Ekaterina, et autres
Publié: (2024)

Heterogeneous Dynamic Logic: Provability Modulo Program Theories
par: Teuber, Samuel, et autres
Publié: (2025)

Leroy: Library Learning for Imperative Programming Languages
par: Bellur, Abhiram, et autres
Publié: (2024)