Jonathan de Halleux

According to our database, Jonathan de Halleux authored at least 89 papers between 2002 and 2025.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2025

Z3Guide: A Scalable, Student-Centered, and Extensible Educational Environment for Logic Modeling.

Ruanqianqian (Lisa) Huang, Ayana Monroe, Peli de Halleux, Sorin Lerner, Nikolaj S. Bjørner

CoRR, June, 2025

PromptPex: Automatic Test Generation for Language Model Prompts.

Reshabh K. Sharma, Jonathan de Halleux, Shraddha Barke, Ben Zorn

CoRR, March, 2025

2024

Plug-and-Play Physical Computing and Device Prototyping with Jacdac.

James Devine, Steve Hodges, Thomas Ball, Michal Moskal, Peli de Halleux, Gabriele D'Amone, David Gakure, Joe Finney, Lorraine Underwood, Kobi Hartley, Matt Oppenheim, Paul Kos

GetMobile Mob. Comput. Commun., June, 2024

Jacdac: Service-Based Prototyping of Embedded Systems.

Thomas Ball, Peli de Halleux, James Devine, Steve Hodges, Michal Moskal

Proc. ACM Program. Lang., 2024

MicroCode: live, portable programming for children via robotics.

Lorraine Underwood, Thomas Ball, Steve Hodges, Elisa Rubegni, Peli de Halleux, Joe Finney

Proceedings of the Adjunct Proceedings of the 37th Annual ACM Symposium on User Interface Software and Technology, 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, Peli de Halleux, James Devine, Eric Anderson, Michal Moskal

Proceedings of the 23rd Annual ACM Interaction Design and Children Conference, 2024

2023

MakeDevice: Evolving Devices Beyond the Prototype with Jacdac.

Kobi Hartley, Joe Finney, Steve Hodges, Peli de Halleux, James Devine, Gabriele D'Amone

Proceedings of the Seventeenth International Conference on Tangible, 2023

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

Proc. ACM Interact. Mob. Wearable Ubiquitous Technol., 2022

ML Blocks: A Block-Based, Graphical User Interface for Creating TinyML Models.

Randi Williams, Michal Moskal, Peli de Halleux

Proceedings of the 2022 IEEE Symposium on Visual Languages and Human-Centric Computing, 2022

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

Proceedings of the 35th Annual ACM Symposium on User Interface Software and Technology, 2022

2021

Web-based Programming for Low-cost Gaming Handhelds.

Michal Moskal, Thomas Ball, Abhijith Chatra, James Devine, Peli de Halleux, Steve Hodges, Shannon Kao, Richard Knoll, Galen Nickel, Jacqueline Russell, Joey Wunderlich, Daryl Zuniga

Proceedings of the FDG'21: The 16th International Conference on the Foundations of Digital Games 2021, 2021

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 CHI '21: CHI Conference on Human Factors in Computing Systems, 2021

2020

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

Commun. ACM, 2020

2019

Microsoft MakeCode: embedded programming for education, in blocks and TypeScript.

Thomas Ball, Abhijith Chatra, Peli de Halleux, Steve Hodges, Michal Moskal, Jacqueline Russell

Proceedings of the SPLASH-E '19, 2019

Static TypeScript: an implementation of a static compiler for the TypeScript language.

Thomas Ball, Peli de Halleux, Michal Moskal

Proceedings of the 16th ACM SIGPLAN International Conference on Managed Programming Languages and Runtimes, 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

Proceedings of the Extended Abstracts of the 2019 CHI Conference on Human Factors in Computing Systems, 2019

2018

MakeCode and CODAL: intuitive and efficient embedded systems programming for education.

James Devine, Joe Finney, Peli de Halleux, Michal Moskal, Thomas Ball, Steve Hodges

Proceedings of the 19th ACM SIGPLAN/SIGBED International Conference on Languages, 2018

A Characteristic Study of Parameterized Unit Tests in .NET Open Source Projects.

Wing Lam, Siwakorn Srisakaokul, Blake Bassett, Peyman Mahdian, Tao Xie, Pratap Lakshman, Jonathan de Halleux

Proceedings of the 32nd European Conference on Object-Oriented Programming, 2018

ARcadia: A Rapid Prototyping Platform for Real-time Tangible Interfaces.

