3 citations · 3 across the 3 of their papers we have counts for
5 papers
Design Verification of the Quantum Control Stack
Seyed Amir Alavi, Samin Ishtiaq, Nick Johnson +4
This paper describes the verification of the classical software and hardware stack that is used to control cold atom- and superconducting-based quantum computing hardware. The pape…
Bunched LPCNet : Vocoder for Low-cost Neural Text-To-Speech Systems
Ravichander Vipperla, Sangjun Park, Kihyun Choo +6
LPCNet is an efficient vocoder that combines linear prediction and deep neural network modules to keep the computational complexity low. In this work, we present two techniques to…
Iterative Compression of End-to-End ASR Model using AutoML
Abhinav Mehrotra, Łukasz Dudziak, Jinsu Yeo +9
Increasing demand for on-device Automatic Speech Recognition (ASR) systems has resulted in renewed interests in developing automatic model compression techniques. Past research hav…
Reproducibility as a Technical Specification
Tom Crick, Benjamin A. Hall, Samin Ishtiaq
Reproducibility of computationally-derived scientific discoveries should be a certainty. As the product of several person-years' worth of effort, results -- whether disseminated th…
Dear CAV, We Need to Talk About Reproducibility
Tom Crick, Benjamin A. Hall, Samin Ishtiaq
How many times have you tried to re-implement a past CAV tool paper, and failed? Reliably reproducing published scientific discoveries has been acknowledged as a barrier to scienti…