rbodik
- Karma
- 1
- Created
- April 23, 2019 (7y ago)
- Submissions
- 0
-
Hi HN: Program synthesis generates code from specifications such as test-cases, I-O examples, and assertions. On September 19-20, synthesis researchers will speak about recent breakthroughs and practical tools, aiming…