Research
Building programming languages, tools, and software engineering techniques that make software more reliable, secure, and productive.
Node Engine is a Python service that executes a computational flow. It is designed for rapid prototyping of services and applications, e.g. used as a chatbot service in a larger system. Each call to the service…
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)…
