Cover Image

Fail Faster: Staging and Fast Randomness for High-Performance PBT

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Richey, Cynthia, Cutler, Joseph W., Goldstein, Harrison, Pierce, Benjamin C.
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

Stream Types
by: Cutler, Joseph W., et al.
Published: (2023)

The Search for Constrained Random Generators
by: Goldstein, Harrison, et al.
Published: (2025)

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

Typing Strictness (Extended Version)
by: Sainati, Daniel, et al.
Published: (2025)

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

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

Pattern Matching in AI Compilers and its Formalization (Extended Version)
by: Cutler, Joseph W., et al.
Published: (2024)

Cedar: A New Language for Expressive, Fast, Safe, and Analyzable Authorization (Extended Version)
by: Cutler, Joseph W., et al.
Published: (2024)

Programmable Property-Based Testing
by: Keles, Alperen, et al.
Published: (2026)

Hear Your Code Fail, Voice-Assisted Debugging for Python
by: Amiri, Sayed Mahbub Hasan, et al.
Published: (2025)

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

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

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

Faster Verified Explanations for Neural Networks
by: De Palma, Alessandro, et al.
Published: (2025)

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

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

Fast Atomicity Monitoring
by: Tun, Hünkar Can, et al.
Published: (2026)

ALEA IACTA EST: A Declarative Domain-Specific Language for Manually Performable Random Experiments
by: Widemann, Baltasar Trancón y, et al.
Published: (2025)

A Demonic Outcome Logic for Randomized Nondeterminism
by: Zilberstein, Noam, et al.
Published: (2024)

Fast and Extensible Hybrid Embeddings with Micros
by: Bocirnea, Sean, et al.
Published: (2025)

Staged Specification Logic for Verifying Higher-Order Imperative Programs (Technical Report)
by: Foo, Darius, et al.
Published: (2023)

Fully Randomized Pointers
by: Phaye, Sai Dhawal, et al.
Published: (2024)

Fast Trigonometric Functions using the RLIBM Approach
by: Park, Sehyeok, et al.
Published: (2025)

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

Augmented Weak Distance for Fast and Accurate Bounds Checking
by: Fu, Zhoulai, et al.
Published: (2025)

Fast Collection Operations from Indexed Stream Fusion
by: Kovach, Scott, et al.
Published: (2025)

KATch: A Fast Symbolic Verifier for NetKAT
by: Moeller, Mark, et al.
Published: (2024)

TPDE: A Fast Adaptable Compiler Back-End Framework
by: Schwarz, Tobias, et al.
Published: (2025)

QPanda3: A High-Performance Software-Hardware Collaborative Framework for Large-Scale Quantum-Classical Computing Integration
by: Zou, Tianrui, et al.
Published: (2025)

PerfCodeBench: Benchmarking LLMs for System-Level High-Performance Code Optimization
by: Jing, Huihao, et al.
Published: (2026)

A Novel Compiler Transformation for Fast Sparse Matrix Multiplication in GPUs
by: Albakri, Hossein, et al.
Published: (2025)

Making Formulog Fast: An Argument for Unconventional Datalog Evaluation (Extended Version)
by: Bembenek, Aaron, et al.
Published: (2024)

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

Scalable Floating-Point Satisfiability via Staged Optimization
by: Zhang, Yuanzhuo, et al.
Published: (2026)

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

Foundational VeriFast: Pragmatic Certification of Verification Tool Results through Hinted Mirroring
by: Jacobs, Bart
Published: (2026)

Coverage Semantics for Dependent Pattern Matching
by: Eremondi, Joseph, et al.
Published: (2025)

Correctness is Demanding, Performance is Frustrating
by: Sinkarovs, Artjoms, et al.
Published: (2024)

Theorem Provers: One Size Fits All?
by: Oates, Harrison, et al.
Published: (2025)

Proceedings of the 2024 miniKanren and Relational Programming Workshop
by: Verbitskaia, Ekaterina, et al.
Published: (2024)