--- title: "Rahul Sharma — author profile and papers — Elamur Research" description: "Rahul Sharma, University of Maryland, College Park: 3 papers on Elamur Research (2012–2016), h-index 28 — affiliations, topics, co-authors…" canonical: "https://research.elamur.ai/free/en/authors/rahul-sharma/" --- [Elamur Research](https://md.research.elamur.ai/free/en/) · [this page in HTML](https://research.elamur.ai/free/en/authors/rahul-sharma/) [home](https://md.research.elamur.ai/free/en/) / [authors](https://md.research.elamur.ai/free/en/authors/) / Rahul Sharma # Rahul Sharma Rahul Sharma has 3 papers in our library, in 2012–2016; often with [Alex Aiken](https://md.research.elamur.ai/free/en/authors/alex-aiken/), [Eric Schkufza](https://md.research.elamur.ai/free/en/authors/eric-schkufza/), [Osbert Bastani](https://md.research.elamur.ai/free/en/authors/osbert-bastani/). 3 papers in our library · 2012–2016 [OpenAlex](https://openalex.org/A5101769895) · [ORCID](https://orcid.org/0000-0001-7527-4653) · [**h-index 28**](https://openalex.org/authors/A5101769895) · [95 works](https://openalex.org/works?filter=author.id:A5101769895) · [2,898 citations](https://openalex.org/works?filter=author.id:A5101769895&sort=cited_by_count:desc) OpenAlex, 2026-10-14 [📄 3 works in our library](https://md.research.elamur.ai/free/en/authors/rahul-sharma/#papers) · [🔗 Cited 40 times in our library](https://md.research.elamur.ai/free/en/authors/rahul-sharma/cited-by/) · [1 more in our library without a page yet](#also) · [⭐ Paper Stars ranking: #7966](https://md.research.elamur.ai/free/en/paper-stars/page/80/#star-7966) The profile is the library's match of the name; two people with one name are not always told apart. Elsewhere: [Google Scholar](https://scholar.google.com/citations?view_op=search_authors&mauthors=Rahul+Sharma) · [Semantic Scholar](https://www.semanticscholar.org/search?q=Rahul+Sharma) · [dblp](https://dblp.org/search?q=Rahul+Sharma) · [ACL Anthology](https://aclanthology.org/search/?q=Rahul+Sharma) ## Affiliations [🎓**University of Maryland, College Park** College Park · United States 2025 · 1 paper*current*](https://md.research.elamur.ai/free/en/universities/university-of-maryland-college-park/) · [🏢**Microsoft Research** Bengaluru · India 2016–2025 · 39 papers](https://md.research.elamur.ai/free/en/companies/microsoft-research/) · [🎓**Stanford University** Stanford · United States 2011–2016 · 34 papers](https://md.research.elamur.ai/free/en/universities/stanford-university/) · [🏢**Microsoft** Redmond · United States 2017–2025 · 16 papers](https://md.research.elamur.ai/free/en/companies/microsoft/) · [🎓**University of Ottawa** Ottawa · Canada 2017–2019 · 2 papers](https://md.research.elamur.ai/free/en/universities/university-of-ottawa/) From the bylines of their papers (OpenAlex, 2026-10-14), ORCID and Wikidata; institutions on papers are matched by machine. 1 more institution on single bylines are not listed. ## Fields, topics and concepts Of its works in our library, with the number of works on each. 📚 Shelves 5 The field of science this work belongs to (OpenAlex fields).[Computer Science · 3 works](https://md.research.elamur.ai/free/en/shelves/computer-science/) · [Artificial Intelligence · 3 works](https://md.research.elamur.ai/free/en/shelves/computer-science/artificial-intelligence/) · [Computational Theory and Mathematics · 2 works](https://md.research.elamur.ai/free/en/shelves/computer-science/computational-theory-and-mathematics/) · [Software · 2 works](https://md.research.elamur.ai/free/en/shelves/computer-science/software/) · [Hardware and Architecture · 1 work](https://md.research.elamur.ai/free/en/shelves/computer-science/hardware-and-architecture/) ## Works by year ### 2010s [**2016** 1 paper](https://md.research.elamur.ai/free/en/authors/rahul-sharma/year/2016/) · [**2013** 1 paper](https://md.research.elamur.ai/free/en/authors/rahul-sharma/year/2013/) · [**2012** 1 paper](https://md.research.elamur.ai/free/en/authors/rahul-sharma/year/2012/) ## Papers The most cited first (OpenAlex and our library). 1. **[Data-Driven Equivalence Checking](https://md.research.elamur.ai/free/en/papers/sharma-2013-data-driven-equivalence-checking/)** *(2013 · 87 citations)* Mismatch: the title given is Sharma et al.'s "Data-Driven Equivalence Checking", but the supplied text is a different OOPSLA 2013 paper on Legion by Treichler, Bauer and Aiken. This summary covers the supplied text. 2. **[Stochastic Superoptimization](https://md.research.elamur.ai/free/en/papers/schkufza-2012-stochastic-superoptimization/)** *(2012 · 31 citations)* Superoptimizers aim to find the fastest program equivalent to a given piece of code. Earlier systems searched exhaustively, which ensured completeness but restricted them to very short sequences, small opcode sets, or hand-written rewrite rules. Schkufza, Sharma and Aiken instead treat loop-free binary… 3. **[Synthesizing Program Input Grammars](https://md.research.elamur.ai/free/en/papers/bastani-2016-synthesizing-program-input-grammars/)** *(2016 · 2 citations)* The paper addresses the problem of automatically inferring a grammar of a program's valid inputs. Official format specifications are often incomplete or not written in machine-readable form. The authors work in a blackbox setting: the program's source code is unavailable, and there are only a few examples of valid… ## All works 4 works of theirs in our library, the most cited first; 3 with a page here, the others link their original until we summarise them. 1. **[A Data Driven Approach for Algebraic Loop Invariants ↗](https://doi.org/10.1007/978-3-642-37036-6_31) Lecture notes in computer science · no summary yet**Rahul R. Sharma et al.*2013 · 138 citations* 2. [**Data-Driven Equivalence Checking OOPSLA 2013**Rahul Sharma, Eric Schkufza, Berkeley Churchill, et al.*2013 · 87 citations*](https://md.research.elamur.ai/free/en/papers/sharma-2013-data-driven-equivalence-checking/) 3. [**Stochastic Superoptimization arXiv:1211.0557**Eric Schkufza, Rahul Sharma, Alex Aiken*2012 · 31 citations*](https://md.research.elamur.ai/free/en/papers/schkufza-2012-stochastic-superoptimization/) 4. [**Synthesizing Program Input Grammars arXiv:1608.01723**Osbert Bastani, Rahul Sharma, Alex Aiken, et al.*2016 · 2 citations*](https://md.research.elamur.ai/free/en/papers/bastani-2016-synthesizing-program-input-grammars/) ## Co-authors here 4 co-authors with a page, the most papers together first. - [Alex Aiken](https://md.research.elamur.ai/free/en/authors/alex-aiken/) ×3 - [Eric Schkufza](https://md.research.elamur.ai/free/en/authors/eric-schkufza/) ×2 - [Osbert Bastani](https://md.research.elamur.ai/free/en/authors/osbert-bastani/) - [Percy Liang](https://md.research.elamur.ai/free/en/authors/percy-liang/) ## Venues Where their works here were published, the most works first, with the editions of those that have a page. - Lecture notes in computer science - OOPSLA 2013 ## Cited by Papers of our library cite their works 40 times (of the 149,439 papers whose bibliographies we read); [8 citing papers with a page here →](https://md.research.elamur.ai/free/en/authors/rahul-sharma/cited-by/). Updated 3 November 2026