Peli de Halleux - Publications, H-index & Citations

Peli de Halleux

microsoft united kingdom

15H指数

48论文数

810被引数

收录论文 7

发表时间

Plug-and-play Physical Computing with Jacdac

PROCEEDINGS OF THE ACM ON INTERACTIVE MOBILE WEARABLE AND UBIQUITOUS TECHNOLOGIES-IMWUT

IF4.5

2022-09-07

OAAI

Devine, James; Moskal, Michal; De Halleux, Peli; Ball, Thomas; Hodges, Steve; D'Amone, Gabriele; Gakure, David; Finney, Joe; Underwood, Lorraine; Hartley, Kobi; Kos, Paul; Oppenheim, Matt

The BBC micro:bit-From the UK to the World

COMMUNICATIONS OF THE ACM

IF12.2

2020-02-24

OAAI

Austin, Jonny; Baker, Howard; Ball, Thomas; Devine, James; Finney, Joe; De Halleux, Peli; Hodges, Steve; Stockdale, Gareth; Moskal, Michal

Static TypeScript An Implementation of a Static Compiler for the TypeScript Language

proceedings of the

IF0

2019-10-21

PREAI

Ball, Thomas; de Halleux, Peli; Moskal, Michal

MakeCode and CODAL: Intuitive and efficient embedded systems programming for education

JOURNAL OF SYSTEMS ARCHITECTURE

IF4.1

2019-09-01

OAAI

Devine, James; Finney, Joe; de Halleux, Peli; Moskal, Michal; Ball, Thomas; Hodges, Steve

Environmental Modeling for Automated Cloud Application Testing

IEEE SOFTWARE

IF3

2012-03-01

PREAI

Zhang, Linghao; Ma, Xiaoxing; Lu, Jian; Xie, Tao; Tillmann, Nikolai; de Halleux, Peli

Predictable and Progressive Testing of Multithreaded Code

IEEE SOFTWARE

IF3

2011-05-01

PREAI

Ball, Thomas; Burckhardt, Sebastian; de Halleux, Peli; Musuvathi, Madanlal; Qadeer, Shaz

Automating software testing using program analysis

IEEE SOFTWARE

IF3

2008-09-01

PREAI

Godefroid, Patrice; de Halleux, Peli; Nori, Aditya V.; Rajamani, Sriram K.; Schulte, Wolfram; Tillmann, Nikolai; Levin, Michael Y.

研究方向