Concurrent data representation synthesis.

Peter Hawkins, Alex Aiken, Kathleen Fisher, Martin C. Rinard, Mooly Sagiv

Browse the full PLDI paper archive.