6 ms·
I'm a co-author of a paper where we use program synthesis to optimize big-data (i.e., slow-running) SQL queries. The synthesis engine we use encodes its search
by mazesc 7y ago
I'm a co-author of a paper where we use program synthesis to optimize big-data (i.e., slow-running) SQL queries. The synthesis engine we use encodes its search problems into SAT.
https://www.microsoft.com/en-us/research/wp-content/uploads/2017/11/sosp17-final219.pdf https://www.microsoft.com/en-us/research/wp-content/uploads/...
- vsrinivasan 7y agoHello, i am CS undergrad.i wish to learn about program synthesis. while researching online for courses available. i came across the one offered at univ of washington and a few more, they do not have video lectures.if possible, please provide pointers on the right place to start.
- mazesc 7y agoHi,this blog post is a good starting point: https://alexpolozov.com/blog/program-synthesis-2018/ https://alexpolozov.com/blog/program-synthesis-2018/ Among other documents, it links to this extensive survey: https://www.microsoft.com/en-us/research/wp-content/uploads/2017/10/program_synthesis_now.pdf https://www.microsoft.com/en-us/research/wp-content/uploads/... All the best!