Buchumschlag

Mason: Type- and Name-Guided Program Synthesis

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Geer, Jasper, Huston, Fox, Foster, Jeffrey S.
Format:	Preprint
Veröffentlicht:	2026
Schlagworte:	Programming Languages
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

DafnyMPI: A Dafny Library for Verifying Message-Passing Concurrent Programs
von: Fedchin, Aleksandr, et al.
Veröffentlicht: (2025)

Learning to Guarantee Type Correctness in Code Generation through Type-Guided Program Synthesis
von: Huang, Zhechong, et al.
Veröffentlicht: (2025)

Place Capability Graphs: A General-Purpose Model of Rust's Ownership and Borrowing Guarantees
von: Grannan, Zachary, et al.
Veröffentlicht: (2025)

LLM-Guided Compositional Program Synthesis
von: Khan, Ruhma, et al.
Veröffentlicht: (2025)

FPGA Technology Mapping Using Sketch-Guided Program Synthesis
von: Smith, Gus Henry, et al.
Veröffentlicht: (2024)

HYSYNTH: Context-Free LLM Approximation for Guiding Program Synthesis
von: Barke, Shraddha, et al.
Veröffentlicht: (2024)

Synchronous Programming with Refinement Types
von: Chen, Jiawei, et al.
Veröffentlicht: (2024)

Semantic-Type-Guided Bug Finding
von: Qian, Kelvin, et al.
Veröffentlicht: (2024)

Dependent Session Types for Verified Concurrent Programming
von: Fu, Qiancheng, et al.
Veröffentlicht: (2025)

Special Delivery: Programming with Mailbox Types (Extended Version)
von: Fowler, Simon, et al.
Veröffentlicht: (2023)

Program Synthesis from Partial Traces
von: Ferreira, Margarida, et al.
Veröffentlicht: (2025)

Active Learning for Neurosymbolic Program Synthesis
von: Barnaby, Celeste, et al.
Veröffentlicht: (2025)

Privacy-Respecting Type Error Telemetry at Scale
von: Greenman, Ben, et al.
Veröffentlicht: (2024)

Weighted NetKAT: A Programming Language For Quantitative Network Verification
von: Acevedo, Emmanuel Suárez, et al.
Veröffentlicht: (2026)

Type-Driven Prompt Programming: From Typed Interfaces to a Calculus of Constraints
von: Paul, Abhijit
Veröffentlicht: (2025)

Towards Formal Verification of Hybrid Synchronous Programs with Refinement Types
von: Dane, Serra Z., et al.
Veröffentlicht: (2026)

From Traces to Program Incorrectness: A Type-Theoretic Approach
von: Yuan, Yongwei, et al.
Veröffentlicht: (2025)

Optimal Program Synthesis via Abstract Interpretation
von: Mell, Stephen, et al.
Veröffentlicht: (2026)

Template-based Program Synthesis using Stellensätze
von: Goharshady, Amir Kafshdar, et al.
Veröffentlicht: (2022)

Going Bananas! - Unfolding Program Synthesis with Origami
von: Fernandes, Matheus Campos, et al.
Veröffentlicht: (2024)

Sound Interval-Based Synthesis for Probabilistic Programs
von: Espada, Guilherme, et al.
Veröffentlicht: (2025)

Trace-Guided Synthesis of Effectful Test Generators
von: Zhou, Zhe, et al.
Veröffentlicht: (2026)

typedKanren: Statically Typed Relational Programming with Exhaustive Matching in Haskell
von: Kudasov, Nikolai, et al.
Veröffentlicht: (2024)

Modelling Program Spaces in Program Synthesis with Constraints
von: Hinnerichs, Tilman, et al.
Veröffentlicht: (2025)

Quantum Simulation Programming via Typing
von: Li, Liyi, et al.
Veröffentlicht: (2025)

Logic Programming with Extensible Types
von: Perez, Ivan, et al.
Veröffentlicht: (2026)

Speak Now: Safe Actor Programming with Multiparty Session Types (Extended Version)
von: Fowler, Simon, et al.
Veröffentlicht: (2026)

Designing Walrus: Relational Programming with Rich Types, On-Demand Laziness, and Structured Traces
von: Cuéllar, Santiago, et al.
Veröffentlicht: (2025)

Evaluating Program Semantics Reasoning with Type Inference in System F
von: He, Yifeng, et al.
Veröffentlicht: (2025)

Proving Functional Program Equivalence via Directed Lemma Synthesis
von: Sun, Yican, et al.
Veröffentlicht: (2024)

Defining Name Accessibility using Scope Graphs (Extended Edition)
von: Zwaan, Aron, et al.
Veröffentlicht: (2024)

BRIDGE: Building Representations In Domain Guided Program Synthesis
von: George, Robert Joseph, et al.
Veröffentlicht: (2025)

DeCo: A Core Calculus for Incremental Functional Programming with Generic Data Types
von: Böhler, Timon, et al.
Veröffentlicht: (2026)

We've Got You Covered: Type-Guided Repair of Incomplete Input Generators
von: LaFontaine, Patrick, et al.
Veröffentlicht: (2025)

Choose, Don't Label: Multiple-Choice Query Synthesis for Program Disambiguation
von: Barnaby, Celeste, et al.
Veröffentlicht: (2026)

Higher-Order Specifications for Deductive Synthesis of Programs with Pointers (Extended Version)
von: Young, David, et al.
Veröffentlicht: (2024)

Dependently-Typed AARA: A Non-Affine Approach for Resource Analysis of Higher-Order Programs
von: Xu, Han, et al.
Veröffentlicht: (2026)

TYPEPULSE: Detecting Type Confusion Bugs in Rust Programs
von: Chen, Hung-Mao, et al.
Veröffentlicht: (2025)

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

Amortizing Pragmatic Program Synthesis with Rankings
von: Pu, Yewen, et al.
Veröffentlicht: (2024)