Algorithms
Developing efficient algorithms that power faster, smarter, and more reliable computing across diverse applications.
项目
Boogie: An Intermediate Verification Language
Boogie is an intermediate verification language, intended as a layer on which to build program verifiers for other languages. Several program verifiers have been built in this way, including the VCC and HAVOC verifiers for…
论文与出版物
Mapping XSD to OO Schemas
项目
Multi-Armed Bandits
Inactive This is an umbrella project for several related efforts at Microsoft Research Silicon Valley that address various Multi-Armed Bandit (MAB) formulations motivated by web search and ad placement. The MAB problem is a classical…