Programming languages & software engineering
Building programming languages, tools, and software engineering techniques that make software more reliable, secure, and productive.
On the Flow of Data, Information, and Time
Do Topics Make Sense to Managers and Developers?
On the Flow of Data, Information, and Time
On the Flow of Data, Information, and Time
Microsoft Research Internships
Microsoft Research interns describe the distinct advantages of having an intern experience at Microsoft, including direct interaction with product groups and invaluable impact on their PhD studies. Microsoft Research mentors also weigh in on what…
Can you convince me why your software works?
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…
Society of Devices Applications (SODA)
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…