I am a Senior Researcher at Microsoft Code | AI, based in Des Moines, Iowa.
I work on GitHub Copilot's code edit suggestion models and agents.
docker-compose: command not found error with newer versions of DockerDec 2023 · Noteearlyoom, now nohang is my best friendFeb 2023 · NoteWe propose CodeSense, the first benchmark with a spectrum of fine-grained code reasoning tasks from real-world software projects, revealing a clear performance gap in state-of-the-art LLMs for code semantic reasoning.
We introduce a benchmark mutation framework that transforms formal GitHub issue benchmarks into realistic user-style queries, revealing that existing benchmarks overestimate agent capabilities by up to 50%.
We present DeepVulGuard, an AI-powered vulnerability detection & repair tool built into the VSCode IDE, and the results of a user study on this tool with 17 professional software developers.
We propose a novel technique called Reinforcement Learning from Static Quality Metrics (RLSQM).
We present DeepDFA, a dataflow analysis-inspired graph learning framework and an embedding technique that enables graph learning to simulate dataflow computation.
We introduce TRACED, an execution-aware pre-training strategy for source code wherein we pre-train code language models with a combination of source code, executable inputs, and corresponding execution traces.
In this paper, we surveyed and reproduced 9 state-of-the-art (SOTA) deep learning models on 2 widely used vulnerability detection datasets: Devign and MSR.