Synthesizing small programs for big impact – most influential paper (POPL 2020) (blog.sigplan.org)