Imagen de Portada

The Search for Constrained Random Generators

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	Goldstein, Harrison, Peleg, Hila, Torczon, Cassia, Sainati, Daniel, Lampropoulos, Leonidas, Pierce, Benjamin C.
Formato:	Preprint
Publicado:	2025
Materias:	Programming Languages
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

Programmable Property-Based Testing
por: Keles, Alperen, et al.
Publicado: (2026)

Typing Strictness (Extended Version)
por: Sainati, Daniel, et al.
Publicado: (2025)

Etna: An Evaluation Platform for Property-Based Testing
por: Keles, Alperen, et al.
Publicado: (2026)

Fail Faster: Staging and Fast Randomness for High-Performance PBT
por: Richey, Cynthia, et al.
Publicado: (2025)

Formalizing Stack Safety as a Security Property
por: Anderson, Sean Noble, et al.
Publicado: (2021)

Mica: Automated Differential Testing for OCaml Modules
por: Ng, Ernest, et al.
Publicado: (2024)

Pantograph: A Fluid and Typed Structure Editor
por: Prinz, Jacob, et al.
Publicado: (2024)

Programming Not Only by Example
por: Peleg, Hila, et al.
Publicado: (2017)

COGNAC: Circuit Optimization via Gradients and Noise-Aware Compilation
por: Voichick, Finn, et al.
Publicado: (2023)

Kotlin's Type System is (Also) Unsound
por: Kinsbruner, Elad, et al.
Publicado: (2024)

Effects and Coeffects in Call-By-Push-Value (Extended Version)
por: Torczon, Cassia, et al.
Publicado: (2023)

Compositional Quantum Control Flow with Efficient Compilation in Qunity
por: Mints, Mikhail, et al.
Publicado: (2025)

Tuning Random Generators: Property-Based Testing as Probabilistic Programming
por: Tjoa, Ryan, et al.
Publicado: (2025)

Object Graph Programming
por: Thimmaiah, Aditya, et al.
Publicado: (2024)

Stream Types
por: Cutler, Joseph W., et al.
Publicado: (2023)

DIRT: Database-Integrated Random Testing
por: Keles, Alperen, et al.
Publicado: (2026)

Decision-Oriented Programming with Aporia
por: Kasibatla, Saketh Ram, et al.
Publicado: (2026)

Constrained Code Generation with Discrete Diffusion
por: Shao, Lize, et al.
Publicado: (2026)

Modular GPU Programming with Typed Perspectives
por: Bansal, Manya, et al.
Publicado: (2025)

Explorable Theorems: Making Written Theorems Explorable by Grounding Them in Formal Representations
por: Kambhamettu, Hita, et al.
Publicado: (2026)

Modular probabilistic programming with algebraic effects (MSc Thesis 2019)
por: Goldstein, Oliver, et al.
Publicado: (2024)

Representing Molecules with Algebraic Data Types: Beyond SMILES and SELFIES
por: Goldstein, Oliver, et al.
Publicado: (2025)

Random Variate Generation with Formal Guarantees
por: Saad, Feras A., et al.
Publicado: (2025)

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

Bounded Exhaustive Random Program Generation for Testing Solidity Compilers
por: Ma, Haoyang, et al.
Publicado: (2025)

Abstraction Functions as Types
por: Grodin, Harrison, et al.
Publicado: (2025)

Automated Code Editing with Search-Generate-Modify
por: Liu, Changshu, et al.
Publicado: (2023)

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

Fully Randomized Pointers
por: Phaye, Sai Dhawal, et al.
Publicado: (2024)

Automated Verification of Tree-Manipulating Programs Using Constrained Horn Clauses
por: Faella, Marco, et al.
Publicado: (2024)

Correctness-Guaranteed Code Generation via Constrained Decoding
por: Li, Lingxiao, et al.
Publicado: (2025)

Zippy -- Generic White-Box Proof Search with Zippers
por: Kappelmann, Kevin
Publicado: (2025)

AutoChip: Automating HDL Generation Using LLM Feedback
por: Thakur, Shailja, et al.
Publicado: (2023)

MLIR-Smith: A Novel Random Program Generator for Evaluating Compiler Pipelines
por: Ates, Berke, et al.
Publicado: (2026)

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

SUQL: Conversational Search over Structured and Unstructured Data with Large Language Models
por: Liu, Shicheng, et al.
Publicado: (2023)

Rewrite System Showdown: Stochastic Search vs. EqSat
por: Hong, Qiantan, et al.
Publicado: (2026)

Qmod: Expressive High-Level Quantum Modeling
por: Vax, Matan, et al.
Publicado: (2025)

Generating Functions Meet Occupation Measures: Invariant Synthesis for Probabilistic Loops (Extended Version)
por: Haase, Darion, et al.
Publicado: (2026)

Visualizing miniKanren Search with a Fine-Grained Small-Step Semantics
por: Pfingsten, Brysen, et al.
Publicado: (2025)