Shuvendu Lahiriの肖像

Shuvendu Lahiri

Senior Principal Researcher

ニュース&特集

Research Focus: Week of April 29, 2024
Microsoft Research ブログ

In this edition: Can LLMs transform natu…

アワード | TOGA: A Neural Method for Test Oracle Generation

ICSE’22 ACM SIGSOFT Distinguished Paper Award 

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.   
Microsoft Research ブログ

| Shuvendu Lahiri

Since the computing world began embracin…

アワード | CAV

Nikolaj Bjorner, Shuvendu Lahiri, Leonardo de Moura receive the CAV Award 2021 

The CAV award is given annually at the C…

ニュース | Yahoo Finance

Microsoft releases new tool to verify Ethereum smart contracts 

Microsoft has released a new open source…

ニュース | Microsoft Research Blog

Researchers work to secure Azure Blockchain smart contracts with formal verification 

With a vision of fortifying smart contra…

ニュース | SIGSOFT

2017 ICSE Most Influential Paper Award 

For the paper, 'Feedback-Directed Random…