Event
FSE 2016 and Microsoft Research
Microsoft is excited to have been part of the 24th ACM SIGSOFT International Symposium on the Foundations of Software Engineering (FSE) in Seattle, WA, on November 13-18, 2016.
Programming languages & software engineering
Building programming languages, tools, and software engineering techniques that make software more reliable, secure, and productive.
Event
SC16 and Microsoft Research
Microsoft had several researchers present at The International Conference for High Performance Computing, Networking, Storage, and Analysis (more commonly referred to as SC16) in Salt Lake City, Utah, on November 13-18, 2016. SC16 brought together…
Publication
Worklist-Directed Prefetching
Publication
A Generic Logic for Proving Linearizability
Video
Ignite Talks-James Vlahos
Botness is a two-day gathering in NYC on November 4-5, 2016 at NYU/ITP. We’ll discuss all things bots: startups, tools, bots for work and play, discovery, and engagement. We will work together to shape the…
Microsoft Research Blog
Sriram Rajamani squashed bugs on road to leadership role in Microsoft’s India research lab
By John Roach, Writer, Microsoft Research After a handful of years writing code for the telecommunications and design automation industries, computer bugs got the best of Sriram Rajamani. He witnessed firsthand how poorly constructed code…
Publication
Ringer: Web Automation by Demonstration
Publication