Cover Image

Binomial Tabulation: A Short Story

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Ko, Hsiang-Shang, Mu, Shin-Cheng, Gibbons, Jeremy
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

Bottom-up computation using trees of sublists (Functional Pearl)
by: Mu, Shin-Cheng
Published: (2023)

Story of Your Lazy Function's Life: A Bidirectional Demand Semantics for Mechanized Cost Analysis of Lazy Programs
by: Xia, Li-yao, et al.
Published: (2024)

vLLM Hook v0: A Plug-in for Programming Model Internals on vLLM
by: Ko, Ching-Yun, et al.
Published: (2026)

Profunctor Optics, a Categorical Update
by: Clarke, Bryce, et al.
Published: (2020)

Unboxed data constructors -- or, how cpp decides a halting problem
by: Chataing, Nicolas, et al.
Published: (2023)

Handling Scope Checks (Extended Version)
by: Lee, Michael, et al.
Published: (2026)

Programming Backpropagation with Reverse Handlers for Arrows
by: Sanada, Takahiro, et al.
Published: (2026)

Efficient Dynamic Algorithms to Predict Short Races
by: Zhang, Minjian, et al.
Published: (2026)

VeriAgent: A Tool-Integrated Multi-Agent System with Evolving Memory for PPA-Aware RTL Code Generation
by: Wang, Yaoxiang, et al.
Published: (2026)

ReSyn: A Generalized Recursive Regular Expression Synthesis Framework
by: Kim, Seongmin, et al.
Published: (2026)

A Categorical Framework for Program Semantics and Semantic Abstraction
by: Katsumata, Shin-ya, et al.
Published: (2023)

Nanopass Back-Translation of Call-Return Trees for Mechanized Secure Compilation Proofs
by: Thibault, Jérémy, et al.
Published: (2025)

Let's Take Esoteric Programming Languages Seriously
by: Singer, Jeremy, et al.
Published: (2025)

The Translation of Circumlocution in Arabic Short Stories into English
by: Shehab, Dalal Waadallah
Published: (2024)

BALI: Branch-Aware Loop Invariant Inference with Large Language Models
by: Wang, Mingxiu, et al.
Published: (2025)

Taming the Beast: Fully Automated Unit Testing with Coyote C++
by: Rho, Sanghoon, et al.
Published: (2024)

Denotation-based Compositional Compiler Verification
by: Cheng, Zhang, et al.
Published: (2024)

An LLM-powered Natural-to-Robotic Language Translation Framework with Correctness Guarantees
by: Chen, ZhenDong, et al.
Published: (2025)

CF-GKAT: Efficient Validation of Control-Flow Transformations
by: Zhang, Cheng, et al.
Published: (2024)

L0-Reasoning Bench: Evaluating Procedural Correctness in Language Models via Simple Program Execution
by: Sun, Simeng, et al.
Published: (2025)

Folding the Heighway dragon curve
by: Chang, Ting-Wu, et al.
Published: (2026)

Long Story Short: Story-level Video Understanding from 20K Short Films
by: Ghermi, Ridouane, et al.
Published: (2024)

Enhancing Programming Education with ChatGPT: A Case Study on Student Perceptions and Interactions in a Python Course
by: Ma, Boxaun, et al.
Published: (2024)

Semantic Logical Relations for Timed Message-Passing Protocols (Extended Version)
by: Yao, Yue, et al.
Published: (2024)

RTLCoder: Outperforming GPT-3.5 in Design RTL Generation with Our Open-Source Dataset and Lightweight Solution
by: Liu, Shang, et al.
Published: (2023)

eqsat: An Equality Saturation Dialect for Non-destructive Rewriting
by: Merckx, Jules, et al.
Published: (2025)

Paradigm-Based Automatic HDL Code Generation Using LLMs
by: Sun, Wenhao, et al.
Published: (2025)

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

LPR: Large Language Models-Aided Program Reduction
by: Zhang, Mengxiao, et al.
Published: (2023)

AutoCode: LLMs as Problem Setters for Competitive Programming
by: Zhou, Shang, et al.
Published: (2025)

SecCoder: Towards Generalizable and Robust Secure Code Generation
by: Zhang, Boyu, et al.
Published: (2024)

Quest Complete: the Holy Grail of Gradual Security
by: Chen, Tianyu, et al.
Published: (2023)

COBOLAssist: Analyzing and Fixing Compilation Errors for LLM-Powered COBOL Code Generation
by: Dau, Anh T. V., et al.
Published: (2026)

COBOL-Coder: Domain-Adapted Large Language Models for COBOL Code Generation and Translation
by: Dau, Anh T. V., et al.
Published: (2026)

Gradual Metaprogramming
by: Chen, Tianyu, et al.
Published: (2025)

Taming Scope Extrusion in Gradual Imperative Metaprogramming
by: Chen, Tianyu, et al.
Published: (2026)

OpenCoder: The Open Cookbook for Top-Tier Code Large Language Models
by: Huang, Siming, et al.
Published: (2024)

Making a Long Story Short in Conversation Modeling
by: Tao, Yufei, et al.
Published: (2024)

From Algebraic Word Problem to Program: A Formalized Approach
by: Wiemerslage, Adam, et al.
Published: (2020)

Beyond BLEU: A Semantic Evaluation Method for Code Translation
by: Näumann, Julius, et al.
Published: (2026)