Great video - I too enjoyed hearing what these guys are thinking about and working on. I would really like to hear more about how they are trying to manage state and state dependencies. One example mentioned was the case of two apps using the same registry setting. They may not be dependent by calling each other, but they are certainly dependent through that bit of state. I don't think the video really gave much information about that aspect of their work and would like to hear more. Also, as far as static analysis goes, are these techniques going to work with more "dynamic" languages such as Python or Ruby? Given the recent beta release of "IronPython", this may be more than an academic question. Again, thanks for the great video! The setting, lighting and sound were excellent and all participants seemed very comfortable!