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/

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: