Copertina

Oriented Metrics for Bottom-Up Enumerative Synthesis

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Meyer, Roland, Tepe, Jakob
Natura:	Preprint
Pubblicazione:	2025
Soggetti:	Programming Languages
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Realizability in Semantics-Guided Synthesis Done Eagerly
di: Meyer, Roland, et al.
Pubblicazione: (2024)

AbstractBeam: Enhancing Bottom-Up Program Synthesis using Library Learning
di: Zenkner, Janis, et al.
Pubblicazione: (2024)

Top-Down or Bottom-Up? Complexity Analyses of Synchronous Multiparty Session Types
di: Udomsrirungruang, Thien, et al.
Pubblicazione: (2024)

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

Context-Aware Separation Logic
di: Meyer, Roland, et al.
Pubblicazione: (2023)

MimIR: An Extensible and Type-Safe Intermediate Representation for the DSL Age
di: Leißa, Roland, et al.
Pubblicazione: (2024)

Polymorphic Bottom-Up Weighted Relational Programming
di: Volkov, Dmitri
Pubblicazione: (2026)

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

SNIP: Speculative Execution and Non-Interference Preservation for Compiler Transformations
di: van der Wall, Sören, et al.
Pubblicazione: (2024)

Bottom-Up Generation of Verilog Designs for Testing EDA Tools
di: Vieira, João Victor Amorim, et al.
Pubblicazione: (2025)

$φ$-Calculus: Object-Oriented Formalism
di: Bugayenko, Yegor, et al.
Pubblicazione: (2021)

Towards Neural Synthesis for SMT-Assisted Proof-Oriented Programming
di: Chakraborty, Saikat, et al.
Pubblicazione: (2024)

Minotaur: A SIMD-Oriented Synthesizing Superoptimizer
di: Liu, Zhengyang, et al.
Pubblicazione: (2023)

A Prolog Program for Bottom-up Evaluation
di: Warren, David S.
Pubblicazione: (2025)

Transition-Oriented Programming: Developing Provably Correct Systems
di: Ding, Yepeng
Pubblicazione: (2020)

An Enumerative Embedding of the Python Type System in ACL2s
di: Xifaras, Samuel, et al.
Pubblicazione: (2025)

Fixed-Point-Oriented Programming: A Concise and Elegant Paradigm
di: Foo, Yong Qi, et al.
Pubblicazione: (2025)

OOPredictor: Predicting Object-Oriented Accesses using Static Analysis
di: Arafat, Hassan, et al.
Pubblicazione: (2025)

SSA without Dominance for Higher-Order Programs
di: Leißa, Roland, et al.
Pubblicazione: (2026)

An Attempt to Catch Up with JIT Compilers: The False Lead of Optimizing Inline Caches
di: Poirier, Aurore, et al.
Pubblicazione: (2025)

Verifying Correctness of Shared Channels in a Cooperatively Scheduled Process-Oriented Language
di: Pedersen, Jan, et al.
Pubblicazione: (2025)

The nature of loops in programming
di: Meyer, Bertrand
Pubblicazione: (2025)

Omelets Need Onions: E-graphs Modulo Theories via Bottom-up E-matching
di: Zucker, Philip
Pubblicazione: (2025)

Tidying Up the Address Space
di: Banakar, Vinay, et al.
Pubblicazione: (2025)

I still know it's you! On Challenges in Anonymizing Source Code
di: Horlboge, Micha, et al.
Pubblicazione: (2022)

Qwerty: A Basis-Oriented Quantum Programming Language
di: Adams, Austin J., et al.
Pubblicazione: (2024)

Controllable and Reliable Knowledge-Intensive Task-Oriented Conversational Agents with Declarative Genie Worksheets
di: Joshi, Harshit, et al.
Pubblicazione: (2024)

GPU accelerated program synthesis: Enumerate semantics, not syntax!
di: Berger, Martin, et al.
Pubblicazione: (2025)

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

Optimal Predicate Pushdown Synthesis
di: Zhang, Robert, et al.
Pubblicazione: (2026)

Accurate Coverage Metrics for Compiler-Generated Debugging Information
di: Stinnett, J. Ryan, et al.
Pubblicazione: (2024)

Program Synthesis from Partial Traces
di: Ferreira, Margarida, et al.
Pubblicazione: (2025)

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

Language-Parametric Reference Synthesis (Extended)
di: Pelsmaeker, Daniel A. A., et al.
Pubblicazione: (2025)

Building A Proof-Oriented Programmer That Is 64% Better Than GPT-4o Under Data Scarcity
di: Zhang, Dylan, et al.
Pubblicazione: (2025)

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

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

Trace-Guided Synthesis of Effectful Test Generators
di: Zhou, Zhe, et al.
Pubblicazione: (2026)

Going Bananas! - Unfolding Program Synthesis with Origami
di: Fernandes, Matheus Campos, et al.
Pubblicazione: (2024)

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