Research
Building programming languages, tools, and software engineering techniques that make software more reliable, secure, and productive.
DebugAdvisor is a recommendation system for debugging that has two specialities: a) It supports fat queries – allows for the query to be the full context of a bug without the need for cleanup b)…
Logic flaws are prevalent in multiparty cloud services, which cause serious consequences, e.g., an attacker can make purchases without paying, or gets into other people’s accounts without password. For decades, researchers have been advocating formal…
The Microsoft Rich Interactive Narratives (RIN) research project combines traditional forms of storytelling with new visualization technologies to create compelling interactive digital narratives. The RIN project is an undertaking by Microsoft Research India in collaboration…
P: a domain specific language for writing asynchronous event-driven programs. This asynchronous language promotes a discipline of programming where deferrals need to be declared explicitly, and consequently leads to responsive systems. The main technical contribution…
