微软研究院
Building programming languages, tools, and software engineering techniques that make software more reliable, secure, and productive.
By Jake Hofman and Justin Rao, Senior Researchers, Microsoft Research New York City You never know when the smallest seed of an idea will lead to groundbreaking work, work with the potential to have a…
Pony is an actor-model, capabilities-secure, native programming language. I will talk about reference capabilities (a type system for data-race freedom influenced by object capabilities and deny guarantee reasoning), the ORCA and MAC protocols for fully…
When a bug is found in a long-running distributed system, developers typically start by identifying (i) which events in the execution caused their system to arrive at the unsafe state, and (ii) which events are…
