Program synthesis has emerged as a field dedicated to the mechanised construction of executable programs from high-level specifications, examples or partial templates. At its core lie two ...

"Automatic Generation of Vectorizing Compilers for Customizable Digital Signal Processors," by Thomas and Bornholt, uses a ...

Deep learning and supervised learning gets all the attention in applications of artificial intelligence. But, unsupervised methods are slowly moving out of laboratories and into commercial ...