RiSE
71 Entries
- Recent
- Most Viewed
- Top Rated
-
Language(s)
-
28 minutes, 20 secondsPEX4FUN WP7: A Mobile Game for ProgrammersMar 16, 2011 at 1:11 PM
2
PEX4FUN is a Windows Phone 7 game for programmers and even folks who are casually interested in learning how to program - on a mobile phone. This game includes "Intellisense" (automatic code completion as you type), support for C# and VB.NET, many thought-provoking puzzles that… -
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… -
13 minutes, 0 secondsDavid Molnar and Margus Veanes - BEK - Domain Specific Language for String Manipulation FunctionsIn this video, David Molnar and Margus Veanes, both Researchers at Microsoft Research, give a demo of BEK (you can try it too at http://rise4fun.com/bek). BEK is a domain specific language for writing common string functions, combined with state of the art analysis. With BEK, you can… -
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… -
1 hour, 10 minutes, 38 secondsE2E: Concurrent Programming with RevisionsBuilding applications that are responsive and can exploit parallel hardware poses an important challenge. In particular, enabling applications to execute various tasks in parallel can be difficult if those tasks exhibit read and write conflicts. Revisions are forked and joined… -
Developers: Rise to the Challenge at RiSE4fun.comIf you've spent any time on C9 over the years, then you've probably met some of the people from the RiSE team in MSR and are familiar with at least some of the great technologies they've developed. RiSE, which stands for Research in Software Engineering, is a rock star… -
22 minutes, 13 secondsThe Verification Corner - Stepwise RefinementIn this episode of The Verification Corner, Kuat Yessenov and Rustan Leino, Principal Researcher in the Research in Software Engineering (RiSE) group at Microsoft Research, show how a program can be constructed by stepwise refinement. First, a high-level description of the program… -
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… -
8 minutes, 13 secondsMadan Musuvathi and Sebastian Burckhardt - Concurrency Fuzzing with CuzzMadan Musuvathi and Sebastian Burckhardt, two Researchers at the Research in Software Engineering team (RiSE), explain and demo a new testing tool called Cuzz. As you will see in this video, Cuzz stands for "Concurrency fuzzing." Cuzz is a very effective tool for… -
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…
