4 ms·Synthesizing small programs for big impact – most influential paper (POPL 2020)2 points by saurabh20n 6y ago