Buchumschlag

LoRe: A Programming Model for Verifiably Safe Local-First Software

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Haas, Julian, Mogk, Ragnar, Yanakieva, Elena, Bieniusa, Annette, Mezini, Mira
Format:	Preprint
Veröffentlicht:	2023
Schlagworte:	Programming Languages
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

PRDTs: Composable Knowledge-Based Consensus Protocols with Replicated Data Types
von: Haas, Julian, et al.
Veröffentlicht: (2025)

Distributed Locking as a Data Type
von: Haas, Julian, et al.
Veröffentlicht: (2024)

A Datalog Framework for Conflict-Free Replicated Data Types
von: Yanakieva, Elena, et al.
Veröffentlicht: (2026)

A Direct-Style Effect Notation for Sequential and Parallel Programs
von: Richter, David, et al.
Veröffentlicht: (2023)

DeCo: A Core Calculus for Incremental Functional Programming with Generic Data Types
von: Böhler, Timon, et al.
Veröffentlicht: (2026)

A Second Soul: Celebrating the Many Languages of Programming -- Festschrift in Honor of Peter Thiemann's Sixtieth Birthday
von: Bieniusa, Annette, et al.
Veröffentlicht: (2024)

Set-theoretic Types for Erlang
von: Schimpf, Albert, et al.
Veröffentlicht: (2023)

Set-Theoretic Types for Erlang: Theory, Implementation, and Evaluation
von: Schimpf, Albert, et al.
Veröffentlicht: (2026)

Semantic Subtyping for Maps in Erlang
von: Yildirim, Erdem, et al.
Veröffentlicht: (2025)

CobbleDB: Modelling Levelled Storage by Composition
von: Ma, Emilie, et al.
Veröffentlicht: (2026)

Beyond BLEU: A Semantic Evaluation Method for Code Translation
von: Näumann, Julius, et al.
Veröffentlicht: (2026)

Compiling with Arrays
von: Richter, David, et al.
Veröffentlicht: (2024)

LoRe: Personalizing LLMs via Low-Rank Reward Modeling
von: Bose, Avinandan, et al.
Veröffentlicht: (2025)

DQ-LoRe: Dual Queries with Low Rank Approximation Re-ranking for In-Context Learning
von: Xiong, Jing, et al.
Veröffentlicht: (2023)

Unsafe Impedance: Safe Languages and Safe by Design Software
von: Barney, Lee, et al.
Veröffentlicht: (2024)

Caesar: A Deductive Verifier for Probabilistic Programs
von: Schröer, Philipp, et al.
Veröffentlicht: (2026)

End-to-end Compositional Verification of Program Safety through Verified and Verifying Compilation
von: Wu, Jinhua, et al.
Veröffentlicht: (2025)

Dependent Session Types for Verified Concurrent Programming
von: Fu, Qiancheng, et al.
Veröffentlicht: (2025)

Qafny: A Quantum-Program Verifier
von: Li, Liyi, et al.
Veröffentlicht: (2022)

Minuska: Towards a Formally Verified Programming Language Framework
von: Tušil, Jan, et al.
Veröffentlicht: (2024)

Toward Verified Library-Level Choreographic Programming with Algebraic Effects
von: Shen, Gan, et al.
Veröffentlicht: (2024)

DafnyMPI: A Dafny Library for Verifying Message-Passing Concurrent Programs
von: Fedchin, Aleksandr, et al.
Veröffentlicht: (2025)

Towards Verified Compilation of Floating-point Optimization in Scientific Computing Programs
von: Tekriwal, Mohit, et al.
Veröffentlicht: (2025)

Verifying Floating-Point Programs in Stainless
von: Gilot, Andrea, et al.
Veröffentlicht: (2026)

Staged Specification Logic for Verifying Higher-Order Imperative Programs (Technical Report)
von: Foo, Darius, et al.
Veröffentlicht: (2023)

Formalization and Implementation of Safe Destination Passing in Pure Functional Programming Settings
von: Bagrel, Thomas
Veröffentlicht: (2026)

LACUNA: Safe Agents as Recursive Program Holes
von: Zhao, Yaoyu, et al.
Veröffentlicht: (2026)

Speak Now: Safe Actor Programming with Multiparty Session Types (Extended Version)
von: Fowler, Simon, et al.
Veröffentlicht: (2026)

Thread and Memory-Safe Programming with CLASS
von: Caires, Luís
Veröffentlicht: (2025)

AutoPyVerifier: Learning Compact Executable Verifiers for Large Language Model Outputs
von: Pezeshkpour, Pouya, et al.
Veröffentlicht: (2026)

RustCompCert: A Verified and Verifying Compiler for a Sequential Subset of Rust
von: Wu, Jinhua, et al.
Veröffentlicht: (2026)

Towards Trustworthy Automated Program Verifiers: Formally Validating Translations into an Intermediate Verification Language (extended version)
von: Parthasarathy, Gaurav, et al.
Veröffentlicht: (2024)

SafeFFI: Efficient Sanitization at the Boundary Between Safe and Unsafe Code in Rust and Mixed-Language Applications
von: Braunsdorf, Oliver, et al.
Veröffentlicht: (2025)

Certified Program Synthesis with a Multi-Modal Verifier
von: Feng, Yueyang, et al.
Veröffentlicht: (2026)

Verified Code Transpilation with LLMs
von: Bhatia, Sahil, et al.
Veröffentlicht: (2024)

Oracular Programming: A Modular Foundation for Building LLM-Enabled Software
von: Laurent, Jonathan, et al.
Veröffentlicht: (2025)

KATch: A Fast Symbolic Verifier for NetKAT
von: Moeller, Mark, et al.
Veröffentlicht: (2024)

Proceedings 17th Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software
von: Peters, Kirstin, et al.
Veröffentlicht: (2026)

Proceedings 15th Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software
von: Costa, Diana, et al.
Veröffentlicht: (2024)

A Critical Study of What Code-LLMs (Do Not) Learn
von: Anand, Abhinav, et al.
Veröffentlicht: (2024)