Jonathan de Halleux

Affiliations:
  • Microsoft Research


According to our database1, Jonathan de Halleux authored at least 82 papers between 2002 and 2023.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2023
MakeDevice: Evolving Devices Beyond the Prototype with Jacdac.
Proceedings of the Seventeenth International Conference on Tangible, 2023

2022
Plug-and-play Physical Computing with Jacdac.
Proc. ACM Interact. Mob. Wearable Ubiquitous Technol., 2022

PSST: Enabling Blind or Visually Impaired Developers to Author Sonifications of Streaming Sensor Data.
Proceedings of the 35th Annual ACM Symposium on User Interface Software and Technology, 2022

2021
Web-based Programming for Low-cost Gaming Handhelds.
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.
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.
Commun. ACM, 2020

2019
MakeCode and CODAL: Intuitive and efficient embedded systems programming for education.
J. Syst. Archit., 2019

Microsoft MakeCode: embedded programming for education, in blocks and TypeScript.
Proceedings of the SPLASH-E '19, 2019

Static TypeScript: an implementation of a static compiler for the TypeScript language.
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.
Proceedings of the Extended Abstracts of the 2019 CHI Conference on Human Factors in Computing Systems, 2019

2018
A Characteristic Study of Parameterized Unit Tests in .NET Open Source Projects.
Proceedings of the 32nd European Conference on Object-Oriented Programming, 2018

ARcadia: A Rapid Prototyping Platform for Real-time Tangible Interfaces.
Proceedings 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).
Proceedings of the 2017 ACM SIGCSE Technical Symposium on Computer Science Education, 2017

2016
Microsoft touch develop and the BBC micro: bit.
Proceedings of the 38th International Conference on Software Engineering, 2016

2015
User-aware privacy control via extended static-information-flow analysis.
Autom. Softw. Eng., 2015

Experience with constructing code hunt contests.
Proceedings of the 1st International Workshop on Code Hunt on Educational Software Engineering, 2015

Crowdsourcing Code and Process via Code Hunt.
Proceedings of the 2nd IEEE/ACM International Workshop on CrowdSourcing in Software Engineering, 2015

Code Hunt: Experience with Coding Contests at Scale.
Proceedings of the 37th IEEE/ACM International Conference on Software Engineering, 2015

Beyond Open Source: The Touch Develop Cloud-Based Integrated Development Environment.
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.
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.
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.
Proceedings of the ACM/IEEE International Conference on Automated Software Engineering, 2014

Constructing coding duels in Pex4Fun and code hunt.
Proceedings of the International Symposium on Software Testing and Analysis, 2014

TouchDevelop: create rich mobile apps on touch devices (tutorial).
Proceedings of the 1st International Conference on Mobile Software Engineering and Systems, 2014

Addressing JavaScript JIT Engines Performance Quirks: A Crowdsourced Adaptive Compiler.
Proceedings of the Compiler Construction - 23rd International Conference, 2014

2013
Generating Test Suites with Augmented Dynamic Symbolic Execution.
Proceedings of the Tests and Proofs - 7th International Conference, 2013

It's alive! continuous feedback in UI programming.
Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, 2013

Increasing human-tool interaction via the web.
Proceedings of the ACM SIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools and Engineering, 2013

Keyword programming for TouchDevelop.
Proceedings of the 11th Annual International Conference on Mobile Systems, 2013

Pex4Fun: A web-based environment for educational gaming via automated test generation.
Proceedings of the 2013 28th IEEE/ACM International Conference on Automated Software Engineering, 2013

Educational software engineering: where software engineering, education, and gaming meet.
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.
Proceedings of the 35th International Conference on Software Engineering, 2013

2012
Environmental Modeling for Automated Cloud Application Testing.
IEEE Softw., 2012

State Coverage: Software Validation Metrics beyond Code Coverage.
Proceedings of the SOFSEM 2012: Theory and Practice of Computer Science, 2012

TouchDevelop: app development on mobile devices.
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).
Proceedings of the 43rd ACM technical symposium on Computer science education, 2012

Teaching and learning computing via social gaming with Pex4Fun (abstract only).
Proceedings of the 43rd ACM technical symposium on Computer science education, 2012

User-aware privacy control via extended static-information-flow analysis.
Proceedings of the IEEE/ACM International Conference on Automated Software Engineering, 2012

Augmented dynamic symbolic execution.
Proceedings of the IEEE/ACM International Conference on Automated Software Engineering, 2012

The future of teaching programming is on mobile devices.
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.
Proceedings of the 25th IEEE Conference on Software Engineering Education and Training, 2012

Pex4Fun: Teaching and Learning Computer Science via Social Gaming.
Proceedings of the 25th IEEE Conference on Software Engineering Education and Training, 2012

