Deriving Specialized Program Analyses for Certifying Component-Client Conformance.

G. Ramalingam, Alex Varshavsky, John Field, Deepak Goyal, Shmuel Sagiv

Browse the full PLDI paper archive.