SyGuS-Comp 2016: Results and Analysis
© R. Alur, D. Fisman, R. Singh & A. Solar-Lezama. Syntax-Guided Synthesis (SyGuS) is the computational problem of finding an implementation f that meets both a semantic constraint given by a logical formula φ in a background theory T, and a syntactic constraint given by a grammar G, which spec...
| Main Authors: | , , , |
|---|---|
| Other Authors: | |
| Format: | Article |
| Language: | English |
| Published: |
Open Publishing Association
2021
|
| Online Access: | https://hdl.handle.net/1721.1/137904 |
| _version_ | 1811068768221134848 |
|---|---|
| author | Alur, Rajeev Fisman, Dana Singh, Rishabh Solar-Lezama, Armando |
| author2 | Massachusetts Institute of Technology. Computer Science and Artificial Intelligence Laboratory |
| author_facet | Massachusetts Institute of Technology. Computer Science and Artificial Intelligence Laboratory Alur, Rajeev Fisman, Dana Singh, Rishabh Solar-Lezama, Armando |
| author_sort | Alur, Rajeev |
| collection | MIT |
| description | © R. Alur, D. Fisman, R. Singh & A. Solar-Lezama. Syntax-Guided Synthesis (SyGuS) is the computational problem of finding an implementation f that meets both a semantic constraint given by a logical formula φ in a background theory T, and a syntactic constraint given by a grammar G, which specifies the allowed set of candidate implementations. Such a synthesis problem can be formally defined in SyGuS-IF, a language that is built on top of SMT-LIB. The Syntax-Guided Synthesis Competition (SyGuS-Comp) is an effort to facilitate, bring together and accelerate research and development of efficient solvers for SyGuS by providing a platform for evaluating different synthesis techniques on a comprehensive set of benchmarks. In this year's competition we added a new track devoted to programming by examples. This track consisted of two categories, one using the theory of bit-vectors and one using the theory of strings. This paper presents and analyses the results of SyGuS-Comp'16. |
| first_indexed | 2024-09-23T08:00:52Z |
| format | Article |
| id | mit-1721.1/137904 |
| institution | Massachusetts Institute of Technology |
| language | English |
| last_indexed | 2024-09-23T08:00:52Z |
| publishDate | 2021 |
| publisher | Open Publishing Association |
| record_format | dspace |
| spelling | mit-1721.1/1379042023-04-18T15:37:23Z SyGuS-Comp 2016: Results and Analysis Alur, Rajeev Fisman, Dana Singh, Rishabh Solar-Lezama, Armando Massachusetts Institute of Technology. Computer Science and Artificial Intelligence Laboratory © R. Alur, D. Fisman, R. Singh & A. Solar-Lezama. Syntax-Guided Synthesis (SyGuS) is the computational problem of finding an implementation f that meets both a semantic constraint given by a logical formula φ in a background theory T, and a syntactic constraint given by a grammar G, which specifies the allowed set of candidate implementations. Such a synthesis problem can be formally defined in SyGuS-IF, a language that is built on top of SMT-LIB. The Syntax-Guided Synthesis Competition (SyGuS-Comp) is an effort to facilitate, bring together and accelerate research and development of efficient solvers for SyGuS by providing a platform for evaluating different synthesis techniques on a comprehensive set of benchmarks. In this year's competition we added a new track devoted to programming by examples. This track consisted of two categories, one using the theory of bit-vectors and one using the theory of strings. This paper presents and analyses the results of SyGuS-Comp'16. 2021-11-09T15:05:18Z 2021-11-09T15:05:18Z 2016-11-22 2019-07-10T13:04:40Z Article http://purl.org/eprint/type/ConferencePaper 2075-2180 https://hdl.handle.net/1721.1/137904 Alur, Rajeev, Fisman, Dana, Singh, Rishabh and Solar-Lezama, Armando. 2016. "SyGuS-Comp 2016: Results and Analysis." 229. en 10.4204/eptcs.229.13 Creative Commons Attribution 4.0 International license https://creativecommons.org/licenses/by/4.0/ application/pdf Open Publishing Association arXiv |
| spellingShingle | Alur, Rajeev Fisman, Dana Singh, Rishabh Solar-Lezama, Armando SyGuS-Comp 2016: Results and Analysis |
| title | SyGuS-Comp 2016: Results and Analysis |
| title_full | SyGuS-Comp 2016: Results and Analysis |
| title_fullStr | SyGuS-Comp 2016: Results and Analysis |
| title_full_unstemmed | SyGuS-Comp 2016: Results and Analysis |
| title_short | SyGuS-Comp 2016: Results and Analysis |
| title_sort | sygus comp 2016 results and analysis |
| url | https://hdl.handle.net/1721.1/137904 |
| work_keys_str_mv | AT alurrajeev syguscomp2016resultsandanalysis AT fismandana syguscomp2016resultsandanalysis AT singhrishabh syguscomp2016resultsandanalysis AT solarlezamaarmando syguscomp2016resultsandanalysis |