2011
Predictable and Progressive Testing of Multithreaded Code.
IEEE Softw., 2011

Browser-based software for technology transfer.
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.
Proceedings of the ACM Symposium on New Ideas in Programming and Reflections on Software, 2011

Synthesizing method sequences for high-coverage testing.
Proceedings of the 26th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2011

eXpress: guided path exploration for efficient regression test generation.
Proceedings of the 20th International Symposium on Software Testing and Analysis, 2011

Covana: precise identification of problems in pex.
Proceedings of the 33rd International Conference on Software Engineering, 2011

Precise identification of problems for structural test generation.
Proceedings of the 33rd International Conference on Software Engineering, 2011

Retrofitting Unit Tests for Parameterized Unit Testing.
Proceedings of the Fundamental Approaches to Software Engineering, 2011

Pex4Fun: Teaching and learning computer science via social gaming.
Proceedings of the 24th IEEE-CS Conference on Software Engineering Education and Training, 2011

2010
Moles: Tool-Assisted Environment Isolation with Closures.
Proceedings of the Objects, Models, Components, Patterns, 48th International Conference, 2010

DyGen: Automatic Generation of High-Coverage Tests via Mining Gigabytes of Dynamic Traces.
Proceedings of the Tests and Proofs - 4th International Conference, 2010

Future of developer testing: building quality in code.
Proceedings of the Workshop on Future of Software Engineering Research, 2010

FloPSy - Search-Based Floating Point Constraint Solving for Symbolic Execution.
Proceedings of the Testing Software and Systems, 2010

Teaching and training developer-testing techniques and tool support.
Proceedings of the Companion to the 25th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2010

Qex: Symbolic SQL Query Explorer.
Proceedings of the Logic for Programming, Artificial Intelligence, and Reasoning, 2010

Rex: Symbolic Regular Expression Explorer.
Proceedings of the Third International Conference on Software Testing, 2010

Test generation via Dynamic Symbolic Execution for mutation testing.
Proceedings of the 26th IEEE International Conference on Software Maintenance (ICSM 2010), 2010

Guided test generation for coverage criteria.
Proceedings of the 26th IEEE International Conference on Software Maintenance (ICSM 2010), 2010

Parameterized unit testing: theory and practice.
Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering, 2010

2009
MSeqGen: object-oriented unit-test generation via mining source code.
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.
Proceedings of the ASE 2009, 2009

Automated Testing of Environment-Dependent Programs - A Case Study of Modeling the File System for Pex.
Proceedings of the Sixth International Conference on Information Technology: New Generations, 2009

Mutation Analysis of Parameterized Unit Tests.
Proceedings of the Second International Conference on Software Testing Verification and Validation, 2009

Guided path exploration for regression test generation.
Proceedings of the 31st International Conference on Software Engineering, 2009

An Empirical Study of Testing File-System-Dependent Software with Mock Objects.
Proceedings of the 4th International Workshop on Automation of Software Test, 2009

Exploiting the synergy between automated-test-generation and programming-by-contract.
Proceedings of the 31st International Conference on Software Engineering, 2009

Deconstructing concurrency heisenbugs.
Proceedings of the 31st International Conference on Software Engineering, 2009

Symbolic Query Exploration.
Proceedings of the Formal Methods and Software Engineering, 2009

Fitness-guided path exploration in dynamic symbolic execution.
Proceedings of the 2009 IEEE/IFIP International Conference on Dependable Systems and Networks, 2009

2008
Automating Software Testing Using Program Analysis.
IEEE Softw., 2008

Pex-White Box Test Generation for .NET.
Proceedings of the Tests and Proofs - 2nd International Conference, 2008

Parameterized Unit Testing with Pex.
Proceedings of the Tests and Proofs - 2nd International Conference, 2008

Using Dynamic Symbolic Execution to Improve Deductive Verification.
Proceedings of the Model Checking Software, 2008

White-box testing of behavioral web service contracts with Pex.
Proceedings of the 2008 Workshop on Testing, 2008

2007
Parameterized Unit Testing with Pex: Tutorial.
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.
Syst. Control. Lett., 2004

Boundary control design for cascades of hyperbolic 2 × 2 PDE systems via graph theory.
Proceedings of the 43rd IEEE Conference on Decision and Control, 2004

2003
Boundary feedback control in networks of open channels.
Autom., 2003

2002
On boundary control design for quasilinear hyperbolic systems with entropies as Lyapunov functions.
Proceedings of the 41st IEEE Conference on Decision and Control, 2002

Stabilization of a tank via output feedback.
Proceedings of the 41st IEEE Conference on Decision and Control, 2002


  Loading...