Elamur Research⌕
☰
home / authors / Shuvendu Lahiri

Shuvendu Lahiri

Shuvendu Lahiri has 2 papers in our library, in 2022–2024; often with Andres Codas, Chenglong Wang, Chenyuan Yang.

2 papers in our library · 2022–2024

OpenAlex · ORCID · Wikidata · h-index 38 · 156 works · 5,431 citations OpenAlex, 2026-10-14

📄 2 works in our library · 🔗 Cited 32 times in our library · ⭐ Paper Stars ranking: #9217

The profile is the library's match of the name; two people with one name are not always told apart.

Elsewhere: Google Scholar · Semantic Scholar · dblp · ACL Anthology

 Affiliations

🏢MicrosoftRedmond · United States2005–2026 · 112 paperscurrent🏢Microsoft ResearchCambridge · United Kingdom2007–2026 · 2 paperscurrent🎓Carnegie Mellon UniversityPittsburgh · United States2002–2007 · 20 papers

From the bylines of their papers (OpenAlex, 2026-10-14), ORCID and Wikidata; institutions on papers are matched by machine.

 Fields, topics and concepts

Of its works in our library, with the number of works on each.

📚 Shelves 4The field of science this work belongs to (OpenAlex fields).Computer Science · 2 worksInformation Systems · 2 worksSoftware · 2 worksArtificial Intelligence · 1 work

 Works by year

2020s

20241 paper20221 paper

 Papers

The most cited first (OpenAlex and our library).

  1. Fault-Aware Neural Code Rankers (2022 · 39 citations)
    Large code-generation models often produce a correct Python program somewhere among many samples, but the first sample is frequently wrong.
  2. AutoVerus: Automated Proof Generation for Rust Code (2024 · 28 citations)
    Using LLMs to produce machine-checkable correctness proofs still lags far behind using them to write code.

 Co-authors here

9 co-authors with a page, the most papers together first.

Venues

Where their works here were published, the most works first, with the editions of those that have a page.

 Cited by

Papers of our library cite their works 32 times (of the 149,439 papers whose bibliographies we read); 8 citing papers with a page here →.

Updated

This page in Markdown → https://md.research.elamur.ai/free/en/authors/shuvendu-lahiri/