Calibrating Research in Program Synthesis Using 72,000 Hours of Programmer Time
Synthesis of loop-free programs