Annie Kelly, R. Benjamin Shapiro, Jonathan de Halleux, Thomas Ball

Proceedings of the Extended Abstracts of the 2018 CHI Conference on Human Factors in Computing Systems, 2018

2017

The Micro: bit: Hands-on Computing for the New Generation (Abstract Only).

Thomas Ball, Judith Bishop, Jonathan de Halleux

Proceedings of the 2017 ACM SIGCSE Technical Symposium on Computer Science Education, 2017

2016

Microsoft touch develop and the BBC micro: bit.

Thomas Ball, Jonathan Protzenko, Judith Bishop, Michal Moskal, Jonathan de Halleux, Michael Braun, Steve Hodges, Clare Riley

Proceedings of the 38th International Conference on Software Engineering, 2016

2015

User-aware privacy control via extended static-information-flow analysis.

Xusheng Xiao, Nikolai Tillmann, Manuel Fähndrich, Jonathan de Halleux, Michal Moskal, Tao Xie

Autom. Softw. Eng., 2015

Experience with constructing code hunt contests.

R. Nigel Horspool, Judith Bishop, Jonathan de Halleux, Nikolai Tillmann

Proceedings of the 1st International Workshop on Code Hunt on Educational Software Engineering, 2015

Crowdsourcing Code and Process via Code Hunt.

Tao Xie, Judith Bishop, R. Nigel Horspool, Nikolai Tillmann, Jonathan de Halleux

Proceedings of the 2nd IEEE/ACM International Workshop on CrowdSourcing in Software Engineering, 2015

Code Hunt: Experience with Coding Contests at Scale.

Judith Bishop, R. Nigel Horspool, Tao Xie, Nikolai Tillmann, Jonathan de Halleux

Proceedings of the 37th IEEE/ACM International Conference on Software Engineering, 2015

Beyond Open Source: The Touch Develop Cloud-Based Integrated Development Environment.

Thomas Ball, Sebastian Burckhardt, Jonathan de Halleux, Michal Moskal, Jonathan Protzenko, Nikolai Tillmann

Proceedings of the 2nd ACM International Conference on Mobile Software Engineering and Systems, 2015

Gamifying software security education and training via secure coding duels in code hunt.

Tao Xie, Judith Bishop, Nikolai Tillmann, Jonathan de Halleux

Proceedings of the 2015 Symposium and Bootcamp on the Science of Security, 2015

2014

Code hunt: gamifying teaching and learning of computer science at scale.

Nikolai Tillmann, Jonathan de Halleux, Tao Xie, Judith Bishop

Proceedings of the First (2014) ACM Conference on Learning @ Scale, 2014

Transferring an automated test generation tool to practice: from pex to fakes and code digger.

Nikolai Tillmann, Jonathan de Halleux, Tao Xie

Proceedings of the ACM/IEEE International Conference on Automated Software Engineering, 2014

Constructing coding duels in Pex4Fun and code hunt.

Nikolai Tillmann, Jonathan de Halleux, Tao Xie, Judith Bishop

Proceedings of the International Symposium on Software Testing and Analysis, 2014

TouchDevelop: create rich mobile apps on touch devices (tutorial).

Nikolai Tillmann, Michal Moskal, Jonathan de Halleux, Sebastian Burckhardt, Thomas Ball, Judith Bishop

Proceedings of the 1st International Conference on Mobile Software Engineering and Systems, 2014

Addressing JavaScript JIT Engines Performance Quirks: A Crowdsourced Adaptive Compiler.

Rafael Auler, Edson Borin, Peli de Halleux, Michal Moskal, Nikolai Tillmann

Proceedings of the Compiler Construction - 23rd International Conference, 2014

2013

Generating Test Suites with Augmented Dynamic Symbolic Execution.

Konrad Jamrozik, Gordon Fraser, Nikolai Tillmann, Jonathan de Halleux

Proceedings of the Tests and Proofs - 7th International Conference, 2013

It's alive! continuous feedback in UI programming.

Sebastian Burckhardt, Manuel Fähndrich, Peli de Halleux, Sean McDirmid, Michal Moskal, Nikolai Tillmann, Jun Kato

Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, 2013

Increasing human-tool interaction via the web.

Thomas Ball, Peli de Halleux, Nikhil Swamy, Daan Leijen

