![](https://dblp.dagstuhl.de/img/logo.ua.320x120.png)
![](https://dblp.dagstuhl.de/img/dropdown.dark.16x16.png)
![](https://dblp.dagstuhl.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
![search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
default search action
Jonathan de Halleux
Person information
- affiliation: Microsoft Research
Refine list
![note](https://dblp.dagstuhl.de/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [j11]Thomas Ball
, Peli de Halleux
, James Devine
, Steve Hodges
, Michal Moskal
:
Jacdac: Service-Based Prototyping of Embedded Systems. Proc. ACM Program. Lang. 8(PLDI): 692-715 (2024) - [j10]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:
Plug-and-Play Physical Computing and Device Prototyping with Jacdac. GetMobile Mob. Comput. Commun. 28(2): 38-43 (2024) - [c77]Kobi Hartley
, Elisa Rubegni
, Lorraine Underwood
, Joe Finney
, Thomas Ball
, Steve Hodges
, Peli de Halleux
, James Devine
, Eric Anderson
, Michal Moskal
:
Meet MicroCode: a Live and Portable Programming Tool for the BBC micro: bit. IDC 2024: 355-370 - 2023
- [c76]Kobi Hartley
, Joe Finney
, Steve Hodges
, Peli de Halleux
, James Devine
, Gabriele D'Amone
:
MakeDevice: Evolving Devices Beyond the Prototype with Jacdac. TEI 2023: 37:1-37:7 - 2022
- [j9]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:
Plug-and-play Physical Computing with Jacdac. Proc. ACM Interact. Mob. Wearable Ubiquitous Technol. 6(3): 110:1-110:30 (2022) - [c75]Venkatesh Potluri, John Thompson, James Devine, Bongshin Lee, Nora Morsi, Peli de Halleux, Steve Hodges, Jennifer Mankoff:
PSST: Enabling Blind or Visually Impaired Developers to Author Sonifications of Streaming Sensor Data. UIST 2022: 46:1-46:13 - [c74]Randi Williams, Michal Moskal, Peli de Halleux:
ML Blocks: A Block-Based, Graphical User Interface for Creating TinyML Models. VL/HCC 2022: 1-5 - 2021
- [c73]Teddy Seyed, James Devine, Joe Finney, Michal Moskal
, Peli de Halleux, Steve Hodges, Thomas Ball, Asta Roseway:
Rethinking the Runway: Using Avant-Garde Fashion To Design a System for Wearables. CHI 2021: 45:1-45:15 - [c72]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:
Web-based Programming for Low-cost Gaming Handhelds. FDG 2021: 38:1-38:12 - 2020
- [j8]Jonny Austin, Howard Baker, Thomas Ball, James Devine
, Joe Finney
, Peli de Halleux, Steve Hodges, Michal Moskal
, Gareth Stockdale:
The BBC micro: bit: from the U.K. to the world. Commun. ACM 63(3): 62-69 (2020)
2010 – 2019
- 2019
- [j7]James Devine
, Joe Finney
, Peli de Halleux, Michal Moskal
, Thomas Ball, Steve Hodges:
MakeCode and CODAL: Intuitive and efficient embedded systems programming for education. J. Syst. Archit. 98: 468-483 (2019) - [c71]Teddy Seyed, Peli de Halleux, Michal Moskal
, James Devine
, Joe Finney
, Steve Hodges, Thomas Ball:
MakerArcade: Using Gaming and Physical Computing for Playful Making, Learning, and Creativity. CHI Extended Abstracts 2019 - [c70]Thomas Ball, Peli de Halleux, Michal Moskal
:
Static TypeScript: an implementation of a static compiler for the TypeScript language. MPLR 2019: 105-116 - [c69]Thomas Ball, Abhijith Chatra, Peli de Halleux, Steve Hodges, Michal Moskal
, Jacqueline Russell:
Microsoft MakeCode: embedded programming for education, in blocks and TypeScript. SPLASH-E 2019: 7-12 - 2018
- [c68]Annie Kelly, R. Benjamin Shapiro, Jonathan de Halleux, Thomas Ball:
ARcadia: A Rapid Prototyping Platform for Real-time Tangible Interfaces. CHI 2018: 409 - [c67]Annie Kelly, R. Benjamin Shapiro, Jonathan de Halleux, Thomas Ball:
ARcadia: A Rapid Prototyping Platform for Real-time Tangible Interfaces. CHI Extended Abstracts 2018 - [c66]Wing Lam, Siwakorn Srisakaokul, Blake Bassett, Peyman Mahdian, Tao Xie, Pratap Lakshman, Jonathan de Halleux:
A Characteristic Study of Parameterized Unit Tests in .NET Open Source Projects. ECOOP 2018: 5:1-5:27 - [c65]James Devine
, Joe Finney
, Peli de Halleux, Michal Moskal
, Thomas Ball, Steve Hodges:
MakeCode and CODAL: intuitive and efficient embedded systems programming for education. LCTES 2018: 19-30 - 2017
- [c64]Thomas Ball, Judith Bishop, Jonathan de Halleux:
The Micro: bit: Hands-on Computing for the New Generation (Abstract Only). SIGCSE 2017: 639 - 2016
- [c63]Thomas Ball, Jonathan Protzenko, Judith Bishop, Michal Moskal
, Jonathan de Halleux, Michael Braun, Steve Hodges, Clare Riley:
Microsoft touch develop and the BBC micro: bit. ICSE (Companion Volume) 2016: 637-640 - 2015
- [j6]Xusheng Xiao
, Nikolai Tillmann, Manuel Fähndrich, Jonathan de Halleux, Michal Moskal
, Tao Xie:
User-aware privacy control via extended static-information-flow analysis. Autom. Softw. Eng. 22(3): 333-366 (2015) - [c62]Tao Xie, Judith Bishop, Nikolai Tillmann, Jonathan de Halleux:
Gamifying software security education and training via secure coding duels in code hunt. HotSoS 2015: 26:1-26:2 - [c61]Tao Xie, Judith Bishop, R. Nigel Horspool, Nikolai Tillmann, Jonathan de Halleux:
Crowdsourcing Code and Process via Code Hunt. CSI-SE 2015: 15-16 - [c60]Thomas Ball, Sebastian Burckhardt, Jonathan de Halleux, Michal Moskal
, Jonathan Protzenko, Nikolai Tillmann:
Beyond Open Source: The Touch Develop Cloud-Based Integrated Development Environment. MOBILESoft 2015: 83-93 - [c59]Judith Bishop, R. Nigel Horspool, Tao Xie, Nikolai Tillmann, Jonathan de Halleux:
Code Hunt: Experience with Coding Contests at Scale. ICSE (2) 2015: 398-407 - [c58]R. Nigel Horspool, Judith Bishop, Jonathan de Halleux, Nikolai Tillmann:
Experience with constructing code hunt contests. CHESE@ISSTA 2015: 1-4 - 2014
- [c57]Rafael Auler, Edson Borin, Peli de Halleux, Michal Moskal, Nikolai Tillmann:
Addressing JavaScript JIT Engines Performance Quirks: A Crowdsourced Adaptive Compiler. CC 2014: 218-237 - [c56]Nikolai Tillmann, Michal Moskal
, Jonathan de Halleux, Sebastian Burckhardt, Thomas Ball, Judith Bishop:
TouchDevelop: create rich mobile apps on touch devices (tutorial). MOBILESoft 2014: 1-2 - [c55]Nikolai Tillmann, Jonathan de Halleux, Tao Xie, Judith Bishop:
Constructing coding duels in Pex4Fun and code hunt. ISSTA 2014: 445-448 - [c54]Nikolai Tillmann, Jonathan de Halleux, Tao Xie:
Transferring an automated test generation tool to practice: from pex to fakes and code digger. ASE 2014: 385-396 - [c53]Nikolai Tillmann, Jonathan de Halleux, Tao Xie, Judith Bishop:
Code hunt: gamifying teaching and learning of computer science at scale. L@S 2014: 221-222 - 2013
- [c52]Tao Xie, Nikolai Tillmann, Jonathan de Halleux:
Educational software engineering: where software engineering, education, and gaming meet. GAS@ICSE 2013: 36-39 - [c51]Nikolai Tillmann, Jonathan de Halleux, Tao Xie, Sumit Gulwani, Judith Bishop:
Teaching and learning programming and software engineering via interactive gaming. ICSE 2013: 1117-1126 - [c50]Nikolai Tillmann, Jonathan de Halleux, Tao Xie, Judith Bishop:
Pex4Fun: A web-based environment for educational gaming via automated test generation. ASE 2013: 730-733 - [c49]Vu Le, Jonathan de Halleux, Sumit Gulwani, Zhendong Su:
Keyword programming for TouchDevelop. MobiSys 2013: 463-464 - [c48]Thomas Ball, Peli de Halleux, Nikhil Swamy, Daan Leijen:
Increasing human-tool interaction via the web. PASTE 2013: 49-52 - [c47]Sebastian Burckhardt, Manuel Fähndrich, Peli de Halleux, Sean McDirmid, Michal Moskal
, Nikolai Tillmann, Jun Kato
:
It's alive! continuous feedback in UI programming. PLDI 2013: 95-104 - [c46]Konrad Jamrozik, Gordon Fraser, Nikolai Tillmann, Jonathan de Halleux:
Generating Test Suites with Augmented Dynamic Symbolic Execution. TAP@STAF 2013: 152-167 - 2012
- [j5]Linghao Zhang, Xiaoxing Ma
, Jian Lu, Tao Xie, Nikolai Tillmann, Peli de Halleux:
Environmental Modeling for Automated Cloud Application Testing. IEEE Softw. 29(2): 30-35 (2012) - [c45]Nikolai Tillmann, Michal Moskal
, Jonathan de Halleux, Manuel Fähndrich, Tao Xie:
Engage Your Students by Teaching Computer Science Using Only Mobile Devices with TouchDevelop. CSEE&T 2012: 87-89 - [c44]Nikolai Tillmann, Jonathan de Halleux, Tao Xie, Judith Bishop:
Pex4Fun: Teaching and Learning Computer Science via Social Gaming. CSEE&T 2012: 90-91 - [c43]Nikolai Tillmann, Michal Moskal
, Jonathan de Halleux, Manuel Fähndrich, Judith Bishop, Arjmand Samuel, Tao Xie:
The future of teaching programming is on mobile devices. ITiCSE 2012: 156-161 - [c42]Xusheng Xiao
, Nikolai Tillmann, Manuel Fähndrich, Jonathan de Halleux, Michal Moskal
:
User-aware privacy control via extended static-information-flow analysis. ASE 2012: 80-89 - [c41]Konrad Jamrozik, Gordon Fraser, Nikolai Tillmann, Jonathan de Halleux:
Augmented dynamic symbolic execution. ASE 2012: 254-257 - [c40]Nikolai Tillmann, Jonathan de Halleux, Tao Xie, Judith Bishop:
Teaching and learning computing via social gaming with Pex4Fun (abstract only). SIGCSE 2012: 659 - [c39]Nikolai Tillmann, Michal Moskal
, Jonathan de Halleux, Manuel Fähndrich, Tao Xie:
Engage your students by teaching programming using only mobile devices with TouchDevelop (abstract only). SIGCSE 2012: 663 - [c38]Nikolai Tillmann, Michal Moskal
, Jonathan de Halleux, Manuel Fähndrich, Sebastian Burckhardt:
TouchDevelop: app development on mobile devices. SIGSOFT FSE 2012: 39 - [c37]Dries Vanoverberghe, Jonathan de Halleux, Nikolai Tillmann, Frank Piessens:
State Coverage: Software Validation Metrics beyond Code Coverage. SOFSEM 2012: 542-553 - 2011
- [j4]Thomas Ball, Sebastian Burckhardt, Peli de Halleux, Madan Musuvathi, Shaz Qadeer:
Predictable and Progressive Testing of Multithreaded Code. IEEE Softw. 28(3): 75-83 (2011) - [c36]Nikolai Tillmann, Jonathan de Halleux, Tao Xie:
Pex4Fun: Teaching and learning computer science via social gaming. CSEE&T 2011: 546-548 - [c35]Suresh Thummalapenta, Madhuri R. Marri, Tao Xie, Nikolai Tillmann, Jonathan de Halleux:
Retrofitting Unit Tests for Parameterized Unit Testing. FASE 2011: 294-309 - [c34]Xusheng Xiao
, Tao Xie, Nikolai Tillmann, Jonathan de Halleux:
Precise identification of problems for structural test generation. ICSE 2011: 611-620 - [c33]Xusheng Xiao
, Tao Xie, Nikolai Tillmann, Jonathan de Halleux:
Covana: precise identification of problems in pex. ICSE 2011: 1004-1006 - [c32]Kunal Taneja
, Tao Xie, Nikolai Tillmann, Jonathan de Halleux:
eXpress: guided path exploration for efficient regression test generation. ISSTA 2011: 1-11 - [c31]Nikolai Tillmann, Michal Moskal
, Jonathan de Halleux, Manuel Fähndrich:
TouchDevelop: programming cloud-connected mobile devices via touchscreen. Onward! 2011: 49-60 - [c30]Suresh Thummalapenta, Tao Xie, Nikolai Tillmann, Jonathan de Halleux, Zhendong Su
:
Synthesizing method sequences for high-coverage testing. OOPSLA 2011: 189-206 - [c29]Judith Bishop, Jonathan de Halleux, Nikolai Tillmann, R. Nigel Horspool, Don Syme, Tao Xie:
Browser-based software for technology transfer. SAICSIT 2011: 338-340 - 2010
- [c28]Nikolai Tillmann, Jonathan de Halleux, Tao Xie:
Parameterized unit testing: theory and practice. ICSE (2) 2010: 483-484 - [c27]Rahul Pandita, Tao Xie, Nikolai Tillmann, Jonathan de Halleux:
Guided test generation for coverage criteria. ICSM 2010: 1-10 - [c26]Lingming Zhang, Tao Xie, Lu Zhang, Nikolai Tillmann, Jonathan de Halleux, Hong Mei:
Test generation via Dynamic Symbolic Execution for mutation testing. ICSM 2010: 1-10 - [c25]Margus Veanes, Peli de Halleux, Nikolai Tillmann:
Rex: Symbolic Regular Expression Explorer. ICST 2010: 498-507 - [c24]Margus Veanes, Nikolai Tillmann, Jonathan de Halleux:
Qex: Symbolic SQL Query Explorer. LPAR (Dakar) 2010: 425-446 - [c23]Tao Xie, Jonathan de Halleux, Nikolai Tillmann, Wolfram Schulte:
Teaching and training developer-testing techniques and tool support. SPLASH/OOPSLA Companion 2010: 175-182 - [c22]Kiran Lakhotia, Nikolai Tillmann, Mark Harman
, Jonathan de Halleux:
FloPSy - Search-Based Floating Point Constraint Solving for Symbolic Execution. ICTSS 2010: 142-157 - [c21]Tao Xie, Nikolai Tillmann, Jonathan de Halleux, Wolfram Schulte:
Future of developer testing: building quality in code. FoSER 2010: 415-420 - [c20]Suresh Thummalapenta, Jonathan de Halleux, Nikolai Tillmann, Scott Wadsworth:
DyGen: Automatic Generation of High-Coverage Tests via Mining Gigabytes of Dynamic Traces. TAP@TOOLS 2010: 77-93 - [c19]Jonathan de Halleux, Nikolai Tillmann:
Moles: Tool-Assisted Environment Isolation with Closures. TOOLS (48) 2010: 253-270
2000 – 2009
- 2009
- [c18]Tao Xie, Nikolai Tillmann, Jonathan de Halleux, Wolfram Schulte:
Fitness-guided path exploration in dynamic symbolic execution. DSN 2009: 359-368 - [c17]Margus Veanes, Pavel Grigorenko, Peli de Halleux, Nikolai Tillmann:
Symbolic Query Exploration. ICFEM 2009: 49-68 - [c16]Madhuri R. Marri, Tao Xie, Nikolai Tillmann, Jonathan de Halleux, Wolfram Schulte:
An Empirical Study of Testing File-System-Dependent Software with Mock Objects. AST 2009: 149-153 - [c15]Kunal Taneja
, Tao Xie, Nikolai Tillmann, Jonathan de Halleux, Wolfram Schulte:
Guided path exploration for regression test generation. ICSE Companion 2009: 311-314 - [c14]Michael Barnett, Manuel Fähndrich, Peli de Halleux, Francesco Logozzo, Nikolai Tillmann:
Exploiting the synergy between automated-test-generation and programming-by-contract. ICSE Companion 2009: 401-402 - [c13]Thomas Ball, Sebastian Burckhardt, Jonathan de Halleux, Madanlal Musuvathi, Shaz Qadeer:
Deconstructing concurrency heisenbugs. ICSE Companion 2009: 403-404 - [c12]Tao Xie, Nikolai Tillmann, Jonathan de Halleux, Wolfram Schulte:
Mutation Analysis of Parameterized Unit Tests. ICST Workshops 2009: 177-181 - [c11]Soonho Kong, Nikolai Tillmann, Jonathan de Halleux:
Automated Testing of Environment-Dependent Programs - A Case Study of Modeling the File System for Pex. ITNG 2009: 758-762 - [c10]Nuo Li, Tao Xie, Nikolai Tillmann, Jonathan de Halleux, Wolfram Schulte:
Reggae: Automated Test Generation for Programs Using Complex Regular Expressions. ASE 2009: 515-519 - [c9]Suresh Thummalapenta, Tao Xie, Nikolai Tillmann, Jonathan de Halleux, Wolfram Schulte:
MSeqGen: object-oriented unit-test generation via mining source code. ESEC/SIGSOFT FSE 2009: 193-202 - 2008
- [j3]Patrice Godefroid, Jonathan de Halleux, Aditya V. Nori, Sriram K. Rajamani, Wolfram Schulte, Nikolai Tillmann, Michael Y. Levin:
Automating Software Testing Using Program Analysis. IEEE Softw. 25(5): 30-37 (2008) - [c8]Nikolai Tillmann, Jonathan de Halleux:
White-box testing of behavioral web service contracts with Pex. TAV-WEB 2008: 47-48 - [c7]Dries Vanoverberghe, Nikolaj S. Bjørner, Jonathan de Halleux, Wolfram Schulte, Nikolai Tillmann:
Using Dynamic Symbolic Execution to Improve Deductive Verification. SPIN 2008: 9-25 - [c6]Nikolai Tillmann, Jonathan de Halleux:
Pex-White Box Test Generation for .NET. TAP 2008: 134-153 - [c5]Jonathan de Halleux, Nikolai Tillmann:
Parameterized Unit Testing with Pex. TAP 2008: 171-181 - 2007
- [c4]Nikolai Tillmann, Jonathan de Halleux, Wolfram Schulte:
Parameterized Unit Testing with Pex: Tutorial. PSSE 2007: 141-202 - 2004
- [j2]Christophe Prieur, Jonathan de Halleux:
Stabilization of a 1-D tank containing a fluid modeled by the shallow water equations. Syst. Control. Lett. 52(3-4): 167-178 (2004) - [c3]Jonathan de Halleux, Christophe Prieur, Georges Bastin:
Boundary control design for cascades of hyperbolic 2 × 2 PDE systems via graph theory. CDC 2004: 3313-3318 - 2003
- [j1]Jonathan de Halleux, Christophe Prieur, Jean-Michel Coron, Brigitte d'Andréa-Novel, Georges Bastin:
Boundary feedback control in networks of open channels. Autom. 39(8): 1365-1376 (2003) - 2002
- [c2]Christophe Prieur, Jonathan de Halleux:
Stabilization of a tank via output feedback. CDC 2002: 1497-1502 - [c1]Jean-Michel Coron, Jonathan de Halleux, Georges Bastin, Brigitte d'Andréa-Novel:
On boundary control design for quasilinear hyperbolic systems with entropies as Lyapunov functions. CDC 2002: 3010-3014
Coauthor Index
![](https://dblp.dagstuhl.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-08-16 18:28 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint