Samin Ishtiaq

27 papers A* 8A 3B 2Misc 1Journal 10Unranked 3
YearRankTypeTitle / Venue / Authors
2023 J jnl
Design Verification of the Quantum Control Stack.
CoRR
Seyed Amir Alavi, Samin Ishtiaq, Nick Johnson, Rojalin Mishra, Dwaraka Oruganti Nagalakshmi, Asher Pearl, Jan Snoeijs
2021 A* conf
NAS-Bench-ASR: Reproducible Neural Architecture Search for Speech Recognition.
ICLR
Abhinav Mehrotra, Alberto Gil C. P. Ramos, Sourav Bhattacharya, Lukasz Dudziak, Ravichander Vipperla, Thomas Chau, Mohamed S. Abdelfattah, Samin Ishtiaq, Nicholas Donald Lane
2020 J jnl
Bunched LPCNet : Vocoder for Low-cost Neural Text-To-Speech Systems.
CoRR
Ravichander Vipperla, Sangjun Park, Kihyun Choo, Samin Ishtiaq, Kyoungbo Min, Sourav Bhattacharya, Abhinav Mehrotra, Alberto Gil C. P. Ramos, Nicholas D. Lane
2020 A conf
Bunched LPCNet: Vocoder for Low-Cost Neural Text-To-Speech Systems.
INTERSPEECH
Ravichander Vipperla, Sangjun Park, Kihyun Choo, Samin Ishtiaq, Kyoungbo Min, Sourav Bhattacharya, Abhinav Mehrotra, Alberto Gil C. P. Ramos, Nicholas D. Lane
2020 A conf
Iterative Compression of End-to-End ASR Model Using AutoML.
INTERSPEECH
Abhinav Mehrotra, Lukasz Dudziak, Jinsu Yeo, Young-Yoon Lee, Ravichander Vipperla, Mohamed S. Abdelfattah, Sourav Bhattacharya, Samin Ishtiaq, Alberto Gil C. P. Ramos, SangJeong Lee, Daehyun Kim, Nicholas D. Lane
2020 J jnl
Iterative Compression of End-to-End ASR Model using AutoML.
CoRR
Abhinav Mehrotra, Lukasz Dudziak, Jinsu Yeo, Young-Yoon Lee, Ravichander Vipperla, Mohamed S. Abdelfattah, Sourav Bhattacharya, Samin Ishtiaq, Alberto Gil C. P. Ramos, SangJeong Lee, Daehyun Kim, Nicholas D. Lane
2019 J jnl
Learning to Listen... On-Device: Present and future perspectives of on-device ASR.
GetMobile Mob. Comput. Commun.
Ravichander Vipperla, Samin Ishtiaq, Rui Li, Sourav Bhattacharya, Ilias Leontiadis, Nicholas D. Lane
2017 B conf
Bringing LTL Model Checking to Biologists.
VMCAI
Zara Ahmed, David Benqué, Sergey Berezin, Anna Caroline E. Dahl, Jasmin Fisher, Benjamin A. Hall, Samin Ishtiaq, Jay Nanavati, Nir Piterman, Maik Riechert, Nikita Skoblov
2017 — conf
Everest: Towards a Verified, Drop-in Replacement of HTTPS.
SNAPL
Karthikeyan Bhargavan, Barry Bond, Antoine Delignat-Lavaud, Cédric Fournet, Chris Hawblitzel, Catalin Hritcu, Samin Ishtiaq, Markulf Kohlweiss, K. Rustan M. Leino, Jay R. Lorch, Kenji Maillard, Jianyang Pan, Bryan Parno, Jonathan Protzenko, Tahina Ramananandro, Ashay Rane, Aseem Rastogi, Nikhil Swamy, Laure Thompson, Peng Wang, Santiago Zanella-Béguelin, Jean Karim Zinzindohoue
2016 A conf
T2: Temporal Property Verification.
TACAS
Marc Brockschmidt, Byron Cook, Samin Ishtiaq, Heidy Khlaaf, Nir Piterman
2015 J jnl
Dear CAV, We Need to Talk About Reproducibility.
CoRR
Tom Crick, Benjamin A. Hall, Samin Ishtiaq
2015 J jnl
Reproducibility as a Technical Specification.
CoRR
Tom Crick, Benjamin A. Hall, Samin Ishtiaq
2015 J jnl
T2: Temporal Property Verification.
CoRR
Marc Brockschmidt, Byron Cook, Samin Ishtiaq, Heidy Khlaaf, Nir Piterman
2015 J jnl
Towards "Reproducibility-as-a-Service".
CoRR
Tom Crick, Samin Ishtiaq, Benjamin A. Hall
2014 J jnl
"Can I Implement Your Algorithm?": A Model for Reproducible Research Software.
CoRR
Tom Crick, Benjamin A. Hall, Samin Ishtiaq
2014 Misc conf
"Share and Enjoy": Publishing Useful and Usable Scientific Models.
UCC
Tom Crick, Benjamin A. Hall, Samin Ishtiaq, Kenji Takeda
2014 J jnl
"Share and Enjoy": Publishing Useful and Usable Scientific Models.
CoRR
Tom Crick, Benjamin A. Hall, Samin Ishtiaq, Kenji Takeda
2014 A* conf
Finding Instability in Biological Models.
CAV
Byron Cook, Jasmin Fisher, Benjamin A. Hall, Samin Ishtiaq, Garvit Juniwal, Nir Piterman
2013 A* conf
At the interface of biology and computation.
CHI
Alex S. Taylor, Nir Piterman, Samin Ishtiaq, Jasmin Fisher, Byron Cook, Caitlin Cockerton, Sam Bourton, David Benqué
2013 A* conf
Model-Checking Signal Transduction Networks through Decreasing Reachability Sets.
CAV
Koen Claessen, Jasmin Fisher, Samin Ishtiaq, Nir Piterman, Qinsi Wang
2013 B conf
Resourceful Reachability as HORN-LA.
LPAR
Josh Berdine, Nikolaj S. Bjørner, Samin Ishtiaq, Jael E. Kriener, Christoph M. Wintersteiger
2013 A* conf
SeLoger: A Tool for Graph-Based Reasoning in Separation Logic.
CAV
Christoph Haase, Samin Ishtiaq, Joël Ouaknine, Matthew J. Parkinson
2012 A* conf
Bma: Visual Tool for Modeling and Analyzing Biological Networks.
CAV
David Benqué, Sam Bourton, Caitlin Cockerton, Byron Cook, Jasmin Fisher, Samin Ishtiaq, Nir Piterman, Alex S. Taylor, Moshe Y. Vardi
2012 A* conf
Diagnosing Abstraction Failure for Separation Logic-Based Analyses.
CAV
Josh Berdine, Arlen Cox, Samin Ishtiaq, Christoph M. Wintersteiger
2011 A* conf
SLAyer: Memory Safety for Systems-Level Code.
CAV
Josh Berdine, Byron Cook, Samin Ishtiaq
2009 — conf
The semantics of power and ARM multiprocessor machine code.
DAMP
Jade Alglave, Anthony C. J. Fox, Samin Ishtiaq, Magnus O. Myreen, Susmit Sarkar, Peter Sewell, Francesco Zappa Nardelli
2008 — conf
Reasoning about the ARM weakly consistent memory model.
MSPC
Nathan Chong, Samin Ishtiaq