Past Projects



Modeling language based on abstract state machines



Cloud Computing with Models



The project that started Linq



Improving Data Locality and Scalability



Model-based Software Testing and Analysis Tool with C#



Low Overhead Software Monitoring and Analysis



Preferential Path Profiling



OS and tools for building dependable systems



Software model checking of device drivers



Tool for model-based specification and conformance testing



Task Parallel Library in .NET 4.0