Certifying Program Generations