Research
Building programming languages, tools, and software engineering techniques that make software more reliable, secure, and productive.
This project is focused on creating a low-overhead Time-Traveling Debugger in the Chakra JavaScript engine (and Node.js). This debugger supports reverse variations of the step forward operations in a debugger to enable a developer to…
This video from Microsoft Research describes an experimental time-traveling debugger inside the next-generation Microsoft Edge web browser. The system allows a developer to move the execution state of a debugged web page backwards and forwards…
Uncertainty is a C# library that uses LINQ to let developers easily express probabilistic computations and then inference over those computations.
