index.json

[{"authors":["Pedro Orvalho","Miguel Terra-Neves","Miguel Ventura","Ruben Martins","Vasco M. Manquinho"],"categories":null,"content":"","date":1598832000,"expirydate":-62135596800,"kind":"page","lang":"en","lastmod":1598832000,"objectID":"78466a260798a596b60204ecab2de041","permalink":"https://squares-sql.github.io/publication/vldb2020/","publishdate":"2020-06-05T00:00:00Z","relpermalink":"/publication/vldb2020/","section":"publication","summary":"In this paper, we present SQUARES, an open-source tool that generates SQL and R queries from specifications. The specifications are expressed with input-output tables and some optional hints provided by the user. SQUARES is grounded on constraint programming techniques.","tags":["Source Themes"],"title":"SQUARES : A SQL Synthesizer Using Query Reverse Engineering","type":"publication"},{"authors":["Pedro Orvalho","Miguel Terra-Neves","Miguel Ventura","Ruben Martins","Vasco M. Manquinho"],"categories":null,"content":"","date":1569196800,"expirydate":-62135596800,"kind":"page","lang":"en","lastmod":1569196800,"objectID":"a90a0507155d11cdadffb5feaf5adc3b","permalink":"https://squares-sql.github.io/publication/cp2019/","publishdate":"2019-09-23T00:00:00Z","relpermalink":"/publication/cp2019/","section":"publication","summary":"In this paper, a new compact line-based encoding is proposed that allows a faster enumeration of the program space.","tags":["Source Themes"],"title":"Encodings for Enumeration-Based Program Synthesis","type":"publication"},{"authors":["Pedro Orvalho"],"categories":null,"content":"","date":1565827200,"expirydate":-62135596800,"kind":"page","lang":"en","lastmod":1565827200,"objectID":"b2822fb211bf2f60d0620d4f53194a93","permalink":"https://squares-sql.github.io/publication/msc-thesis/","publishdate":"2019-08-15T00:00:00Z","relpermalink":"/publication/msc-thesis/","section":"publication","summary":"MSc Thesis. We propose a novel Enumeration-Based SQL synthesizer SQUARES, that uses a new line representation where we represent each program line with its own subtree.","tags":["Source Themes"],"title":"SQUARES : A SQL Synthesizer Using Query Reverse Engineering","type":"publication"}]