:: Library Catalog

Imagen de Portada

Guardado en:

Detalles Bibliográficos
Autores principales:	Richey, Cynthia, Cutler, Joseph W., Goldstein, Harrison, Pierce, Benjamin C.
Formato:	Preprint
Publicado:	2025
Materias:	Programming Languages
Acceso en línea:	https://arxiv.org/abs/2503.19797
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

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

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

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

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

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

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

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

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

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

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

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

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

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)

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

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

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

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

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

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

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

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

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

Verifying Cake-Cutting, Faster
por: Bertram, Noah, et al.
Publicado: (2024)

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

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

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

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

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

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

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

Amortized Analysis via Coalgebra
por: Grodin, Harrison, et al.
Publicado: (2024)

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

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

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

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

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

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

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

Optimizing Quantum Circuits, Fast and Slow
por: Xu, Amanda, et al.
Publicado: (2024)