Buchumschlag

Verifying a Realistic Mutable Hash Table

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Chassot, Samuel, Kunčak, Viktor
Format:	Preprint
Veröffentlicht:	2021
Schlagworte:	Software Engineering Programming Languages
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Verified invertible lexer using regular expressions and DFAs
von: Chassot, Samuel, et al.
Veröffentlicht: (2024)

Formally Verifiable Generated ASN.1/ACN Encoders and Decoders: A Case Study
von: Bucev, Mario, et al.
Veröffentlicht: (2024)

Formally Verified Linear-Time Invertible Lexing
von: Chassot, Samuel, et al.
Veröffentlicht: (2025)

MapReplay: Trace-Driven Benchmark Generation for Java HashMap
von: Schiavio, Filippo, et al.
Veröffentlicht: (2026)

Towards AI-Assisted Synthesis of Verified Dafny Methods
von: Misu, Md Rakib Hossain, et al.
Veröffentlicht: (2024)

JustinANN: Realistic Test Generation for Java Programs Driven by Annotations
von: Cui, Baoquan, et al.
Veröffentlicht: (2025)

VERT: Verified Equivalent Rust Transpilation with Large Language Models as Few-Shot Learners
von: Yang, Aidan Z. H., et al.
Veröffentlicht: (2024)

SoliDiffy: AST Differencing for Solidity Smart Contracts
von: Eshghie, Mojtaba, et al.
Veröffentlicht: (2024)

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

SEVerA: Verified Synthesis of Self-Evolving Agents
von: Banerjee, Debangshu, et al.
Veröffentlicht: (2026)

Generating Verifiable Chain of Thoughts from Exection-Traces
von: Thakur, Shailja, et al.
Veröffentlicht: (2025)

The Impact of Mutability on Cyclomatic Complexity in Java
von: Bagaev, Marat, et al.
Veröffentlicht: (2024)

From a Natural to a Formal Language with DSL Assistant
von: Mosthaf, My M., et al.
Veröffentlicht: (2024)

Towards a Transpiler for C/C++ to Safer Rust
von: Tripuramallu, Dhiren, et al.
Veröffentlicht: (2024)

Catalpa: GC for a Low-Variance Software Stack
von: Arnold, Anthony, et al.
Veröffentlicht: (2025)

Creating a Trajectory for Code Writing: Algorithmic Reasoning Tasks
von: Ravikumar, Shruthi, et al.
Veröffentlicht: (2024)

Package Managers à la Carte: A Formal Model of Dependency Resolution
von: Gibb, Ryan, et al.
Veröffentlicht: (2026)

AlloyASG: Alloy Predicate Code Representation as a Compact Structurally Balanced Graph
von: Wu, Guanxuan, et al.
Veröffentlicht: (2024)

The Opaque Pointer Design Pattern in Python: Towards a Pythonic PIMPL for Modularity, Encapsulation, and Stability
von: Saravanos, Antonios, et al.
Veröffentlicht: (2026)

DeCon: Detecting Incorrect Assertions via Postconditions Generated by a Large Language Model
von: Yu, Hao, et al.
Veröffentlicht: (2025)

Minimalistic Terminal Editor for Julia Programming -- MinTEJ: A Friendly Approach for a Scientific Programmer
von: Bhattar, Poornachandratejasvi Laxman, et al.
Veröffentlicht: (2026)

Getting Python Types Right with RightTyper
von: Pizzorno, Juan Altmayer, et al.
Veröffentlicht: (2025)

The CodeInverter Suite: Control-Flow and Data-Mapping Augmented Binary Decompilation with LLMs
von: Liu, Peipei, et al.
Veröffentlicht: (2025)

An Encoding of Interaction Nets in OCaml
von: Huber, Nikolaus, et al.
Veröffentlicht: (2025)

C*: Unifying Programming and Verification in C
von: Cao, Yiyuan, et al.
Veröffentlicht: (2025)

LitmusKt: Concurrency Stress Testing for Kotlin
von: Lochmelis, Denis, et al.
Veröffentlicht: (2025)

Literate Tracing
von: Sotoudeh, Matthew
Veröffentlicht: (2025)

EPSO: A Caching-Based Efficient Superoptimizer for BPF Bytecode
von: Zhu, Qian, et al.
Veröffentlicht: (2025)

Execution-Aware Program Reduction for WebAssembly via Record and Replay
von: Baek, Doehyun, et al.
Veröffentlicht: (2025)

Stale Profile Matching
von: Ayupov, Amir, et al.
Veröffentlicht: (2024)

Automated Code Editing with Search-Generate-Modify
von: Liu, Changshu, et al.
Veröffentlicht: (2023)

CodeFuse-Query: A Data-Centric Static Code Analysis System for Large-Scale Organizations
von: Xie, Xiaoheng, et al.
Veröffentlicht: (2024)

TypePro: Boosting LLM-Based Type Inference via Inter-Procedural Slicing
von: Lin, Teyu, et al.
Veröffentlicht: (2026)

COBOLAssist: Analyzing and Fixing Compilation Errors for LLM-Powered COBOL Code Generation
von: Dau, Anh T. V., et al.
Veröffentlicht: (2026)

Contract Based Verification of Non-functional Requirements for Embedded Automotive C Code
von: Amilon, Jesper, et al.
Veröffentlicht: (2026)

Type-level Property Based Testing
von: Hansen, Thomas Ekström, et al.
Veröffentlicht: (2024)

Toward Programming Languages for Reasoning: Humans, Symbolic Systems, and AI Agents
von: Marron, Mark
Veröffentlicht: (2024)

AutoBench: Automatic Testbench Generation and Evaluation Using LLMs for HDL Design
von: Qiu, Ruidi, et al.
Veröffentlicht: (2024)

Local Software Buildability across Java Versions (Registered Report)
von: Sulír, Matúš, et al.
Veröffentlicht: (2024)

Easing Maintenance of Academic Static Analyzers
von: Monat, Raphaël, et al.
Veröffentlicht: (2024)