Using machine learning to synthesize search programs | IEEE Conference Publication | IEEE Xplore