Elamur Research⌕
☰
home / authors / Rahul Sharma

Rahul Sharma

Rahul Sharma has 3 papers in our library, in 2012–2016; often with Alex Aiken, Eric Schkufza, Osbert Bastani.

3 papers in our library · 2012–2016

OpenAlex · ORCID · h-index 28 · 95 works · 2,898 citations OpenAlex, 2026-10-14

📄 3 works in our library · 🔗 Cited 40 times in our library · 1 more in our library without a page yet · ⭐ Paper Stars ranking: #7966

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

🎓University of Maryland, College ParkCollege Park · United States2025 · 1 papercurrent🏢Microsoft ResearchBengaluru · India2016–2025 · 39 papers🎓Stanford UniversityStanford · United States2011–2016 · 34 papers🏢MicrosoftRedmond · United States2017–2025 · 16 papers🎓University of OttawaOttawa · Canada2017–2019 · 2 papers

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 5The field of science this work belongs to (OpenAlex fields).Computer Science · 3 worksArtificial Intelligence · 3 worksComputational Theory and Mathematics · 2 worksSoftware · 2 worksHardware and Architecture · 1 work

 Works by year

2010s

20161 paper20131 paper20121 paper

 Papers

The most cited first (OpenAlex and our library).

  1. 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 (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 (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 ↗Lecture notes in computer science · no summary yetRahul R. Sharma et al.2013 · 138 citations
  2. Data-Driven Equivalence CheckingOOPSLA 2013Rahul Sharma, Eric Schkufza, Berkeley Churchill, et al.2013 · 87 citations
  3. Stochastic SuperoptimizationarXiv:1211.0557Eric Schkufza, Rahul Sharma, Alex Aiken2012 · 31 citations
  4. Synthesizing Program Input GrammarsarXiv:1608.01723Osbert Bastani, Rahul Sharma, Alex Aiken, et al.2016 · 2 citations

 Co-authors here

4 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 40 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/rahul-sharma/