3 ms·
Program Synthesis Papers by Area
- pmayrgundter 6y agoNice resource, thank you!
- lorisdanto 6y agoGlad you liked it!
- jchw 6y agoHere is another that does not seem to be listed. https://github.com/RUB-SysSec/syntia https://github.com/RUB-SysSec/syntia Program synthesis for deobfuscating virtualizing executable packers.
- hyperpape 6y agoI saw this posted on twitter yesterday (https://twitter.com/lorisdanto/status/1308162021268037632 https://twitter.com/lorisdanto/status/1308162021268037632), if anyone here works in the area and wanted to make suggestions about papers to include.
- LeanderK 6y agoI recently tried to find out what the current SOTA of program synthesis via I/O examples is but was unable to find current benchmarks or examples of what's possible. I was interested in synthesising high-level logic. Is this a collections of classics or SOTA? Anybody here with some experience in this area?
- lorisdanto 6y agoIt's a list I made for helping students finding ideas for projects in my synthesis course. It's not meant to be comprehensive. I's say it's SOTA in each of those fields though since I tried to pick recent papers.