I successfully defended my thesis on February 15, 2011. Please visit my Web page at the Max Planck Institute for Software Systems: http://www.mpi-sws.org/~shahram