Proceedings of the ACM SIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools and Engineering, 2013

Keyword programming for TouchDevelop.

Vu Le, Jonathan de Halleux, Sumit Gulwani, Zhendong Su

Proceedings of the 11th Annual International Conference on Mobile Systems, 2013

Pex4Fun: A web-based environment for educational gaming via automated test generation.

Nikolai Tillmann, Jonathan de Halleux, Tao Xie, Judith Bishop

Proceedings of the 2013 28th IEEE/ACM International Conference on Automated Software Engineering, 2013

Educational software engineering: where software engineering, education, and gaming meet.

Tao Xie, Nikolai Tillmann, Jonathan de Halleux

Proceedings of the 3rd International Workshop on Games and Software Engineering: Engineering Computer Games to Enable Positive, 2013

Teaching and learning programming and software engineering via interactive gaming.

Nikolai Tillmann, Jonathan de Halleux, Tao Xie, Sumit Gulwani, Judith Bishop

Proceedings of the 35th International Conference on Software Engineering, 2013

2012

Environmental Modeling for Automated Cloud Application Testing.

Linghao Zhang, Xiaoxing Ma, Jian Lu, Tao Xie, Nikolai Tillmann, Peli de Halleux

IEEE Softw., 2012

State Coverage: Software Validation Metrics beyond Code Coverage.

Dries Vanoverberghe, Jonathan de Halleux, Nikolai Tillmann, Frank Piessens

Proceedings of the SOFSEM 2012: Theory and Practice of Computer Science, 2012

TouchDevelop: app development on mobile devices.

Nikolai Tillmann, Michal Moskal, Jonathan de Halleux, Manuel Fähndrich, Sebastian Burckhardt

Proceedings of the 20th ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE-20), 2012

Engage your students by teaching programming using only mobile devices with TouchDevelop (abstract only).

Nikolai Tillmann, Michal Moskal, Jonathan de Halleux, Manuel Fähndrich, Tao Xie

Proceedings of the 43rd ACM technical symposium on Computer science education, 2012

Teaching and learning computing via social gaming with Pex4Fun (abstract only).

Nikolai Tillmann, Jonathan de Halleux, Tao Xie, Judith Bishop

Proceedings of the 43rd ACM technical symposium on Computer science education, 2012

User-aware privacy control via extended static-information-flow analysis.

Xusheng Xiao, Nikolai Tillmann, Manuel Fähndrich, Jonathan de Halleux, Michal Moskal

Proceedings of the IEEE/ACM International Conference on Automated Software Engineering, 2012

Augmented dynamic symbolic execution.

Konrad Jamrozik, Gordon Fraser, Nikolai Tillmann, Jonathan de Halleux

Proceedings of the IEEE/ACM International Conference on Automated Software Engineering, 2012

The future of teaching programming is on mobile devices.

Nikolai Tillmann, Michal Moskal, Jonathan de Halleux, Manuel Fähndrich, Judith Bishop, Arjmand Samuel, Tao Xie

Proceedings of the Annual Conference on Innovation and Technology in Computer Science Education, 2012

Engage Your Students by Teaching Computer Science Using Only Mobile Devices with TouchDevelop.

Nikolai Tillmann, Michal Moskal, Jonathan de Halleux, Manuel Fähndrich, Tao Xie

Proceedings of the 25th IEEE Conference on Software Engineering Education and Training, 2012

Pex4Fun: Teaching and Learning Computer Science via Social Gaming.

Nikolai Tillmann, Jonathan de Halleux, Tao Xie, Judith Bishop

Proceedings of the 25th IEEE Conference on Software Engineering Education and Training, 2012

2011

Predictable and Progressive Testing of Multithreaded Code.

Thomas Ball, Sebastian Burckhardt, Peli de Halleux, Madan Musuvathi, Shaz Qadeer

IEEE Softw., 2011

Browser-based software for technology transfer.

Judith Bishop, Jonathan de Halleux, Nikolai Tillmann, R. Nigel Horspool, Don Syme, Tao Xie

Proceedings of the 2011 Annual Conference of the South African Institute of Computer Scientists and Information Technologists, 2011

TouchDevelop: programming cloud-connected mobile devices via touchscreen.

