Programming languages and software engineering
Project
Microsoft Portrait
Microsoft Portrait is very low bit rate video conferencing software supporting MSN Messenger and Internet Locator Service (ILS) on PCs, Pocket PCs and Handheld PCs. It runs on local area networks, dialup networks and even…
Publication
What’s Next In High-Performance Computing?
Project
Microsoft Invisible Computing
Microsoft Invisible Computing is a toolkit for building systems for invisible computing and embedded web services. Overview Microsoft Invisible Computing is a research prototype for making small devices part of the seamless computing world. It…
Project
Detours
Note: This project has reached its conclusion. These pages are maintained for reference and archival purposes. Detours is a software package for re-routing Win32 APIs underneath applications. For almost twenty years, has been licensed by…
Publication
Predicate abstraction for software verification
Publication
Stack Inspection: Theory and Variants
Publication