Image de couverture de livre

Semantic-Type-Guided Bug Finding

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Qian, Kelvin, Smith, Scott, Stride, Brandon, Weng, Shiwei, Wu, Ke
Format:	Preprint
Publié:	2024
Sujets:	Programming Languages
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

UBfuzz: Finding Bugs in Sanitizer Implementations
par: Li, Shaohua, et autres
Publié: (2024)

A Pure Demand Operational Semantics with Applications to Program Analysis
par: Smith, Scott, et autres
Publié: (2023)

Sheaf-Cohomological Program Analysis: Unifying Bug Finding, Equivalence, and Verification via Čech Cohomology
par: Young, Halley
Publié: (2026)

TYPEPULSE: Detecting Type Confusion Bugs in Rust Programs
par: Chen, Hung-Mao, et autres
Publié: (2025)

Finding Compiler Bugs through Cross-Language Code Generator and Differential Testing
par: Feng, Qiong, et autres
Publié: (2025)

Finding Logic Bugs in Spatial Database Engines via Affine Equivalent Inputs
par: Deng, Wenjing, et autres
Publié: (2024)

The Power of Types: Exploring the Impact of Type Checking on Neural Bug Detection in Dynamically Typed Languages
par: Chen, Boqi, et autres
Publié: (2024)

Typing Composable Coroutines
par: Gu, Qiqi, et autres
Publié: (2023)

BugLens: Leveraging Bisection for Lightweight Compiler Bug Deduplication
par: Zhou, Xintong, et autres
Publié: (2025)

PreciseBugCollector: Extensible, Executable and Precise Bug-fix Collection
par: Ye, He, et autres
Publié: (2023)

On the Semantic Expressiveness of Iso- and Equi-Recursive Types
par: Devriese, Dominique, et autres
Publié: (2020)

Typing Fallback Functions: A Semantic Approach to Type Safe Smart Contracts
par: Lybech, Stian, et autres
Publié: (2025)

An Empirical Study of Rust-Specific Bugs in the rustc Compiler
par: Liu, Zixi, et autres
Publié: (2025)

Beyond the Phase Ordering Problem: Finding the Globally Optimal Code w.r.t. Optimization Phases
par: Wang, Yu, et autres
Publié: (2024)

Mason: Type- and Name-Guided Program Synthesis
par: Geer, Jasper, et autres
Publié: (2026)

InEx-Bug: A Human Annotated Dataset of Intrinsic and Extrinsic Bugs in the NPM Ecosystem
par: Wright, Tanner, et autres
Publié: (2026)

Type, Ability, and Effect Systems: Perspectives on Purity, Semantics, and Expressiveness
par: Bao, Yuyan, et autres
Publié: (2025)

Typing Requirement Model as Coroutines
par: Gu, Qiqi, et autres
Publié: (2024)

Evaluating Program Semantics Reasoning with Type Inference in System F
par: He, Yifeng, et autres
Publié: (2025)

Denotational Semantics of Gradual Typing using Synthetic Guarded Domain Theory (Extended Version)
par: Giovannini, Eric, et autres
Publié: (2024)

We've Got You Covered: Type-Guided Repair of Incomplete Input Generators
par: LaFontaine, Patrick, et autres
Publié: (2025)

GWP-ASan: Sampling-Based Detection of Memory-Safety Bugs in Production
par: Serebryany, Kostya, et autres
Publié: (2023)

Realizability in Semantics-Guided Synthesis Done Eagerly
par: Meyer, Roland, et autres
Publié: (2024)

Verifying Solutions to Semantics-Guided Synthesis Problems
par: Murphy, Charlie, et autres
Publié: (2024)

A Flow Extension to Coroutine Types for Deadlock Detection in Go
par: Gu, Qiqi Jason, et autres
Publié: (2026)

Syntax and Semantics of Linear Dependent Types
par: Vákár, Matthijs
Publié: (2014)

Petri Nets-based Methods on Automatically Detecting for Concurrency Bugs in Rust Programs
par: Zhang, Kaiwen, et autres
Publié: (2022)

Arguzz: Testing zkVMs for Soundness and Completeness Bugs
par: Hochrainer, Christoph, et autres
Publié: (2025)

TypeDis: A Type System for Disentanglement
par: Moine, Alexandre, et autres
Publié: (2025)

Finding $\forall\exists$ Hyperbugs using Symbolic Execution
par: Correnson, Arthur, et autres
Publié: (2025)

Learning to Guarantee Type Correctness in Code Generation through Type-Guided Program Synthesis
par: Huang, Zhechong, et autres
Publié: (2025)

Local Type Inference for Context-Free Session Types
par: Almeida, Bernardo, et autres
Publié: (2025)

Stream Types
par: Cutler, Joseph W., et autres
Publié: (2023)

Efficient Selection of Type Annotations for Performance Improvement in Gradual Typing
par: Li, Senxi, et autres
Publié: (2026)

Gradient-Based Program Repair: Fixing Bugs in Continuous Program Spaces
par: Silva, André, et autres
Publié: (2025)

Presynthesis: Towards Scaling Up Program Synthesis with Finer-Grained Abstract Semantics
par: Dong, Rui, et autres
Publié: (2026)

Typing Composite Subjects
par: Aceto, Luca, et autres
Publié: (2024)

Modal Effect Types
par: Tang, Wenhao, et autres
Publié: (2024)

Polymorphic Coverage Types
par: Zhou, Zhe, et autres
Publié: (2023)

Abstraction Functions as Types
par: Grodin, Harrison, et autres
Publié: (2025)