377 citations · 818 across the 21 of their papers we have counts for
3 papers · 1 filter
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…
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…
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…