Cover Image

Inductive Predicate Synthesis Modulo Programs (Extended)

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Wesley, Scott, Christakis, Maria, Navas, Jorge A., Trefler, Richard, Wüstholz, Valentin, Gurfinkel, Arie
Format:	Preprint
Published:	2024
Subjects:	Software Engineering
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Arguzz: Testing zkVMs for Soundness and Completeness Bugs
by: Hochrainer, Christoph, et al.
Published: (2025)

Automatically Testing Functional Properties of Code Translation Models
by: Eniser, Hasan Ferit, et al.
Published: (2023)

Fuzzing Processing Pipelines for Zero-Knowledge Circuits
by: Hochrainer, Christoph, et al.
Published: (2024)

Ownership in low-level intermediate representation
by: Priya, Siddharth, et al.
Published: (2024)

Unlocking the Power of Environment Assumptions for Unit Proofs
by: Priya, Siddharth, et al.
Published: (2024)

LinguaQuanta: Towards a Quantum Transpiler Between OpenQASM and Quipper (Extended)
by: Wesley, Scott
Published: (2024)

PredicateFix: Repairing Static Analysis Alerts with Bridging Predicates
by: Xiao, Yuan-An, et al.
Published: (2025)

Evaluating Large Language Models in Code Generation: INFINITE Methodology for Defining the Inference Index
by: Christakis, Nicholas, et al.
Published: (2025)

Locus: Agentic Predicate Synthesis for Directed Fuzzing
by: Zhu, Jie, et al.
Published: (2025)

Specification Mining for Smart Contracts with Trace Slicing and Predicate Abstraction
by: Liu, Ye, et al.
Published: (2024)

Numeric Truncation Security Predicate
by: Mezhuev, Timofey, et al.
Published: (2023)

Extending ResourceLink: Patterns for Large Dataset Processing in MCP Applications
by: Frees, Scott
Published: (2025)

ProbTest: Unit Testing for Probabilistic Programs (Extended Version)
by: Christensen, Katrine, et al.
Published: (2025)

Towards Translating Real-World Code with LLMs: A Study of Translating to Rust
by: Eniser, Hasan Ferit, et al.
Published: (2024)

Towards Automatic Translation of Machine Learning Visual Insights to Analytical Assertions
by: Shome, Arumoy, et al.
Published: (2024)

Predictable and Performant Reactive Synthesis Modulo Theories via Functional Synthesis
by: Rodríguez, Andoni, et al.
Published: (2024)

QEMI: A Quantum Software Stacks Testing Framework via Equivalence Modulo Inputs
by: Luo, Junjie, et al.
Published: (2026)

Code Red! On the Harmfulness of Applying Off-the-shelf Large Language Models to Programming Tasks
by: Al-Kaswan, Ali, et al.
Published: (2025)

IPSynth: Interprocedural Program Synthesis for Software Security Implementation
by: Shokri, Ali, et al.
Published: (2024)

Beyond Resolution Rates: Behavioral Drivers of Coding Agent Success and Failure
by: Mehtiyev, Tural, et al.
Published: (2026)

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

Enchanting Program Specification Synthesis by Large Language Models using Static Analysis and Program Verification
by: Wen, Cheng, et al.
Published: (2024)

Understanding Feedback Mechanisms in Machine Learning Jupyter Notebooks
by: Shome, Arumoy, et al.
Published: (2024)

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

Test-Oriented Programming: rethinking coding for the GenAI era
by: Melegati, Jorge
Published: (2026)

Synthesizing Inductive Invariants for Distributed Protocols via IC3 and Large Language Models
by: Cao, Weining, et al.
Published: (2026)

Generating Diverse Hypotheses for Inductive Reasoning
by: Lee, Kang-il, et al.
Published: (2024)

Towards Causal Analysis of Empirical Software Engineering Data: The Impact of Programming Languages on Coding Competitions
by: Furia, Carlo A., et al.
Published: (2023)

Abductive Vibe Coding (Extended Abstract)
by: Murphy, Logan, et al.
Published: (2026)

Applying Bayesian Analysis Guidelines to Empirical Software Engineering Data: The Case of Programming Languages and Code Quality
by: Furia, Carlo A., et al.
Published: (2021)

Automated Repair of OpenID Connect Programs (Extended Version)
by: Rahat, Tamjid Al, et al.
Published: (2025)

SpecSyn: LLM-based Synthesis and Refinement of Formal Specifications for Real-world Program Verification
by: Ma, Lezhi, et al.
Published: (2026)

Online Prompt Selection for Program Synthesis
by: Li, Yixuan, et al.
Published: (2025)

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

Where are the Hidden Gems? Applying Transformer Models for Design Discussion Detection
by: Arkoh, Lawrence, et al.
Published: (2026)

Reproducing, Extending, and Analyzing Naming Experiments
by: Alpern, Rachel, et al.
Published: (2024)

Extending Business Process Management for Regulatory Transparency
by: Kiesel, Jannis, et al.
Published: (2024)

An Extended Pattern Collection for Blockchain-based Applications
by: Xu, Xiwei, et al.
Published: (2025)

Model-based Maintenance and Evolution with GenAI: A Look into the Future
by: Marchezan, Luciano, et al.
Published: (2024)

Contemporary Software Modernization: Perspectives and Challenges to Deal with Legacy Systems
by: Assunção, Wesley K. G., et al.
Published: (2024)