1 code implementation • 26 Oct 2022 • Da Shen, Xinyun Chen, Chenguang Wang, Koushik Sen, Dawn Song
Our key observation is that existing language models pretrained on code still lack the understanding of code syntax.
1 code implementation • 25 Oct 2022 • Jianhao Shen, Chenguang Wang, Ye Yuan, Jiawei Han, Heng Ji, Koushik Sen, Ming Zhang, Dawn Song
For instance, we outperform the fully finetuning approaches on a KG completion benchmark by tuning only 1% of the parameters.
Ranked #5 on Link Prediction on UMLS
1 code implementation • 26 Jul 2022 • Martin Gubri, Maxime Cordy, Mike Papadakis, Yves Le Traon, Koushik Sen
We propose transferability from Large Geometric Vicinity (LGV), a new technique to increase the transferability of black-box adversarial attacks.
1 code implementation • 10 Nov 2020 • Martin Gubri, Maxime Cordy, Mike Papadakis, Yves Le Traon, Koushik Sen
An established way to improve the transferability of black-box evasion attacks is to craft the adversarial examples on an ensemble-based surrogate to increase diversity.
no code implementations • 11 Jun 2020 • Lianmin Zheng, Chengfan Jia, Minmin Sun, Zhao Wu, Cody Hao Yu, Ameer Haj-Ali, Yida Wang, Jun Yang, Danyang Zhuo, Koushik Sen, Joseph E. Gonzalez, Ion Stoica
Ansor can find high-performance programs that are outside the search space of existing state-of-the-art approaches.
3 code implementations • 9 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.
2 code implementations • 9 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.
2 code implementations • 4 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.
no code implementations • 31 Aug 2018 • Rohan Bavishi, Michael Pradel, Koushik Sen
2 code implementations • 30 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
no code implementations • 20 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