RiSE
71 Entries
- This Week
- This Month
- All Time
-
Language(s)
-
1 hour, 21 minutes, 16 secondsC9 Lectures: Yuri Gurevich - Introduction to Algorithms and Computational Complexity, 1 of nC9 Lectures: Yuri Gurevich - Introduction to Algorithms and Computational Complexity Jul 01, 2010 at 3:34 PM
19
In mathematics, computer science, and related subjects, an 'algorithm' is an effective method for solving a problem expressed as a finite sequence of instructions. Algorithms are used for calculation, data processing, and many other fields. (In more advanced or abstract settings, the instructions do… -
59 minutes, 56 secondsC9 Lectures: Yuri Gurevich - Introduction to Algorithms and Computational Complexity, 2 of nC9 Lectures: Yuri Gurevich - Introduction to Algorithms and Computational Complexity Feb 16, 2011 at 9:29 AM 11
Yuri Gurevich is back on C9!! Yuri is a logician, computer scientist and inventor of abstract state machines. He currently works at Microsoft Research (he's a member of Wolfram Schulte's RiSE team). This is the second part in a series of lectures exploring the fundamental logic-recipe… -
1 hour, 2 minutes, 17 secondsC9 Lectures: Yuri Gurevich - Introduction to Algorithms and Computational Complexity, 3 of 3C9 Lectures: Yuri Gurevich - Introduction to Algorithms and Computational Complexity Apr 21, 2011 at 11:48 AM 3
The great Yuri Gurevich is back!! Yuri is a logician, computer scientist, and inventor of abstract state machines. He currently works in Microsoft Research (he's a member of Wolfram Schulte's RiSE team). This is the third and final part in our introductory series of lectures exploring the… -
5 minutes, 48 secondsNikolai Tillmann: Moles - Replace any .NET method with a delegateIMPORTANT! Moles is now the Fakes Framework in Visual Studio 11. Learn more at http://aka.ms/vs11-fakes. Nikolai Tillman, a member of the RiSE group at Microsoft Research, gives a short demo of Moles, a new framework that allows replacing any .NET method with a delegate. In the context of… -
6 minutes, 19 secondsNikolai Tillmann and Aaron Shaver - Coding Duels at pexforfun.comIn this video, Nikolai Tillmann walks us through pexforfun.com, a website where you can write small C#, VB, or F# programs and explore them directly from your browser by using Pex. Additionally, Pex also makes it possible to play coding duels, in which users compete to discover a… -
20 minutes, 15 secondsGetting started with Pex in Visual Studio 2008Nikolai Tillmann and Peli de Halleux give a short tutorial on Pex, an automated white box testing tool for .Net. The tutorial is a pair-programming session where they show us how to get started with Pex in Visual Studio, starting from an (untested) piece of C# code: how to use… -
2 minutes, 22 secondsTouchDevelop - Getting StartedIn this video, Grant Bronsdon, a High School intern at Microsoft Research, gives a quick tutorial on writing scripts in TouchDevelop. TouchDevelop is a Windows Phone 7 app that allows you to script your phone on your phone! The Research in Software Engineering team (RiSE) coordinates Microsoft's… -
15 minutes, 29 secondsNikolaj Bjørner and Leonardo de Moura: The Z3 Constraint SolverNikolaj Bjørner and Leonardo de Moura are Researchers in the Research in Software Engineering (RiSE) team at Microsoft Research. They are talking and demoing Z3, a high-performance SMT constraint solver. Solving constraint systems is the root of of many software… -
47 minutes, 55 secondsCHESS: An Automated Concurrency Testing ToolCHESS is an automated tool from Microsoft Research for finding errors in multithreaded software by systematic exploration of thread schedules. It finds errors, such as data-races, deadlocks, hangs, and data-corruption induced access violations, that are extremely hard to find with… -
10 minutes, 44 secondsPatrice Godefroid - Automated Whitebox Fuzz Testing with SAGEPatrice Godefroid gives an overview of Automated Whitebox Fuzz Testing, a powerful testing technique applied at Microsoft through a tool called SAGE. Listen how he is working with the SAGE team to 'eradicate all buffer overrun bugs' in Windows... Read more in this paper…
