The Virtual Savant: Automatic generation of parallel solvers | Publicación