• case-insensitive prefix search: default
  e.g., sig matches "SIGIR" as well as "signal"
• exact word search: append dollar sign ($) to word
  e.g., graph$ matches "graph", but not "graphics"
• boolean and: separate words by space
  e.g., codd model
• boolean or: connect words by pipe symbol (|)
  e.g., graph|network

Update May 7, 2017: Please note that we had to disable the phrase search operator (.) and the boolean not operator (-) due to technical problems. For the time being, phrase search queries will yield regular prefix search result, and search terms preceded by a minus will be interpreted as regular (positive) search terms.

found 36 matches

• 2024
• 
  Yuantian Ding, Xiaokang Qiu:
  Enhanced Enumeration Techniques for Syntax-Guided Synthesis of Bit-Vector Manipulations. Proc. ACM Program. Lang. 8(POPL): 2129-2159 (2024)
• 
  Julian Parsert, Elizabeth Polgreen:
  Reinforcement Learning and Data-Generation for Syntax-Guided Synthesis. AAAI 2024: 10670-10678
• 2023
• 
  Katrine Bjørner, Samuel Judson, Filip Cano, Drew Goldman, Nicholas Shoemaker, Ruzica Piskac, Bettina Könighofer:
  Formal XAI via Syntax-Guided Synthesis. AISoLA 2023: 119-137
• 
  Julian Parsert, Elizabeth Polgreen:
  Reinforcement Learning for Syntax-Guided Synthesis. CoRR abs/2307.09564 (2023)
• 2022
• 
  Wonhyuk Choi, Bernd Finkbeiner, Ruzica Piskac, Mark Santolucito:
  Can reactive synthesis and syntax-guided synthesis be friends? PLDI 2022: 229-243
• 
  Zhengkai Wu, Vu Le, Ashish Tiwari, Sumit Gulwani, Arjun Radhakrishna, Ivan Radicek, Gustavo Soares, Xinyu Wang, Zhenwen Li, Tao Xie:
  NL2Viz: natural language to visualization via constrained syntax-guided synthesis. ESEC/SIGSOFT FSE 2022: 972-983
• 2021
• 
  Dana Fisman, Rishabh Singh, Armando Solar-Lezama:
  Special Issue on Syntax-Guided Synthesis Preface. Formal Methods Syst. Des. 58(3): 469-470 (2021)
• 
  Wonhyuk Choi:
  Can reactive synthesis and syntax-guided synthesis be friends? SPLASH (Companion) 2021: 3-5
• 
  Hongce Zhang, Aarti Gupta, Sharad Malik:
  Syntax-Guided Synthesis for Lemma Generation in Hardware Model Checking. VMCAI 2021: 325-349
• 2020
• 
  Kairo Morton, William T. Hallahan, Elven Shum, Ruzica Piskac, Mark Santolucito:
  Grammar Filtering for Syntax-Guided Synthesis. AAAI 2020: 1611-1618
• 
  Andrew Reynolds, Haniel Barbosa, Daniel Larraz, Cesare Tinelli:
  Scalable Algorithms for Abduction via Enumerative Syntax-Guided Synthesis. IJCAR (1) 2020: 141-160
• 
  M. Fareed Arif, Daniel Larraz, Mitziu Echeverria, Andrew Reynolds, Omar Chowdhury, Cesare Tinelli:
  SYSLITE: Syntax-Guided Synthesis of PLTL Formulas from Finite Traces. FMCAD 2020: 93-103
• 
  Qinheping Hu, John Cyphert, Loris D'Antoni, Thomas W. Reps:
  Exact and approximate methods for proving unrealizability of syntax-guided synthesis problems. PLDI 2020: 1128-1142
• 
  Kairo Morton, William T. Hallahan, Elven Shum, Ruzica Piskac, Mark Santolucito:
  Grammar Filtering For Syntax-Guided Synthesis. CoRR abs/2002.02884 (2020)
• 
  Qinheping Hu, John Cyphert, Loris D'Antoni, Thomas W. Reps:
  Exact and Approximate Methods for Proving Unrealizability of Syntax-Guided Synthesis Problems. CoRR abs/2004.00878 (2020)
• 
  Nicolas Chan, Elizabeth Polgreen, Sanjit A. Seshia:
  Gradient Descent over Metagrammars for Syntax-Guided Synthesis. CoRR abs/2007.06677 (2020)
• 
  Elizabeth Polgreen, Sanjit A. Seshia:
  SynRG: Syntax Guided Synthesis of Invariants with Alternating Quantifiers. CoRR abs/2007.10519 (2020)
• 
  Daniel Neider, Bishwamittra Ghosh:
  Probably Approximately Correct Explanations of Machine Learning Models via Syntax-Guided Synthesis. CoRR abs/2009.08770 (2020)
• 2019
• 
  Grigory Fedyukovich, Sumanth Prabhu, Kumar Madhukar, Aarti Gupta:
  Quantified Invariants via Syntax-Guided Synthesis. CAV (1) 2019: 259-277
• 
  Qinheping Hu, Jason Breck, John Cyphert, Loris D'Antoni, Thomas W. Reps:
  Proving Unrealizability for Syntax-Guided Synthesis. CAV (1) 2019: 335-352
• 
  Andrew Reynolds, Haniel Barbosa, Andres Nötzli, Clark W. Barrett, Cesare Tinelli:
  cvc4sy: Smart and Fast Term Enumeration for Syntax-Guided Synthesis. CAV (2) 2019: 74-83
• 
  Xujie Si, Yuan Yang, Hanjun Dai, Mayur Naik, Le Song:
  Learning a Meta-Solver for Syntax-Guided Program Synthesis. ICLR (Poster) 2019
• 
  Qinheping Hu, Jason Breck, John Cyphert, Loris D'Antoni, Thomas W. Reps:
  Proving Unrealizability for Syntax-Guided Synthesis. CoRR abs/1905.05800 (2019)
• 2018
• 
  Qinheping Hu, Loris D'Antoni:
  Syntax-Guided Synthesis with Quantitative Syntactic Objectives. CAV (1) 2018: 386-403
• 
  Xujie Si, Woosuk Lee, Richard Zhang, Aws Albarghouthi, Paraschos Koutris, Mayur Naik:
  Syntax-guided synthesis of Datalog programs. ESEC/SIGSOFT FSE 2018: 515-527
• 
  Grigory Fedyukovich, Rastislav Bodík:
  Accelerating Syntax-Guided Invariant Synthesis. TACAS (1) 2018: 251-269
• 
  Kangjing Huang, Xiaokang Qiu, Qi Tian, Yanjun Wang:
  Reconciling Enumerative and Symbolic Search in Syntax-Guided Synthesis. CoRR abs/1802.04428 (2018)
• 2017
• 
  Luca Cardelli, Milan Ceska, Martin Fränzle, Marta Z. Kwiatkowska, Luca Laurenti, Nicola Paoletti, Max Whitby:
  Syntax-Guided Optimal Synthesis for Chemical Reaction Networks. CAV (2) 2017: 375-395
• 
  Xuan-Bach Dinh Le, Duc-Hiep Chu, David Lo, Claire Le Goues, Willem Visser:
  S3: syntax- and semantic-guided repair synthesis via programming by examples. ESEC/SIGSOFT FSE 2017: 593-604
• 2015
• 
  Andrew Becker, Djordje Maksimovic, David Novo, Mohsen Ewaida, Andreas G. Veneris, Barbara Jobstmann, Paolo Ienne:
  FudgeFactor: Syntax-Guided Synthesis for Accurate RTL Error Localization and Correction. Haifa Verification Conference 2015: 259-275

skipping 6 more matches