Search Results for author: Satish Chandra

Found 6 papers, 5 papers with code

Neural Software Analysis

2 code implementations16 Nov 2020 Michael Pradel, Satish Chandra

The resulting tools complement and outperform traditional program analyses, and are used in industrial practice.

Code Completion Logical Reasoning +1

Code Prediction by Feeding Trees to Transformers

1 code implementation30 Mar 2020 Seohyun Kim, Jinman Zhao, Yuchi Tian, Satish Chandra

We provide comprehensive experimental evaluation of our proposal, along with alternative design choices, on a standard Python dataset, as well as on a Python corpus internal to Facebook.

Type prediction Value prediction Software Engineering

TypeWriter: Neural Type Prediction with Search-based Validation

1 code implementation8 Dec 2019 Michael Pradel, Georgios Gousios, Jason Liu, Satish Chandra

Unfortunately, static type inference for dynamic languages is inherently limited, while probabilistic approaches suffer from imprecision.

Software Engineering

When Deep Learning Met Code Search

2 code implementations9 May 2019 Jose Cambronero, Hongyu Li, Seohyun Kim, Koushik Sen, Satish Chandra

Our evaluation shows that: 1. adding supervision to an existing unsupervised technique can improve performance, though not necessarily by much; 2. simple networks for supervision can be more effective that more sophisticated sequence-based networks for code search; 3. while it is common to use docstrings to carry out supervision, there is a sizeable gap between the effectiveness of docstrings and a more query-appropriate supervision corpus.

Code Search Natural Language Queries

Aroma: Code Recommendation via Structural Code Search

2 code implementations4 Dec 2018 Sifei Luan, Di Yang, Koushik Sen, Satish Chandra

Such a tool could help programmers to extend partially written code snippets to completely implement necessary functionality, help to discover extensions to the partial code which are commonly done by other programmers, help to cross-check against similar code written by other programmers, or help to add extra code which would avoid common mistakes and errors.

Software Engineering

Cannot find the paper you are looking for? You can Submit a new open access paper.