Search Results for author: Cyrus Omar

Found 1 papers, 1 papers with code

Program Sketching with Live Bidirectional Evaluation

1 code implementation1 Nov 2019 Justin Lubin, Nick Collins, Cyrus Omar, Ravi Chugh

First, given expert examples (and no partial implementations), we find that Smyth requires on average 65% of the number of expert examples required by Myth.

Programming Languages

Cannot find the paper you are looking for? You can Submit a new open access paper.