Saswat Anand

I have graduated from Georgia Tech. My new homepage is: http://www.cs.stanford.edu/~saswat

A bibliography of papers published on topics related to symbolic execution: http://sites.google.com/site/symexbib/