Research
Building programming languages, tools, and software engineering techniques that make software more reliable, secure, and productive.
Partner Research Manager and developer experience expert Nicole Forsgren talks about the future of software engineering with AI, why she loves tech, and her reliance on a spreadsheet and her gut when making career-changing decisions.
Official code release of our EMNLP 2023 work NeuralInvariantRanker (opens in new tab). We have designed a ranker that can distinguish between correct inductive invariants and incorrect attempts based on the problem definition. The ranker…
Welcome to Research Focus, a series of blog posts that highlights notable publications, events, code/datasets, new hires and other milestones from across the research community at Microsoft. Join Microsoft Research Forum (opens in new tab)…
PwR Studio converts natural language (NL) instructions into robust code. Programming with Representations (PwR, pronounced “power”) is a software development approach that relies on a domain-specific language (DSL), or representation, defined by a developer specializing in…