rbodik

4 ms·

1. 1.▲
   Tell HN: Learn about the State of the Art in Program Synthesis

   5 points by rbodik 7y ago|0 comments
2. 2.▲
   by rbodik 7y ago

   Hi, this looks like a strong result. Congratulations! Short answer: to scale up hardware synthesis, it may be necessary to change the encoding rather than look for a better solver. More details: I should first say that I have limited experi
3. 3.▲
   by rbodik 7y ago

   I should add that Rishabh Singh, one of the lead authors of of the repair papers, will speak at the conference.
4. 4.▲
   by rbodik 7y ago

   Hi Athanasios, program synthesis has been used to automatically repair introductory programming assignments (a sample of papers is at the end). This technology could make tutors more productive: [1] says that 81% of synthesized repairs were