Copertina

Synthesizing Optimal Object Selection Predicates for Image Editing using Lattices

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	He, Yang, Liu, Xiaoyu, Wang, Yuepeng
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

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

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

Graphiti: Bridging Graph and Relational Database Queries
di: He, Yang, et al.
Pubblicazione: (2025)

VeriEQL: Bounded Equivalence Verification for Complex SQL Queries with Integrity Constraints
di: He, Yang, et al.
Pubblicazione: (2024)

Inductive Synthesis of Inductive Heap Predicates -- Extended Version
di: Yang, Ziyi, et al.
Pubblicazione: (2025)

SkipFlow: Improving the Precision of Points-to Analysis using Primitive Values and Predicate Edges
di: Kozak, David, et al.
Pubblicazione: (2025)

Polygon: Symbolic Reasoning for SQL using Conflict-Driven Under-Approximation Search
di: Zhao, Pinhan, et al.
Pubblicazione: (2025)

Logical Predicates in Higher-Order Mathematical Operational Semantics
di: Goncharov, Sergey, et al.
Pubblicazione: (2024)

On the Origins of Objects by Means of Careful Selection
di: Bugayenko, Yegor, et al.
Pubblicazione: (2022)

Synthesizing Specifications
di: Park, Kanghee, et al.
Pubblicazione: (2023)

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

AlloyASG: Alloy Predicate Code Representation as a Compact Structurally Balanced Graph
di: Wu, Guanxuan, et al.
Pubblicazione: (2024)

Synthesizing Formal Semantics from Executable Interpreters
di: Liu, Jiangyi, et al.
Pubblicazione: (2024)

A Taxonomy of Hoare-Like Logics: Towards a Holistic View using Predicate Transformers and Kleene Algebras with Top and Tests
di: Verscht, Lena, et al.
Pubblicazione: (2024)

Synthesizing JSON Schema Transformers
di: Stanek, Jack, et al.
Pubblicazione: (2024)

Generative Explanations for Program Synthesizers
di: Nazari, Amirmohammad, et al.
Pubblicazione: (2024)

SpotIt+: Verification-based Text-to-SQL Evaluation with Database Constraints
di: Tremante, Andrew, et al.
Pubblicazione: (2026)

Synthesizing Trajectory Queries from Examples
di: Mell, Stephen, et al.
Pubblicazione: (2026)

Synthesizing Backward Error Bounds, Backward
di: Zielinski, Laura, et al.
Pubblicazione: (2026)

LOUD: Synthesizing Strongest and Weakest Specifications
di: Park, Kanghee, et al.
Pubblicazione: (2024)

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

From Batch to Stream: Automatic Generation of Online Algorithms
di: Wang, Ziteng, et al.
Pubblicazione: (2024)

Synthesizing Abstract Transformers for Reduced-Product Domains
di: Kalita, Pankaj Kumar, et al.
Pubblicazione: (2024)

Towards Automated Verification of LLM-Synthesized C Programs
di: Mukherjee, Prasita, et al.
Pubblicazione: (2024)

Synthesizing DSLs for Few-Shot Learning
di: Krogmeier, Paul, et al.
Pubblicazione: (2025)

Quantitative Weakest Hyper Pre: Unifying Correctness and Incorrectness Hyperproperties via Predicate Transformers
di: Zhang, Linpeng, et al.
Pubblicazione: (2024)

Nice to Meet You: Synthesizing Practical MLIR Abstract Transformers
di: Peng, Xuanyu, et al.
Pubblicazione: (2025)

Predicate-Argument Structure Divergences in Chinese and English Parallel Sentences and their Impact on Language Transfer
di: Tripodi, Rocco, et al.
Pubblicazione: (2025)

Do Large Code Models Understand Programming Concepts? Counterfactual Analysis for Code Predicates
di: Hooda, Ashish, et al.
Pubblicazione: (2024)

Hybrid Structured Editing: Structures for Tools, Text for Users
di: Beckmann, Tom, et al.
Pubblicazione: (2026)

Automated Code Editing with Search-Generate-Modify
di: Liu, Changshu, et al.
Pubblicazione: (2023)

SkyEgg: Joint Implementation Selection and Scheduling for Hardware Synthesis using E-graphs
di: Xiao, Youwei, et al.
Pubblicazione: (2025)

Testing and Understanding Erroneous Planning in LLM Agents through Synthesized User Inputs
di: Ji, Zhenlan, et al.
Pubblicazione: (2024)

Synthesizing Invariants for Polynomial Programs by Semidefinite Programming
di: Wu, Hao, et al.
Pubblicazione: (2023)

Doc2Spec: Synthesizing Formal Programming Specifications from Natural Language via Grammar Induction
di: Xia, Shihao, et al.
Pubblicazione: (2026)

Beyond the Phase Ordering Problem: Finding the Globally Optimal Code w.r.t. Optimization Phases
di: Wang, Yu, et al.
Pubblicazione: (2024)

QLCoder: A Query Synthesizer For Static Analysis of Security Vulnerabilities
di: Wang, Claire, et al.
Pubblicazione: (2025)

Synthesizing Tight Privacy and Accuracy Bounds via Weighted Model Counting
di: Oakley, Lisa, et al.
Pubblicazione: (2024)

Evolution Language Framework for Persistent Objects
di: Kamina, Tetsuo, et al.
Pubblicazione: (2025)

Automatic Inference of Relational Object Invariants
di: Su, Yusen, et al.
Pubblicazione: (2024)