Buchumschlag

Synthesizing Optimal Object Selection Predicates for Image Editing using Lattices

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	He, Yang, Liu, Xiaoyu, Wang, Yuepeng
Format:	Preprint
Veröffentlicht:	2025
Schlagworte:	Programming Languages
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Synthesizing Document Database Queries using Collection Abstractions
von: Liu, Qikang, et al.
Veröffentlicht: (2024)

Optimal Predicate Pushdown Synthesis
von: Zhang, Robert, et al.
Veröffentlicht: (2026)

Graphiti: Bridging Graph and Relational Database Queries
von: He, Yang, et al.
Veröffentlicht: (2025)

VeriEQL: Bounded Equivalence Verification for Complex SQL Queries with Integrity Constraints
von: He, Yang, et al.
Veröffentlicht: (2024)

Inductive Synthesis of Inductive Heap Predicates -- Extended Version
von: Yang, Ziyi, et al.
Veröffentlicht: (2025)

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

Polygon: Symbolic Reasoning for SQL using Conflict-Driven Under-Approximation Search
von: Zhao, Pinhan, et al.
Veröffentlicht: (2025)

Logical Predicates in Higher-Order Mathematical Operational Semantics
von: Goncharov, Sergey, et al.
Veröffentlicht: (2024)

On the Origins of Objects by Means of Careful Selection
von: Bugayenko, Yegor, et al.
Veröffentlicht: (2022)

Synthesizing Specifications
von: Park, Kanghee, et al.
Veröffentlicht: (2023)

Minotaur: A SIMD-Oriented Synthesizing Superoptimizer
von: Liu, Zhengyang, et al.
Veröffentlicht: (2023)

AlloyASG: Alloy Predicate Code Representation as a Compact Structurally Balanced Graph
von: Wu, Guanxuan, et al.
Veröffentlicht: (2024)

Synthesizing Formal Semantics from Executable Interpreters
von: Liu, Jiangyi, et al.
Veröffentlicht: (2024)

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

Synthesizing JSON Schema Transformers
von: Stanek, Jack, et al.
Veröffentlicht: (2024)

Generative Explanations for Program Synthesizers
von: Nazari, Amirmohammad, et al.
Veröffentlicht: (2024)

SpotIt+: Verification-based Text-to-SQL Evaluation with Database Constraints
von: Tremante, Andrew, et al.
Veröffentlicht: (2026)

Synthesizing Trajectory Queries from Examples
von: Mell, Stephen, et al.
Veröffentlicht: (2026)

Synthesizing Backward Error Bounds, Backward
von: Zielinski, Laura, et al.
Veröffentlicht: (2026)

LOUD: Synthesizing Strongest and Weakest Specifications
von: Park, Kanghee, et al.
Veröffentlicht: (2024)

OOPredictor: Predicting Object-Oriented Accesses using Static Analysis
von: Arafat, Hassan, et al.
Veröffentlicht: (2025)

From Batch to Stream: Automatic Generation of Online Algorithms
von: Wang, Ziteng, et al.
Veröffentlicht: (2024)

Synthesizing Abstract Transformers for Reduced-Product Domains
von: Kalita, Pankaj Kumar, et al.
Veröffentlicht: (2024)

Towards Automated Verification of LLM-Synthesized C Programs
von: Mukherjee, Prasita, et al.
Veröffentlicht: (2024)

Synthesizing DSLs for Few-Shot Learning
von: Krogmeier, Paul, et al.
Veröffentlicht: (2025)

Quantitative Weakest Hyper Pre: Unifying Correctness and Incorrectness Hyperproperties via Predicate Transformers
von: Zhang, Linpeng, et al.
Veröffentlicht: (2024)

Nice to Meet You: Synthesizing Practical MLIR Abstract Transformers
von: Peng, Xuanyu, et al.
Veröffentlicht: (2025)

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

Do Large Code Models Understand Programming Concepts? Counterfactual Analysis for Code Predicates
von: Hooda, Ashish, et al.
Veröffentlicht: (2024)

Hybrid Structured Editing: Structures for Tools, Text for Users
von: Beckmann, Tom, et al.
Veröffentlicht: (2026)

Automated Code Editing with Search-Generate-Modify
von: Liu, Changshu, et al.
Veröffentlicht: (2023)

SkyEgg: Joint Implementation Selection and Scheduling for Hardware Synthesis using E-graphs
von: Xiao, Youwei, et al.
Veröffentlicht: (2025)

Testing and Understanding Erroneous Planning in LLM Agents through Synthesized User Inputs
von: Ji, Zhenlan, et al.
Veröffentlicht: (2024)

Synthesizing Invariants for Polynomial Programs by Semidefinite Programming
von: Wu, Hao, et al.
Veröffentlicht: (2023)

Doc2Spec: Synthesizing Formal Programming Specifications from Natural Language via Grammar Induction
von: Xia, Shihao, et al.
Veröffentlicht: (2026)

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

QLCoder: A Query Synthesizer For Static Analysis of Security Vulnerabilities
von: Wang, Claire, et al.
Veröffentlicht: (2025)

Synthesizing Tight Privacy and Accuracy Bounds via Weighted Model Counting
von: Oakley, Lisa, et al.
Veröffentlicht: (2024)

Evolution Language Framework for Persistent Objects
von: Kamina, Tetsuo, et al.
Veröffentlicht: (2025)

Automatic Inference of Relational Object Invariants
von: Su, Yusen, et al.
Veröffentlicht: (2024)