10 citations · 17 across the 6 of their papers we have counts for
9 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…
T2: Temporal Property Verification
Marc Brockschmidt, Byron Cook, Samin Ishtiaq +2
We present the open-source tool T2, the first public release from the TERMINATOR project. T2 has been extended over the past decade to support automatic temporal-logic proving tech…
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…
Reproducibility in Research: Systems, Infrastructure, Culture
Tom Crick, Benjamin A. Hall, Samin Ishtiaq
The reproduction and replication of research results has become a major issue for a number of scientific disciplines. In computer science and related computational disciplines such…
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…
"Share and Enjoy": Publishing Useful and Usable Scientific Models
Tom Crick, Benjamin A. Hall, Samin Ishtiaq +1
The reproduction and replication of reported scientific results is a hot topic within the academic community. The retraction of numerous studies from a wide range of disciplines, f…
"Can I Implement Your Algorithm?": A Model for Reproducible Research Software
Tom Crick, Benjamin A. Hall, Samin Ishtiaq
The reproduction and replication of novel results has become a major issue for a number of scientific disciplines. In computer science and related computational disciplines such as…