#### Filter Results:

- Full text PDF available (33)

#### Publication Year

2007

2018

- This year (4)
- Last 5 years (44)
- Last 10 years (52)

#### Publication Type

#### Co-author

#### Journals and Conferences

Learn More

- Eric Schkufza, Rahul Sharma, Alexander Aiken
- ASPLOS
- 2013

We formulate the loop-free binary superoptimization task as a stochastic search problem. The competing constraints of transformation correctness and performance improvement are encoded as terms in aâ€¦ (More)

- Shuvendu K. Lahiri, Kenneth L. McMillan, Rahul Sharma, Chris Hawblitzel
- ESEC/SIGSOFT FSE
- 2013

Previous version of a program can be a powerful enabler for program analysis by defining new relative specifications and making the results of current program analysis more relevant. In this paper,â€¦ (More)

We formalize the problem of program verification as a learning problem, showing that invariants in program verification can be regarded as geometric concepts in machine learning. Safety propertiesâ€¦ (More)

- Rahul Sharma, Alexander Aiken
- CAV
- 2014

We describe a general framework c2i for generating an invariant inference procedure from an invariant checking procedure. Given a checker and a language of possible invariants, c2i generates anâ€¦ (More)

We describe a new algorithm GUESS-AND-CHECK for computing algebraic equation invariants. These invariants are of the form âˆ§ifi(x1, . . . , xn) = 0, where each fi is a polynomial over the variablesâ€¦ (More)

- Saswat Padhi, Rahul Sharma, Todd D. Millstein
- PLDI
- 2016

We extend the data-driven approach to inferring preconditions for code from a set of test executions. Prior work requires a fixed set of features, atomic predicates that define the search space ofâ€¦ (More)

- Eric Schkufza, Rahul Sharma, Alexander Aiken
- PLDI
- 2014

The aggressive optimization of floating-point computations is an important problem in high-performance computing. Unfortunately, floating-point instruction sets have complicated semantics that oftenâ€¦ (More)

- Rahul Sharma, Aditya V. Nori, Alexander Aiken
- CAV
- 2012

We show how interpolants can be viewed as classifiers in supervised machine learning. This view has several advantages: First, we are able to use off-the-shelf classification techniques, inâ€¦ (More)

- Rahul Sharma, Isil Dillig, Thomas Dillig, Alexander Aiken
- CAV
- 2011

We present a novel static analysis technique that substantially improves the quality of invariants inferred by standard loop invariant generation techniques. Our technique decomposes multi-phaseâ€¦ (More)

- Rahul Sharma, Eric Schkufza, Berkeley R. Churchill, Alexander Aiken
- OOPSLA
- 2013

We present a data driven algorithm for equivalence checking of two loops. The algorithm infers simulation relations using data from test runs. Once a candidate simulation relation has been obtained,â€¦ (More)