Spiral http://www.spiral.net/index.html and spiralgen - going straight from math to code optimized for multiple platforms: http://www.spiralgen.com/
Automatically solving bugs using genetic algorithms : http://dijkstra.cs.virginia.edu/genprog/
Automatic bug repair(2015): http://news.mit.edu/2015/automatic-code-bug-repair-0629