Jonathan de Halleux
Orcid: 0000-0003-1020-988XAffiliations:
- Microsoft Research
According to our database1,
Jonathan de Halleux
authored at least 87 papers
between 2002 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
On csauthors.net:
Bibliography
2024
GetMobile Mob. Comput. Commun., June, 2024
Proc. ACM Program. Lang., 2024
Proceedings of the Adjunct Proceedings of the 37th Annual ACM Symposium on User Interface Software and Technology, 2024
Proceedings of the 23rd Annual ACM Interaction Design and Children Conference, 2024
2023
Proceedings of the Seventeenth International Conference on Tangible, 2023
2022
Proc. ACM Interact. Mob. Wearable Ubiquitous Technol., 2022
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.
Proceedings of the 35th Annual ACM Symposium on User Interface Software and Technology, 2022
2021
Proceedings of the FDG'21: The 16th International Conference on the Foundations of Digital Games 2021, 2021
Proceedings of the CHI '21: CHI Conference on Human Factors in Computing Systems, 2021
2020
2019
MakeCode and CODAL: Intuitive and efficient embedded systems programming for education.
J. Syst. Archit., 2019
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
Proceedings of the 32nd European Conference on Object-Oriented Programming, 2018
Proceedings of the 2018 CHI Conference on Human Factors in Computing Systems, 2018
2017
Proceedings of the 2017 ACM SIGCSE Technical Symposium on Computer Science Education, 2017
2016
Proceedings of the 38th International Conference on Software Engineering, 2016
2015
Autom. Softw. Eng., 2015
Proceedings of the 1st International Workshop on Code Hunt on Educational Software Engineering, 2015
Proceedings of the 2nd IEEE/ACM International Workshop on CrowdSourcing in Software Engineering, 2015
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
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
Proceedings of the International Symposium on Software Testing and Analysis, 2014
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
Proceedings of the Tests and Proofs - 7th International Conference, 2013
Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, 2013
Proceedings of the ACM SIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools and Engineering, 2013
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
Proceedings of the 35th International Conference on Software Engineering, 2013
2012
Proceedings of the SOFSEM 2012: Theory and Practice of Computer Science, 2012
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
Proceedings of the 43rd ACM technical symposium on Computer science education, 2012
Proceedings of the IEEE/ACM International Conference on Automated Software Engineering, 2012
Proceedings of the IEEE/ACM International Conference on Automated Software Engineering, 2012
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
Proceedings of the 25th IEEE Conference on Software Engineering Education and Training, 2012
2011
Proceedings of the 2011 Annual Conference of the South African Institute of Computer Scientists and Information Technologists, 2011
Proceedings of the ACM Symposium on New Ideas in Programming and Reflections on Software, 2011
Proceedings of the 26th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2011
Proceedings of the 20th International Symposium on Software Testing and Analysis, 2011
Proceedings of the 33rd International Conference on Software Engineering, 2011
Proceedings of the 33rd International Conference on Software Engineering, 2011
Proceedings of the Fundamental Approaches to Software Engineering, 2011
Proceedings of the 24th IEEE-CS Conference on Software Engineering Education and Training, 2011
2010
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
Proceedings of the Workshop on Future of Software Engineering Research, 2010
Proceedings of the Testing Software and Systems, 2010
Proceedings of the Companion to the 25th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2010
Proceedings of the Logic for Programming, Artificial Intelligence, and Reasoning, 2010
Proceedings of the Third International Conference on Software Testing, 2010
Proceedings of the 26th IEEE International Conference on Software Maintenance (ICSM 2010), 2010
Proceedings of the 26th IEEE International Conference on Software Maintenance (ICSM 2010), 2010
Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering, 2010
2009
Proceedings of the 7th joint meeting of the European Software Engineering Conference and the ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2009
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
Proceedings of the Second International Conference on Software Testing Verification and Validation, 2009
Proceedings of the 31st International Conference on Software Engineering, 2009
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
Proceedings of the 31st International Conference on Software Engineering, 2009
Proceedings of the Formal Methods and Software Engineering, 2009
Proceedings of the 2009 IEEE/IFIP International Conference on Dependable Systems and Networks, 2009
2008
Proceedings of the Tests and Proofs - 2nd International Conference, 2008
Proceedings of the Tests and Proofs - 2nd International Conference, 2008
Proceedings of the Model Checking Software, 2008
Proceedings of the 2008 Workshop on Testing, 2008
2007
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
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
Proceedings of the 41st IEEE Conference on Decision and Control, 2002