Sketching compiler