activity
20162022
most citedHeuristics for Quantum Compiling with a Continuous Gate Set

18 citations · 25 across the 8 of their papers we have counts for

collaborators

17 papers

cs.CL2022

Benchmarking Language Models for Code Syntax Understanding

Da Shen, Xinyun Chen, Chenguang Wang +2

Pre-trained language models have demonstrated impressive performance in both natural language processing and program understanding, which represent the input as a token sequence wi…

cs.CL2022

PALT: Parameter-Lite Transfer of Language Models for Knowledge Graph Completion

Jianhao Shen, Chenguang Wang, Ye Yuan +5

This paper presents a parameter-lite transfer learning approach of pretrained language models (LM) for knowledge graph (KG) completion. Instead of finetuning, which modifies all LM…

cs.DC2022

The Sky Above The Clouds

Sarah Chasins, Alvin Cheung, Natacha Crooks +14

Technology ecosystems often undergo significant transformations as they mature. For example, telephony, the Internet, and PCs all started with a single provider, but in the United…

cs.SE2021

Learning Highly Recursive Input Grammars

Neil Kulkarni, Caroline Lemieux, Koushik Sen

This paper presents Arvada, an algorithm for learning context-free grammars from a set of positive examples and a Boolean-valued oracle. Arvada learns a context-free grammar by bui…

quant-ph20214 cited

QFAST: Conflating Search and Numerical Optimization for Scalable Quantum Circuit Synthesis

Ed Younis, Koushik Sen, Katherine Yelick +1

We present a quantum synthesis algorithm designed to produce short circuits and to scale well in practice. The main contribution is a novel representation of circuits able to encod…

cs.SE2021

Growing a Test Corpus with Bonsai Fuzzing

Vasudev Vikram, Rohan Padhye, Koushik Sen

This paper presents a coverage-guided grammar-based fuzzing technique for automatically generating a corpus of concise test inputs for programs such as compilers. We walk-through a…