Generalized Data Structure Synthesis (SIGSOFT Distinguished Paper) [pdf]homes.cs.washington.edu4 pointsespeed8 years ago