RiSE
71 Entries
- Recent
- Most Viewed
- Top Rated
- This Week
- This Month
- All Time
-
Language(s)
-
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… -
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, 16 minutes, 56 secondsBart De Smet: LINQ to Z3Bart De Smet is one of the highly talented software engineers on Erik Meijer's team and the chief architect of the LINQ to Anything dream. You should watch his excellent PDC10 session on this topic.As you learned on Channel 9 Live's PDC10 conversation with Wolfram Schulte and Erik Meijer, Z3… -
50 minutes, 30 secondsInside SPUR - A Trace-Based JIT Compiler for CILComputer Scientists and MSR Researchers Wolfram Schulte, Herman Venter, Nikolai Tillmann, and Manuel Fahndrich join Erik Meijer for an Expert to Expert deep dive into the theory and implementation strategies inside of SPUR, a research Tracing… -
48 minutes, 42 secondsC9 Conversations: Yuri Gurevich On Logic, Imperative, Abstraction and AlgorithmsWelcome to the latest installment of C9 Conversations. For this episode, we were very fortunate to get a chance to converse openly with one of the world’s preeminent mathematical logicians, the great Yuri Gurevich. Dr. Gurevich is Professor Emeritus of Electrical Engineering and Computer… -
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… -
49 minutes, 35 secondsProject JSMeter: JavaScript Performance Analysis in the Real WorldJavaScript is the most widely used programming language on the web. As the great Douglas Crockford likes to say, JavaScript is both the world's most popular programming language and the world's least popular programming language at the same time.In this episode of Expert to Expert (to Expert),… -
15 minutes, 6 secondsMark Marron - Visualizing and Understanding Heap StructureIn this video, Mark Marron, who is visiting the Research in Software Engineering group (RiSE) for the summer, describes some work and gives a short demo on a technique for visualizing and understanding a program’s runtime memory structure (which data structures are built, how big they are, how… -
13 minutes, 42 secondsTouchDevelop - Script Your Phone on Your Phone ReloadedUpdate: we renamed the project to TouchDevelop!Update: This video is outdated! Please refer to the latest documentation on the TouchDevelop web site! In this video, Nikolai Tillmann and Michal Moskal, from the Research in Software Engineering group (RiSE) at Microsoft Research, present…
