Cover Image

Going Bananas! - Unfolding Program Synthesis with Origami

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Fernandes, Matheus Campos, de França, Fabrício Olivetti, Francesquini, Emilio
Format:	Preprint
Published:	2024
Subjects:	Programming Languages
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Origami: (un)folding the abstraction of recursion schemes for program synthesis
by: Fernandes, Matheus Campos, et al.
Published: (2024)

Program Synthesis for Non-Linear Real Arithmetic: Going Beyond Realizability
by: Akshay, S., et al.
Published: (2026)

Improving Genetic Programming for Symbolic Regression with Equality Graphs
by: de Franca, Fabricio Olivetti, et al.
Published: (2025)

Alleviating Overfitting in Transformation-Interaction-Rational Symbolic Regression with Multi-Objective Optimization
by: de Franca, Fabricio Olivetti
Published: (2025)

Modelling Program Spaces in Program Synthesis with Constraints
by: Hinnerichs, Tilman, et al.
Published: (2025)

Program Synthesis from Partial Traces
by: Ferreira, Margarida, et al.
Published: (2025)

Active Learning for Neurosymbolic Program Synthesis
by: Barnaby, Celeste, et al.
Published: (2025)

Template-based Program Synthesis using Stellensätze
by: Goharshady, Amir Kafshdar, et al.
Published: (2022)

Sound Interval-Based Synthesis for Probabilistic Programs
by: Espada, Guilherme, et al.
Published: (2025)

Optimal Program Synthesis via Abstract Interpretation
by: Mell, Stephen, et al.
Published: (2026)

Mason: Type- and Name-Guided Program Synthesis
by: Geer, Jasper, et al.
Published: (2026)

Proving Functional Program Equivalence via Directed Lemma Synthesis
by: Sun, Yican, et al.
Published: (2024)

Higher-Order Specifications for Deductive Synthesis of Programs with Pointers (Extended Version)
by: Young, David, et al.
Published: (2024)

Choose, Don't Label: Multiple-Choice Query Synthesis for Program Disambiguation
by: Barnaby, Celeste, et al.
Published: (2026)

Unfolding Iterators: Specification and Verification of Higher-Order Iterators, in OCaml
by: Chirica, Ion, et al.
Published: (2025)

Amortizing Pragmatic Program Synthesis with Rankings
by: Pu, Yewen, et al.
Published: (2024)

LLM-Guided Compositional Program Synthesis
by: Khan, Ruhma, et al.
Published: (2025)

Automating Pruning in Top-Down Enumeration for Program Synthesis Problems with Monotonic Semantics
by: Johnson, Keith J. C., et al.
Published: (2024)

Automating Unrealizability Logic: Hoare-Style Proof Synthesis for Infinite Sets of Programs
by: Nagy, Shaan, et al.
Published: (2024)

Presynthesis: Towards Scaling Up Program Synthesis with Finer-Grained Abstract Semantics
by: Dong, Rui, et al.
Published: (2026)

RefineStat: Efficient Exploration for Probabilistic Program Synthesis
by: Kanda, Madhav, et al.
Published: (2025)

Runtime Repeated Recursion Unfolding in CHR: A Just-In-Time Online Program Optimization Strategy That Can Achieve Super-Linear Speedup
by: Fruehwirth, Thom
Published: (2023)

Scaling Program Synthesis Based Technology Mapping with Equality Saturation
by: Smith, Gus Henry, et al.
Published: (2024)

FPGA Technology Mapping Using Sketch-Guided Program Synthesis
by: Smith, Gus Henry, et al.
Published: (2024)

HYSYNTH: Context-Free LLM Approximation for Guiding Program Synthesis
by: Barke, Shraddha, et al.
Published: (2024)

Neural Task Synthesis for Visual Programming
by: Pădurean, Victor-Alexandru, et al.
Published: (2023)

Quokka: Accelerating Program Verification with LLMs via Invariant Synthesis
by: Wei, Anjiang, et al.
Published: (2025)

Herb.jl: A Unifying Program Synthesis Library
by: Hinnerichs, Tilman, et al.
Published: (2025)

ExeDec: Execution Decomposition for Compositional Generalization in Neural Program Synthesis
by: Shi, Kensen, et al.
Published: (2023)

Program Synthesis using Inductive Logic Programming for the Abstraction and Reasoning Corpus
by: Rocha, Filipe Marinho, et al.
Published: (2024)

Towards Bug-Free Distributed Go Programs
by: Koo, Zhengqun
Published: (2025)

Newtonian Program Analysis of Probabilistic Programs
by: Wang, Di, et al.
Published: (2023)

C Analyzer : A Static Program Analysis Tool for C Programs
by: Solanki, Rajendra Kumar
Published: (2024)

Zorya: Automated Concolic Execution of Single-Threaded Go Binaries
by: Gorna, Karolina, et al.
Published: (2025)

A Flow Extension to Coroutine Types for Deadlock Detection in Go
by: Gu, Qiqi Jason, et al.
Published: (2026)

Synchronous Programming with Refinement Types
by: Chen, Jiawei, et al.
Published: (2024)

Tensor Network Structure Search with Program Synthesis
by: Guo, Zheng, et al.
Published: (2025)

CodeARC: Benchmarking Reasoning Capabilities of LLM Agents for Inductive Program Synthesis
by: Wei, Anjiang, et al.
Published: (2025)

Equality Graph Assisted Symbolic Regression
by: de Franca, Fabricio Olivetti, et al.
Published: (2025)

rEGGression: an Interactive and Agnostic Tool for the Exploration of Symbolic Regression Models
by: de Franca, Fabricio Olivetti, et al.
Published: (2025)