Shuvendu Lahiri的肖像

Shuvendu Lahiri

Senior Principal Researcher

新闻与深度文章

Research Focus: Week of April 29, 2024
微软研究院博客

In this edition: Can LLMs transform natu…

奖项 | TOGA: A Neural Method for Test Oracle Generation

An illustration of resolving a bad merge into a safe merge. Moving from left to right, circles on a continuous line represent code commits in a version control system. A circle labeled “Base” is the most common ancestor of the commits marked A and B, respectively. All three commits pass the project’s quality gates, denoted by green check marks alongside each of these commits. The subsequent merge results in a failure of some quality gate, denoted by a blue circle labeled “Bad merge” with a red x above it. The repair uses machine learning, denoted by an abstract image of a neural network, and program verification and synthesis, denoted by a formal inference rule containing math symbols, to construct a safe merge that passes the quality gate, denoted by a circle outlined in green with a green check mark above it.   
微软研究院博客

| Shuvendu Lahiri

Since the computing world began embracin…

奖项 | CAV

The CAV award is given annually at the C…

新闻报道 | Yahoo Finance

Microsoft has released a new open source…

新闻报道 | Microsoft Research Blog

With a vision of fortifying smart contra…

新闻报道 | SIGSOFT

For the paper, 'Feedback-Directed Random…