What Peli does

Jonathan "Peli" de Halleux is actively working on TouchDevelop, Moles (shipped as Fakes in Visual Studio 2012), rise4fun, Pex and Code Digger. Peli also wanders around building 99 shooting videos for Channel9 about the RiSE group. Every morning, Peli teaches mobile computer science at his local high school.

Brief Bio

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

Peli, that's not a name!

Peli is a nickname that comes from Pelican. His parents gave it to him when he was about two or so months old. They could not really remember how or why but it’s stuck since then. [more...]

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 500 students enjoyed coding for a day. Read the GeekWire article.

Geek of the Week

Peli was selected twice as geek of the week. Not sure if this a good sign but 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#.

Publications

Konrad Jamrozik, Gordon Fraser, Nikolai Tillmann, and Jonathan de Halleux, Generating Test Suites with Augmented Dynamic Symbolic Execution, in Proceedings of the 7th International Conference on Tests & Proofs, June 2013
Thomas Ball, Peli de Halleux, Daan Leijen, and Nikhil Swamy, Increasing Human-Tool Interaction via the Web, in 11th ACM SIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools and Engineering, ACM, June 2013
Sebastian Burckhardt, Manuel Fahndrich, Peli de Halleux, Jun Kato, Sean McDirmid, Michal Moskal, and Nikolai Tillmann, It's Alive! Continuous Feedback in UI Programming, in PLDI, ACM SIGPLAN, June 2013
Nikolai Tillmann, Jonathan De Halleux, Tao Xie, Sumit Gulwani, and Judith Bishop, Teaching and Learning Programming and Software Engineering via Interactive Gaming, in Proc. 35th International Conference on Software Engineering (ICSE 2013), Software Engineering Education (SEE), May 2013
Tao Xie, Nikolai Tillmann, and Jonathan de Halleux, Educational Software Engineering: Where Software Engineering, Education, and Gaming Meet, in Proc. 3rd International Workshop on Games and Software Engineering (GAS 2013), May 2013
Vu Le, Jonathan de Halleux, Sumit Gulwani, and Zhendong Su, Keyword Programming for TouchDevelop, in Proceedings of the 11th international conference on Mobile systems, applications, and services, 2013
Nikolai Tillmann, Michal Moskal, Jonathan de Halleux, Manuel Fahndrich, and Sebastian Burckhardt, TouchDevelop — App Development on Mobile Devices, in Proc. 20th International Symposium on Foundations of Software Engineering (FSE 2012), Demonstration, ACM, November 2012
Xusheng Xiao, Nikolai Tillmann, Manuel Fahndrich, Jonathan de Halleux, and Michal Moskal, User-Aware Privacy Control via ExtendedStatic-Information-Flow Analysis, in Proc. 27th IEEE/ACM International Conference on Automated Software Engineering (ASE 2012), September 2012
Nikolai Tillmann, Michal Moskal, Jonathan de Halleux, Manuel Fahndrich, Judith Bishop, Arjmand Samuel, and Tao Xie, The Future of Teaching Programming is on Mobile Devices, in Proc. 17th Annual Conference on Innovation and Technology in Computer Science Education (ITiCSE 2012), July 2012
Marat Akhin, Nikolai Tillmann, Manuel Fahndrich, Jonathan de Halleux, and Michal Moskal, Search by Example in TouchDevelop: Code Search Made Easy, in Proceedings of the 2012 ICSE Workshop on Search-Driven Development-Users, Infrastructure, Tools and Evaluation, IEEE, June 2012
Nikolai Tillmann, Jonathan de Halleux, Tao Xie, and Judith Bishop, Pex4Fun: Teaching and Learning Computer Science via Social Gaming, in Proc. 24th IEEE-CS Conference on Software Engineering Education and Training (CSEE&T 2012), Tutorial, April 2012
Nikolai Tillmann, Michal Moskal, Jonathan de Halleux, Manuel Fahndrich, and Tao Xie, Engage Your Students by Teaching Programming Using Only Mobile Devices with TouchDevelop, in Proc. 24th IEEE-CS Conference on Software Engineering Education and Training (CSEE&T 2012), Tutorial, April 2012
Nikolai Tillmann, Michal Moskal, Jonathan de Halleux, Manuel Fahndrich, and Tao Xie, Engage Your Students by Teaching Programming Using Only Mobile Devices with TouchDevelop (abstract only), in Proc. 43rd ACM Technical Symposium on Computer Science Education (SIGCSE 2012), Workshop Summary, February 2012
Nikolai Tillmann, Jonathan de Halleux, Tao Xie, and Judith Bishop, Teaching and learning computing via social gaming with Pex4Fun (abstract only), in SIGCSE, ACM, 2012
Dries Vanoverberghe, Jonathan de Halleux, Nikolai Tillmann, and Frank Piessens, State Coverage: Software Validation Metrics beyond Code Coverage, in Proceedings of the 38th international conference on Current Trends in Theory and Practice of Computer Science , 2012
Linghao Zhang, Xiaoxing Ma, Jian Lu, Nikolai Tillmann, Jonathan de Halleux, and Tao Xie, Environment Modeling for Automated Testing of Cloud Applications, in IEEE Software, Special Issue on Software Engineering for Cloud Computing, vol. 29, no. 2, pp. 30–35, 2012
Konrad Jamrozik, Gordon Fraser, Nikolai Tillmann, and Jonathan De Halleux, Augmented dynamic symbolic execution, in Proceedings of the 27th IEEE/ACM International Conference on Automated Software Engineering, ACM, New York, NY, USA, 2012
Suresh Thummalapenta, Tao Xie, Nikolai Tillmann, Jonathan de Halleux, and Zhendong Su, Synthesizing Method Sequences for High-Coverage Testing, in Proc. ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA 2011), October 2011
Marat Akhin, Nikolai Tillmann, Manuel Fahndrich, Jonathan de Halleux, and Michal Moskal, Code Similarity in TouchDevelop: Harnessing Clones, no. MSR-TR-2011-103, 9 September 2011
Xusheng Xiao, Nikolai Tillmann, Manuel Fahndrich, Peli de Halleux, and Michal Moskal, Transparent Privacy Control via Static Information Flow Analysis, no. MSR-TR-2011-93, 2 August 2011
Nikolai Tillmann, jhalleux, and Tao Xie, Pex4Fun: Cloud Computing in the CS Classroom, in The Voice of K-12 Computer Science Education and Its Educators, vol. 7, no. 3, pp. 4-5, July 2011
Kunal Taneja, Tao Xie, Nikolai Tillmann, and Jonathan de Halleux, eXpress: Guided Path Exploration for Efficient Regression Test Generation, in Proc. 2011 International Symposium on Software Testing and Analysis (ISSTA 2011), July 2011
Xusheng Xiao, Tao Xie, Nikolai Tillmann, and Jonathan de Halleux, Covana: Precise Identification of Problems in Pex, in Proc. 33rd International Conference on Software Engineering (ICSE 2011), Demonstration, May 2011
Xusheng Xiao, Tao Xie, Nikolai Tillmann, and Jonathan de Halleux, Precise Identification of Problems for Structural Test Generation, in Proc. Proceedings of the 33rd International Conference on Software Engineering (ICSE 2011), May 2011
Nikolai Tillmann, Michal Moskal, Jonathan de Halleux, and Manuel Fahndrich, TouchDevelop - Programming Cloud-Connected Mobile Devices via Touchscreen, no. MSR-TR-2011-49, 15 April 2011

