Peli de Halleux
SENIOR RSDE
.
What Peli does
Jonathan "Peli" de Halleux is actively working on TouchDevelop, Moles and Pex. Peli also collaborates with his colleagues from CHESS and Contracts. Peli also wanders around building 99 shooting videos for Channel9 about the RiSE group. Every morning, Peli teaches Web Design 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).
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#.
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...]
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.
Publications
- 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, 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, 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 (abstract only), in Proc. 43rd ACM Technical Symposium on Computer Science Education (SIGCSE 2012), Workshop Summary, February 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
- 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
- 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
- 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
- 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
- Suresh Thummalapenta, Madhuri Marri, Tao Xie, Nikolai Tillmann, and Jonathan de Halleux, Retrofitting Unit Tests for Parameterized Unit Testing, in Proc. International Conference on Fundamental Approaches to Software Engineering (FASE 2011), 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
- Nikolai Tillmann, Jonathan de Halleux, and Tao Xie, Pex4Fun: Teaching and learning computer science via social gaming, in CSEE&T, 2011
- Judith Bishop, Jonathan de Halleux, Nikolai Tillmann, R. Nigel Horspool, Don Syme, and Tao Xie, Browser-based software for technology transfer, in SAICSIT Conf., 2011
- Kiran Lakhotia, Nikolai Tillmann, Mark Harman, and Jonathan de Halleux, FloPSy - Search-Based Floating Point Constraint Solving for Symbolic Execution, in Proceedings of 22nd IFIP International Conference on Testing Software and Systems, Springer Verlag, November 2010
- Tao Xie, Nikolai Tillmann, Jonathan de Halleux, and Wolfram Schulte, Future of Developer Testing: Building Quality in Code, in Proc. FSE/SDP Workshop on the Future of Software Engineering Research (FoSER 2010), November 2010
- Tao Xie, Jonathan de Halleux, Nikolai Tillmann, and Wolfram Schulte, Teaching and Training Developer-Testing Techniques and Tool Support , in of the 25th Annual ACM Conference on Systems, Programming, Languages, and Applications: Software for Humanity (SPLASH 2010), Educators' and Trainers' Symposium, Reno/Tahoe Nevada, Association for Computing Machinery, Inc., October 2010
- Rahul Pandita, Tao Xie, Nikolai Tillmann, and Jonathan de Halleux, Guided Test Generation for Coverage Criteria, in Proceedings of the 26th IEEE International Conference on Software Maintenance , September 2010
- Lingming Zhang, Tao Xie, Lu Zhang, Nikolai Tillmann, Jonathan de Halleux, and Hong Mei, Test Generation via Dynamic Symbolic Execution for Mutation Testing, in Proceedings of the 26th IEEE International Conference on Software Maintenance, September 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
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
- 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
- Margus Veanes, Peli de Halleux, and Nikolai Tillmann, Rex: Symbolic Regular Expression Explorer, in Third International Conference on Software Testing, Verification and Validation (ICST) , IEEE, April 2010
- Margus Veanes, Nikolai Tillmann, and Peli de Halleux, Qex: Symbolic SQL Query Explorer, in LPAR-16, Springer Verlag, April 2010
- Margus Veanes, Pavel Grigorenko, Peli de Halleux, and Nikolai Tillmann, Symbolic Query Exploration, in ICFEM'09, Springer Verlag, December 2009
