Enhanced Enumeration Techniques for Syntax-Guided Synthesis of Bit-Vector Manipulations

被引：0
|
作者：
Ding, Yuantian [1 ]
Qiu, Xiaokang [1 ]
机构：
[1] Purdue University, West Lafayette, United States
来源：
Proceedings of the ACM on Programming Languages | 2024年 / 8卷
关键词：
Graphic methods;
D O I：
暂无
中图分类号：
学科分类号：
摘要：
引用
收藏
相关论文
共 26 条
  • [21] Scalable Algorithms for Abduction via Enumerative Syntax-Guided Synthesis
    Reynolds, Andrew
    Barbosa, Haniel
    Larraz, Daniel
    Tinelli, Cesare
    AUTOMATED REASONING, PT I, 2020, 12166 : 141 - 160
  • [22] Syntax-Guided Synthesis for Lemma Generation in Hardware Model Checking
    Zhang, Hongce
    Gupta, Aarti
    Malik, Sharad
    VERIFICATION, MODEL CHECKING, AND ABSTRACT INTERPRETATION, VMCAI 2021, 2021, 12597 : 325 - 349
  • [23] Reinforcement Learning and Data-Generation for Syntax-Guided Synthesis
    Parsert, Julian
    Polgreen, Elizabeth
    THIRTY-EIGHTH AAAI CONFERENCE ON ARTIFICIAL INTELLIGENCE, VOL 38 NO 9, 2024, : 10670 - 10678
  • [24] Exact and Approximate Methods for Proving Unrealizability of Syntax-Guided Synthesis Problems
    Hu, Qinheping
    Cyphert, John
    D'Antoni, Loris
    Reps, Thomas
    PROCEEDINGS OF THE 41ST ACM SIGPLAN CONFERENCE ON PROGRAMMING LANGUAGE DESIGN AND IMPLEMENTATION (PLDI '20), 2020, : 1128 - 1142
  • [25] Synthesis of Domain Specific CNF Encoders for Bit-Vector Solvers
    Inala, Jeevana Priya
    Singh, Rohit
    Solar-Lezama, Armando
    THEORY AND APPLICATIONS OF SATISFIABILITY TESTING - SAT 2016, 2016, 9710 : 302 - 320
  • [26] NL2Viz: Natural Language to Visualization via Constrained Syntax-Guided Synthesis
    Wu, Zhengkai
    Vu Le
    Tiwari, Ashish
    Gulwani, Sumit
    Radhakrishna, Arjun
    Radicek, Ivan
    Soares, Gustavo
    Wang, Xinyu
    Li, Zhenwen
    Xie, Tao
    PROCEEDINGS OF THE 30TH ACM JOINT MEETING EUROPEAN SOFTWARE ENGINEERING CONFERENCE AND SYMPOSIUM ON THE FOUNDATIONS OF SOFTWARE ENGINEERING, ESEC/FSE 2022, 2022, : 972 - 983
123