Cover Image

Type-Error Ablation and AI Coding Agents

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Krishnamurthi, Shriram, Flatt, Matthew
Format:	Preprint
Published:	2026
Subjects:	Programming Languages
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Privacy-Respecting Type Error Telemetry at Scale
by: Greenman, Ben, et al.
Published: (2024)

An Interactive Debugger for Rust Trait Errors
by: Gray, Gavin, et al.
Published: (2025)

Profiling Programming Language Learning
by: Crichton, Will, et al.
Published: (2024)

Conceptual Mutation Testing for Student Programming Misconceptions
by: Prasad, Siddhartha, et al.
Published: (2023)

Grounded Language Design for Lightweight Diagramming for Formal Methods
by: Prasad, Siddhartha, et al.
Published: (2024)

A Calculus for Unreachable Code
by: Zhong, Peter, et al.
Published: (2024)

Type-Based Approaches to Rounding Error Analysis
by: Kellison, Ariel Eileen
Published: (2025)

Static Type Checking for Database Access Code
by: Kirz, Thomas James, et al.
Published: (2026)

Verifying Fault-Tolerance of Quantum Error Correction Codes
by: Chen, Kean, et al.
Published: (2025)

Dynamic Program Slices Change How Developers Diagnose Gradual Run-Time Type Errors
by: Schwerter, Felipe Bañados, et al.
Published: (2025)

Modernizing SMT-Based Type Error Localization
by: Kopinsky, Max, et al.
Published: (2024)

Numerical Fuzz: A Type System for Rounding Error Analysis
by: Kellison, Ariel E., et al.
Published: (2024)

Multiparty Session Types with a Bang!
by: Brun, Matthew Alan Le, et al.
Published: (2025)

Getting into the Flow: Towards Better Type Error Messages for Constraint-Based Type Inference
by: Bhanuka, Ishan, et al.
Published: (2024)

MAG$π$!: The Role of Replication in Typing Failure-Prone Communication
by: Brun, Matthew Alan Le, et al.
Published: (2024)

Type-Constrained Code Generation with Language Models
by: Mündler, Niels, et al.
Published: (2025)

VeriAgent: A Tool-Integrated Multi-Agent System with Evolving Memory for PPA-Aware RTL Code Generation
by: Wang, Yaoxiang, et al.
Published: (2026)

Understanding How CodeLLMs (Mis)Predict Types with Activation Steering
by: Lucchetti, Francesca, et al.
Published: (2024)

Goanna: Resolving Haskell Type Errors With Minimal Correction Subsets
by: Fu, Shuai, et al.
Published: (2024)

Quantitative Comparison of Credible Compilation and Verification In Coding Agent Compiler Development
by: Rinard, Martin
Published: (2026)

AI Coding Agents Need Better Compiler Remarks
by: Deo, Akash, et al.
Published: (2026)

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

Code Broker: A Multi-Agent System for Automated Code Quality Assessment
by: Attrah, Samer
Published: (2026)

Rule-Based Error Classification for Analyzing Differences in Frequent Errors
by: Shirafuji, Atsushi, et al.
Published: (2023)

Learning to Guarantee Type Correctness in Code Generation through Type-Guided Program Synthesis
by: Huang, Zhechong, et al.
Published: (2025)

Synthesizing Backward Error Bounds, Backward
by: Zielinski, Laura, et al.
Published: (2026)

TypeDis: A Type System for Disentanglement
by: Moine, Alexandre, et al.
Published: (2025)

Policy as Code, Policy as Type
by: Fuchs, Matthew D.
Published: (2025)

Local Type Inference for Context-Free Session Types
by: Almeida, Bernardo, et al.
Published: (2025)

Validating AI-Generated Code with Live Programming
by: Ferdowsi, Kasra, et al.
Published: (2023)

Stream Types
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)

MTP: A Meaning-Typed Language Abstraction for AI-Integrated Programming
by: Dantanarayana, Jayanaka L., et al.
Published: (2024)

VisCoder2: Building Multi-Language Visualization Coding Agents
by: Ni, Yuansheng, et al.
Published: (2025)

LecPrompt: A Prompt-based Approach for Logical Error Correction with CodeBERT
by: Xu, Zhenyu, et al.
Published: (2024)

StackPilot: Autonomous Function Agents for Scalable and Environment-Free Code Execution
by: Zhao, Xinkui, et al.
Published: (2025)

SymCode: A Neurosymbolic Approach to Mathematical Reasoning via Verifiable Code Generation
by: Nezhad, Sina Bagheri, et al.
Published: (2025)

AI-Mediated Code Comment Improvement
by: Dhakal, Maria, et al.
Published: (2025)

Polymorphic Coverage Types
by: Zhou, Zhe, et al.
Published: (2023)

Abstraction Functions as Types
by: Grodin, Harrison, et al.
Published: (2025)