Links

Channel9 Videos

	Peter Heldens - Creating Scripts with TouchDevelop Peter Heldens, a manager at Microsoft University in the Netherlands, recently visited the touchdevelop team in Redmond, WA. Peter wrote My Online Meetings, the popular script that allows users to join a conference call in a single script using touchdevelop. Great to meet you, Peter!Take a look at the 'My Online Meetings' script for touchdevelop. The Research in Software Engineering team (RiSE) coordinates Microsoft's research in Software Engineering in Redmond, USA. Thu, 09 Feb 2012 18:19:22 GMT
	TouchDevelop - Ваша первая программа В этом видео, Марина Голубцова, интерн в Microsoft Research, научит вас писать вашу первую программу (script) в TouchDevelop. TouchDevelop это Windows Phone 7 приложение позволяющее вам программировать в вашем телефоне! Подсказка: Лучше смотреть это видео на вашем телефоне.Продолжайте следить за новостями о TouchDevelop на нашей странице на Facebook. In this video, Marina Golubtsova, a High School intern at Microsoft Research, gives a quick tutorial on writing scripts in TouchDevelop. TouchDevelop is a Windows Phone 7 app that allows you to script your phone on your phone! Tip: watch this video on your phone...Follow TouchDevelop on Facebook. The Research in Software Engineering team (RiSE) coordinates Microsoft's research in Software Engineering in Redmond, USA. Fri, 12 Aug 2011 17:17:38 GMT
	TouchDevelop – 入门教程在这个视频里面，微软雷德蒙研究院实习生肖旭生简短地介绍了如何使用TouchDevelop进行脚本的编写。TouchDevelop是微软Windows Phone 7 的一个app。使用TouchDevelop，你可以方便的在手机上编写脚本程序。编写出来的脚本程序可以直接在手机上运行。本视频在手机上观看效果最佳。TouchDevelop的facebook. In this video, Xusheng Xiao, a research intern at Microsoft Research, gives a quick tutorial on writing scripts in TouchDevelop. TouchDevelop is a Windows Phone 7 app that allows you to script your phone onyour phone! Tip: this video is best viewed on a phone.TouchDevelop on FacebookThe Research in Software Engineering team (RiSE) coordinates Microsoft's research in Software Engineering in Redmond, USA. Fri, 12 Aug 2011 16:56:50 GMT
	TouchDevelop - Getting Started In this video, Grant Bronsdon, a High School intern at Microsoft Research, gives a quick tutorial on writing scripts in TouchDevelop. TouchDevelop is a Windows Phone 7 app that allows you to script your phone on your phone!The Research in Software Engineering team (RiSE) coordinates Microsoft's research in Software Engineering in Redmond, USA. Thu, 11 Aug 2011 16:34:03 GMT
	Guido de Caso - Distributed Knowledge Authorization Language In this video, Guido de Caso talks about Distributed Knowledge Authorization Language (DKAL). Guido finished his internship at the Research in Software Engineering group (RiSE) under the mentoring of Yuri Gurevich, a Principal Researcher at Microsoft Research.DKAL home pageDKAL on CodePlex DKAL on rise4fun -- try it live!The Research in Software Engineering team (RiSE) coordinates Microsoft's research in Software Engineering in Redmond, USA. Thu, 28 Jul 2011 16:00:00 GMT

