Z3Guide: A Scalable, Student-Centered, and Extensible Educational Environment for Logic Modeling
Ruanqianqian (Lisa) Huang, Ayana Monroe, Jonathan "Peli" de Halleux, Sorin Lerner, Nikolaj Bjørner
MSR-TR-2025-36 | June 2025
作者：Microsoft
Peli de Halleux
Principal Research Software Engineer
论文与出版物
-
-
-
PromptPex: Automatic Test Generation for Language Model Prompts
Reshabh Sharma, Jonathan "Peli" de Halleux, Shraddha Barke, Ben Zorn
March 2025
-
-
-
Jacdac: Service-Based Prototyping of Embedded Systems
Thomas Ball, Jonathan "Peli" de Halleux, James Devine, Steve Hodges, Michal Moskal
Programming Language Design and Implementation (PLDI) | June 2024
-
Meet MicroCode: a Live and Portable Programming Tool for the BBC micro:bit
Kobi Hartley, Elisa Rubegni, Lorraine Underwood, Joe Finney, Thomas Ball, Steve Hodges, Eric Anderson, Jonathan "Peli" de Halleux, James Devine, Michal Moskal
23rd annual ACM Interaction Design and Children (IDC) Conference | June 2024
-
-
-
Jacdac: Service-based Prototyping of Embedded Systems
Thomas Ball, Jonathan "Peli" de Halleux, James Devine, Steve Hodges, Michal Moskal
MSR-TR-2023-4 | January 2023
作者：Microsoft
-
-
-
PSST: Enabling Blind or Visually Impaired Developers to Author Sonifications of Streaming Sensor Data
Venkatesh Potluri, John Thompson, James Devine, Bongshin Lee, Nora Morsi, Jonathan "Peli" de Halleux, Steve Hodges, Jennifer Mankoff
ACM UIST | October 2022
-
Plug-and-play Physical Computing with Jacdac
James Devine, Michal Moskal, Jonathan "Peli" de Halleux, Thomas Ball, Steve Hodges, Gabriele D’Amone, David Gakure, Joe Finney, Lorraine Underwood, Kobi Hartley, Paul Kos, Matt Oppenheim
Proceedings of the ACM on Interactive, Mobile, Wearable and Ubiquitous Technologies | September 2022, 第 6 卷(3)
-
-
-
Web-based Programming for Low-cost Gaming Handhelds
Michal Moskal, Jonathan "Peli" de Halleux, Thomas Ball, Abhijith Chatra, James Devine, Steve Hodges, Shannon Kao, Richard Knoll, Galen Nickel, Jacqueline Russell, Joey Wunderlich, Daryl Zuniga
Foundations of Digital Games | August 2021
Best paper
-
Rethinking the Runway: Using Avant-Garde Fashion To Design a System for Wearables
Teddy Seyed, James Devine, Joe Finney, Michal Moskal, Jonathan "Peli" de Halleux, Steve Hodges, Thomas Ball, Asta Roseway
Proceedings of the 2021 CHI Conference on Human Factors in Computing Systems (CHI '21) | May 2021
Honorable mention
-
-
-
The BBC micro:bit: from the U.K. to the world
Jonny Austin, Howard Baker, Thomas Ball, James Devine, Joe Finney, Jonathan "Peli" de Halleux, Steve Hodges, Michal Moskal, Gareth Stockdale
Communications of the ACM | February 2020, 第 63 卷(3)
-
-
-
Microsoft MakeCode: Embedded Programming for Education, in Blocks and TypeScript
Thomas Ball, Abhijith Chatra, Jonathan "Peli" de Halleux, Steve Hodges, Michal Moskal, Jacqueline Russell
SPLASH-E 2019: Proceedings of the 2019 ACM SIGPLAN Symposium on SPLASH-E | October 2019
-
Static TypeScript: An Implementation of a Static Compiler for the TypeScript Language
Michal Moskal, Thomas Ball, Jonathan "Peli" de Halleux
Managed Programming Languages and Runtimes | October 2019
-
MakeCode and CODAL: Intuitive and efficient embedded systems programming for education (JSA version)
James Devine, Joe Finney, Jonathan "Peli" de Halleux, Michal Moskal, Thomas Ball, Steve Hodges
Journal of Systems Architecture | September 2019, 第 98 卷: pp. 468-483
-
MakerArcade: Using Gaming and Physical Computing for Playful Making, Learning, and Creativity
Teddy Seyed, Jonathan "Peli" de Halleux, Michal Moskal, James Devine, Joe Finney, Steve Hodges, Thomas Ball
CHI 2019 Extended Abstracts | May 2019
-
-
-
MakeCode and CODAL: intuitive and efficient embedded systems programming for education (LCTES version)
James Devine, Joe Finney, Jonathan "Peli" de Halleux, Michal Moskal, Thomas Ball, Steve Hodges
Proceedings of the 19th ACM SIGPLAN/SIGBED International Conference on Languages, Compilers, and Tools for Embedded Systems | June 2018
-
ARcadia: A Rapid Prototyping Platform for Real-time Tangible Interfaces
Annie Kelly, R. Benjamin Shapiro, Peli de Halleux, Tom Ball
Proceedings of the 2018 CHI Conference on Human Factors in Computing Systems | April 2018
ISBN: 978-1-4503-5620-6
-
-
-
Microsoft Touch Develop and the BBC micro:bit
Thomas Ball, Jonathan Protzenko, Judith Bishop, Michal Moskal, Jonathan "Peli" de Halleux, Michael Braun, Steve Hodges, Clare Riley
ICSE 2016 Companion | May 2016
-
-
-
Educational Software Engineering: Where Software Engineering, Education, and Gaming Meet
Tao Xie, Nikolai Tillmann, Jonathan "Peli" de Halleux, Judith Bishop
5 | 作者：CRC Press | 2015
-
Experience with Constructing Code Hunt Contests
R. Nigel Horspool, Judith Bishop, Jonathan de Halleux, Nikolai Tillmann, Jonathan "Peli" de Halleux
CHESE 2015 Proceedings of theProc.1st International Workshop on Code Hunt Workshop on Educational Software Engineering (CHESE) | June 2015
http://doi.acm.org/10.1145/2792404.2792405
-
Beyond Open Source: The TouchDevelop Cloud-based Integrated Development Environment
Sebastian Burckhardt, Michal Moskal, Jonathan Protzenko, Nikolai Tillmann, Thomas Ball, Jonathan "Peli" de Halleux
In Proceedings of 2nd ACM International Conference on Mobile Software Engineering and Systems (MOBILESoft) | May 2015
-
Gamifying Software Security Education and Training via Secure Coding Duels in Code Hunt
Tao Xie, Judith Bishop, Nikolai Tillmann, Jonathan "Peli" de Halleux
In Proceedings of the Symposium and Bootcamp on the Science of Security (HotSoS 2015) | April 2015
In Proceedings of the Symposium and Bootcamp on the Science of Security (HotSoS 2015)
-
-
-
Beyond Open Source: The TouchDevelop Cloud-based Integrated Development Environment
Thomas Ball, Sebastian Burckhardt, Jonathan "Peli" de Halleux, Michal Moskal, Nikolai Tillmann
MSR-TR-2014-127 | September 2014
-
Tutorial: Create Rich Mobile Apps on Touch Devices
Nikolai Tillmann, Michal Moskal, Jonathan "Peli" de Halleux, Sebastian Burckhardt, Thomas Ball, Judith Bishop
Proceedings of the First International Conference on Mobile Software Engineering and Systems (MOBILESOFT) | June 2014
Proceedings of the First International Conference on Mobile Software Engineering and Systems (MOBILESOFT)
Tutorial
-
Beyond Open Source: The TouchDevelop Cloud-based Integrated Development and Runtime Environment
Thomas Ball, Sebastian Burckhardt, Jonathan de Halleux, Michal Moskal, Nikolai Tillmann, Jonathan "Peli" de Halleux, Thomas Ball
MSR-TR-2014-63 | May 2014
-
-
-
Increasing Human-Tool Interaction via the Web
Thomas Ball, Jonathan "Peli" de Halleux, Daan Leijen, Nikhil Swamy
11th ACM SIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools and Engineering | June 2013
11th ACM SIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools and Engineering
-
It’s Alive! Continuous Feedback in UI Programming
Sebastian Burckhardt, Manuel Fahndrich, Jonathan "Peli" de Halleux, Sean McDirmid, Michal Moskal, Nikolai Tillmann
PLDI | June 2013
PLDI
-
Teaching and Learning Programming and Software Engineering via Interactive Gaming
Nikolai Tillmann, Jonathan "Peli" de Halleux, Tao Xie, Sumit Gulwani, Judith Bishop
ICSE '13 Proceedings of the 2013 International Conference on Software Engineering | May 2013
ISBN: 978-1-4673-3076-3
-
Keyword Programming for TouchDevelop
Sumit Gulwani, Jonathan "Peli" de Halleux
Proceedings of the 11th international conference on Mobile systems, applications, and services | January 2013
-
-
-
TouchDevelop — App Development on Mobile Devices
Nikolai Tillmann, Michal Moskal, Manuel Fahndrich, Sebastian Burckhardt, Jonathan "Peli" de Halleux
Proc. 20th International Symposium on Foundations of Software Engineering (FSE 2012), Demonstration | November 2012
Proc. 20th International Symposium on Foundations of Software Engineering (FSE 2012), Demonstration
-
-
-
Browser-based software for technology transfer
Judith Bishop, Jonathan "Peli" de Halleux, Nikolai Tillmann, Nigel Horspool, Don Syme, Tao Xie
SAICSIT '11 Proceedings of the South African Institute of Computer Scientists and Information Technologists Conference on Knowledge, Innovation and Leadership in a Diverse, Multidisciplinary Environment | October 2011
ISBN: 978-1-4503-0878-6
-
Code Similarity in TouchDevelop: Harnessing Clones
Nikolai Tillmann, Manuel Fahndrich, Michal Moskal, Jonathan "Peli" de Halleux
MSR-TR-2011-103 | September 2011
-
Transparent Privacy Control via Static Information Flow Analysis
Nikolai Tillmann, Manuel Fahndrich, Jonathan "Peli" de Halleux, Michal Moskal
MSR-TR-2011-93 | August 2011
-
Pex4Fun: Cloud Computing in the CS Classroom
Nikolai Tillmann, Jonathan "Peli" de Halleux
The Voice of K-12 Computer Science Education and Its Educators | July 2011, 第 7 卷: pp. 4-5
-
Predictable and Progressive Testing of Multithreaded Code
Sebastian Burckhardt, Madan Musuvathi, Shaz Qadeer, Jonathan "Peli" de Halleux, Thomas Ball
IEEE Software | May 2011, 第 28 卷: pp. 75-83
-
TouchDevelop – Programming Cloud-Connected Mobile Devices via Touchscreen
Michal Moskal, Nikolai Tillmann, Manuel Fahndrich, Jonathan "Peli" de Halleux
MSR-TR-2011-49 | April 2011
-
Pex for Fun: Engineering an Automated Testing Tool for Serious Games in Computer Science
Nikolai Tillmann, Jonathan "Peli" de Halleux, Tao Xie
MSR-TR-2011-41 | March 2011
-
TouchDevelop: programming cloud-connected mobile devices via touchscreen
Nikolai Tillmann, Michal Moskal, Manuel Fahndrich, Jonathan "Peli" de Halleux
Proceedings of the 10th SIGPLAN symposium on New ideas, new paradigms, and reflections on programming and software | January 2011
Proceedings of the 10th SIGPLAN symposium on New ideas, new paradigms, and reflections on programming and software
ISBN: 978-1-4503-0941-7
-
-
-
DyGen: Automatic Generation of High-Coverage Tests via Mining Gigabytes of Dynamic Traces
Suresh Thummalapenta, Jonathan "Peli" de Halleux, Nikolai Tillmann, Scott Wadsworth
TAP'10 | July 2010
-
Moles: tool-assisted environment isolation with closures
Jonathan "Peli" de Halleux, Nikolai Tillmann
TOOLS'10 | July 2010
-
Qex: Symbolic SQL Query Explorer
Margus Veanes, Nikolai Tillmann, Jonathan "Peli" de Halleux
LPAR-16 | April 2010
-
Rex: Symbolic Regular Expression Explorer
Margus Veanes, Jonathan "Peli" de Halleux, Nikolai Tillmann
Third International Conference on Software Testing, Verification and Validation (ICST) | April 2010
-
-
-
Symbolic Query Exploration
Margus Veanes, Pavel Grigorenko, Jonathan "Peli" de Halleux, Nikolai Tillmann
ICFEM'09 | December 2009
-
Qex: Symbolic SQL Query Explorer
Margus Veanes, Jonathan de Halleux, Nikolai Tillmann, Jonathan "Peli" de Halleux
MSR-TR-2009-2015 | October 2009
Updated January 2010
-
Rex: Symbolic Regular Expression Explorer
Margus Veanes, Jonathan "Peli" de Halleux, Nikolai Tillmann
MSR-TR-2009-137 | October 2009
ICST'10
-
Exploiting the Synergy between Automated-Test-Generation and Programming-by-Contract
Mike Barnett, Manuel Fahndrich, Jonathan "Peli" de Halleux, Francesco Logozzo, Nikolai Tillmann
Proc. 31st International Conference on Software Engineering (ICSE'2009) | May 2009
Proc. 31st International Conference on Software Engineering (ICSE'2009)
Research Demonstration
-
Symbolic Query Exploration
Margus Veanes, Pavel Grigorenko, Jonathan "Peli" de Halleux, Nikolai Tillmann
MSR-TR-2009-65 | May 2009
-
Automated Testing of Environment-Dependent Programs – A Case Study of Modeling the File System for Pex
Soonho Kong, Nikolai Tillmann, Jonathan "Peli" de Halleux
Proc. 6th International Conference on Information Technology: New Generations (ITNG'09) | April 2009
-
-
-
Automated Software Testing Using Program Analysis
Patrice Godefroid, Jonathan "Peli" de Halleux, Aditya Nori, Sriram Rajamani, Wolfram Schulte, Nikolai Tillmann, Michael Y. Levin
IEEE Software, Special Issue on Software Development Tools | October 2008
-
Fitness-Guided Path Exploration in Dynamic Symbolic Execution
Tao Xie, Nikolai Tillmann, Jonathan "Peli" de Halleux, Wolfram Schulte
MSR-TR-2008-123 | September 2008
-
Parameterized Unit Testing with Pex (Tutorial)
Nikolai Tillmann, Jonathan "Peli" de Halleux
Proc. of Tests and Proofs (TAP'08) | April 2008
-
Pex – White Box Test Generation for .NET
Nikolai Tillmann, Jonathan "Peli" de Halleux
Proc. of Tests and Proofs (TAP'08) | April 2008
-
Using Dynamic Symbolic Execution to Improve Deductive Verification
Nikolaj Bjørner, Wolfram Schulte, Nikolai Tillmann, Jonathan "Peli" de Halleux
Proc. 15th International SPIN Workshop | January 2008
ISBN: 978-3-540-85113-4
-
White-Box Testing of Behavioral Web Service Contracts With Pex
Nikolai Tillmann, Jonathan "Peli" de Halleux
TAV-WEB '08: Proceedings of the 2008 workshop on Testing, analysis, and verification of web services and applications | January 2008
ISBN: 978-1-60558-053-1
-
-
-
PromptPex: Automatic Test Generation for Language Model Prompts
Reshabh Sharma, Jonathan "Peli" de Halleux, Shraddha Barke, Ben Zorn
March 2025
-
-
-
Z3Guide: A Scalable, Student-Centered, and Extensible Educational Environment for Logic Modeling
Ruanqianqian (Lisa) Huang, Ayana Monroe, Jonathan "Peli" de Halleux, Sorin Lerner, Nikolaj Bjørner
MSR-TR-2025-36 | June 2025
作者：Microsoft
-
PromptPex: Automatic Test Generation for Language Model Prompts
Reshabh Sharma, Jonathan "Peli" de Halleux, Shraddha Barke, Ben Zorn
March 2025
-
Jacdac: Service-Based Prototyping of Embedded Systems
Thomas Ball, Jonathan "Peli" de Halleux, James Devine, Steve Hodges, Michal Moskal
Programming Language Design and Implementation (PLDI) | June 2024
-
Jacdac: Service-based Prototyping of Embedded Systems
Thomas Ball, Jonathan "Peli" de Halleux, James Devine, Steve Hodges, Michal Moskal
MSR-TR-2023-4 | January 2023
作者：Microsoft
-
Plug-and-play Physical Computing with Jacdac
James Devine, Michal Moskal, Jonathan "Peli" de Halleux, Thomas Ball, Steve Hodges, Gabriele D’Amone, David Gakure, Joe Finney, Lorraine Underwood, Kobi Hartley, Paul Kos, Matt Oppenheim
Proceedings of the ACM on Interactive, Mobile, Wearable and Ubiquitous Technologies | September 2022, 第 6 卷(3)
-
Web-based Programming for Low-cost Gaming Handhelds
Michal Moskal, Jonathan "Peli" de Halleux, Thomas Ball, Abhijith Chatra, James Devine, Steve Hodges, Shannon Kao, Richard Knoll, Galen Nickel, Jacqueline Russell, Joey Wunderlich, Daryl Zuniga
Foundations of Digital Games | August 2021
Best paper
-
The BBC micro:bit: from the U.K. to the world
Jonny Austin, Howard Baker, Thomas Ball, James Devine, Joe Finney, Jonathan "Peli" de Halleux, Steve Hodges, Michal Moskal, Gareth Stockdale
Communications of the ACM | February 2020, 第 63 卷(3)
-
Microsoft MakeCode: Embedded Programming for Education, in Blocks and TypeScript
Thomas Ball, Abhijith Chatra, Jonathan "Peli" de Halleux, Steve Hodges, Michal Moskal, Jacqueline Russell
SPLASH-E 2019: Proceedings of the 2019 ACM SIGPLAN Symposium on SPLASH-E | October 2019
-
Static TypeScript: An Implementation of a Static Compiler for the TypeScript Language
Michal Moskal, Thomas Ball, Jonathan "Peli" de Halleux
Managed Programming Languages and Runtimes | October 2019
-
MakeCode and CODAL: Intuitive and efficient embedded systems programming for education (JSA version)
James Devine, Joe Finney, Jonathan "Peli" de Halleux, Michal Moskal, Thomas Ball, Steve Hodges
Journal of Systems Architecture | September 2019, 第 98 卷: pp. 468-483
-
MakerArcade: Using Gaming and Physical Computing for Playful Making, Learning, and Creativity
Teddy Seyed, Jonathan "Peli" de Halleux, Michal Moskal, James Devine, Joe Finney, Steve Hodges, Thomas Ball
CHI 2019 Extended Abstracts | May 2019
-
MakeCode and CODAL: intuitive and efficient embedded systems programming for education (LCTES version)
James Devine, Joe Finney, Jonathan "Peli" de Halleux, Michal Moskal, Thomas Ball, Steve Hodges
Proceedings of the 19th ACM SIGPLAN/SIGBED International Conference on Languages, Compilers, and Tools for Embedded Systems | June 2018
-
Microsoft Touch Develop and the BBC micro:bit
Thomas Ball, Jonathan Protzenko, Judith Bishop, Michal Moskal, Jonathan "Peli" de Halleux, Michael Braun, Steve Hodges, Clare Riley
ICSE 2016 Companion | May 2016
-
Experience with Constructing Code Hunt Contests
R. Nigel Horspool, Judith Bishop, Jonathan de Halleux, Nikolai Tillmann, Jonathan "Peli" de Halleux
CHESE 2015 Proceedings of theProc.1st International Workshop on Code Hunt Workshop on Educational Software Engineering (CHESE) | June 2015
http://doi.acm.org/10.1145/2792404.2792405
-
Educational Software Engineering: Where Software Engineering, Education, and Gaming Meet
Tao Xie, Nikolai Tillmann, Jonathan "Peli" de Halleux, Judith Bishop
5 | 作者：CRC Press | 2015
-
Beyond Open Source: The TouchDevelop Cloud-based Integrated Development Environment
Sebastian Burckhardt, Michal Moskal, Jonathan Protzenko, Nikolai Tillmann, Thomas Ball, Jonathan "Peli" de Halleux
In Proceedings of 2nd ACM International Conference on Mobile Software Engineering and Systems (MOBILESoft) | May 2015
-
Gamifying Software Security Education and Training via Secure Coding Duels in Code Hunt
Tao Xie, Judith Bishop, Nikolai Tillmann, Jonathan "Peli" de Halleux
In Proceedings of the Symposium and Bootcamp on the Science of Security (HotSoS 2015) | April 2015
In Proceedings of the Symposium and Bootcamp on the Science of Security (HotSoS 2015)
-
Beyond Open Source: The TouchDevelop Cloud-based Integrated Development Environment
Thomas Ball, Sebastian Burckhardt, Jonathan "Peli" de Halleux, Michal Moskal, Nikolai Tillmann
MSR-TR-2014-127 | September 2014
-
Tutorial: Create Rich Mobile Apps on Touch Devices
Nikolai Tillmann, Michal Moskal, Jonathan "Peli" de Halleux, Sebastian Burckhardt, Thomas Ball, Judith Bishop
Proceedings of the First International Conference on Mobile Software Engineering and Systems (MOBILESOFT) | June 2014
Proceedings of the First International Conference on Mobile Software Engineering and Systems (MOBILESOFT)
Tutorial
-
Beyond Open Source: The TouchDevelop Cloud-based Integrated Development and Runtime Environment
Thomas Ball, Sebastian Burckhardt, Jonathan de Halleux, Michal Moskal, Nikolai Tillmann, Jonathan "Peli" de Halleux, Thomas Ball
MSR-TR-2014-63 | May 2014
-
Increasing Human-Tool Interaction via the Web
Thomas Ball, Jonathan "Peli" de Halleux, Daan Leijen, Nikhil Swamy
11th ACM SIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools and Engineering | June 2013
11th ACM SIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools and Engineering
-
It’s Alive! Continuous Feedback in UI Programming
Sebastian Burckhardt, Manuel Fahndrich, Jonathan "Peli" de Halleux, Sean McDirmid, Michal Moskal, Nikolai Tillmann
PLDI | June 2013
PLDI
-
Teaching and Learning Programming and Software Engineering via Interactive Gaming
Nikolai Tillmann, Jonathan "Peli" de Halleux, Tao Xie, Sumit Gulwani, Judith Bishop
ICSE '13 Proceedings of the 2013 International Conference on Software Engineering | May 2013
ISBN: 978-1-4673-3076-3
-
Keyword Programming for TouchDevelop
Sumit Gulwani, Jonathan "Peli" de Halleux
Proceedings of the 11th international conference on Mobile systems, applications, and services | January 2013
-
TouchDevelop — App Development on Mobile Devices
Nikolai Tillmann, Michal Moskal, Manuel Fahndrich, Sebastian Burckhardt, Jonathan "Peli" de Halleux
Proc. 20th International Symposium on Foundations of Software Engineering (FSE 2012), Demonstration | November 2012
Proc. 20th International Symposium on Foundations of Software Engineering (FSE 2012), Demonstration
-
Browser-based software for technology transfer
Judith Bishop, Jonathan "Peli" de Halleux, Nikolai Tillmann, Nigel Horspool, Don Syme, Tao Xie
SAICSIT '11 Proceedings of the South African Institute of Computer Scientists and Information Technologists Conference on Knowledge, Innovation and Leadership in a Diverse, Multidisciplinary Environment | October 2011
ISBN: 978-1-4503-0878-6
-
Code Similarity in TouchDevelop: Harnessing Clones
Nikolai Tillmann, Manuel Fahndrich, Michal Moskal, Jonathan "Peli" de Halleux
MSR-TR-2011-103 | September 2011
-
Transparent Privacy Control via Static Information Flow Analysis
Nikolai Tillmann, Manuel Fahndrich, Jonathan "Peli" de Halleux, Michal Moskal
MSR-TR-2011-93 | August 2011
-
Predictable and Progressive Testing of Multithreaded Code
Sebastian Burckhardt, Madan Musuvathi, Shaz Qadeer, Jonathan "Peli" de Halleux, Thomas Ball
IEEE Software | May 2011, 第 28 卷: pp. 75-83
-
TouchDevelop – Programming Cloud-Connected Mobile Devices via Touchscreen
Michal Moskal, Nikolai Tillmann, Manuel Fahndrich, Jonathan "Peli" de Halleux
MSR-TR-2011-49 | April 2011
-
Pex for Fun: Engineering an Automated Testing Tool for Serious Games in Computer Science
Nikolai Tillmann, Jonathan "Peli" de Halleux, Tao Xie
MSR-TR-2011-41 | March 2011
-
TouchDevelop: programming cloud-connected mobile devices via touchscreen
Nikolai Tillmann, Michal Moskal, Manuel Fahndrich, Jonathan "Peli" de Halleux
Proceedings of the 10th SIGPLAN symposium on New ideas, new paradigms, and reflections on programming and software | January 2011
Proceedings of the 10th SIGPLAN symposium on New ideas, new paradigms, and reflections on programming and software
ISBN: 978-1-4503-0941-7
-
DyGen: Automatic Generation of High-Coverage Tests via Mining Gigabytes of Dynamic Traces
Suresh Thummalapenta, Jonathan "Peli" de Halleux, Nikolai Tillmann, Scott Wadsworth
TAP'10 | July 2010
-
Moles: tool-assisted environment isolation with closures
Jonathan "Peli" de Halleux, Nikolai Tillmann
TOOLS'10 | July 2010
-
Qex: Symbolic SQL Query Explorer
Margus Veanes, Nikolai Tillmann, Jonathan "Peli" de Halleux
LPAR-16 | April 2010
-
Rex: Symbolic Regular Expression Explorer
Margus Veanes, Jonathan "Peli" de Halleux, Nikolai Tillmann
Third International Conference on Software Testing, Verification and Validation (ICST) | April 2010
-
Symbolic Query Exploration
Margus Veanes, Pavel Grigorenko, Jonathan "Peli" de Halleux, Nikolai Tillmann
ICFEM'09 | December 2009
-
Qex: Symbolic SQL Query Explorer
Margus Veanes, Jonathan de Halleux, Nikolai Tillmann, Jonathan "Peli" de Halleux
MSR-TR-2009-2015 | October 2009
Updated January 2010
-
Rex: Symbolic Regular Expression Explorer
Margus Veanes, Jonathan "Peli" de Halleux, Nikolai Tillmann
MSR-TR-2009-137 | October 2009
ICST'10
-
Exploiting the Synergy between Automated-Test-Generation and Programming-by-Contract
Mike Barnett, Manuel Fahndrich, Jonathan "Peli" de Halleux, Francesco Logozzo, Nikolai Tillmann
Proc. 31st International Conference on Software Engineering (ICSE'2009) | May 2009
Proc. 31st International Conference on Software Engineering (ICSE'2009)
Research Demonstration
-
Symbolic Query Exploration
Margus Veanes, Pavel Grigorenko, Jonathan "Peli" de Halleux, Nikolai Tillmann
MSR-TR-2009-65 | May 2009
-
Automated Testing of Environment-Dependent Programs – A Case Study of Modeling the File System for Pex
Soonho Kong, Nikolai Tillmann, Jonathan "Peli" de Halleux
Proc. 6th International Conference on Information Technology: New Generations (ITNG'09) | April 2009
-
Automated Software Testing Using Program Analysis
Patrice Godefroid, Jonathan "Peli" de Halleux, Aditya Nori, Sriram Rajamani, Wolfram Schulte, Nikolai Tillmann, Michael Y. Levin
IEEE Software, Special Issue on Software Development Tools | October 2008
-
Fitness-Guided Path Exploration in Dynamic Symbolic Execution
Tao Xie, Nikolai Tillmann, Jonathan "Peli" de Halleux, Wolfram Schulte
MSR-TR-2008-123 | September 2008
-
Pex – White Box Test Generation for .NET
Nikolai Tillmann, Jonathan "Peli" de Halleux
Proc. of Tests and Proofs (TAP'08) | April 2008
-
Parameterized Unit Testing with Pex (Tutorial)
Nikolai Tillmann, Jonathan "Peli" de Halleux
Proc. of Tests and Proofs (TAP'08) | April 2008
-
White-Box Testing of Behavioral Web Service Contracts With Pex
Nikolai Tillmann, Jonathan "Peli" de Halleux
TAV-WEB '08: Proceedings of the 2008 workshop on Testing, analysis, and verification of web services and applications | January 2008
ISBN: 978-1-60558-053-1
-
-
-
Z3Guide: A Scalable, Student-Centered, and Extensible Educational Environment for Logic Modeling
Ruanqianqian (Lisa) Huang, Ayana Monroe, Jonathan "Peli" de Halleux, Sorin Lerner, Nikolaj Bjørner
MSR-TR-2025-36 | June 2025
作者：Microsoft
-
Meet MicroCode: a Live and Portable Programming Tool for the BBC micro:bit
Kobi Hartley, Elisa Rubegni, Lorraine Underwood, Joe Finney, Thomas Ball, Steve Hodges, Eric Anderson, Jonathan "Peli" de Halleux, James Devine, Michal Moskal
23rd annual ACM Interaction Design and Children (IDC) Conference | June 2024
-
PSST: Enabling Blind or Visually Impaired Developers to Author Sonifications of Streaming Sensor Data
Venkatesh Potluri, John Thompson, James Devine, Bongshin Lee, Nora Morsi, Jonathan "Peli" de Halleux, Steve Hodges, Jennifer Mankoff
ACM UIST | October 2022
-
Plug-and-play Physical Computing with Jacdac
James Devine, Michal Moskal, Jonathan "Peli" de Halleux, Thomas Ball, Steve Hodges, Gabriele D’Amone, David Gakure, Joe Finney, Lorraine Underwood, Kobi Hartley, Paul Kos, Matt Oppenheim
Proceedings of the ACM on Interactive, Mobile, Wearable and Ubiquitous Technologies | September 2022, 第 6 卷(3)
-
Rethinking the Runway: Using Avant-Garde Fashion To Design a System for Wearables
Teddy Seyed, James Devine, Joe Finney, Michal Moskal, Jonathan "Peli" de Halleux, Steve Hodges, Thomas Ball, Asta Roseway
Proceedings of the 2021 CHI Conference on Human Factors in Computing Systems (CHI '21) | May 2021
Honorable mention
-
The BBC micro:bit: from the U.K. to the world
Jonny Austin, Howard Baker, Thomas Ball, James Devine, Joe Finney, Jonathan "Peli" de Halleux, Steve Hodges, Michal Moskal, Gareth Stockdale
Communications of the ACM | February 2020, 第 63 卷(3)
-
MakeCode and CODAL: Intuitive and efficient embedded systems programming for education (JSA version)
James Devine, Joe Finney, Jonathan "Peli" de Halleux, Michal Moskal, Thomas Ball, Steve Hodges
Journal of Systems Architecture | September 2019, 第 98 卷: pp. 468-483
-
MakerArcade: Using Gaming and Physical Computing for Playful Making, Learning, and Creativity
Teddy Seyed, Jonathan "Peli" de Halleux, Michal Moskal, James Devine, Joe Finney, Steve Hodges, Thomas Ball
CHI 2019 Extended Abstracts | May 2019
-
MakeCode and CODAL: intuitive and efficient embedded systems programming for education (LCTES version)
James Devine, Joe Finney, Jonathan "Peli" de Halleux, Michal Moskal, Thomas Ball, Steve Hodges
Proceedings of the 19th ACM SIGPLAN/SIGBED International Conference on Languages, Compilers, and Tools for Embedded Systems | June 2018
-
ARcadia: A Rapid Prototyping Platform for Real-time Tangible Interfaces
Annie Kelly, R. Benjamin Shapiro, Peli de Halleux, Tom Ball
Proceedings of the 2018 CHI Conference on Human Factors in Computing Systems | April 2018
ISBN: 978-1-4503-5620-6
-
Microsoft Touch Develop and the BBC micro:bit
Thomas Ball, Jonathan Protzenko, Judith Bishop, Michal Moskal, Jonathan "Peli" de Halleux, Michael Braun, Steve Hodges, Clare Riley
ICSE 2016 Companion | May 2016
-
Increasing Human-Tool Interaction via the Web
Thomas Ball, Jonathan "Peli" de Halleux, Daan Leijen, Nikhil Swamy
11th ACM SIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools and Engineering | June 2013
11th ACM SIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools and Engineering
-
TouchDevelop — App Development on Mobile Devices
Nikolai Tillmann, Michal Moskal, Manuel Fahndrich, Sebastian Burckhardt, Jonathan "Peli" de Halleux
Proc. 20th International Symposium on Foundations of Software Engineering (FSE 2012), Demonstration | November 2012
Proc. 20th International Symposium on Foundations of Software Engineering (FSE 2012), Demonstration
-
Transparent Privacy Control via Static Information Flow Analysis
Nikolai Tillmann, Manuel Fahndrich, Jonathan "Peli" de Halleux, Michal Moskal
MSR-TR-2011-93 | August 2011
-
TouchDevelop – Programming Cloud-Connected Mobile Devices via Touchscreen
Michal Moskal, Nikolai Tillmann, Manuel Fahndrich, Jonathan "Peli" de Halleux
MSR-TR-2011-49 | April 2011
-
-
-
Jacdac: Service-based Prototyping of Embedded Systems
Thomas Ball, Jonathan "Peli" de Halleux, James Devine, Steve Hodges, Michal Moskal
MSR-TR-2023-4 | January 2023
作者：Microsoft
-
Plug-and-play Physical Computing with Jacdac
James Devine, Michal Moskal, Jonathan "Peli" de Halleux, Thomas Ball, Steve Hodges, Gabriele D’Amone, David Gakure, Joe Finney, Lorraine Underwood, Kobi Hartley, Paul Kos, Matt Oppenheim
Proceedings of the ACM on Interactive, Mobile, Wearable and Ubiquitous Technologies | September 2022, 第 6 卷(3)
-
Web-based Programming for Low-cost Gaming Handhelds
Michal Moskal, Jonathan "Peli" de Halleux, Thomas Ball, Abhijith Chatra, James Devine, Steve Hodges, Shannon Kao, Richard Knoll, Galen Nickel, Jacqueline Russell, Joey Wunderlich, Daryl Zuniga
Foundations of Digital Games | August 2021
Best paper
-
Rethinking the Runway: Using Avant-Garde Fashion To Design a System for Wearables
Teddy Seyed, James Devine, Joe Finney, Michal Moskal, Jonathan "Peli" de Halleux, Steve Hodges, Thomas Ball, Asta Roseway
Proceedings of the 2021 CHI Conference on Human Factors in Computing Systems (CHI '21) | May 2021
Honorable mention
-
The BBC micro:bit: from the U.K. to the world
Jonny Austin, Howard Baker, Thomas Ball, James Devine, Joe Finney, Jonathan "Peli" de Halleux, Steve Hodges, Michal Moskal, Gareth Stockdale
Communications of the ACM | February 2020, 第 63 卷(3)
-
Microsoft MakeCode: Embedded Programming for Education, in Blocks and TypeScript
Thomas Ball, Abhijith Chatra, Jonathan "Peli" de Halleux, Steve Hodges, Michal Moskal, Jacqueline Russell
SPLASH-E 2019: Proceedings of the 2019 ACM SIGPLAN Symposium on SPLASH-E | October 2019
-
Static TypeScript: An Implementation of a Static Compiler for the TypeScript Language
Michal Moskal, Thomas Ball, Jonathan "Peli" de Halleux
Managed Programming Languages and Runtimes | October 2019
-
MakeCode and CODAL: Intuitive and efficient embedded systems programming for education (JSA version)
James Devine, Joe Finney, Jonathan "Peli" de Halleux, Michal Moskal, Thomas Ball, Steve Hodges
Journal of Systems Architecture | September 2019, 第 98 卷: pp. 468-483
-
MakerArcade: Using Gaming and Physical Computing for Playful Making, Learning, and Creativity
Teddy Seyed, Jonathan "Peli" de Halleux, Michal Moskal, James Devine, Joe Finney, Steve Hodges, Thomas Ball
CHI 2019 Extended Abstracts | May 2019
-
MakeCode and CODAL: intuitive and efficient embedded systems programming for education (LCTES version)
James Devine, Joe Finney, Jonathan "Peli" de Halleux, Michal Moskal, Thomas Ball, Steve Hodges
Proceedings of the 19th ACM SIGPLAN/SIGBED International Conference on Languages, Compilers, and Tools for Embedded Systems | June 2018
-
Microsoft Touch Develop and the BBC micro:bit
Thomas Ball, Jonathan Protzenko, Judith Bishop, Michal Moskal, Jonathan "Peli" de Halleux, Michael Braun, Steve Hodges, Clare Riley
ICSE 2016 Companion | May 2016
-
-
-
PSST: Enabling Blind or Visually Impaired Developers to Author Sonifications of Streaming Sensor Data
Venkatesh Potluri, John Thompson, James Devine, Bongshin Lee, Nora Morsi, Jonathan "Peli" de Halleux, Steve Hodges, Jennifer Mankoff
ACM UIST | October 2022
-
-
-
Transparent Privacy Control via Static Information Flow Analysis
Nikolai Tillmann, Manuel Fahndrich, Jonathan "Peli" de Halleux, Michal Moskal
MSR-TR-2011-93 | August 2011
-
-
-
Pex4Fun: Cloud Computing in the CS Classroom
Nikolai Tillmann, Jonathan "Peli" de Halleux
The Voice of K-12 Computer Science Education and Its Educators | July 2011, 第 7 卷: pp. 4-5
-
-
-
Using Dynamic Symbolic Execution to Improve Deductive Verification
Nikolaj Bjørner, Wolfram Schulte, Nikolai Tillmann, Jonathan "Peli" de Halleux
Proc. 15th International SPIN Workshop | January 2008
ISBN: 978-3-540-85113-4
-
-
-
PromptPex: Automatic Test Generation for Language Model Prompts
Reshabh Sharma, Jonathan "Peli" de Halleux, Shraddha Barke, Ben Zorn
March 2025
-
-
-
Z3Guide: A Scalable, Student-Centered, and Extensible Educational Environment for Logic Modeling
Ruanqianqian (Lisa) Huang, Ayana Monroe, Jonathan "Peli" de Halleux, Sorin Lerner, Nikolaj Bjørner
MSR-TR-2025-36 | June 2025
作者：Microsoft
-
Jacdac: Service-based Prototyping of Embedded Systems
Thomas Ball, Jonathan "Peli" de Halleux, James Devine, Steve Hodges, Michal Moskal
MSR-TR-2023-4 | January 2023
作者：Microsoft
-
Beyond Open Source: The TouchDevelop Cloud-based Integrated Development Environment
Thomas Ball, Sebastian Burckhardt, Jonathan "Peli" de Halleux, Michal Moskal, Nikolai Tillmann
MSR-TR-2014-127 | September 2014
-
Beyond Open Source: The TouchDevelop Cloud-based Integrated Development and Runtime Environment
Thomas Ball, Sebastian Burckhardt, Jonathan de Halleux, Michal Moskal, Nikolai Tillmann, Jonathan "Peli" de Halleux, Thomas Ball
MSR-TR-2014-63 | May 2014
-
Code Similarity in TouchDevelop: Harnessing Clones
Nikolai Tillmann, Manuel Fahndrich, Michal Moskal, Jonathan "Peli" de Halleux
MSR-TR-2011-103 | September 2011
-
Transparent Privacy Control via Static Information Flow Analysis
Nikolai Tillmann, Manuel Fahndrich, Jonathan "Peli" de Halleux, Michal Moskal
MSR-TR-2011-93 | August 2011
-
TouchDevelop – Programming Cloud-Connected Mobile Devices via Touchscreen
Michal Moskal, Nikolai Tillmann, Manuel Fahndrich, Jonathan "Peli" de Halleux
MSR-TR-2011-49 | April 2011
-
Pex for Fun: Engineering an Automated Testing Tool for Serious Games in Computer Science
Nikolai Tillmann, Jonathan "Peli" de Halleux, Tao Xie
MSR-TR-2011-41 | March 2011
-
Qex: Symbolic SQL Query Explorer
Margus Veanes, Jonathan de Halleux, Nikolai Tillmann, Jonathan "Peli" de Halleux
MSR-TR-2009-2015 | October 2009
Updated January 2010
-
Rex: Symbolic Regular Expression Explorer
Margus Veanes, Jonathan "Peli" de Halleux, Nikolai Tillmann
MSR-TR-2009-137 | October 2009
ICST'10
-
Symbolic Query Exploration
Margus Veanes, Pavel Grigorenko, Jonathan "Peli" de Halleux, Nikolai Tillmann
MSR-TR-2009-65 | May 2009
-
Fitness-Guided Path Exploration in Dynamic Symbolic Execution
Tao Xie, Nikolai Tillmann, Jonathan "Peli" de Halleux, Wolfram Schulte
MSR-TR-2008-123 | September 2008
-
-
-
Jacdac: Service-Based Prototyping of Embedded Systems
Thomas Ball, Jonathan "Peli" de Halleux, James Devine, Steve Hodges, Michal Moskal
Programming Language Design and Implementation (PLDI) | June 2024
-
Meet MicroCode: a Live and Portable Programming Tool for the BBC micro:bit
Kobi Hartley, Elisa Rubegni, Lorraine Underwood, Joe Finney, Thomas Ball, Steve Hodges, Eric Anderson, Jonathan "Peli" de Halleux, James Devine, Michal Moskal
23rd annual ACM Interaction Design and Children (IDC) Conference | June 2024
-
PSST: Enabling Blind or Visually Impaired Developers to Author Sonifications of Streaming Sensor Data
Venkatesh Potluri, John Thompson, James Devine, Bongshin Lee, Nora Morsi, Jonathan "Peli" de Halleux, Steve Hodges, Jennifer Mankoff
ACM UIST | October 2022
-
Web-based Programming for Low-cost Gaming Handhelds
Michal Moskal, Jonathan "Peli" de Halleux, Thomas Ball, Abhijith Chatra, James Devine, Steve Hodges, Shannon Kao, Richard Knoll, Galen Nickel, Jacqueline Russell, Joey Wunderlich, Daryl Zuniga
Foundations of Digital Games | August 2021
Best paper
-
Rethinking the Runway: Using Avant-Garde Fashion To Design a System for Wearables
Teddy Seyed, James Devine, Joe Finney, Michal Moskal, Jonathan "Peli" de Halleux, Steve Hodges, Thomas Ball, Asta Roseway
Proceedings of the 2021 CHI Conference on Human Factors in Computing Systems (CHI '21) | May 2021
Honorable mention
-
Microsoft MakeCode: Embedded Programming for Education, in Blocks and TypeScript
Thomas Ball, Abhijith Chatra, Jonathan "Peli" de Halleux, Steve Hodges, Michal Moskal, Jacqueline Russell
SPLASH-E 2019: Proceedings of the 2019 ACM SIGPLAN Symposium on SPLASH-E | October 2019
-
Static TypeScript: An Implementation of a Static Compiler for the TypeScript Language
Michal Moskal, Thomas Ball, Jonathan "Peli" de Halleux
Managed Programming Languages and Runtimes | October 2019
-
MakerArcade: Using Gaming and Physical Computing for Playful Making, Learning, and Creativity
Teddy Seyed, Jonathan "Peli" de Halleux, Michal Moskal, James Devine, Joe Finney, Steve Hodges, Thomas Ball
CHI 2019 Extended Abstracts | May 2019
-
MakeCode and CODAL: intuitive and efficient embedded systems programming for education (LCTES version)
James Devine, Joe Finney, Jonathan "Peli" de Halleux, Michal Moskal, Thomas Ball, Steve Hodges
Proceedings of the 19th ACM SIGPLAN/SIGBED International Conference on Languages, Compilers, and Tools for Embedded Systems | June 2018
-
ARcadia: A Rapid Prototyping Platform for Real-time Tangible Interfaces
Annie Kelly, R. Benjamin Shapiro, Peli de Halleux, Tom Ball
Proceedings of the 2018 CHI Conference on Human Factors in Computing Systems | April 2018
ISBN: 978-1-4503-5620-6
-
Microsoft Touch Develop and the BBC micro:bit
Thomas Ball, Jonathan Protzenko, Judith Bishop, Michal Moskal, Jonathan "Peli" de Halleux, Michael Braun, Steve Hodges, Clare Riley
ICSE 2016 Companion | May 2016
-
Experience with Constructing Code Hunt Contests
R. Nigel Horspool, Judith Bishop, Jonathan de Halleux, Nikolai Tillmann, Jonathan "Peli" de Halleux
CHESE 2015 Proceedings of theProc.1st International Workshop on Code Hunt Workshop on Educational Software Engineering (CHESE) | June 2015
http://doi.acm.org/10.1145/2792404.2792405
-
Beyond Open Source: The TouchDevelop Cloud-based Integrated Development Environment
Sebastian Burckhardt, Michal Moskal, Jonathan Protzenko, Nikolai Tillmann, Thomas Ball, Jonathan "Peli" de Halleux
In Proceedings of 2nd ACM International Conference on Mobile Software Engineering and Systems (MOBILESoft) | May 2015
-
Gamifying Software Security Education and Training via Secure Coding Duels in Code Hunt
Tao Xie, Judith Bishop, Nikolai Tillmann, Jonathan "Peli" de Halleux
In Proceedings of the Symposium and Bootcamp on the Science of Security (HotSoS 2015) | April 2015
In Proceedings of the Symposium and Bootcamp on the Science of Security (HotSoS 2015)
-
Tutorial: Create Rich Mobile Apps on Touch Devices
Nikolai Tillmann, Michal Moskal, Jonathan "Peli" de Halleux, Sebastian Burckhardt, Thomas Ball, Judith Bishop
Proceedings of the First International Conference on Mobile Software Engineering and Systems (MOBILESOFT) | June 2014
Proceedings of the First International Conference on Mobile Software Engineering and Systems (MOBILESOFT)
Tutorial
-
Increasing Human-Tool Interaction via the Web
Thomas Ball, Jonathan "Peli" de Halleux, Daan Leijen, Nikhil Swamy
11th ACM SIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools and Engineering | June 2013
11th ACM SIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools and Engineering
-
It’s Alive! Continuous Feedback in UI Programming
Sebastian Burckhardt, Manuel Fahndrich, Jonathan "Peli" de Halleux, Sean McDirmid, Michal Moskal, Nikolai Tillmann
PLDI | June 2013
PLDI
-
Teaching and Learning Programming and Software Engineering via Interactive Gaming
Nikolai Tillmann, Jonathan "Peli" de Halleux, Tao Xie, Sumit Gulwani, Judith Bishop
ICSE '13 Proceedings of the 2013 International Conference on Software Engineering | May 2013
ISBN: 978-1-4673-3076-3
-
Keyword Programming for TouchDevelop
Sumit Gulwani, Jonathan "Peli" de Halleux
Proceedings of the 11th international conference on Mobile systems, applications, and services | January 2013
-
TouchDevelop — App Development on Mobile Devices
Nikolai Tillmann, Michal Moskal, Manuel Fahndrich, Sebastian Burckhardt, Jonathan "Peli" de Halleux
Proc. 20th International Symposium on Foundations of Software Engineering (FSE 2012), Demonstration | November 2012
Proc. 20th International Symposium on Foundations of Software Engineering (FSE 2012), Demonstration
-
Browser-based software for technology transfer
Judith Bishop, Jonathan "Peli" de Halleux, Nikolai Tillmann, Nigel Horspool, Don Syme, Tao Xie
SAICSIT '11 Proceedings of the South African Institute of Computer Scientists and Information Technologists Conference on Knowledge, Innovation and Leadership in a Diverse, Multidisciplinary Environment | October 2011
ISBN: 978-1-4503-0878-6
-
TouchDevelop: programming cloud-connected mobile devices via touchscreen
Nikolai Tillmann, Michal Moskal, Manuel Fahndrich, Jonathan "Peli" de Halleux
Proceedings of the 10th SIGPLAN symposium on New ideas, new paradigms, and reflections on programming and software | January 2011
Proceedings of the 10th SIGPLAN symposium on New ideas, new paradigms, and reflections on programming and software
ISBN: 978-1-4503-0941-7
-
DyGen: Automatic Generation of High-Coverage Tests via Mining Gigabytes of Dynamic Traces
Suresh Thummalapenta, Jonathan "Peli" de Halleux, Nikolai Tillmann, Scott Wadsworth
TAP'10 | July 2010
-
Moles: tool-assisted environment isolation with closures
Jonathan "Peli" de Halleux, Nikolai Tillmann
TOOLS'10 | July 2010
-
Qex: Symbolic SQL Query Explorer
Margus Veanes, Nikolai Tillmann, Jonathan "Peli" de Halleux
LPAR-16 | April 2010
-
Rex: Symbolic Regular Expression Explorer
Margus Veanes, Jonathan "Peli" de Halleux, Nikolai Tillmann
Third International Conference on Software Testing, Verification and Validation (ICST) | April 2010
-
Symbolic Query Exploration
Margus Veanes, Pavel Grigorenko, Jonathan "Peli" de Halleux, Nikolai Tillmann
ICFEM'09 | December 2009
-
Exploiting the Synergy between Automated-Test-Generation and Programming-by-Contract
Mike Barnett, Manuel Fahndrich, Jonathan "Peli" de Halleux, Francesco Logozzo, Nikolai Tillmann
Proc. 31st International Conference on Software Engineering (ICSE'2009) | May 2009
Proc. 31st International Conference on Software Engineering (ICSE'2009)
Research Demonstration
-
Automated Testing of Environment-Dependent Programs – A Case Study of Modeling the File System for Pex
Soonho Kong, Nikolai Tillmann, Jonathan "Peli" de Halleux
Proc. 6th International Conference on Information Technology: New Generations (ITNG'09) | April 2009
-
Pex – White Box Test Generation for .NET
Nikolai Tillmann, Jonathan "Peli" de Halleux
Proc. of Tests and Proofs (TAP'08) | April 2008
-
Parameterized Unit Testing with Pex (Tutorial)
Nikolai Tillmann, Jonathan "Peli" de Halleux
Proc. of Tests and Proofs (TAP'08) | April 2008
-
White-Box Testing of Behavioral Web Service Contracts With Pex
Nikolai Tillmann, Jonathan "Peli" de Halleux
TAV-WEB '08: Proceedings of the 2008 workshop on Testing, analysis, and verification of web services and applications | January 2008
ISBN: 978-1-60558-053-1
-
Using Dynamic Symbolic Execution to Improve Deductive Verification
Nikolaj Bjørner, Wolfram Schulte, Nikolai Tillmann, Jonathan "Peli" de Halleux
Proc. 15th International SPIN Workshop | January 2008
ISBN: 978-3-540-85113-4
-
-
-
Plug-and-play Physical Computing with Jacdac
James Devine, Michal Moskal, Jonathan "Peli" de Halleux, Thomas Ball, Steve Hodges, Gabriele D’Amone, David Gakure, Joe Finney, Lorraine Underwood, Kobi Hartley, Paul Kos, Matt Oppenheim
Proceedings of the ACM on Interactive, Mobile, Wearable and Ubiquitous Technologies | September 2022, 第 6 卷(3)
-
The BBC micro:bit: from the U.K. to the world
Jonny Austin, Howard Baker, Thomas Ball, James Devine, Joe Finney, Jonathan "Peli" de Halleux, Steve Hodges, Michal Moskal, Gareth Stockdale
Communications of the ACM | February 2020, 第 63 卷(3)
-
MakeCode and CODAL: Intuitive and efficient embedded systems programming for education (JSA version)
James Devine, Joe Finney, Jonathan "Peli" de Halleux, Michal Moskal, Thomas Ball, Steve Hodges
Journal of Systems Architecture | September 2019, 第 98 卷: pp. 468-483
-
Pex4Fun: Cloud Computing in the CS Classroom
Nikolai Tillmann, Jonathan "Peli" de Halleux
The Voice of K-12 Computer Science Education and Its Educators | July 2011, 第 7 卷: pp. 4-5
-
Predictable and Progressive Testing of Multithreaded Code
Sebastian Burckhardt, Madan Musuvathi, Shaz Qadeer, Jonathan "Peli" de Halleux, Thomas Ball
IEEE Software | May 2011, 第 28 卷: pp. 75-83
-
Automated Software Testing Using Program Analysis
Patrice Godefroid, Jonathan "Peli" de Halleux, Aditya Nori, Sriram Rajamani, Wolfram Schulte, Nikolai Tillmann, Michael Y. Levin
IEEE Software, Special Issue on Software Development Tools | October 2008
-
-
-
Educational Software Engineering: Where Software Engineering, Education, and Gaming Meet
Tao Xie, Nikolai Tillmann, Jonathan "Peli" de Halleux, Judith Bishop
5 | 作者：CRC Press | 2015
-