:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	Yin, Haoxuan, Murawski, Andrzej S., Ong, C. -H. Luke
Format:	Preprint
Published:	2026
Subjects:	Programming Languages
Online Access:	https://arxiv.org/abs/2602.03033
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Guaranteed Bounds on Posterior Distributions of Discrete Probabilistic Programs with Loops
by: Zaiser, Fabian, et al.
Published: (2024)

Saturating automata for game semantics
by: Dixon, Alex, et al.
Published: (2023)

Static Posterior Inference of Bayesian Probabilistic Programming via Polynomial Solving
by: Wang, Peixin, et al.
Published: (2023)

Syntax Repair as Language Intersection
by: Considine, Breandan
Published: (2025)

Beyond Bayesian Model Averaging over Paths in Probabilistic Programs with Stochastic Support
by: Reichelt, Tim, et al.
Published: (2023)

Invertible Syntax without the Tuples (Functional Pearl)
by: Boespflug, Mathieu, et al.
Published: (2025)

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

Substitution for Non-Wellfounded Syntax with Binders through Monoidal Categories
by: Matthes, Ralph, et al.
Published: (2023)

Free Foil: Generating Efficient and Scope-Safe Abstract Syntax
by: Kudasov, Nikolai, et al.
Published: (2024)

Revisiting Code Similarity Evaluation with Abstract Syntax Tree Edit Distance
by: Song, Yewei, et al.
Published: (2024)

Syntax-Guided Automated Program Repair for Hyperproperties
by: Beutner, Raven, et al.
Published: (2024)

Useful Evaluation: Syntax and Semantics (Technical Report)
by: Barenbaum, Pablo, et al.
Published: (2024)

E-Graphs as a Persistent Compiler Abstraction
by: Merckx, Jules, et al.
Published: (2026)

The Continuous Tensor Abstraction: Where Indices are Real
by: Won, Jaeyeon, et al.
Published: (2024)

DRReduce: Enhancing Syntax-Guided Program Reduction with Dependency Reconstruction
by: Feng, Qiong, et al.
Published: (2026)

Syntax and Semantics of Linear Dependent Types
by: Vákár, Matthijs
Published: (2014)

Extended Abstract: Towards a Performance Comparison of Syntax and Type-Directed NbE
by: Gould, Chester J. F., et al.
Published: (2025)

Modeling Layout Abstractions Using Integer Set Relations
by: Bhaskaracharya, Somashekaracharya G, et al.
Published: (2025)

Bisimilarity in fresh-register automata
by: Murawski, Andrzej S., et al.
Published: (2020)

SAGE-HLS: Syntax-Aware AST-Guided LLM for High-Level Synthesis Code Generation
by: Khan, M Zafir Sadik, et al.
Published: (2025)

Abstractions of Sequences, Functions and Operators
by: Rustenholz, Louis, et al.
Published: (2025)

Abstractions-of-Thought: Intermediate Representations for LLM Reasoning in Hardware Design
by: DeLorenzo, Matthew, et al.
Published: (2025)

Collective Allocator Abstraction to Control Object Spatial Locality in C++
by: Hideshima, Takato, et al.
Published: (2024)

Full Iso-recursive Types
by: Zhou, Litao, et al.
Published: (2024)

Cutting Corners on Uncertainty: Zonotope Abstractions for Stream-based Runtime Monitoring
by: Finkbeiner, Bernd, et al.
Published: (2026)

Quantitative Verification of Omega-regular Properties in Probabilistic Programming
by: Wang, Peixin, et al.
Published: (2025)

WAMI: Compilation to WebAssembly through MLIR without Losing Abstraction
by: Kang, Byeongjee, et al.
Published: (2025)

Prompt Decorators: A Declarative and Composable Syntax for Reasoning, Formatting, and Control in LLMs
by: Heris, Mostapha Kalami
Published: (2025)

Linear-Time T-Gate Optimization via Random Abstraction
by: Albarghouthi, Aws
Published: (2026)

MetaML-Pro: Cross-Stage Design Flow Automation for Efficient Deep Learning Acceleration
by: Que, Zhiqiang, et al.
Published: (2025)

Catamorphic Abstractions for Constrained Horn Clause Satisfiability
by: De Angelis, Emanuele, et al.
Published: (2024)

Programming with High-Level Abstractions, Proceedings of the 3rd Workshop on Logic and Practice of Programming
by: Warren, David S., et al.
Published: (2024)

Contextual Metaprogramming for Session Types
by: Ângelo, Pedro, et al.
Published: (2026)

From Semantics to Syntax: A Type Theory for Comprehension Categories
by: Najmaei, Niyousha, et al.
Published: (2025)

Synthesizing Document Database Queries using Collection Abstractions
by: Liu, Qikang, et al.
Published: (2024)

ReGAL: Refactoring Programs to Discover Generalizable Abstractions
by: Stengel-Eskin, Elias, et al.
Published: (2024)

ZeroML: A Next Generation AutoML Language
by: Mahmud, Monirul Islam
Published: (2025)

Equivalence Checking of ML GPU Kernels
by: Dubey, Kshitij, et al.
Published: (2025)

MTP: A Meaning-Typed Language Abstraction for AI-Integrated Programming
by: Dantanarayana, Jayanaka L., et al.
Published: (2024)

Relax: Composable Abstractions for End-to-End Dynamic Machine Learning
by: Lai, Ruihang, et al.
Published: (2023)