Publication
Project
CHESS: Find and Reproduce Heisenbugs in Concurrent Programs
CHESS is a tool for finding and reproducing Heisenbugs in concurrent programs. CHESS repeatedly runs a concurrent test ensuring that every run takes a different interleaving.
Publication
Set Covering with our Eyes Closed
Microsoft Research Blog
Innovation Inquiries: The Birth of a Research Lab
By Rob Knies, Managing Editor, Microsoft Research Since Microsoft Research New England was announced on Feb. 4, Jennifer Chayes, managing director of the lab, based in Cambridge, Mass., has been hard at work along with…