Nikolai Tillmann, Michal Moskal, Jonathan de Halleux, Manuel Fähndrich

Proceedings of the ACM Symposium on New Ideas in Programming and Reflections on Software, 2011

Synthesizing method sequences for high-coverage testing.

Suresh Thummalapenta, Tao Xie, Nikolai Tillmann, Jonathan de Halleux, Zhendong Su

Proceedings of the 26th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2011

eXpress: guided path exploration for efficient regression test generation.

Kunal Taneja, Tao Xie, Nikolai Tillmann, Jonathan de Halleux

Proceedings of the 20th International Symposium on Software Testing and Analysis, 2011

Covana: precise identification of problems in pex.

Xusheng Xiao, Tao Xie, Nikolai Tillmann, Jonathan de Halleux

Proceedings of the 33rd International Conference on Software Engineering, 2011

Precise identification of problems for structural test generation.

Xusheng Xiao, Tao Xie, Nikolai Tillmann, Jonathan de Halleux

Proceedings of the 33rd International Conference on Software Engineering, 2011

Retrofitting Unit Tests for Parameterized Unit Testing.

Suresh Thummalapenta, Madhuri R. Marri, Tao Xie, Nikolai Tillmann, Jonathan de Halleux

Proceedings of the Fundamental Approaches to Software Engineering, 2011

Pex4Fun: Teaching and learning computer science via social gaming.

Nikolai Tillmann, Jonathan de Halleux, Tao Xie

Proceedings of the 24th IEEE-CS Conference on Software Engineering Education and Training, 2011

2010

Moles: Tool-Assisted Environment Isolation with Closures.

Jonathan de Halleux, Nikolai Tillmann

Proceedings of the Objects, Models, Components, Patterns, 48th International Conference, 2010

DyGen: Automatic Generation of High-Coverage Tests via Mining Gigabytes of Dynamic Traces.

Suresh Thummalapenta, Jonathan de Halleux, Nikolai Tillmann, Scott Wadsworth

Proceedings of the Tests and Proofs - 4th International Conference, 2010

Future of developer testing: building quality in code.

Tao Xie, Nikolai Tillmann, Jonathan de Halleux, Wolfram Schulte

Proceedings of the Workshop on Future of Software Engineering Research, 2010

FloPSy - Search-Based Floating Point Constraint Solving for Symbolic Execution.

Kiran Lakhotia, Nikolai Tillmann, Mark Harman, Jonathan de Halleux

Proceedings of the Testing Software and Systems, 2010

Teaching and training developer-testing techniques and tool support.

Tao Xie, Jonathan de Halleux, Nikolai Tillmann, Wolfram Schulte

Proceedings of the Companion to the 25th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2010

Qex: Symbolic SQL Query Explorer.

Margus Veanes, Nikolai Tillmann, Jonathan de Halleux

Proceedings of the Logic for Programming, Artificial Intelligence, and Reasoning, 2010

Rex: Symbolic Regular Expression Explorer.

Margus Veanes, Peli de Halleux, Nikolai Tillmann

Proceedings of the Third International Conference on Software Testing, 2010

Test generation via Dynamic Symbolic Execution for mutation testing.

Lingming Zhang, Tao Xie, Lu Zhang, Nikolai Tillmann, Jonathan de Halleux, Hong Mei

Proceedings of the 26th IEEE International Conference on Software Maintenance (ICSM 2010), 2010

Guided test generation for coverage criteria.

Rahul Pandita, Tao Xie, Nikolai Tillmann, Jonathan de Halleux

Proceedings of the 26th IEEE International Conference on Software Maintenance (ICSM 2010), 2010

Parameterized unit testing: theory and practice.

Nikolai Tillmann, Jonathan de Halleux, Tao Xie

Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering, 2010

2009

MSeqGen: object-oriented unit-test generation via mining source code.

Suresh Thummalapenta, Tao Xie, Nikolai Tillmann, Jonathan de Halleux, Wolfram Schulte

Proceedings of the 7th joint meeting of the European Software Engineering Conference and the ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2009

Reggae: Automated Test Generation for Programs Using Complex Regular Expressions.

Nuo Li, Tao Xie, Nikolai Tillmann, Jonathan de Halleux, Wolfram Schulte

Proceedings of the ASE 2009, 2009