Publications

Thomas Ball, Peli de Halleux, Daan Leijen, and Nikhil Swamy, Increasing Human-Tool Interaction via the Web, in 11th ACM SIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools and Engineering, ACM, June 2013
Sebastian Burckhardt, Manuel Fahndrich, Peli de Halleux, Jun Kato, Sean McDirmid, Michal Moskal, and Nikolai Tillmann, It's Alive! Continuous Feedback in UI Programming, in PLDI, ACM SIGPLAN, June 2013
Nikolai Tillmann, Michal Moskal, Jonathan de Halleux, Manuel Fahndrich, and Sebastian Burckhardt, TouchDevelop — App Development on Mobile Devices, in Proc. 20th International Symposium on Foundations of Software Engineering (FSE 2012), Demonstration, ACM, November 2012
Marat Akhin, Nikolai Tillmann, Manuel Fahndrich, Jonathan de Halleux, and Michal Moskal, Code Similarity in TouchDevelop: Harnessing Clones, no. MSR-TR-2011-103, 9 September 2011
Xusheng Xiao, Nikolai Tillmann, Manuel Fahndrich, Peli de Halleux, and Michal Moskal, Transparent Privacy Control via Static Information Flow Analysis, no. MSR-TR-2011-93, 2 August 2011
Nikolai Tillmann, Michal Moskal, Jonathan de Halleux, and Manuel Fahndrich, TouchDevelop - Programming Cloud-Connected Mobile Devices via Touchscreen, no. MSR-TR-2011-49, 15 April 2011
Nikolai Tillmann, Jonathan de Halleux, and Tao Xie, Pex for Fun: Engineering an Automated Testing Tool for Serious Games in Computer Science, no. MSR-TR-2011-41, March 2011
Nikolai Tillmann, Michal Moskal, Jonathan de Halleux, and Manuel Fahndrich, TouchDevelop: programming cloud-connected mobile devices via touchscreen, in Proceedings of the 10th SIGPLAN symposium on New ideas, new paradigms, and reflections on programming and software, ACM, New York, NY, USA, 2011
Jonathan de Halleux and Nikolai Tillmann, Moles: tool-assisted environment isolation with closures, in TOOLS'10, Springer Verlag, July 2010
Suresh Thummalapenta, Jonathan Halleux, Nikolai Tillmann, and Scott Wadsworth, DyGen: Automatic Generation of High-Coverage Tests via Mining Gigabytes of Dynamic Traces, in TAP'10, Springer Verlag, July 2010