Programming languages & software engineering
Building programming languages, tools, and software engineering techniques that make software more reliable, secure, and productive.
WEye Program: Improving Communication Between Pair Programmers Using Shared Gaze Awareness
This video presents our research improving remote pair programming using a eyetracking-enabled, shared gaze visualization employed in Visual Studio. This video supports our CHI 2017 paper of the same title.
Stack of Microsoft researchers earn distinctions from premier computing society
By John Roach, Writer, Microsoft Research Eight computer scientists at Microsoft research labs around the world have been honored as Fellows of the Association of Computing Machinery, the world’s largest computing society. The organization also…
Engineering the Future
An open evening for engineers and scientists interested in AI If you are a software engineer or research scientist thinking about your next career move, we invite you to find out how you can be…
Boosting Developer Productivity: How Personal Data Will Revolutionize Software Development
Software is eating the world.’ This statement by Marc Andreessen in a Wall Street Journal op-ed highlights the fact that software has become the backbone of countless major businesses, a trend that is expected to…
Angelic Verification
Angelic verification (AV) brings the benefits of static assertion checking to production software without inundating users with false alarms and not burdening them with upfront modeling. In other words, the goal of AV is to…