Research: Concurrency Analysis Platform and Tools for Finding Concurrency Bugs
Research: Contract Checking and Automated Test Generation with Pex
Research: Designing the World Wide Telescope
Research: BAM, AjaxScope, and Doloto
Pour voir et revoir ces videos