Type-Based Incorrectness Reasoning
Fuente:
arXiv
Saved in:
| Main Authors: | , , |
|---|---|
| Format: | Preprint |
| Published: |
2025
|
| Subjects: | |
| Online Access: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Similar Items
From Traces to Program Incorrectness: A Type-Theoretic Approach
by: Yuan, Yongwei, et al.
Published: (2025)
by: Yuan, Yongwei, et al.
Published: (2025)
Polymorphic Coverage Types
by: Zhou, Zhe, et al.
Published: (2023)
by: Zhou, Zhe, et al.
Published: (2023)
Trace-Guided Synthesis of Effectful Test Generators
by: Zhou, Zhe, et al.
Published: (2026)
by: Zhou, Zhe, et al.
Published: (2026)
We've Got You Covered: Type-Guided Repair of Incomplete Input Generators
by: LaFontaine, Patrick, et al.
Published: (2025)
by: LaFontaine, Patrick, et al.
Published: (2025)
A HAT Trick: Automatically Verifying Representation Invariants Using Symbolic Finite Automata
by: Zhou, Zhe, et al.
Published: (2024)
by: Zhou, Zhe, et al.
Published: (2024)
Towards Automated Verification of LLM-Synthesized C Programs
by: Mukherjee, Prasita, et al.
Published: (2024)
by: Mukherjee, Prasita, et al.
Published: (2024)
Liquid Tree Automata
by: Mishra, Ashish, et al.
Published: (2026)
by: Mishra, Ashish, et al.
Published: (2026)
Taypsi: Static Enforcement of Privacy Policies for Policy-Agnostic Oblivious Computation
by: Ye, Qianchuan, et al.
Published: (2023)
by: Ye, Qianchuan, et al.
Published: (2023)
A Complementary Approach to Incorrectness Typing
by: Li, Celia Mengyue, et al.
Published: (2025)
by: Li, Celia Mengyue, et al.
Published: (2025)
KestRel: Relational Verification Using E-Graphs for Program Alignment
by: Dickerson, Robert, et al.
Published: (2024)
by: Dickerson, Robert, et al.
Published: (2024)
Close is Good Enough: Component-Based Synthesis Modulo Logical Similarity
by: Mishra, Ashish, et al.
Published: (2025)
by: Mishra, Ashish, et al.
Published: (2025)
Derivative-Guided Symbolic Execution
by: Yuan, Yongwei, et al.
Published: (2024)
by: Yuan, Yongwei, et al.
Published: (2024)
Semantics, Specification, and Bounded Verification of Concurrent Libraries in Replicated Systems
by: Nagar, Kartik, et al.
Published: (2020)
by: Nagar, Kartik, et al.
Published: (2020)
Partial Incorrectness Logic
by: Verscht, Lena, et al.
Published: (2025)
by: Verscht, Lena, et al.
Published: (2025)
Compositional Symbolic Execution for Correctness and Incorrectness Reasoning (Extended Version)
by: Lööw, Andreas, et al.
Published: (2024)
by: Lööw, Andreas, et al.
Published: (2024)
Outcome Separation Logic: Local Reasoning for Correctness and Incorrectness with Computational Effects
by: Zilberstein, Noam, et al.
Published: (2023)
by: Zilberstein, Noam, et al.
Published: (2023)
Proof Automation with Large Language Models
by: Lu, Minghai, et al.
Published: (2024)
by: Lu, Minghai, et al.
Published: (2024)
Quantitative Weakest Hyper Pre: Unifying Correctness and Incorrectness Hyperproperties via Predicate Transformers
by: Zhang, Linpeng, et al.
Published: (2024)
by: Zhang, Linpeng, et al.
Published: (2024)
DeCon: Detecting Incorrect Assertions via Postconditions Generated by a Large Language Model
by: Yu, Hao, et al.
Published: (2025)
by: Yu, Hao, et al.
Published: (2025)
Gradual Exact Logic: Unifying Hoare Logic and Incorrectness Logic via Gradual Verification
by: Zimmerman, Conrad, et al.
Published: (2024)
by: Zimmerman, Conrad, et al.
Published: (2024)
CRANE: Reasoning with constrained LLM generation
by: Banerjee, Debangshu, et al.
Published: (2025)
by: Banerjee, Debangshu, et al.
Published: (2025)
Typing Strictness (Extended Version)
by: Sainati, Daniel, et al.
Published: (2025)
by: Sainati, Daniel, et al.
Published: (2025)
Stream Types
by: Cutler, Joseph W., et al.
Published: (2023)
by: Cutler, Joseph W., et al.
Published: (2023)
Evaluating Program Semantics Reasoning with Type Inference in System F
by: He, Yifeng, et al.
Published: (2025)
by: He, Yifeng, et al.
Published: (2025)
Full Iso-recursive Types
by: Zhou, Litao, et al.
Published: (2024)
by: Zhou, Litao, et al.
Published: (2024)
Practical Type-Based Taint Checking and Inference (Extended Version)
by: Karimipour, Nima, et al.
Published: (2025)
by: Karimipour, Nima, et al.
Published: (2025)
Example-Based Reasoning about the Realizability of Polymorphic Programs
by: Mulleners, Niek, et al.
Published: (2024)
by: Mulleners, Niek, et al.
Published: (2024)
D-Hammer: Efficient Equational Reasoning for Labelled Dirac Notation
by: Xu, Yingte, et al.
Published: (2025)
by: Xu, Yingte, et al.
Published: (2025)
TypeDis: A Type System for Disentanglement
by: Moine, Alexandre, et al.
Published: (2025)
by: Moine, Alexandre, et al.
Published: (2025)
Type-level Property Based Testing
by: Hansen, Thomas Ekström, et al.
Published: (2024)
by: Hansen, Thomas Ekström, et al.
Published: (2024)
Local Type Inference for Context-Free Session Types
by: Almeida, Bernardo, et al.
Published: (2025)
by: Almeida, Bernardo, et al.
Published: (2025)
TypePro: Boosting LLM-Based Type Inference via Inter-Procedural Slicing
by: Lin, Teyu, et al.
Published: (2026)
by: Lin, Teyu, et al.
Published: (2026)
Efficient Selection of Type Annotations for Performance Improvement in Gradual Typing
by: Li, Senxi, et al.
Published: (2026)
by: Li, Senxi, et al.
Published: (2026)
Type-Based Termination for Futures
by: Somayyajula, Siva, et al.
Published: (2021)
by: Somayyajula, Siva, et al.
Published: (2021)
Type-Based Approaches to Rounding Error Analysis
by: Kellison, Ariel Eileen
Published: (2025)
by: Kellison, Ariel Eileen
Published: (2025)
Abstraction Functions as Types
by: Grodin, Harrison, et al.
Published: (2025)
by: Grodin, Harrison, et al.
Published: (2025)