Research
Building programming languages, tools, and software engineering techniques that make software more reliable, secure, and productive.
The rise of practical solvers for satisfiability checking (both propositional and first-order logics) has revolutionized the field of automatic program verification. However, present day algorithms make an inefficient use of these solvers by creating monolithic…
Note: This project has reached its conclusion. These pages are maintained for reference and archival purposes. We envision a future Internet of Things where every human-created artifact in the world that uses electricity will be…
The Operating Systems Technology (OS Tech) Group operated within Microsoft Research from 2010 to 2018. The OS Tech team created innovations in the base abstractions from which developers build applications. The team’s work spanned from…
