Peli de Halleux

25 papers A* 3A 1B 4C 3Misc 1Journal 8Unranked 5
YearRankTypeTitle / Venue / Authors
2025 J jnl
Z3Guide: A Scalable, Student-Centered, and Extensible Educational Environment for Logic Modeling.
CoRR
Ruanqianqian (Lisa) Huang, Ayana Monroe, Peli de Halleux, Sorin Lerner, Nikolaj S. Bjørner
2024 J jnl
Jacdac: Service-Based Prototyping of Embedded Systems.
Proc. ACM Program. Lang.
Thomas Ball, Peli de Halleux, James Devine, Steve Hodges, Michal Moskal
2024 Misc conf
Meet MicroCode: a Live and Portable Programming Tool for the BBC micro: bit.
IDC
Kobi Hartley, Elisa Rubegni, Lorraine Underwood, Joe Finney, Thomas Ball, Steve Hodges, Peli de Halleux, James Devine, Eric Anderson, Michal Moskal
2024 — conf
MicroCode: live, portable programming for children via robotics.
UIST (Adjunct Volume)
Lorraine Underwood, Thomas Ball, Steve Hodges, Elisa Rubegni, Peli de Halleux, Joe Finney
2024 J jnl
Plug-and-Play Physical Computing and Device Prototyping with Jacdac.
GetMobile Mob. Comput. Commun.
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
2023 B conf
MakeDevice: Evolving Devices Beyond the Prototype with Jacdac.
TEI
Kobi Hartley, Joe Finney, Steve Hodges, Peli de Halleux, James Devine, Gabriele D'Amone
2022 B conf
ML Blocks: A Block-Based, Graphical User Interface for Creating TinyML Models.
VL/HCC
Randi Williams, Michal Moskal, Peli de Halleux
2022 A* conf
PSST: Enabling Blind or Visually Impaired Developers to Author Sonifications of Streaming Sensor Data.
UIST
Venkatesh Potluri, John Thompson, James Devine, Bongshin Lee, Nora Morsi, Peli de Halleux, Steve Hodges, Jennifer Mankoff
2022 J jnl
Plug-and-play Physical Computing with Jacdac.
Proc. ACM Interact. Mob. Wearable Ubiquitous Technol.
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
2021 A* conf
Rethinking the Runway: Using Avant-Garde Fashion To Design a System for Wearables.
CHI
Teddy Seyed, James Devine, Joe Finney, Michal Moskal, Peli de Halleux, Steve Hodges, Thomas Ball, Asta Roseway
2021 C conf
Web-based Programming for Low-cost Gaming Handhelds.
FDG
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
2020 J jnl
The BBC micro: bit: from the U.K. to the world.
Commun. ACM
Jonny Austin, Howard Baker, Thomas Ball, James Devine, Joe Finney, Peli de Halleux, Steve Hodges, Michal Moskal, Gareth Stockdale
2019 J jnl
MakeCode and CODAL: Intuitive and efficient embedded systems programming for education.
J. Syst. Archit.
James Devine, Joe Finney, Peli de Halleux, Michal Moskal, Thomas Ball, Steve Hodges
2019 — conf
MakerArcade: Using Gaming and Physical Computing for Playful Making, Learning, and Creativity.
CHI Extended Abstracts
Teddy Seyed, Peli de Halleux, Michal Moskal, James Devine, Joe Finney, Steve Hodges, Thomas Ball
2019 — conf
Microsoft MakeCode: embedded programming for education, in blocks and TypeScript.
SPLASH-E
Thomas Ball, Abhijith Chatra, Peli de Halleux, Steve Hodges, Michal Moskal, Jacqueline Russell
2019 C conf
Static TypeScript: an implementation of a static compiler for the TypeScript language.
MPLR
Thomas Ball, Peli de Halleux, Michal Moskal
2018 B conf
MakeCode and CODAL: intuitive and efficient embedded systems programming for education.
LCTES
James Devine, Joe Finney, Peli de Halleux, Michal Moskal, Thomas Ball, Steve Hodges
2014 B conf
Addressing JavaScript JIT Engines Performance Quirks: A Crowdsourced Adaptive Compiler.
CC
Rafael Auler, Edson Borin, Peli de Halleux, Michal Moskal, Nikolai Tillmann
2013 — conf
Increasing human-tool interaction via the web.
PASTE
Thomas Ball, Peli de Halleux, Nikhil Swamy, Daan Leijen
2013 A* conf
It's alive! continuous feedback in UI programming.
PLDI
Sebastian Burckhardt, Manuel Fähndrich, Peli de Halleux, Sean McDirmid, Michal Moskal, Nikolai Tillmann, Jun Kato
2012 J jnl
Environmental Modeling for Automated Cloud Application Testing.
IEEE Softw.
Linghao Zhang, Xiaoxing Ma, Jian Lu, Tao Xie, Nikolai Tillmann, Peli de Halleux
2011 J jnl
Predictable and Progressive Testing of Multithreaded Code.
IEEE Softw.
Thomas Ball, Sebastian Burckhardt, Peli de Halleux, Madan Musuvathi, Shaz Qadeer
2010 A conf
Rex: Symbolic Regular Expression Explorer.
ICST
Margus Veanes, Peli de Halleux, Nikolai Tillmann
2009 — conf
Exploiting the synergy between automated-test-generation and programming-by-contract.
ICSE Companion
Michael Barnett, Manuel Fähndrich, Peli de Halleux, Francesco Logozzo, Nikolai Tillmann
2009 C conf
Symbolic Query Exploration.
ICFEM
Margus Veanes, Pavel Grigorenko, Peli de Halleux, Nikolai Tillmann