Jump to Content

Program analysis via satisfiability modulo path programs

William R. Harris
Sriram Sankaranarayanan
Aarti Gupta
POPL (2010), pp. 71-82

Abstract

Research Areas