Semantic-Type-Guided Bug Finding
Fuente:
arXiv
Saved in:
| Main Authors: | , , , , |
|---|---|
| Format: | Preprint |
| Published: |
2024
|
| Subjects: | |
| Online Access: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Similar Items
UBfuzz: Finding Bugs in Sanitizer Implementations
by: Li, Shaohua, et al.
Published: (2024)
by: Li, Shaohua, et al.
Published: (2024)
A Pure Demand Operational Semantics with Applications to Program Analysis
by: Smith, Scott, et al.
Published: (2023)
by: Smith, Scott, et al.
Published: (2023)
Sheaf-Cohomological Program Analysis: Unifying Bug Finding, Equivalence, and Verification via Čech Cohomology
by: Young, Halley
Published: (2026)
by: Young, Halley
Published: (2026)
TYPEPULSE: Detecting Type Confusion Bugs in Rust Programs
by: Chen, Hung-Mao, et al.
Published: (2025)
by: Chen, Hung-Mao, et al.
Published: (2025)
Finding Compiler Bugs through Cross-Language Code Generator and Differential Testing
by: Feng, Qiong, et al.
Published: (2025)
by: Feng, Qiong, et al.
Published: (2025)
Finding Logic Bugs in Spatial Database Engines via Affine Equivalent Inputs
by: Deng, Wenjing, et al.
Published: (2024)
by: Deng, Wenjing, et al.
Published: (2024)
The Power of Types: Exploring the Impact of Type Checking on Neural Bug Detection in Dynamically Typed Languages
by: Chen, Boqi, et al.
Published: (2024)
by: Chen, Boqi, et al.
Published: (2024)
Typing Composable Coroutines
by: Gu, Qiqi, et al.
Published: (2023)
by: Gu, Qiqi, et al.
Published: (2023)
BugLens: Leveraging Bisection for Lightweight Compiler Bug Deduplication
by: Zhou, Xintong, et al.
Published: (2025)
by: Zhou, Xintong, et al.
Published: (2025)
PreciseBugCollector: Extensible, Executable and Precise Bug-fix Collection
by: Ye, He, et al.
Published: (2023)
by: Ye, He, et al.
Published: (2023)
On the Semantic Expressiveness of Iso- and Equi-Recursive Types
by: Devriese, Dominique, et al.
Published: (2020)
by: Devriese, Dominique, et al.
Published: (2020)
Typing Fallback Functions: A Semantic Approach to Type Safe Smart Contracts
by: Lybech, Stian, et al.
Published: (2025)
by: Lybech, Stian, et al.
Published: (2025)
An Empirical Study of Rust-Specific Bugs in the rustc Compiler
by: Liu, Zixi, et al.
Published: (2025)
by: Liu, Zixi, et al.
Published: (2025)
Beyond the Phase Ordering Problem: Finding the Globally Optimal Code w.r.t. Optimization Phases
by: Wang, Yu, et al.
Published: (2024)
by: Wang, Yu, et al.
Published: (2024)
Mason: Type- and Name-Guided Program Synthesis
by: Geer, Jasper, et al.
Published: (2026)
by: Geer, Jasper, et al.
Published: (2026)
InEx-Bug: A Human Annotated Dataset of Intrinsic and Extrinsic Bugs in the NPM Ecosystem
by: Wright, Tanner, et al.
Published: (2026)
by: Wright, Tanner, et al.
Published: (2026)
Type, Ability, and Effect Systems: Perspectives on Purity, Semantics, and Expressiveness
by: Bao, Yuyan, et al.
Published: (2025)
by: Bao, Yuyan, et al.
Published: (2025)
Typing Requirement Model as Coroutines
by: Gu, Qiqi, et al.
Published: (2024)
by: Gu, Qiqi, et al.
Published: (2024)
Evaluating Program Semantics Reasoning with Type Inference in System F
by: He, Yifeng, et al.
Published: (2025)
by: He, Yifeng, et al.
Published: (2025)
Denotational Semantics of Gradual Typing using Synthetic Guarded Domain Theory (Extended Version)
by: Giovannini, Eric, et al.
Published: (2024)
by: Giovannini, Eric, et al.
Published: (2024)
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)
GWP-ASan: Sampling-Based Detection of Memory-Safety Bugs in Production
by: Serebryany, Kostya, et al.
Published: (2023)
by: Serebryany, Kostya, et al.
Published: (2023)
Realizability in Semantics-Guided Synthesis Done Eagerly
by: Meyer, Roland, et al.
Published: (2024)
by: Meyer, Roland, et al.
Published: (2024)
Verifying Solutions to Semantics-Guided Synthesis Problems
by: Murphy, Charlie, et al.
Published: (2024)
by: Murphy, Charlie, et al.
Published: (2024)
A Flow Extension to Coroutine Types for Deadlock Detection in Go
by: Gu, Qiqi Jason, et al.
Published: (2026)
by: Gu, Qiqi Jason, et al.
Published: (2026)
Syntax and Semantics of Linear Dependent Types
by: Vákár, Matthijs
Published: (2014)
by: Vákár, Matthijs
Published: (2014)
Petri Nets-based Methods on Automatically Detecting for Concurrency Bugs in Rust Programs
by: Zhang, Kaiwen, et al.
Published: (2022)
by: Zhang, Kaiwen, et al.
Published: (2022)
Arguzz: Testing zkVMs for Soundness and Completeness Bugs
by: Hochrainer, Christoph, et al.
Published: (2025)
by: Hochrainer, Christoph, et al.
Published: (2025)
TypeDis: A Type System for Disentanglement
by: Moine, Alexandre, et al.
Published: (2025)
by: Moine, Alexandre, et al.
Published: (2025)
Finding $\forall\exists$ Hyperbugs using Symbolic Execution
by: Correnson, Arthur, et al.
Published: (2025)
by: Correnson, Arthur, et al.
Published: (2025)
Learning to Guarantee Type Correctness in Code Generation through Type-Guided Program Synthesis
by: Huang, Zhechong, et al.
Published: (2025)
by: Huang, Zhechong, et al.
Published: (2025)
Local Type Inference for Context-Free Session Types
by: Almeida, Bernardo, et al.
Published: (2025)
by: Almeida, Bernardo, et al.
Published: (2025)
Stream Types
by: Cutler, Joseph W., et al.
Published: (2023)
by: Cutler, Joseph W., et al.
Published: (2023)
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)
Gradient-Based Program Repair: Fixing Bugs in Continuous Program Spaces
by: Silva, André, et al.
Published: (2025)
by: Silva, André, et al.
Published: (2025)
Presynthesis: Towards Scaling Up Program Synthesis with Finer-Grained Abstract Semantics
by: Dong, Rui, et al.
Published: (2026)
by: Dong, Rui, et al.
Published: (2026)