Jonathan de Halleux
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
37
Venues
14
Active years
2008–2018
Best venue rank
A*
Where they publish
Papers
37 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2018 | CHI | ARcadia: A Rapid Prototyping Platform for Real-time Tangible Interfaces. | Annie Kelly, R. Benjamin Shapiro, Jonathan de Halleux, Thomas Ball |
| 2018 | CHI | ARcadia: A Rapid Prototyping Platform for Real-time Tangible Interfaces. | Annie Kelly, R. Benjamin Shapiro, Jonathan de Halleux, Thomas Ball |
| 2018 | ECOOP | 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 |
| 2017 | SIGCSE | The Micro: bit: Hands-on Computing for the New Generation (Abstract Only). | Thomas Ball, Judith Bishop, Jonathan de Halleux |
| 2016 | ICSE | 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 |
| 2015 | ICSE | Beyond Open Source: The Touch Develop Cloud-Based Integrated Development Environment. | Thomas Ball, Sebastian Burckhardt, Jonathan de Halleux, Michal Moskal, Jonathan Protzenko, Nikolai Tillmann |
| 2015 | ICSE | Code Hunt: Experience with Coding Contests at Scale. | Judith Bishop, R. Nigel Horspool, Tao Xie, Nikolai Tillmann, Jonathan de Halleux |
| 2015 | ICSE | Crowdsourcing Code and Process via Code Hunt. | Tao Xie, Judith Bishop, R. Nigel Horspool, Nikolai Tillmann, Jonathan de Halleux |
| 2015 | ISSTA | Experience with constructing code hunt contests. | R. Nigel Horspool, Judith Bishop, Jonathan de Halleux, Nikolai Tillmann |
| 2014 | ICSE | TouchDevelop: create rich mobile apps on touch devices (tutorial). | Nikolai Tillmann, Michal Moskal, Jonathan de Halleux, Sebastian Burckhardt, Thomas Ball, Judith Bishop |
| 2014 | ISSTA | Constructing coding duels in Pex4Fun and code hunt. | Nikolai Tillmann, Jonathan de Halleux, Tao Xie, Judith Bishop |
| 2013 | ICSE | Teaching and learning programming and software engineering via interactive gaming. | Nikolai Tillmann, Jonathan de Halleux, Tao Xie, Sumit Gulwani, Judith Bishop |
| 2013 | ICSE | Educational software engineering: where software engineering, education, and gaming meet. | Tao Xie, Nikolai Tillmann, Jonathan de Halleux |
| 2013 | Mobisys | Keyword programming for TouchDevelop. | Vu Le, Jonathan de Halleux, Sumit Gulwani, Zhendong Su |
| 2013 | TAP | Generating Test Suites with Augmented Dynamic Symbolic Execution. | Konrad Jamrozik, Gordon Fraser, Nikolai Tillmann, Jonathan de Halleux |
| 2012 | ITiCSE | The future of teaching programming is on mobile devices. | Nikolai Tillmann, Michal Moskal, Jonathan de Halleux, Manuel Fhndrich, Judith Bishop, Arjmand Samuel, Tao Xie |
| 2012 | SIGCSE | Teaching and learning computing via social gaming with Pex4Fun (abstract only). | Nikolai Tillmann, Jonathan de Halleux, Tao Xie, Judith Bishop |
| 2012 | SIGCSE | Engage your students by teaching programming using only mobile devices with TouchDevelop (abstract only). | Nikolai Tillmann, Michal Moskal, Jonathan de Halleux, Manuel Fhndrich, Tao Xie |
| 2012 | SOFSEM | State Coverage: Software Validation Metrics beyond Code Coverage. | Dries Vanoverberghe, Jonathan de Halleux, Nikolai Tillmann, Frank Piessens |
| 2011 | FASE | Retrofitting Unit Tests for Parameterized Unit Testing. | Suresh Thummalapenta, Madhuri R. Marri, Tao Xie, Nikolai Tillmann, Jonathan de Halleux |
| 2011 | ICSE | Precise identification of problems for structural test generation. | Xusheng Xiao, Tao Xie, Nikolai Tillmann, Jonathan de Halleux |
| 2011 | ICSE | Covana: precise identification of problems in pex. | Xusheng Xiao, Tao Xie, Nikolai Tillmann, Jonathan de Halleux |
| 2011 | ISSTA | eXpress: guided path exploration for efficient regression test generation. | Kunal Taneja, Tao Xie, Nikolai Tillmann, Jonathan de Halleux |
| 2011 | OOPSLA | Synthesizing method sequences for high-coverage testing. | Suresh Thummalapenta, Tao Xie, Nikolai Tillmann, Jonathan de Halleux, Zhendong Su |
| 2011 | OOPSLA | TouchDevelop: programming cloud-connected mobile devices via touchscreen. | Nikolai Tillmann, Michal Moskal, Jonathan de Halleux, Manuel Fhndrich |
| 2010 | ICSE | Parameterized unit testing: theory and practice. | Nikolai Tillmann, Jonathan de Halleux, Tao Xie |
| 2010 | LPAR | Qex: Symbolic SQL Query Explorer. | Margus Veanes, Nikolai Tillmann, Jonathan de Halleux |
| 2010 | OOPSLA | Teaching and training developer-testing techniques and tool support. | Tao Xie, Jonathan de Halleux, Nikolai Tillmann, Wolfram Schulte |
| 2010 | TAP | DyGen: Automatic Generation of High-Coverage Tests via Mining Gigabytes of Dynamic Traces. | Suresh Thummalapenta, Jonathan de Halleux, Nikolai Tillmann, Scott Wadsworth |
| 2009 | DSN | Fitness-guided path exploration in dynamic symbolic execution. | Tao Xie, Nikolai Tillmann, Jonathan de Halleux, Wolfram Schulte |
| 2009 | ICSE | Deconstructing concurrency heisenbugs. | Thomas Ball, Sebastian Burckhardt, Jonathan de Halleux, Madanlal Musuvathi, Shaz Qadeer |
| 2009 | ICSE | An Empirical Study of Testing File-System-Dependent Software with Mock Objects. | Madhuri R. Marri, Tao Xie, Nikolai Tillmann, Jonathan de Halleux, Wolfram Schulte |
| 2009 | ICSE | Guided path exploration for regression test generation. | Kunal Taneja, Tao Xie, Nikolai Tillmann, Jonathan de Halleux, Wolfram Schulte |
| 2009 | ICST | Mutation Analysis of Parameterized Unit Tests. | Tao Xie, Nikolai Tillmann, Jonathan de Halleux, Wolfram Schulte |
| 2008 | ISSTA | White-box testing of behavioral web service contracts with Pex. | Nikolai Tillmann, Jonathan de Halleux |
| 2008 | TAP | Parameterized Unit Testing with Pex. | Jonathan de Halleux, Nikolai Tillmann |
| 2008 | TAP | Pex-White Box Test Generation for .NET. | Nikolai Tillmann, Jonathan de Halleux |