Program analysis via satisfiability modulo path programs.

William R. Harris, Sriram Sankaranarayanan, Franjo Ivancic, Aarti Gupta

Browse the full POPL paper archive.