Component-Based Synthesis for Complex APIs: https://www.cs.utexas.edu/~isil/sypet-popl17.pdf
An incredible paper demonstrating synthesis of significantly sized pieces of Java code! You write a test case, and SyPet writes the code.
miniblog.
Related Posts
Steve Jobs famously asked for smooth scrolling (i.e. not line-by-line) in a Smalltalk demonstration and they changed the UI live.
Here's a lovely 2 minute YouTube video demonstrating that modification: https://www.youtube.com/watch?v=eEz08IlcNMg
This is my favourite genre of web design: simultaneously advocating for a style and demonstrating why you should/shouldn't use it!
Wonderful Strange Loop talk demonstrating Comby, a very simple parser with an elegant pattern language for large scale refactoring.
https://youtu.be/JMZLBB_BFNg