Fetching the paper…
Reading the bibliography…
In syntax-guided synthesis (SyGuS), a synthesizer's goal is to automatically generate a program belonging to a grammar of possible implementations that meets a logical specification.
Alur, R., Fisman, D., Padhi, S., Singh, R., Udupa, A.: SyGuS-Comp 2018: Results and Analysis · 1904
Earlier work this paper cites.
In: Language Design for Reliable Software. pp. 77–94 (1977),
Cousot, P., Cousot, R.: Static Determination of Dynamic Properties of Generalized Type Unions · 1977
Earlier work this paper cites.
In: Conference Record of the Fifth Annual ACM Symposium on Principles of Programming Languages. pp. 84–96. ACM Press (1978),
Cousot, P., Halbwachs, N.: Automatic Discovery of Linear Restraints Among Variables of a Program · 1978
Earlier work this paper cites.
In: Multiple Classifier Systems, First International Workshop, MCS, Proceedings. Lecture Notes in Computer Science, vol. 1857, pp. 1–15. Springer (2000),
Dietterich, T.G.: Ensemble Methods in Machine Learning · 2000
Earlier work this paper cites.
In: Proceedings of the Eighth Working Conference on Reverse Engineering, WCRE. p. 310. IEEE Computer Society (2001),
Miné, A.: The Octagon Abstract Domain · 2001
Earlier work this paper cites.
In: Automata, Languages and Programming, 32nd International Colloquium, ICALP, Proceedings. Lecture Notes in Computer Science, vol. 3580, pp. 1349–1361. Springer (2005),
Bradley, A.R., Manna, Z., Sipma, H.B.: The Polyranking Principle · 2005
Earlier work this paper cites.
In: Proceedings of the 34th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL. pp. 277–289. ACM (2007),
Gulwani, S., Jojic, N.: Program Verification as Probabilistic Inference · 2007
Earlier work this paper cites.
In: Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering - Volume 1, ICSE. pp. 215–224. ACM (2010),
Jha, S., Gulwani, S., Seshia, S.A., Tiwari, A.: Oracle-Guided Component-Based Program Synthesis · 2010
Earlier work this paper cites.
In: Computer Aided Verification - 23rd International Conference, CAV, Proceedings. Lecture Notes in Computer Science, vol. 6806, pp. 171–177. Springer (2011),
Barrett, C., Conway, C.L., Deters, M., Hadarean, L., Jovanovic, D., King, T., Reynolds, A., Tinelli, C.: CVC4 · 2011
Earlier work this paper cites.
In: ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI. pp. 441–452. ACM (2012),
Godefroid, P., Taly, A.: Automated Synthesis of Symbolic Instruction Encodings From I/O Samples · 2012
Earlier work this paper cites.
In: Computer Aided Verification - 25th International Conference, CAV, Proceedings. Lecture Notes in Computer Science, vol. 8044, pp. 934–950. Springer (2013),
Albarghouthi, A., Gulwani, S., Kincaid, Z.: Recursive Program Synthesis · 2013
Earlier work this paper cites.
In: Formal Methods in Computer-Aided Design, FMCAD. pp. 1–8. IEEE (2013),
Alur, R., Bodík, R., Juniwal, G., Martin, M.M.K., Raghothaman, M., Seshia, S.A., Singh, R., Solar-Lezama, A., Torlak, E., Udupa, A.: Syntax-Guided Synthesis · 2013
Earlier work this paper cites.
In: Programming Languages and Systems - 22nd European Symposium on Programming, ESOP, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS, Proceedings. Lecture Notes in Computer Science, vol. 7792, pp. 574–592. Springer (2013),
Sharma, R., Gupta, S., Hariharan, B., Aiken, A., Liang, P., Nori, A.V.: A Data Driven Approach for Algebraic Loop Invariants · 2013
Cited alongside, same era.
Solar-Lezama, A.: Program Sketching · 2013
Cited alongside, same era.
In: ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI. pp. 408–418. ACM (2014),
Perelman, D., Gulwani, S., Grossman, D., Provost, P.: Test-driven synthesis · 2014
Cited alongside, same era.
Cambridge University Press (2014)
Shalev-Shwartz, S., Ben-David, S.: Understanding Machine Learning: From Theory to Algorithms · 2014
Cited alongside, same era.
In: The 41st Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL. pp. 127–138. ACM (2014),
In: Proceedings of the 38th ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI. pp. 422–436. ACM (2017),
Feng, Y., Martins, R., Geffen, J.V., Dillig, I., Chaudhuri, S.: Component-Based Synthesis of Table Consolidation and Transformation Tasks From Examples · 2017
Later among the works it cites.
Foundations and Trends in Programming Languages 4(1-2), 1–119 (2017),
Gulwani, S., Polozov, O., Singh, R.: Program Synthesis · 2017
Later among the works it cites.
Acta Informatica 54(7), 693–726 (2017),
Jha, S., Seshia, S.A.: A Theory of Formal Synthesis via Inductive Learning · 2017
Later among the works it cites.
In: Proceedings of the 11th Joint Meeting on Foundations of Software Engineering, ESEC/FSE. pp. 593–604. ACM (2017),
Le, X.D., Chu, D., Lo, D., Le Goues, C., Visser, W.: S3: Syntax- and Semantic-Guided Repair Synthesis via Programming by Examples · 2017
Later among the works it cites.
Commun. ACM 61(12), 84–93 (2018),
Alur, R., Singh, R., Fisman, D., Solar-Lezama, A.: Search-Based Program Synthesis · 2018
Later among the works it cites.
alphaXiv searches the wider corpus for related work and actual follow-ups.
alphaXiv is searching for related work…
Sharma, R., Nori, A.V., Aiken, A.: Bias-Variance Tradeoffs in Program Analysis · 2014
Cited alongside, same era.
In: Computer Aided Verification - 27th International Conference, CAV, Proceedings, Part II. pp. 377–394. Lecture Notes in Computer Science, Springer (2015),
Jeon, J., Qiu, X., Solar-Lezama, A., Foster, J.S.: Adaptive Concretization for Parallel Program Synthesis · 2015
Cited alongside, same era.
In: Proceedings of the 36th ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI. pp. 619–630. ACM (2015),
Osera, P., Zdancewic, S.: Type-and-Example-Directed Program Synthesis · 2015
Cited alongside, same era.
In: Computer Aided Verification - 27th International Conference, CAV, Proceedings, Part II. Lecture Notes in Computer Science, vol. 9207, pp. 198–216. Springer (2015),
Reynolds, A., Deters, M., Kuncak, V., Tinelli, C., Barrett, C.W.: Counterexample-Guided Quantifier Instantiation for Synthesis in SMT · 2015
Cited alongside, same era.
In: Proceedings of the 37th ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI. pp. 42–56. ACM (2016),
Padhi, S., Sharma, R., Millstein, T.D.: Data-Driven Precondition Inference with Learned Features · 2016
Cited alongside, same era.
In: Proceedings of the 37th ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI. pp. 522–538. ACM (2016),
Polikarpova, N., Kuraj, I., Solar-Lezama, A.: Program Synthesis from Polymorphic Refinement Types · 2016
Cited alongside, same era.
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. Lecture Notes in Computer Science, vol. 10205, pp. 319–336 (2017),
Alur, R., Radhakrishna, A., Udupa, A.: Scaling Enumerative Program Synthesis via Divide and Conquer · 2017
Cited alongside, same era.
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 II. Lecture Notes in Computer Science, vol. 10206, pp. 331–349 (2017),
Beyer, D.: Software Verification with Validation of Results - (Report on SV-COMP 2017) · 2017
Cited alongside, same era.
In: Proceedings of the 2018 CHI Conference on Human Factors in Computing Systems, CHI. p. 231. ACM (2018),
Bounov, D., DeRossi, A., Menarini, M., Griswold, W.G., Lerner, S.: Inferring Loop Invariants through Gamification · 2018
Later among the works it cites.
PACMPL 2(OOPSLA), 131:1–131:25 (2018),
Ezudheen, P., Neider, D., D’Souza, D., Garg, P., Madhusudan, P.: Horn-ICE Learning for Synthesizing Invariants and Contracts · 2018
Later among the works it cites.
PACMPL 2(POPL), 2:1–2:28 (2018),
Inala, J.P., Singh, R.: WebRelate: Integrating Web Data with Spreadsheets using Examples · 2018
Later among the works it cites.
In: Proceedings of the 39th ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI 2018. pp. 436–449. ACM (2018),
Lee, W., Heo, K., Alur, R., Naik, M.: Accelerating Search-Based Program Synthesis using Learned Probabilistic Models · 2018
Later among the works it cites.
Padhi, S., Sharma, R., Millstein, T.: LoopInvGen: A Loop Invariant Generator based on Precondition Inference · 2018
Later among the works it cites.
http://sygus.org/comp/ (2019), Accessed: 2019-05-10
The SyGuS Competition · 2019
Closest in time.