[lmeyerov]

Program synthesis: see work by Ras Bodik's team at Berkeley (now UW) and descendants in Armando's MIT team and Sumit Gulwani's MSR team.

As a concrete examples making industry waves, see Excel's new Flashfill and Trifacta ETL wrangling product.

Underneath, these use search (ML, SMT, ...) to allow non-tradiotional & sloppy coding: fill in the blanks, program by demonstration, etc.

[whaaswijk]

For more on program synthesis and verification see also the Leon system by Viktor Kuncak et al.[1]

[1] http://lara.epfl.ch/w/