Design your analysis: a case study on implementation reusability of data-flow functions.

Johannes Lerch, Ben Hermann

Browse the full PLDI paper archive.