T. Baris Aktemur: Improving Efficiency and Safety of Program Generation. University of Illinois Urbana-Champaign, USA 2009