Automated Testing of Environment-Dependent Programs - A Case Study of Modeling the File System for Pex.

Soonho Kong, Nikolai Tillmann, Jonathan de Halleux

Proceedings of the Sixth International Conference on Information Technology: New Generations, 2009

Mutation Analysis of Parameterized Unit Tests.

Tao Xie, Nikolai Tillmann, Jonathan de Halleux, Wolfram Schulte

Proceedings of the Second International Conference on Software Testing Verification and Validation, 2009

Guided path exploration for regression test generation.

Kunal Taneja, Tao Xie, Nikolai Tillmann, Jonathan de Halleux, Wolfram Schulte

Proceedings of the 31st International Conference on Software Engineering, 2009

An Empirical Study of Testing File-System-Dependent Software with Mock Objects.

Madhuri R. Marri, Tao Xie, Nikolai Tillmann, Jonathan de Halleux, Wolfram Schulte

Proceedings of the 4th International Workshop on Automation of Software Test, 2009

Exploiting the synergy between automated-test-generation and programming-by-contract.

Michael Barnett, Manuel Fähndrich, Peli de Halleux, Francesco Logozzo, Nikolai Tillmann

Proceedings of the 31st International Conference on Software Engineering, 2009

Deconstructing concurrency heisenbugs.

Thomas Ball, Sebastian Burckhardt, Jonathan de Halleux, Madanlal Musuvathi, Shaz Qadeer

Proceedings of the 31st International Conference on Software Engineering, 2009

Symbolic Query Exploration.

Margus Veanes, Pavel Grigorenko, Peli de Halleux, Nikolai Tillmann

Proceedings of the Formal Methods and Software Engineering, 2009

Fitness-guided path exploration in dynamic symbolic execution.

Tao Xie, Nikolai Tillmann, Jonathan de Halleux, Wolfram Schulte

Proceedings of the 2009 IEEE/IFIP International Conference on Dependable Systems and Networks, 2009

2008

Automating Software Testing Using Program Analysis.

Patrice Godefroid, Jonathan de Halleux, Aditya V. Nori, Sriram K. Rajamani, Wolfram Schulte, Nikolai Tillmann, Michael Y. Levin

IEEE Softw., 2008

Pex-White Box Test Generation for .NET.

Nikolai Tillmann, Jonathan de Halleux

Proceedings of the Tests and Proofs - 2nd International Conference, 2008

Parameterized Unit Testing with Pex.

Jonathan de Halleux, Nikolai Tillmann

Proceedings of the Tests and Proofs - 2nd International Conference, 2008

Using Dynamic Symbolic Execution to Improve Deductive Verification.

Dries Vanoverberghe, Nikolaj S. Bjørner, Jonathan de Halleux, Wolfram Schulte, Nikolai Tillmann

Proceedings of the Model Checking Software, 2008

White-box testing of behavioral web service contracts with Pex.

Nikolai Tillmann, Jonathan de Halleux

Proceedings of the 2008 Workshop on Testing, 2008

2007

Parameterized Unit Testing with Pex: Tutorial.

Nikolai Tillmann, Jonathan de Halleux, Wolfram Schulte

Proceedings of the Testing Techniques in Software Engineering, 2007

2004

Stabilization of a 1-D tank containing a fluid modeled by the shallow water equations.

Christophe Prieur, Jonathan de Halleux

Syst. Control. Lett., 2004

Boundary control design for cascades of hyperbolic 2 × 2 PDE systems via graph theory.

Jonathan de Halleux, Christophe Prieur, Georges Bastin

Proceedings of the 43rd IEEE Conference on Decision and Control, 2004

2003

Boundary feedback control in networks of open channels.

Jonathan de Halleux, Christophe Prieur, Jean-Michel Coron, Brigitte d'Andréa-Novel, Georges Bastin

Autom., 2003

2002

On boundary control design for quasilinear hyperbolic systems with entropies as Lyapunov functions.

Jean-Michel Coron, Jonathan de Halleux, Georges Bastin, Brigitte d'Andréa-Novel

Proceedings of the 41st IEEE Conference on Decision and Control, 2002

Stabilization of a tank via output feedback.

Christophe Prieur, Jonathan de Halleux

Proceedings of the 41st IEEE Conference on Decision and Control, 2002