:: Library Catalog

Imagen de Portada

Guardado en:

Detalles Bibliográficos
Autores principales:	Ko, Hsiang-Shang, Mu, Shin-Cheng, Gibbons, Jeremy
Formato:	Preprint
Publicado:	2025
Materias:	Programming Languages
Acceso en línea:	https://arxiv.org/abs/2503.04001
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

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

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

Profunctor Optics, a Categorical Update
por: Clarke, Bryce, et al.
Publicado: (2020)

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

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

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

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

Handling Scope Checks (Extended Version)
por: Lee, Michael, et al.
Publicado: (2026)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

The GPT-WritingPrompts Dataset: A Comparative Analysis of Character Portrayal in Short Stories
por: Huang, Xi Yu, et al.
Publicado: (2024)

A Proof-Producing Compiler for Blockchain Applications
por: Avigad, Jeremy, et al.
Publicado: (2025)

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

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

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

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

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

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

Reading Subtext: Evaluating Large Language Models on Short Story Summarization with Writers
por: Subbiah, Melanie, et al.
Publicado: (2024)

Gradual Metaprogramming
por: Chen, Tianyu, et al.
Publicado: (2025)

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

Evaluating Creative Short Story Generation in Humans and Large Language Models
por: Ismayilzada, Mete, et al.
Publicado: (2024)