Exploiting Domain and Program Structure to Synthesize Efficient and Precise Data Flow Analyses (T) | IEEE Conference Publication | IEEE Xplore