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. 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/

Thread	Comments	Views	Last Activity
SpecExplorer: Model-Based Testing made practicable Posted By: peli \| Oct 26th @ 9:45 PM	4	30,679	Last By: topdog1 Time: Nov 14th @ 8:23 AM no activity yet:
Daryl Zuniga and Mike Barnett - Xml Documentation from Code Contracts for .Net Posted By: peli \| Aug 10th @ 3:55 PM	12	58,620	Last By: peli Time: Nov 6th @ 1:23 AM no activity yet:
Sebastian Burckhardt - Data Race Detection with CHESS Posted By: peli \| Jun 12th @ 11:31 AM	10	34,470	Last By: Adam6 Time: Nov 5th @ 12:59 AM no activity yet:
Herman Venter - The Common Compiler Infrastruture goes Open Source Posted By: peli \| Apr 15th @ 3:49 PM	8	52,166	Last By: Early Time: Aug 3rd @ 12:49 PM no activity yet:
Margus Veanes and Pavel Grigorenko - Qex - Symbolic SQL Query Exploration Posted By: peli \| Jun 2nd @ 4:59 PM	0	42,179	Last By: Time: no activity yet:
Daryl Zuniga - Viewing Code Contracts.NET in Visual Studio Posted By: peli \| Sep 21st @ 3:59 PM	8	24,577	Last By: sokhaty Time: Sep 25th @ 6:52 PM no activity yet:
Trishul Chilimbi - Green - Energy Efficient Software Posted By: peli \| Sep 15th @ 1:17 PM	2	39,299	Last By: avato Time: Sep 20th @ 8:59 AM no activity yet:
Madan Musuvathi - Getting started with CHESS in Visual Studio 2008 Posted By: peli \| Jan 14th @ 10:40 AM	0	23,748	Last By: Time: no activity yet:
CHESS interviewed by Mary-Jo Foley Posted By: peli \| Nov 12th, 2008 @ 1:15 PM	1	2,570	Last By: lrs5 Time: Aug 28th @ 8:22 AM no activity yet: