About

Jonathan “Peli” de Halleux is actively working on TouchDevelop and Code Hunt. In the past, Peli worked on Moles (shipped as Fakes in Visual Studio 2012), rise4fun, Pex and Code Digger. Every morning, Peli teaches mobile computer science at his local high school.

Peli joined the Foundations for Software Engineering in October 2006. Peli worked in the CLR as a SDET in charge of the Just In Time compiler (2004-2006). Before joining Microsoft, Peli earned a PhD in Applied Mathematics from the Catholic University of Louvain (2000-2004).

Projects

Code Hunt Community

Established: July 17, 2015

Code Hunt is a serious educational game. The Code Hunt community is interested in all aspects of research and development around the game, including analysis of the data and development of the platform. Join the Community Get updates. Tell us…

Code Hunt

Established: February 4, 2015

Code Hunt is a serious gaming platform for coding contests and practicing programming skills. It is based on the symbolic white box execution engine, Pex. Code Hunt is unique as an online coding platform in that each puzzle is presented…

TouchDevelop

Established: July 20, 2011

Create apps everywhere on all your devices! For Windows Phone and the web. In the TouchDevelop programming environment you write scripts by tapping on the screen. You do not need a separate PC or keyboard. Scripts can perform various tasks…

TouchStudio

Established: March 15, 2011

This project has been renamed to TouchDevelop. Please visit the new Microsoft Research project website and see what scripts people write on touchdevelop.com.   Videos Watch the Channel 9 video to learn how to Script Your Phone ON Your…

Rex – Regular Expression Exploration

Established: March 27, 2010

Rex is a tool that explores .NET regexes and generates members efficiently. Try out Rex in duel mode at http://rise4fun.com/rex! The duel mode is a game where you have to guess a secret (hidden) regex. On each attempt, Rex generates strings…

Moles – Isolation framework for .NET

Established: January 25, 2010

Moles allows to replace any .NET method with a delegate. Moles supports static or non-virtual methods. Moles works well with Pex. The Fakes Framework in Visual Studio 2012 is the next generation of Moles & Stubs. Fakes is different…

The Verification Corner

Established: January 8, 2010

The Verification Corner is a video series on YouTube that explains different concepts of software verification.         Stepwise refinement - 10/8/2010: In this episode, Kuat Yessenov and Rustan Leino, Principal Researcher in the…

Stubs – Lightweight Test Stubs for .NET

Established: March 19, 2009

Stubs is a lightweight framework for .NET that provides test stubs. For interfaces and non-sealed classes, type-safe wrappers are generated that can be easily customized by attaching delegates. Stubs are part of Moles, and work well together with Pex. Stubs is…

Dafny: A Language and Program Verifier for Functional Correctness

Established: December 23, 2008

Dafny is a programming language with built-in specification constructs. The Dafny static program verifier can be used to verify the functional correctness of programs. The Dafny programming language is designed to support the static verification of programs. It is imperative,…

CHESS: Find and Reproduce Heisenbugs in Concurrent Programs

Established: October 1, 2008

CHESS is a tool for finding and reproducing Heisenbugs in concurrent programs. CHESS repeatedly runs a concurrent test ensuring that every run takes a different interleaving. If an interleaving results in an error, CHESS can reproduce the interleaving for improved…

Pex and Moles – Isolation and White box Unit Testing for .NET

Established: February 21, 2007

Pex automatically generates test suites with high code coverage using automated white box analysis. Pex is a Visual Studio add-in for testing .NET Framework applications. Moles supports unit testing by providing isolation by way of detours and stubs. The Moles…

Publications

2015

2014

2013

2012

2011

2010

2009

2008

Projects

Link description

Keynote: The Future of Software Engineering

Date

April 14, 2011

Speakers

Wolfram Schulte, Peli de Halleux, and Nicholai Tilman

Affiliation

Manager, Software Engineering, Microsoft Research, Redmond, USA, Microsoft

Other

Volunteering

Peli teaches computer science at Rainier Beach High School every morning, as part of the TEALS program. Peli had the chance to be featured in an article of the New York Times about TEALS. In collaboration with Michael Braun at Rainier Beach, Peli co-organized AppDay, a high school event where 900 students enjoyed coding for a day. Read the GeekWire articles about this program from 2014 and 2013.

 

Geek of the Week

Twice, Peli was selected as geek of the week. You can read about it here and here.

 

Old Personal Projects

  • Creator of MbUnit, an extensible unit test framework for .Net that integrated features such as combinatorial testing.
  • QuickGraph, a library for graph data structures and algorithm in .NET,
  • Reflector Addin’s, a set of specialized modules for Reflector that range from type graph, code complexity, code review, treemap of types, statement graphs, an attempt at automatic test case generation from a method basic block graph, etc..
  • Stuff, ranging from Ant Colony Optimization, autonomous behaviors, a framework for performance tests or an attempt at literate documentation in C#.