Peli de Halleux

Publication Activity (10 Years)

Years Active: 2009-2024
Publications (10 Years): 15

Top Topics

Computing Power

Programming Tool

Embedded Systems

Consumer Electronics

Top Venues

J. Syst. Archit.

Publications

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) (2024)
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)
Thomas Ball, Peli de Halleux, James Devine, Steve Hodges, Michal Moskal
Jacdac: Service-Based Prototyping of Embedded Systems. Proc. ACM Program. Lang. 8 (PLDI) (2024)
Kobi Hartley, Joe Finney, Steve Hodges, Peli de Halleux, James Devine, Gabriele D'Amone
MakeDevice: Evolving Devices Beyond the Prototype with Jacdac. TEI (2023)
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) (2022)
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)
Randi Williams, Michal Moskal, Peli de Halleux
ML Blocks: A Block-Based, Graphical User Interface for Creating TinyML Models. VL/HCC (2022)
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)
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)
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) (2020)
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 (2019)
Thomas Ball, Peli de Halleux, Michal Moskal
Static TypeScript: an implementation of a static compiler for the TypeScript language. MPLR (2019)
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)
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)
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)
Rafael Auler, Edson Borin, Peli de Halleux, Michal Moskal, Nikolai Tillmann
Addressing JavaScript JIT Engines Performance Quirks: A Crowdsourced Adaptive Compiler. CC (2014)
Thomas Ball, Peli de Halleux, Nikhil Swamy, Daan Leijen
Increasing human-tool interaction via the web. PASTE (2013)
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)
Linghao Zhang, Xiaoxing Ma, Jian Lu, Tao Xie, Nikolai Tillmann, Peli de Halleux
Environmental Modeling for Automated Cloud Application Testing. IEEE Softw. 29 (2) (2012)
Thomas Ball, Sebastian Burckhardt, Peli de Halleux, Madan Musuvathi, Shaz Qadeer
Predictable and Progressive Testing of Multithreaded Code. IEEE Softw. 28 (3) (2011)
Margus Veanes, Peli de Halleux, Nikolai Tillmann
Rex: Symbolic Regular Expression Explorer. ICST (2010)
Margus Veanes, Pavel Grigorenko, Peli de Halleux, Nikolai Tillmann
Symbolic Query Exploration. ICFEM (2009)
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)