Concepedia

Peli de Halleux

PD

16

Publications

684

Citations

14

H-Index

2008

Active since

Affiliations

Microsoft (United States)(Current)

Lancaster University

Microsoft Research (United Kingdom)

Microsoft (United Kingdom)

Microsoft Research Asia (China)

Peli de Halleux is an author at Microsoft (United States) specializing in engineering, computer science, and program analysis.

Top concepts

EngineeringComputer ScienceProgram AnalysisSoftware EngineeringSoftware AnalysisComputer EngineeringDesignSoftware DesignSystem SoftwareTechnology

Publications per year

2008–2022

16

Publications

16

Rex: Symbolic Regular Expression Explorer

Margus Veanes, Peli de Halleux, Nikolai Tillmann · 2010 · 144 citations

Engineering, Software Engineering, Regular Expression Constraints +20

Automating Software Testing Using Program Analysis

Patrice Godefroid, Peli de Halleux, Aditya V. Nori et al. · IEEE Software · 2008 · 118 citations

Software Maintenance, Program Checking, Engineering +21

The BBC micro:bit

Jonny Austin, Howard Baker, Thomas Ball et al. · Communications of the ACM · 2020 · 71 citations

Microformat, Engineering, Computational Literacy +18

It's alive! continuous feedback in UI programming

Sebastian Burckhardt, Manuel Fähndrich, Peli de Halleux et al. · 2013 · 61 citations

Software Maintenance, Natural User Interface, Engineering +21

Microsoft MakeCode: embedded programming for education, in blocks and TypeScript

Thomas Ball, Abhijith Chatra, Peli de Halleux et al. · 2019 · 42 citations

Engineering, Visual Programming Language, Compiler Technology +19

Rows per page

1–5 of 16