Program analysis as constraint solving.

Sumit Gulwani, Saurabh Srivastava, Ramarathnam Venkatesan

Browse the full PLDI paper archive.