Fetching the paper…
Reading the bibliography…
Syntax-guided synthesis (SyGuS) is the computational problem of finding an implementation $f$ that meets both a semantic constraint given by a logical formula $\phi$ in a background theory $\mathbb{T}$, and a syntactic constraint given by a grammar $G$, which specifies the allowed set of candidate implementations.
In: Automated Reasoning - 7th International Joint Conference, IJCAR, Proceedings
Aaron Stump, Geoff Sutcliffe & Cesare Tinelli (2014): StarExec: A Cross-Community Infrastructure for Logic Solving · 2014
Earlier work this paper cites.
In: Computer Aided Verification - 27th International Conference, CAV, Proceedings, Part II
Rajeev Alur, Pavol Cerný & Arjun Radhakrishna (2015): Synthesis Through Unification · 2015
Earlier work this paper cites.
In: Computer Aided Verification - 27th International Conference, CAV, Proceedings, Part II
Andrew Reynolds, Morgan Deters, Viktor Kuncak, Cesare Tinelli & Clark W. Barrett (2015): Counterexample-Guided Quantifier Instantiation for Synthesis in SMT · 2015
Earlier work this paper cites.
In: Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL
Pranav Garg, Daniel Neider, P. Madhusudan & Dan Roth (2016): Learning Invariants using Decision Trees and Implication Counterexamples · 2016
Cited alongside, same era.
In: Proceedings of the 37th ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI
Saswat Padhi, Rahul Sharma & Todd D. Millstein (2016): Data-driven precondition inference with learned features · 2016
Cited alongside, same era.
In: Proceedings of the Sixth Workshop on Synthesis, SYNT@CAV
Rajeev Alur, Dana Fisman, Rishabh Singh & Armando Solar-Lezama (2017): SyGuS-Comp 2017: Results and Analysis · 2017
Cited alongside, same era.
Clark Barrett, Aaron Stump & Cesare Tinelli: The SMT-LIB Standard – Version 2.0
Cited in the paper.
In: Tools and Algorithms for the Construction and Analysis of Systems - 23rd International Conference, TACAS, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS, Proceedings, Part I
Rajeev Alur, Arjun Radhakrishna & Abhishek Udupa (2017): Scaling Enumerative Program Synthesis via Divide and Conquer · 2017
Later among the works it cites.
Andrew Reynolds & Cesare Tinelli (2017): SyGuS Techniques in the Core of an SMT Solver
2017
Later among the works it cites.
alphaXiv searches the wider corpus for related work and actual follow-ups.
alphaXiv is searching for related work…