Search
Sign In
Home
Recent
Media
Videos
Podcasts
Screencasts
Learn
Shows
Ping!
The Id Element
The Knowledge Chamber
See All Shows...
Forums
Coffeehouse
Tech Off
Feedback
Sandbox
Key Topics
Visual Studio
Continuum
Identity
Interoperability
Azure
Windows
Wiki
Search
Subscribe
Follow Us On Twitter
Peli
User Stats
Niner Since: 11/10/2004
Threads Started: 35
Replies: 39
Recent Blog Posts
Moq 3.0 gets Pex friendly
QuickGraph on Code Contracts
Pex Europe Tour March’09
Peli de Halleux
Jonathan 'Peli' de Halleux works for Microsoft Research in Redmond, WA. He's currently developing Pex, a white-box test generation tool for .Net and Moles, an isolation framework for .NET. Peli worked for the CLR for a while and accidentaly wrote MbUnit in a previous life. Peli wanders around the Research in Software Engineering gropu and shoots movies about cool stuff hapenning there.
Web Address:
Peli de Halleux's HomePage
Blog Address:
http://blog.dotnetwiki.org/
page 1 of 4
Thread
Comments
Views
Last Activity
Francesco Logozzo: Programmazione per Contratti e runtime checking in .NET con i CodeContracts
Posted By:
peli
|
Feb 5th @ 4:09 PM
2
1,390
Last By:
logozzo
Time:
Feb 9th @ 4:32 PM
no activity yet:
Nikolai Tillmann: Moles - Replace any .NET method with a delegate
Posted By:
peli
|
Jan 29th @ 1:00 PM
16
29,315
Last By:
dpurrington
Time:
Feb 2nd @ 9:18 AM
no activity yet:
Francesco Logozzo - Static Checking with Code Contracts for .NET
Posted By:
peli
|
Dec 22nd, 2009 @ 11:47 AM
4
36,035
Last By:
logozzo
Time:
Jan 28th @ 1:05 PM
no activity yet:
The Verification Corner: Loop Invariants
Posted By:
peli
|
Jan 12th @ 12:03 AM
8
27,948
Last By:
leino
Time:
Jan 26th @ 5:19 PM
no activity yet:
Sebastian Burckhardt - Data Race Detection with CHESS
Posted By:
peli
|
Jun 12th, 2009 @ 11:31 AM
11
35,023
Last By:
Claire 2010
Time:
Jan 21st @ 3:03 AM
no activity yet:
Trishul Chilimbi - Green - Energy Efficient Software
Posted By:
peli
|
Sep 15th, 2009 @ 1:17 PM
4
40,064
Last By:
iPhoneKönig
Time:
Jan 7th @ 4:18 AM
no activity yet:
Madan Musuvathi - Getting started with CHESS in Visual Studio 2008
Posted By:
peli
|
Jan 14th, 2009 @ 10:40 AM
1
24,467
Last By:
Mike Caron
Time:
Jan 6th @ 12:07 PM
no activity yet:
Nikolaj Bjørner and Leonardo de Moura: The Z3 Constraint Solver
Posted By:
peli
|
Dec 31st, 2009 @ 11:00 AM
9
44,162
Last By:
peli
Time:
Jan 5th @ 11:39 AM
no activity yet:
SpecExplorer: Model-Based Testing made practicable
Posted By:
peli
|
Oct 26th, 2009 @ 9:45 PM
6
35,761
Last By:
andyclap
Time:
Dec 29th, 2009 @ 7:14 AM
no activity yet:
page 1 of 4
Silverlight:
Silverlight Test Driven Development – Part II
WindowsClient:
Battery notification messages in Windows 7
Silverlight:
The Weekly Source Code 49 - SmallBasic is Fun, Simple, Powerful Programming for Kids and Adults
WindowsClient:
24 Hour 50% off Deal on my Upcoming Manning Book: Silverlight in Action, Revised Edition
Channel 9:
C9 Conversations: Yuri Gurevich - Abstraction, Algorithms and Mathematical Logic
TechNet Edge:
February 2010 Security Bulletin Overview
Channel 9:
PhizzPop Develop & Design Challenge
Silverlight:
Quick FAQ on Visual Studio 2010 RC release (February 2010) and Silverlight development
Channel 10:
5 Bing Map Apps for the Winter Olympics
TechNet Edge:
TechNet Radio: Visio 2010: Visio Services
WindowsClient:
Tip: New .NET 4 String Function to Check for Empty Strings
WindowsClient:
Microsoft announces commercial availability of Surface in Australia
WindowsClient:
SmallestDotNet Update - Now with .NET 4 support and an includable JavaScript API
Silverlight:
Answering A C# Question
Channel 9:
Jason Zander: Visual Studio 2010 Release Candidate Released
Channel 9:
Help Desk Episode 1 with Chris Pirillo (Pilot) - Show Notes
Mix Online:
Design for tables
Channel 10:
Bing and Winter Olympics
Channel 10:
Use Your Zune Remote to Control Windows Media Center
WindowsClient:
Query Continuations for nested collections in Data Services
close
Microsoft Communities
Help In Haiti
Channel 9
Channel 10
IIS.NET
Silverlight
TechNet Edge
WindowsClient
Mix Online