RiSE
71 Entries
- This Week
- This Month
- All Time
-
Language(s)
-
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… -
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… -
3 minutes, 32 secondsHerman Venter - The Common Compiler Infrastruture goes Open SourceHerman Venter announces the Common Compiler Infrastructure (CCI) as an open source project on codeplex! CCI is a set of tools and components that are useful to build compilers: readers and writers for MSIL and symbol files, and more. You’ve may have heard and probably used different… -
1 hour, 41 minutes, 48 secondsCode Contracts and Pex: Power Charge Your Assertions and Unit TestsBy Nikolai Tillmann and Mike BarnettLearn how Code Contracts provides a set of tools for design-by-contract programming and how Pex is an advanced unit-testing tool that uses automated program exploration to intelligently create unit tests with high code coverage. See… -
17 minutes, 49 secondsICSE 2011: Grigore Rosu - The Art and Science of Program VerificationJun 22, 2011 at 7:00 AM 3
Grigore Rosu is an associate professor in the Department of Computer Science at the University of Illinois at Urbana-Champaign (UIUC), where he leads the Formal Systems Laboratory (FSL). His research interests encompass both theoretical foundations and system development in the areas of formal… -
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… -
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… -
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… -
22 minutes, 4 secondsMichal Moskal - VCC, The Verifying C CompilerMichal Moskal gives us a short introduction at the Verifying C Compiler (VCC) project. VCC is a tool that proves correctness of annotated concurrent C programs or finds problems in them. VCC extends C with design by contract features, like pre- and postcondition as well as type… -
11 minutes, 21 secondsSpecExplorer: Model-Based Testing made practicableKeith Stobie, Wolfgang Grieskamp, and Nico Kicillof gave a presentation on the new version of Spec Explorer 2010 for Visual Studio. Spec Explorer is a visual tool for modeling software behavior and generating test suites from those models. Spec Explorer’s approach to model-based testing…
