Jacdac: Service-Based Prototyping of Embedded Systems
Thomas Ball, Peli de Halleux, James Devine, Steve Hodges, Michal Moskal
Programming Language Design and Implementation (PLDI) | June 2024
Peli de Halleux
Principal Research Software Engineer
Publications
Publications by Year
-
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, 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, Peli de Halleux, James Devine, Steve Hodges, Michal Moskal
MSR-TR-2023-4 | January 2023
Published by 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, Peli de Halleux, Steve Hodges, Jennifer Mankoff
ACM UIST | October 2022
Plug-and-play Physical Computing with Jacdac
James Devine, Michal Moskal, 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, Vol 6(3)
-
Web-based Programming for Low-cost Gaming Handhelds
Michal Moskal, 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, 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, Peli de Halleux, Steve Hodges, Michal Moskal, Gareth Stockdale
Communications of the ACM | February 2020, Vol 63(3)
-
Microsoft MakeCode: Embedded Programming for Education, in Blocks and TypeScript
Thomas Ball, Abhijith Chatra, 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, 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, Peli de Halleux, Michal Moskal, Thomas Ball, Steve Hodges
Journal of Systems Architecture | September 2019, Vol 98: pp. 468-483
MakerArcade: Using Gaming and Physical Computing for Playful Making, Learning, and Creativity
Teddy Seyed, 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, 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, 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, Peli de Halleux, Judith Bishop
5 | Published by CRC Press | 2015
Experience with Constructing Code Hunt Contests
R. Nigel Horspool, Judith Bishop, Jonathan de Halleux, Nikolai Tillmann, 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, 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, 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, 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, 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, Peli de Halleux, Thomas Ball
MSR-TR-2014-63 | May 2014
-
Increasing Human-Tool Interaction via the Web
Thomas Ball, 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, 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, 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, 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, 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, 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, Peli de Halleux
MSR-TR-2011-103 | September 2011
Transparent Privacy Control via Static Information Flow Analysis
Nikolai Tillmann, Manuel Fahndrich, Peli de Halleux, Michal Moskal
MSR-TR-2011-93 | August 2011
Pex4Fun: Cloud Computing in the CS Classroom
Nikolai Tillmann, Peli de Halleux
The Voice of K-12 Computer Science Education and Its Educators | July 2011, Vol 7: pp. 4-5
Predictable and Progressive Testing of Multithreaded Code
Sebastian Burckhardt, Madan Musuvathi, Shaz Qadeer, Peli de Halleux, Thomas Ball
IEEE Software | May 2011, Vol 28: pp. 75-83
TouchDevelop – Programming Cloud-Connected Mobile Devices via Touchscreen
Michal Moskal, Nikolai Tillmann, Manuel Fahndrich, 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, 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, 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, Peli de Halleux, Nikolai Tillmann, Scott Wadsworth
TAP'10 | July 2010
Moles: tool-assisted environment isolation with closures
Peli de Halleux, Nikolai Tillmann
TOOLS'10 | July 2010
Qex: Symbolic SQL Query Explorer
Margus Veanes, Nikolai Tillmann, Peli de Halleux
LPAR-16 | April 2010
Rex: Symbolic Regular Expression Explorer
Margus Veanes, Peli de Halleux, Nikolai Tillmann
Third International Conference on Software Testing, Verification and Validation (ICST) | April 2010
-
Symbolic Query Exploration
Margus Veanes, Pavel Grigorenko, Peli de Halleux, Nikolai Tillmann
ICFEM'09 | December 2009
Qex: Symbolic SQL Query Explorer
Margus Veanes, Jonathan de Halleux, Nikolai Tillmann, Peli de Halleux
MSR-TR-2009-2015 | October 2009
Updated January 2010
Rex: Symbolic Regular Expression Explorer
Margus Veanes, 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, 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, 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, Peli de Halleux
Proc. 6th International Conference on Information Technology: New Generations (ITNG'09) | April 2009
-
Automated Software Testing Using Program Analysis
Patrice Godefroid, 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, Peli de Halleux, Wolfram Schulte
MSR-TR-2008-123 | September 2008
Parameterized Unit Testing with Pex (Tutorial)
Nikolai Tillmann, Peli de Halleux
Proc. of Tests and Proofs (TAP'08) | April 2008
Pex – White Box Test Generation for .NET
Nikolai Tillmann, 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, 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, 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
Publications by Research Area
-
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, 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, Peli de Halleux, Steve Hodges, Jennifer Mankoff
ACM UIST | October 2022
Plug-and-play Physical Computing with Jacdac
James Devine, Michal Moskal, 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, Vol 6(3)
Rethinking the Runway: Using Avant-Garde Fashion To Design a System for Wearables
Teddy Seyed, James Devine, Joe Finney, Michal Moskal, 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, Peli de Halleux, Steve Hodges, Michal Moskal, Gareth Stockdale
Communications of the ACM | February 2020, Vol 63(3)
MakeCode and CODAL: Intuitive and efficient embedded systems programming for education (JSA version)
James Devine, Joe Finney, Peli de Halleux, Michal Moskal, Thomas Ball, Steve Hodges
Journal of Systems Architecture | September 2019, Vol 98: pp. 468-483
MakerArcade: Using Gaming and Physical Computing for Playful Making, Learning, and Creativity
Teddy Seyed, 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, 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, Peli de Halleux, Michael Braun, Steve Hodges, Clare Riley
ICSE 2016 Companion | May 2016
Increasing Human-Tool Interaction via the Web
Thomas Ball, 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, 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, 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, Peli de Halleux
MSR-TR-2011-49 | April 2011
-
Jacdac: Service-Based Prototyping of Embedded Systems
Thomas Ball, 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, Peli de Halleux, James Devine, Steve Hodges, Michal Moskal
MSR-TR-2023-4 | January 2023
Published by Microsoft
Plug-and-play Physical Computing with Jacdac
James Devine, Michal Moskal, 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, Vol 6(3)
Web-based Programming for Low-cost Gaming Handhelds
Michal Moskal, 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, Peli de Halleux, Steve Hodges, Michal Moskal, Gareth Stockdale
Communications of the ACM | February 2020, Vol 63(3)
Microsoft MakeCode: Embedded Programming for Education, in Blocks and TypeScript
Thomas Ball, Abhijith Chatra, 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, 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, Peli de Halleux, Michal Moskal, Thomas Ball, Steve Hodges
Journal of Systems Architecture | September 2019, Vol 98: pp. 468-483
MakerArcade: Using Gaming and Physical Computing for Playful Making, Learning, and Creativity
Teddy Seyed, 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, 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, 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, Peli de Halleux, Judith Bishop
5 | Published by CRC Press | 2015
Experience with Constructing Code Hunt Contests
R. Nigel Horspool, Judith Bishop, Jonathan de Halleux, Nikolai Tillmann, 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, 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, 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, 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, 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, Peli de Halleux, Thomas Ball
MSR-TR-2014-63 | May 2014
It’s Alive! Continuous Feedback in UI Programming
Sebastian Burckhardt, Manuel Fahndrich, Peli de Halleux, Sean McDirmid, Michal Moskal, Nikolai Tillmann
PLDI | June 2013
PLDI
Increasing Human-Tool Interaction via the Web
Thomas Ball, 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
Teaching and Learning Programming and Software Engineering via Interactive Gaming
Nikolai Tillmann, 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, 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, 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, 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, Peli de Halleux
MSR-TR-2011-103 | September 2011
Transparent Privacy Control via Static Information Flow Analysis
Nikolai Tillmann, Manuel Fahndrich, Peli de Halleux, Michal Moskal
MSR-TR-2011-93 | August 2011
Predictable and Progressive Testing of Multithreaded Code
Sebastian Burckhardt, Madan Musuvathi, Shaz Qadeer, Peli de Halleux, Thomas Ball
IEEE Software | May 2011, Vol 28: pp. 75-83
TouchDevelop – Programming Cloud-Connected Mobile Devices via Touchscreen
Michal Moskal, Nikolai Tillmann, Manuel Fahndrich, 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, 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, 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, Peli de Halleux, Nikolai Tillmann, Scott Wadsworth
TAP'10 | July 2010
Moles: tool-assisted environment isolation with closures
Peli de Halleux, Nikolai Tillmann
TOOLS'10 | July 2010
Rex: Symbolic Regular Expression Explorer
Margus Veanes, Peli de Halleux, Nikolai Tillmann
Third International Conference on Software Testing, Verification and Validation (ICST) | April 2010
Qex: Symbolic SQL Query Explorer
Margus Veanes, Nikolai Tillmann, Peli de Halleux
LPAR-16 | April 2010
Symbolic Query Exploration
Margus Veanes, Pavel Grigorenko, Peli de Halleux, Nikolai Tillmann
ICFEM'09 | December 2009
Rex: Symbolic Regular Expression Explorer
Margus Veanes, Peli de Halleux, Nikolai Tillmann
MSR-TR-2009-137 | October 2009
ICST'10
Qex: Symbolic SQL Query Explorer
Margus Veanes, Jonathan de Halleux, Nikolai Tillmann, Peli de Halleux
MSR-TR-2009-2015 | October 2009
Updated January 2010
Exploiting the Synergy between Automated-Test-Generation and Programming-by-Contract
Mike Barnett, Manuel Fahndrich, 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, 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, Peli de Halleux
Proc. 6th International Conference on Information Technology: New Generations (ITNG'09) | April 2009
Automated Software Testing Using Program Analysis
Patrice Godefroid, 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, Peli de Halleux, Wolfram Schulte
MSR-TR-2008-123 | September 2008
Parameterized Unit Testing with Pex (Tutorial)
Nikolai Tillmann, Peli de Halleux
Proc. of Tests and Proofs (TAP'08) | April 2008
Pex – White Box Test Generation for .NET
Nikolai Tillmann, Peli de Halleux
Proc. of Tests and Proofs (TAP'08) | April 2008
White-Box Testing of Behavioral Web Service Contracts With Pex
Nikolai Tillmann, 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
-
Jacdac: Service-based Prototyping of Embedded Systems
Thomas Ball, Peli de Halleux, James Devine, Steve Hodges, Michal Moskal
MSR-TR-2023-4 | January 2023
Published by Microsoft
Plug-and-play Physical Computing with Jacdac
James Devine, Michal Moskal, 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, Vol 6(3)
Web-based Programming for Low-cost Gaming Handhelds
Michal Moskal, 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, 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, Peli de Halleux, Steve Hodges, Michal Moskal, Gareth Stockdale
Communications of the ACM | February 2020, Vol 63(3)
Microsoft MakeCode: Embedded Programming for Education, in Blocks and TypeScript
Thomas Ball, Abhijith Chatra, 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, 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, Peli de Halleux, Michal Moskal, Thomas Ball, Steve Hodges
Journal of Systems Architecture | September 2019, Vol 98: pp. 468-483
MakerArcade: Using Gaming and Physical Computing for Playful Making, Learning, and Creativity
Teddy Seyed, 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, 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, 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, Peli de Halleux, Steve Hodges, Jennifer Mankoff
ACM UIST | October 2022
-
Transparent Privacy Control via Static Information Flow Analysis
Nikolai Tillmann, Manuel Fahndrich, Peli de Halleux, Michal Moskal
MSR-TR-2011-93 | August 2011
-
Pex4Fun: Cloud Computing in the CS Classroom
Nikolai Tillmann, Peli de Halleux
The Voice of K-12 Computer Science Education and Its Educators | July 2011, Vol 7: pp. 4-5
-
Using Dynamic Symbolic Execution to Improve Deductive Verification
Nikolaj Bjørner, Wolfram Schulte, Nikolai Tillmann, Peli de Halleux
Proc. 15th International SPIN Workshop | January 2008
ISBN: 978-3-540-85113-4
Publications by Type
-
Jacdac: Service-Based Prototyping of Embedded Systems
Thomas Ball, 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, 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, Peli de Halleux, Steve Hodges, Jennifer Mankoff
ACM UIST | October 2022
Web-based Programming for Low-cost Gaming Handhelds
Michal Moskal, 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, 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, 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, Peli de Halleux
Managed Programming Languages and Runtimes | October 2019
MakerArcade: Using Gaming and Physical Computing for Playful Making, Learning, and Creativity
Teddy Seyed, 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, 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, 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, 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, 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, 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, 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
It’s Alive! Continuous Feedback in UI Programming
Sebastian Burckhardt, Manuel Fahndrich, Peli de Halleux, Sean McDirmid, Michal Moskal, Nikolai Tillmann
PLDI | June 2013
PLDI
Increasing Human-Tool Interaction via the Web
Thomas Ball, 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
Teaching and Learning Programming and Software Engineering via Interactive Gaming
Nikolai Tillmann, 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, 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, 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, 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, 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, Peli de Halleux, Nikolai Tillmann, Scott Wadsworth
TAP'10 | July 2010
Moles: tool-assisted environment isolation with closures
Peli de Halleux, Nikolai Tillmann
TOOLS'10 | July 2010
Rex: Symbolic Regular Expression Explorer
Margus Veanes, Peli de Halleux, Nikolai Tillmann
Third International Conference on Software Testing, Verification and Validation (ICST) | April 2010
Qex: Symbolic SQL Query Explorer
Margus Veanes, Nikolai Tillmann, Peli de Halleux
LPAR-16 | April 2010
Symbolic Query Exploration
Margus Veanes, Pavel Grigorenko, Peli de Halleux, Nikolai Tillmann
ICFEM'09 | December 2009
Exploiting the Synergy between Automated-Test-Generation and Programming-by-Contract
Mike Barnett, Manuel Fahndrich, 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, Peli de Halleux
Proc. 6th International Conference on Information Technology: New Generations (ITNG'09) | April 2009
Parameterized Unit Testing with Pex (Tutorial)
Nikolai Tillmann, Peli de Halleux
Proc. of Tests and Proofs (TAP'08) | April 2008
Pex – White Box Test Generation for .NET
Nikolai Tillmann, 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, 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, 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
-
Jacdac: Service-based Prototyping of Embedded Systems
Thomas Ball, Peli de Halleux, James Devine, Steve Hodges, Michal Moskal
MSR-TR-2023-4 | January 2023
Published by Microsoft
Beyond Open Source: The TouchDevelop Cloud-based Integrated Development Environment
Thomas Ball, Sebastian Burckhardt, 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, Peli de Halleux, Thomas Ball
MSR-TR-2014-63 | May 2014
Code Similarity in TouchDevelop: Harnessing Clones
Nikolai Tillmann, Manuel Fahndrich, Michal Moskal, Peli de Halleux
MSR-TR-2011-103 | September 2011
Transparent Privacy Control via Static Information Flow Analysis
Nikolai Tillmann, Manuel Fahndrich, 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, 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, Peli de Halleux, Tao Xie
MSR-TR-2011-41 | March 2011
Rex: Symbolic Regular Expression Explorer
Margus Veanes, Peli de Halleux, Nikolai Tillmann
MSR-TR-2009-137 | October 2009
ICST'10
Qex: Symbolic SQL Query Explorer
Margus Veanes, Jonathan de Halleux, Nikolai Tillmann, Peli de Halleux
MSR-TR-2009-2015 | October 2009
Updated January 2010
Symbolic Query Exploration
Margus Veanes, Pavel Grigorenko, Peli de Halleux, Nikolai Tillmann
MSR-TR-2009-65 | May 2009
Fitness-Guided Path Exploration in Dynamic Symbolic Execution
Tao Xie, Nikolai Tillmann, Peli de Halleux, Wolfram Schulte
MSR-TR-2008-123 | September 2008
-
Plug-and-play Physical Computing with Jacdac
James Devine, Michal Moskal, 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, Vol 6(3)
The BBC micro:bit: from the U.K. to the world
Jonny Austin, Howard Baker, Thomas Ball, James Devine, Joe Finney, Peli de Halleux, Steve Hodges, Michal Moskal, Gareth Stockdale
Communications of the ACM | February 2020, Vol 63(3)
MakeCode and CODAL: Intuitive and efficient embedded systems programming for education (JSA version)
James Devine, Joe Finney, Peli de Halleux, Michal Moskal, Thomas Ball, Steve Hodges
Journal of Systems Architecture | September 2019, Vol 98: pp. 468-483
Pex4Fun: Cloud Computing in the CS Classroom
Nikolai Tillmann, Peli de Halleux
The Voice of K-12 Computer Science Education and Its Educators | July 2011, Vol 7: pp. 4-5
Predictable and Progressive Testing of Multithreaded Code
Sebastian Burckhardt, Madan Musuvathi, Shaz Qadeer, Peli de Halleux, Thomas Ball
IEEE Software | May 2011, Vol 28: pp. 75-83
Automated Software Testing Using Program Analysis
Patrice Godefroid, 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, Peli de Halleux, Judith Bishop
5 | Published by CRC Press | 2015