Blogs: Peli at RiSE

Options

Download
1st Format
DROP FORMAT
2nd Format
DROP FORMAT
3rd Format
DROP FORMAT
4th Format
DROP FORMAT
5th Format
DROP FORMAT
6th Format
DROP FORMAT
Drag and drop video formats you wish to download into placeholders above (if the "1st Format" is not available for download, the "2nd Format" will be used and so on):
  • High Quality WMV
  • WMV
  • High Quality MP4
  • MP4
  • Low Quality MP4
  • MP3
Tags
[WITHOUT TAG]
.NET
.NET 4.0
.NET Framework
.NET Framework 4.0
Ajax
Application
Apps
Beginner
Beginning programming
C
CCI
CHESS
Cloud Architecture
Cloud Computing
Cloud Services
code contracts
Compilers
Concurrency
Debugging
DevLabs
DGML graphic models
editor
F#
Functional Programming
fuzzing
HyperV
Hyper-V
Internet Explorer 8
JavaScript
Languages
Math
Mathematics
Microsoft Research
Model Based Testing
moles
PEX
Phoenix Framework
Power
Programming Languages
qex
Reactive Extensions
Reactive Framework
Regular Expressions
Reliability
Research
rex
RiSE
RobustHeap
Rx
SAGE
scripts
Security
SharePoint
Software Engineering Research
SpecSharp
SQL
SQL Server
Team System
Test Driven Development
Testing
testing tools
Touch
vcc
Verification
verification corner
Visual Studio
Visual Studio 2010
Web
Windows Phone
Windows Phone 7
WP7
Yuri Gurevich
Z3
What Tags Who When
Peter Heldens - Creating Scripts with TouchDevelop Windows Phone 7, Windows Phone, RiSE, WP7 Peli de Halleux 2/9/2012
TouchDevelop - Getting Started RiSE, WP7, Windows Phone 7 Peli de Halleux 8/11/2011
Guido de Caso - Distributed Knowledge Authorization Language Yuri Gurevich, Security, RiSE Peli de Halleux 7/28/2011
TouchDevelop - State Variables RiSE, WP7, Windows Phone 7, Windows Phone Peli de Halleux 6/1/2011
TouchDevelop - Plotting Math Functions Math, RiSE, Touch, WP7, Windows Phone 7, Mathematics Peli de Halleux 5/17/2011
TouchDevelop - Hello World RiSE, WP7, Windows Phone 7 Peli de Halleux 5/11/2011
TouchDevelop - Script Your Phone on Your Phone Reloaded RiSE, Touch, WP7, Windows Phone 7, Programming Languages Peli de Halleux 5/6/2011
TouchDevelop - Script Your Phone ON Your Phone! Application, Beginning programming, Beginner, scripts, RiSE, WP7, Apps, Windows Phone 7 Peli de Halleux 4/11/2011
David Molnar and Margus Veanes - BEK - Domain Specific Language for String Manipulation Functions RiSE, Microsoft Research, Security Peli de Halleux 1/6/2011
The Verification Corner - Stepwise Refinement Verification, RiSE, Microsoft Research, Software Engineering Research Peli de Halleux 10/8/2010
Mike Barnett and Daryl Zuniga: Code Contracts Editor Extensions .NET 4.0, code contracts, editor, .NET Framework 4.0, Visual Studio 2010 Peli de Halleux 9/21/2010
Nikolai Tillmann and Aaron Shaver - Coding Duels at pexforfun.com .NET Framework, code contracts, .NET, PEX, RiSE Peli de Halleux 8/4/2010
Madan Musuvathi and Sebastian Burckhardt - Concurrency Fuzzing with Cuzz Concurrency, testing tools, RiSE, fuzzing, Microsoft Research, Software Engineering Research Peli de Halleux 7/16/2010
Mark Marron - Visualizing and Understanding Heap Structure Debugging, .NET Framework, DGML graphic models, .NET, RiSE Peli de Halleux 6/17/2010
Margus Veanes - Rex - Symbolic Regular Expression Exploration .NET Framework, Regular Expressions, .NET, PEX, rex, RiSE Peli de Halleux 4/15/2010
The Verification Corner - Loop Termination RiSE, Microsoft Research, Verification, verification corner, Software Engineering Research Peli de Halleux 3/29/2010
The Verification Corner - Specifications in Action with Spec# RiSE, SpecSharp, Microsoft Research, Verification, verification corner Peli de Halleux 3/1/2010
Nikolai Tillmann: Moles - Replace any .NET method with a delegate moles, PEX, RiSE, SharePoint, Testing Peli de Halleux 1/29/2010
The Verification Corner: Loop Invariants verification corner, RiSE, Microsoft Research, Software Engineering Research Peli de Halleux 1/12/2010
Nikolaj Bjørner and Leonardo de Moura: The Z3 Constraint Solver Verification, RiSE, Microsoft Research, Software Engineering Research, Z3 Peli de Halleux 12/31/2009
Francesco Logozzo - Static Checking with Code Contracts for .NET .NET 4.0, code contracts, Verification, RiSE, .NET Framework 4.0, Microsoft Research, Software Engineering Research Peli de Halleux 12/22/2009
Jeffrey Van Gogh: Testing Rx with Pex Testing, Reactive Extensions, PEX, RiSE, Microsoft Research, Reactive Framework, Rx Peli de Halleux 12/15/2009
Juan Chen and Nikhil Swamy: FINE, Functional Programming for End-to-End Security Verification Security, RiSE, Verification, Functional Programming, Programming Languages, F#, Software Engineering Research Peli de Halleux 12/10/2009
SpecExplorer: Model-Based Testing made practicable DevLabs, Languages, Testing, RiSE, Visual Studio 2010, Model Based Testing Peli de Halleux 10/26/2009
Emre Kiciman and Ben Livshits - Doloto: Download Time Optimizer for Web 2.0 Apps DevLabs, Ajax, RiSE, Web, Software Engineering Research Peli de Halleux 10/5/2009
Daryl Zuniga - Viewing Code Contracts.NET in Visual Studio code contracts, .NET 4.0, .NET Framework 4.0, Visual Studio 2010, editor, RiSE Peli de Halleux 9/21/2009
Trishul Chilimbi - Green - Energy Efficient Software Compilers, Phoenix Framework, RiSE, Software Engineering Research Peli de Halleux 9/15/2009
Daryl Zuniga and Mike Barnett - Xml Documentation from Code Contracts for .Net code contracts, .NET 4.0, RiSE, .NET Framework 4.0, Software Engineering Research Peli de Halleux 8/10/2009
Ethan Jackson - BAM - Cloud Computing with Models RiSE, Cloud Services, Cloud Computing Peli de Halleux 8/3/2009
Patrice Godefroid - Automated Whitebox Fuzz Testing with SAGE fuzzing, Security, Testing, RiSE, SAGE, Microsoft Research Peli de Halleux 7/14/2009
Ben Livshits and Emre Kiciman - AjaxView, Performance Profiling of AJAX web sites JavaScript, Visual Studio, Ajax, Power, RiSE Peli de Halleux 6/22/2009
Sebastian Burckhardt - Data Race Detection with CHESS Microsoft Research, CHESS, RiSE, Testing, Concurrency, Reliability, Software Engineering Research Peli de Halleux 6/12/2009
Margus Veanes and Pavel Grigorenko - Qex - Symbolic SQL Query Exploration Microsoft Research, PEX, qex, RiSE, SQL, SQL Server, Software Engineering Research Peli de Halleux 6/2/2009
Manuel Fahndrich and Peli de Halleux - The Synergy of Code Contracts and Pex PEX, RiSE, code contracts, Research, Microsoft Research, Test Driven Development Peli de Halleux 4/23/2009
Herman Venter - The Common Compiler Infrastruture goes Open Source CCI, RiSE, Microsoft Research Peli de Halleux 4/15/2009
Ben Livshits and Ben Zorn - Heap Spraying Attack Detection with Nozzle Security, Internet Explorer 8, RiSE Peli de Halleux 3/25/2009
Mike Barnett - Getting started with Code Contracts in Visual Studio 2008 code contracts, Verification, Visual Studio, DevLabs, SpecSharp, RiSE, Software Engineering Research Peli de Halleux 2/23/2009
Ben Zorn - Memory robustness with RobustHeap RobustHeap, RiSE, Software Engineering Research Peli de Halleux 2/8/2009
Michal Moskal - VCC, The Verifying C Compiler Verification, Compilers, Hyper-V, Research, Testing, HyperV, RiSE, vcc, C, Software Engineering Research Peli de Halleux 1/30/2009
Ethan Jackson - Specifying Cloud Applications Cloud Services, Cloud Architecture, Cloud Computing, RiSE, Software Engineering Research Peli de Halleux 1/19/2009
Getting started with Pex in Visual Studio 2008 Testing, Team System, Visual Studio, PEX, RiSE, Software Engineering Research Peli de Halleux 1/14/2009
Madan Musuvathi - Getting started with CHESS in Visual Studio 2008 Testing, Concurrency, Visual Studio, CHESS, RiSE, Software Engineering Research Peli de Halleux 1/14/2009
Nachi Nagappan - Experimental study about Test Driven Development Peli de Halleux 12/9/2008