Introduction To Program Synthesis (2018)

Re:Introduction To Program Synthesis (2018) by agumonkey on Sunday August 08, 2021 @01:30AM (#28104423)

How do you feel about the topic, is it lively ? dormant but potentially great ?

Any other source to read about ?

thanks :)

[ Parent | on HN ]

Re:Introduction To Program Synthesis (2018) by Darmani on Sunday August 08, 2021 @03:51AM (#28104959)

It's a very lively field. Lots of groups working on it. Last year, the big 3 PL conferences (PLDI, POPL, OOPSLA) all had tracks dedicated to it. A few years ago, Armando (my advisor and the professor of this course) taught a weekend seminar on the nitty-gritty internals of how his tool, Sketch, works ---- and had commercial users flying in.

Most recent summaries off the top of my head:

https://alexpolozov.com/blog/program-synthesis-2018/

https://www.microsoft.com/en-us/research/wp-content/uploads/...

[ Parent | on HN ]

Re:Introduction To Program Synthesis (2018) by srvmshr on Sunday August 08, 2021 @05:04AM (#28105222)

Fun fact: My elder brother was Armando's TA in TAMU. Armanda probably was the brightest and most fun guy to work with. There were extra credit for building a fully functional software CPU and its vector pipeline supporting VLIW (mid 90s duh). Your advisor guy did it in a breeze. The instructor privately confided to my brother he was a legend in the making.

Ask him about Sid in Lawrence Rawschberger's class for good old anecdotes! :)

[ Parent | on HN ]