arxiv.org

https://rss.arxiv.org/rss/cs.PL

01.
Complete Local Reasoning About Parameterized Programs Over Topologies (Extended Version)
arxiv.org · /rss/cs.PL
▲ 0 · Jul 22
02.
Cross-Dialect Generalization Without Retraining: Benchmarks and Evaluation of Schema-Derived Constrained Decoding for MLIR
arxiv.org · /rss/cs.PL
▲ 0 · Jul 22
03.
Build-Authorized Evidence for Opaque Calls: A Fail-Closed Rewrite-Authority Boundary
arxiv.org · /rss/cs.PL
▲ 0 · Jul 22
04.
VirtualSet: Typed Ontology Worlds as an LLM Generation Target for Grounded Queries and Guarded Decisions
arxiv.org · /rss/cs.PL
▲ 0 · Jul 22
05.
Formal Verification of an Out-of-Order Multiprocessor against an In-Order Weak-Memory ISA
arxiv.org · /rss/cs.PL
▲ 0 · Jul 22
06.
Extended Abstract: From Pattern Unification Towards Pattern Matching Unification
arxiv.org · /rss/cs.PL
▲ 0 · Jul 22
07.
Decode-Time Grammars: Constrained LLM Generation over a Refinement Order of Grammar Fragments
arxiv.org · /rss/cs.PL
▲ 0 · Jul 22
08.
High-Level Synthesis of Efficient Pipelines with Visibility Control
arxiv.org · /rss/cs.PL
▲ 0 · Jul 22
09.
Composable Verification Pipelines for Multi-Agent Systems
arxiv.org · /rss/cs.PL
▲ 0 · Jul 21
10.
The EDGE Language: Extended General Einsums for Graph Algorithms
arxiv.org · /rss/cs.PL
▲ 0 · Jul 21
11.
Parameterized Verification of Deterministic MPI Programs
arxiv.org · /rss/cs.PL
▲ 0 · Jul 21
12.
Weakly Non-Negative Supermartingales for Omega-Regular Verification
arxiv.org · /rss/cs.PL
▲ 0 · Jul 21
13.
ETAS: An Effect-Typed Language for Agent Systems
arxiv.org · /rss/cs.PL
▲ 0 · Jul 21
14.
Distributive Laws for Parallel Composition in Rely-Guarantee Concurrency
arxiv.org · /rss/cs.PL
▲ 0 · Jul 21
15.
The Because-Calculus: Separating Production, Existence, and Interpretation in Computation
arxiv.org · /rss/cs.PL
▲ 0 · Jul 21
16.
The Duality of Information Flow: Reconciling Robust Downgrading with Non-Interference
arxiv.org · /rss/cs.PL
▲ 0 · Jul 21
17.
CHC-based Automated Verification of WebAssembly Programs
arxiv.org · /rss/cs.PL
▲ 0 · Jul 21
18.
Oblivious Probabilistic Outcome Logic: Verifying Probabilistic Programs with an Oblivious Adversary
arxiv.org · /rss/cs.PL
▲ 0 · Jul 21
19.
Bidirectional Typing with Freezing, Skeletons, and Ghosts
arxiv.org · /rss/cs.PL
▲ 0 · Jul 20
20.
Have a thing? Reasoning around recursion with dynamic typing in grounded arithmetic
arxiv.org · /rss/cs.PL
▲ 0 · Jul 20
21.
Gradually Verifying Unfolding Expressions & Pure Functions
arxiv.org · /rss/cs.PL
▲ 0 · Jul 20
22.
Programming with Quantum-Controlled Quantum Channels
arxiv.org · /rss/cs.PL
▲ 0 · Jul 20
23.
Yarrow: Reconciling Effects Handlers and Region-Based Memory Management
arxiv.org · /rss/cs.PL
▲ 0 · Jul 20
24.
A Modular Framework for Stack-Heap and Value Abstractions (Extended Version)
arxiv.org · /rss/cs.PL
▲ 0 · Jul 20
25.
Causality in Pure Quantum Computation with Quantum Control
arxiv.org · /rss/cs.PL
▲ 0 · Jul 20
26.
Compositional Neural-Cyber-Physical System Verification in the Interactive Theorem Prover of Your Choice
arxiv.org · /rss/cs.PL
▲ 0 · Jul 20
27.
Misquoted No More: Securely Extracting F* Programs with IO
arxiv.org · /rss/cs.PL
▲ 0 · Jul 20
28.
Logical Foundations of Two-Sided Type Theory
arxiv.org · /rss/cs.PL
▲ 0 · Jul 17
29.
Mech: Mechanised Choreographic Programming
arxiv.org · /rss/cs.PL
▲ 0 · Jul 17
30.
Simply Typed Reverse-Mode AD with Variants: Denotational Correctness via Idempotent Completion
arxiv.org · /rss/cs.PL
▲ 0 · Jul 17

Recent polls

when	ms	items	status
Jul 22	151	9	ok
Jul 22	139	9	ok
Jul 22	149	9	ok
Jul 22	147	9	ok
Jul 22	135	9	ok