:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Author:	Monniaux, David
Format:	Preprint
Published:	2022
Subjects:	Programming Languages
Online Access:	https://arxiv.org/abs/2211.09572
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

The pitfalls of verifying floating-point computations
by: Monniaux, David
Published: (2007)

Pragmatics of Formally Verified Yet Efficient Static Analysis, in particular for Formally Verified Compilers
by: Monniaux, David
Published: (2024)

Proceedings 18th International Workshop on Logical and Semantic Frameworks, with Applications and 10th Workshop on Horn Clauses for Verification and Synthesis
by: Kutsia, Temur, et al.
Published: (2024)

On Propositional Program Equivalence (extended abstract)
by: Kappé, Tobias
Published: (2025)

Probabilistic energy profiler for statically typed JVM-based programming languages
by: Nyholm, Joel, et al.
Published: (2025)

Syntactic Completions with Material Obligations
by: Moon, David, et al.
Published: (2025)

Modular abstract syntax trees (MAST): substitution tensors with second-class sorts
by: Fiore, Marcelo P., et al.
Published: (2025)

SDLLMFuzz: Dynamic-static LLM-assisted greybox fuzzing for structured input programs
by: Zou, Yihao, et al.
Published: (2026)

Origami: (un)folding the abstraction of recursion schemes for program synthesis
by: Fernandes, Matheus Campos, et al.
Published: (2024)

AuDaLa is Turing Complete
by: Franken, Tom T. P., et al.
Published: (2024)

Learning logic programs by discovering higher-order abstractions
by: Hocquette, Céline, et al.
Published: (2023)

Agentic Program Repair from Test Failures at Scale: A Neuro-symbolic approach with static analysis and test execution feedback
by: Maddila, Chandra, et al.
Published: (2025)

Compiler support for semi-manual AoS-to-SoA conversions with data views
by: Radtke, Pawel K., et al.
Published: (2024)

A Sound and Complete Characterization of Fair Asynchronous Session Subtyping
by: Bravetti, Mario, et al.
Published: (2025)

Abstract clones for abstract syntax
by: Arkor, Nathanael, et al.
Published: (2021)

Weighted GKAT: Completeness and Complexity
by: Van Koevering, Spencer, et al.
Published: (2025)

Deciding not to Decide: Sound and Complete Effect Inference in the Presence of Higher-Rank Polymorphism
by: Balik, Patrycja, et al.
Published: (2025)

Neural Models for Source Code Synthesis and Completion
by: Niyogi, Mitodru
Published: (2024)

Towards Verified Compilation of Floating-point Optimization in Scientific Computing Programs
by: Tekriwal, Mohit, et al.
Published: (2025)

A Complete Theory of Sequential Digital Circuits: Denotational, Operational and Algebraic Semantics
by: Ghica, Dan R., et al.
Published: (2022)

FO-Complete Program Verification for Heap Logics
by: Murali, Adithya, et al.
Published: (2026)

Complete first-order reasoning for functional programs
by: Murali, Adithya, et al.
Published: (2026)

Complete Multiparty Session Type Projection with Automata
by: Li, Elaine, et al.
Published: (2023)

MHRC-Bench: A Multilingual Hardware Repository-Level Code Completion benchmark
by: Zou, Qingyun, et al.
Published: (2026)

Annotation-guided AoS-to-SoA conversions and GPU offloading with data views in C++
by: Radtke, Pawel K., et al.
Published: (2025)

Complete Local Reasoning About Parameterized Programs Over Topologies
by: Cheng, Ruotong, et al.
Published: (2026)

Expressivity of AuDaLa: Turing Completeness and Possible Extensions
by: Franken, Tom T. P., et al.
Published: (2024)

Block-encodings as programming abstractions: The Eclipse Qrisp BlockEncoding Interface
by: Petrič, Matic, et al.
Published: (2026)

SaraCoder: Orchestrating Semantic and Structural Cues for Resource-Optimized Repository-Level Code Completion
by: Chen, Xiaohan, et al.
Published: (2025)

The magnetohydrodynamical system in bounded non smooth domains of dimension $n\ge3$
by: Monniaux, Sylvie
Published: (2025)

Arguzz: Testing zkVMs for Soundness and Completeness Bugs
by: Hochrainer, Christoph, et al.
Published: (2025)

Language Models for Code Completion: A Practical Evaluation
by: Izadi, Maliheh, et al.
Published: (2024)

A Complete Inference System for Skip-free Guarded Kleene Algebra with Tests
by: Kappé, Tobias, et al.
Published: (2023)

Sound and Complete Witnesses for Template-based Verification of LTL Properties on Polynomial Programs
by: Chatterjee, Krishnendu, et al.
Published: (2024)

Quest Complete: the Holy Grail of Gradual Security
by: Chen, Tianyu, et al.
Published: (2023)

Program Synthesis is $Σ_3^0$-Complete
by: Kim, Jinwoo
Published: (2024)

Insights from the Usage of the Ansible Lightspeed Code Completion Service
by: Sahoo, Priyam, et al.
Published: (2024)

BASIC: Updating a Familiar Language.
by: Eyman, David H.
Published: (1988)

Separating the Wheat from the Chaff: Understanding (In-)Completeness of Proof Mechanisms for Separation Logic with Inductive Definitions
by: Elad, Neta, et al.
Published: (2025)

A Specification's Realm: Characterizing the Knowledge Required for Executing a Given Algorithm Specification
by: Marron, Assaf, et al.
Published: (2025)