Publication
Programming languages & software engineering
Building programming languages, tools, and software engineering techniques that make software more reliable, secure, and productive.
Video
The next 25 years of research: Disruption, invention and an element of surprise
Bill Gates, Jeannette Wing and Peter Lee discuss what the next 25 years of computer science research could bring at the Microsoft Research Faculty Summit 2016.
Video
Verifying Constant-Time Implementations
The constant-time programming discipline is an effective countermeasure against timing and cache-timing attacks, which can lead to complete breaks of otherwise secure systems. However, adhering to it is hard, especially under additional efficienty and legacy…
Project
Automata
Automata is a .NET library that provides algorithms for composing and analyzing regular expressions, automata, and transducers. In addition to classical word automata, it also includes algorithms for analysis of tree automata and tree transducers.…
Video
Learning from Zero, but Not Starting From Zero with CodaLab Worksheets
In the first half of this talk, we ask the following question: Can we learn if we start with zero examples, either labeled or unlabeled? This scenario arises in new user-facing systems (such as virtual…
Video
System Design for Cloud Services – Part 2
Intelligent Personal Assistant and its Implication on Future Warehouse Scale Computers Lingjia Tang, University of Michigan-Ann Arbor
