Buchumschlag

From Traces to Program Incorrectness: A Type-Theoretic Approach

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Yuan, Yongwei, Zhou, Zhe, Belyakova, Julia, Delaware, Benjamin, Jagannathan, Suresh
Format:	Preprint
Veröffentlicht:	2025
Schlagworte:	Programming Languages
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Type-Based Incorrectness Reasoning
von: Zhou, Zhe, et al.
Veröffentlicht: (2025)

Derivative-Guided Symbolic Execution
von: Yuan, Yongwei, et al.
Veröffentlicht: (2024)

Trace-Guided Synthesis of Effectful Test Generators
von: Zhou, Zhe, et al.
Veröffentlicht: (2026)

Polymorphic Coverage Types
von: Zhou, Zhe, et al.
Veröffentlicht: (2023)

We've Got You Covered: Type-Guided Repair of Incomplete Input Generators
von: LaFontaine, Patrick, et al.
Veröffentlicht: (2025)

A HAT Trick: Automatically Verifying Representation Invariants Using Symbolic Finite Automata
von: Zhou, Zhe, et al.
Veröffentlicht: (2024)

Towards Automated Verification of LLM-Synthesized C Programs
von: Mukherjee, Prasita, et al.
Veröffentlicht: (2024)

A Complementary Approach to Incorrectness Typing
von: Li, Celia Mengyue, et al.
Veröffentlicht: (2025)

KestRel: Relational Verification Using E-Graphs for Program Alignment
von: Dickerson, Robert, et al.
Veröffentlicht: (2024)

Liquid Tree Automata
von: Mishra, Ashish, et al.
Veröffentlicht: (2026)

Taypsi: Static Enforcement of Privacy Policies for Policy-Agnostic Oblivious Computation
von: Ye, Qianchuan, et al.
Veröffentlicht: (2023)

Semantics, Specification, and Bounded Verification of Concurrent Libraries in Replicated Systems
von: Nagar, Kartik, et al.
Veröffentlicht: (2020)

Partial Incorrectness Logic
von: Verscht, Lena, et al.
Veröffentlicht: (2025)

Close is Good Enough: Component-Based Synthesis Modulo Logical Similarity
von: Mishra, Ashish, et al.
Veröffentlicht: (2025)

Designing Walrus: Relational Programming with Rich Types, On-Demand Laziness, and Structured Traces
von: Cuéllar, Santiago, et al.
Veröffentlicht: (2025)

Proof Automation with Large Language Models
von: Lu, Minghai, et al.
Veröffentlicht: (2024)

From Algebraic Word Problem to Program: A Formalized Approach
von: Wiemerslage, Adam, et al.
Veröffentlicht: (2020)

Validating Traces of Distributed Programs Against TLA+ Specifications
von: Cirstea, Horatiu, et al.
Veröffentlicht: (2024)

Quantitative Weakest Hyper Pre: Unifying Correctness and Incorrectness Hyperproperties via Predicate Transformers
von: Zhang, Linpeng, et al.
Veröffentlicht: (2024)

Type-Driven Prompt Programming: From Typed Interfaces to a Calculus of Constraints
von: Paul, Abhijit
Veröffentlicht: (2025)

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

Program Synthesis from Partial Traces
von: Ferreira, Margarida, et al.
Veröffentlicht: (2025)

Compositional Symbolic Execution for Correctness and Incorrectness Reasoning (Extended Version)
von: Lööw, Andreas, et al.
Veröffentlicht: (2024)

Dependently-Typed AARA: A Non-Affine Approach for Resource Analysis of Higher-Order Programs
von: Xu, Han, et al.
Veröffentlicht: (2026)

Outcome Separation Logic: Local Reasoning for Correctness and Incorrectness with Computational Effects
von: Zilberstein, Noam, et al.
Veröffentlicht: (2023)

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

Synchronous Programming with Refinement Types
von: Chen, Jiawei, et al.
Veröffentlicht: (2024)

Gradual Exact Logic: Unifying Hoare Logic and Incorrectness Logic via Gradual Verification
von: Zimmerman, Conrad, et al.
Veröffentlicht: (2024)

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

Mason: Type- and Name-Guided Program Synthesis
von: Geer, Jasper, et al.
Veröffentlicht: (2026)

Typing Fallback Functions: A Semantic Approach to Type Safe Smart Contracts
von: Lybech, Stian, et al.
Veröffentlicht: (2025)

Special Delivery: Programming with Mailbox Types (Extended Version)
von: Fowler, Simon, et al.
Veröffentlicht: (2023)

A Trace-based Approach for Code Safety Analysis
von: Xu, Hui
Veröffentlicht: (2025)

Towards Formal Verification of Hybrid Synchronous Programs with Refinement Types
von: Dane, Serra Z., et al.
Veröffentlicht: (2026)

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

typedKanren: Statically Typed Relational Programming with Exhaustive Matching in Haskell
von: Kudasov, Nikolai, et al.
Veröffentlicht: (2024)

Quantum Simulation Programming via Typing
von: Li, Liyi, et al.
Veröffentlicht: (2025)

Functional Reactive Programming with Effects, A More Permissive Approach
von: Dabrowski, Frédéric, et al.
Veröffentlicht: (2025)

From Program Logics to Language Logics
von: Cimini, Matteo
Veröffentlicht: (2024)

Typing Strictness (Extended Version)
von: Sainati, Daniel, et al.
Veröffentlicht: (2025)