Brainy: effective selection of data structures.

Changhee Jung, Silvius Rus, Brian P. Railing, Nathan Clark, Santosh Pande

Browse the full PLDI paper archive.