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 条
  • [1] Enhanced Enumeration Techniques for Syntax-Guided Synthesis of Bit-Vector Manipulations
    Ding, Yuantian
    Qiu, Xiaokang
    PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL, 2024, 8 (POPL):
  • [2] Syntax-Guided Enumeration of Temporal Properties
    Martino, Gianluca
    Fey, Goerschwin
    PROCEEDINGS OF THE 2019 FORUM ON SPECIFICATION AND DESIGN LANGUAGES (FDL), 2019,
  • [3] Syntax-Guided Synthesis
    Alur, Rajeev
    Bodik, Rastislav
    Dallal, Eric
    Fisman, Dana
    Garg, Pranav
    Juniwal, Garvit
    Kress-Gazit, Hadas
    Madhusudan, P.
    Martin, Milo M. K.
    Raghothaman, Mukund
    Saha, Shamwaditya
    Seshia, Sanjit A.
    Singh, Rishabh
    Solar-Lezama, Armando
    Torlak, Emina
    Udupa, Abhishek
    DEPENDABLE SOFTWARE SYSTEMS ENGINEERING, 2015, 40 : 1 - 25
  • [4] Syntax-Guided Synthesis
    Alur, Rajeev
    Bodik, Rastislav
    Juniwal, Garvit
    Martin, Milo M. K.
    Raghothaman, Mukund
    Seshia, Sanjit A.
    Singh, Rishabh
    Solar-Lezama, Armando
    Torlak, Emina
    Udupa, Abhishek
    2013 FORMAL METHODS IN COMPUTER-AIDED DESIGN (FMCAD), 2013, : 1 - 8
  • [5] Syntax-Guided Rewrite Rule Enumeration for SMT Solvers
    Notzli, Andres
    Reynolds, Andrew
    Barbosa, Haniel
    Niemetz, Aina
    Preiner, Mathias
    Barrett, Clark
    Tinelli, Cesare
    THEORY AND APPLICATIONS OF SATISFIABILITY TESTING - SAT 2019, 2019, 11628 : 279 - 297
  • [6] Accelerating Syntax-Guided Invariant Synthesis
    Fedyukovich, Grigory
    Bodik, Rastislav
    TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS, TACAS 2018, PT I, 2018, 10805 : 251 - 269
  • [7] Grammar Filtering for Syntax-Guided Synthesis
    Morton, Kairo
    Hallahan, William
    Shum, Elven
    Piskac, Ruzica
    Santolucito, Mark
    THIRTY-FOURTH AAAI CONFERENCE ON ARTIFICIAL INTELLIGENCE, THE THIRTY-SECOND INNOVATIVE APPLICATIONS OF ARTIFICIAL INTELLIGENCE CONFERENCE AND THE TENTH AAAI SYMPOSIUM ON EDUCATIONAL ADVANCES IN ARTIFICIAL INTELLIGENCE, 2020, 34 : 1611 - 1618
  • [8] CVC4SY: Smart and Fast Term Enumeration for Syntax-Guided Synthesis
    Reynolds, Andrew
    Barbosa, Haniel
    Notzli, Andres
    Barrett, Clark
    Tinelli, Cesare
    COMPUTER AIDED VERIFICATION, CAV 2019, PT II, 2019, 11562 : 74 - 83
  • [9] Syntax-Guided Synthesis of Datalog Programs
    Si, Xujie
    Lee, Woosuk
    Zhang, Richard
    Albarghouthi, Aws
    Koutris, Paraschos
    Naik, Mayur
    ESEC/FSE'18: PROCEEDINGS OF THE 2018 26TH ACM JOINT MEETING ON EUROPEAN SOFTWARE ENGINEERING CONFERENCE AND SYMPOSIUM ON THE FOUNDATIONS OF SOFTWARE ENGINEERING, 2018, : 515 - 527
  • [10] Proving Unrealizability for Syntax-Guided Synthesis
    Hu, Qinheping
    Breck, Jason
    Cyphert, John
    D'Antoni, Loris
    Reps, Thomas
    COMPUTER AIDED VERIFICATION, CAV 2019, PT I, 2019, 11561 : 335 - 352
123