Search Results for author: Koushik Sen

Found 7 papers, 3 papers with code

QFAST: Quantum Synthesis Using a Hierarchical Continuous Circuit Space

3 code implementations9 Mar 2020 Ed Younis, Koushik Sen, Katherine Yelick, Costin Iancu

We present QFAST, a quantum synthesis tool designed to produce short circuits and to scale well in practice.

Quantum Physics

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

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

Context2Name: A Deep Learning-Based Approach to Infer Natural Variable Names from Usage Contexts

no code implementations31 Aug 2018 Rohan Bavishi, Michael Pradel, Koushik Sen

Most of the JavaScript code deployed in the wild has been minified, a process in which identifier names are replaced with short, arbitrary and meaningless names.

DeepBugs: A Learning Approach to Name-based Bug Detection

no code implementations30 Apr 2018 Michael Pradel, Koushik Sen

We formulate bug detection as a binary classification problem and train a classifier that distinguishes correct from incorrect code.

Software Engineering Programming Languages

FairFuzz: Targeting Rare Branches to Rapidly Increase Greybox Fuzz Testing Coverage

no code implementations20 Sep 2017 Caroline Lemieux, Koushik Sen

However, AFL remains limited in the depth of program coverage it achieves, in particular because it does not consider which parts of program inputs should not be mutated in order to maintain deep program coverage.

Software Engineering Cryptography and Security

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