User-Centered In-IDE HAX
With TU Delft: folding emerging LLM practices into the IDE workflow without disturbing the developer.
Explore projectHow AI reshapes the way developers think, collaborate, and get unstuck — what changes, what stays the same, and what to design around.
Where AI assistance belongs inside the IDE and across the development lifecycle, so that it fits the workflow a developer already has instead of interrupting it. That means looking past the chat window — proactive and context-aware help, in-place affordances, and low-friction ways to ask for it or receive it.
How in-IDE AI changes behavior, skill, and long-term tool use — and what it does to collaboration. Interviews, surveys, telemetry, and longitudinal analysis tell us who adopts which features, why others opt out, and how attitudes move as the tools mature.
Which properties of an AI system actually matter in practice: explanation quality, latency, controllability, predictability, perceived trustworthiness. We build measures of whether a tool is useful in real software engineering, not only of how it scores offline.
The people who succeed with AI tooling don't generate more — they verify faster.
With TU Delft: folding emerging LLM practices into the IDE workflow without disturbing the developer.
Explore projectWith TU Delft and UC Davis: which model characteristics developers actually value, and how that shifts by task.
Explore projectWith Lund University: review workflows built for appropriate trust in AI-generated changes, not blanket acceptance.
Explore projectWith UC Irvine: how people and LLM agents hand a problem back and forth — and what the handover does to the answer.
Explore projectAsks developers what they actually want from in-IDE assistance, then sorts those wants by what is feasible to build.
Maps what is known about human–AI interaction inside the IDE, and where the field's evidence actually stops.
Developers cast AI tools either as an inanimate instrument or as a human-like teammate — and the more roles they assign one, the more useful they find it.
Prototypes, studies, and instruments that bridge research findings into the products millions of developers use every day.
Core ML research that powers verification, generation, and reasoning in our tools — papers, benchmarks, and the teams behind them.