Cover Image

We've Got You Covered: Type-Guided Repair of Incomplete Input Generators

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	LaFontaine, Patrick, Zhou, Zhe, Mishra, Ashish, Jagannathan, Suresh, Delaware, Benjamin
Format:	Preprint
Published:	2025
Subjects:	Programming Languages
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

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

Type-Based Incorrectness Reasoning
by: Zhou, Zhe, et al.
Published: (2025)

Trace-Guided Synthesis of Effectful Test Generators
by: Zhou, Zhe, et al.
Published: (2026)

From Traces to Program Incorrectness: A Type-Theoretic Approach
by: Yuan, Yongwei, et al.
Published: (2025)

A HAT Trick: Automatically Verifying Representation Invariants Using Symbolic Finite Automata
by: Zhou, Zhe, et al.
Published: (2024)

“We've Got to Keep You Where You Are”: Rent Banks as Eviction Prevention
by: Alison Smith, et al.
Published: (2026)

Liquid Tree Automata
by: Mishra, Ashish, et al.
Published: (2026)

Close is Good Enough: Component-Based Synthesis Modulo Logical Similarity
by: Mishra, Ashish, et al.
Published: (2025)

We've Got You Covered: Rebooting American Health Careby LiranEinav and AmyFinkelstein. Penguin, 2023, 304 pp., $29 (paperback).
by: Naomi Zewde, et al.
Published: (2025)

Derivative-Guided Symbolic Execution
by: Yuan, Yongwei, et al.
Published: (2024)

Thinking beyond "the Way We've Always Done It"
by: Ohler, Lila
Published: (2013)

Towards Automated Verification of LLM-Synthesized C Programs
by: Mukherjee, Prasita, et al.
Published: (2024)

Taypsi: Static Enforcement of Privacy Policies for Policy-Agnostic Oblivious Computation
by: Ye, Qianchuan, et al.
Published: (2023)

ACRL and Community College Libraries: We've Been Framed!
by: Craven, Heather
Published: (2016)

Now That We've Found the "Hidden Web," What Can We Do with It?
by: Cole, Timothy W., et al.
Published: (2002)

You've Got a Friend.
by: Politzer, Linda
Published: (1999)

You've Got a Friend
by: Woeste, Marianne
Published: (2008)

The Academic Media Center: Where We've Been, Where We Are, and Where We Are Going.
by: Laskowski, Mary Schneider
Published: (2000)

Information Literacy and the Public Library: We've Talked the Talk, but Are We Walking the Walk?
by: Harding, Jane
Published: (2008)

KestRel: Relational Verification Using E-Graphs for Program Alignment
by: Dickerson, Robert, et al.
Published: (2024)

As If We've Met Before: LLMs Exhibit Certainty in Recognizing Seen Files
by: Li, Haodong, et al.
Published: (2025)

Semantics, Specification, and Bounded Verification of Concurrent Libraries in Replicated Systems
by: Nagar, Kartik, et al.
Published: (2020)

We've Done Research, Now What? Multimedia Authoring As a Report Tool.
by: Larose-Kuzenko, Michelle
Published: (2000)

You've Got to be Efficient: Ambiguity, Misspecification and Variational Preferences
by: Adusumilli, Karun
Published: (2026)

Proof Automation with Large Language Models
by: Lu, Minghai, et al.
Published: (2024)

What We've Learned From Doing Usability Testing on OpenURL Resolvers and Federated Search Engines
by: Cervone, Frank
Published: (2005)

Post‐Coronavirus Disease ( COVID )‐19 Irritable Bowel Syndrome: What We've Learned So Far
by: Uday C. Ghoshal, et al.
Published: (2026)

You've Got the Hook: Droppin' Science on School Libraries and the Future of Learning
by: Mardis, Marcia A.
Published: (2009)

The Modern Public Library and Melvil Dewey: What He Changed, What We've Changed, and What Hasn't Changed.
by: Salmon, Laura E.
Published: (2000)

Input-Gen: Guided Generation of Stateful Inputs for Testing, Tuning, and Training
by: Ivanov, Ivan R., et al.
Published: (2024)

You've Got a Golden Ticket: Improving Generative Robot Policies With A Single Noise Vector
by: Patil, Omkar, et al.
Published: (2026)

Adaptive Proof Refinement with LLM-Guided Strategy Selection
by: Lu, Minghai, et al.
Published: (2025)

You've Got to Feel It To Believe It: Multi-Modal Bayesian Inference for Semantic and Property Prediction
by: Ewen, Parker, et al.
Published: (2024)

You've Got Too Much Mail: Tips for Interacting with Your Peers in Discussion Groups
Published: (2004)

‘We've Taken on a More Advanced Clinical Role’: A Multimethod Study of Community Nurses' Extended Roles in Palliative Care
by: Ben Bowers, et al.
Published: (2025)

Proof Repair across Quotient Type Equivalences
by: Viola, Cosmo, et al.
Published: (2023)

Introducing Linear Implication Types to $λ_{GT}$ for Computing With Incomplete Graphs
by: Sano, Jin, et al.
Published: (2025)

Chapter 10 'You don't Need Proof When You've Got Instinct!': Gut Feelings and Some Limits to Parental Authority
by: Meulen, ter, Ruud, et al.
Published: (2019)

Making the Most of What We Have Got: Enhancing the RADAR Repository to Support Research Planning
by: Pike, Dawn, et al.
Published: (2017)

I've Got 99 Problems But FLOPS Ain't One
by: Gherghescu, Alexandru M., et al.
Published: (2024)