Samin Ishtiaq

Publication Activity (10 Years)

Years Active: 2008-2023
Publications (10 Years): 10

Top Topics

Neural Architecture

Algorithm Employs

Top Venues

Publications

Seyed Amir Alavi, Samin Ishtiaq, Nick Johnson, Rojalin Mishra, Dwaraka Oruganti Nagalakshmi, Asher Pearl, Jan Snoeijs
Design Verification of the Quantum Control Stack. CoRR (2023)
Abhinav Mehrotra, Alberto Gil C. P. Ramos, Sourav Bhattacharya, Lukasz Dudziak, Ravichander Vipperla, Thomas C. P. Chau, Mohamed S. Abdelfattah, Samin Ishtiaq, Nicholas Donald Lane
NAS-Bench-ASR: Reproducible Neural Architecture Search for Speech Recognition. ICLR (2021)
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
Iterative Compression of End-to-End ASR Model Using AutoML. INTERSPEECH (2020)
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
Iterative Compression of End-to-End ASR Model using AutoML. CoRR (2020)
Ravichander Vipperla, Sangjun Park, Kihyun Choo, Samin Ishtiaq, Kyoungbo Min, Sourav Bhattacharya, Abhinav Mehrotra, Alberto Gil C. P. Ramos, Nicholas D. Lane
Bunched LPCNet : Vocoder for Low-cost Neural Text-To-Speech Systems. CoRR (2020)
Ravichander Vipperla, Sangjun Park, Kihyun Choo, Samin Ishtiaq, Kyoungbo Min, Sourav Bhattacharya, Abhinav Mehrotra, Alberto Gil C. P. Ramos, Nicholas D. Lane
Bunched LPCNet: Vocoder for Low-Cost Neural Text-To-Speech Systems. INTERSPEECH (2020)
Ravichander Vipperla, Samin Ishtiaq, Rui Li, Sourav Bhattacharya, Ilias Leontiadis, Nicholas D. Lane
Learning to Listen... On-Device: Present and future perspectives of on-device ASR. GetMobile Mob. Comput. Commun. 23 (4) (2019)
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
Bringing LTL Model Checking to Biologists. VMCAI (2017)
Karthikeyan Bhargavan, Barry Bond, Antoine Delignat-Lavaud, Cédric Fournet, Chris Hawblitzel, Catalin Hritcu, Samin Ishtiaq, Markulf Kohlweiss, Rustan 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
Everest: Towards a Verified, Drop-in Replacement of HTTPS. SNAPL (2017)
Marc Brockschmidt, Byron Cook, Samin Ishtiaq, Heidy Khlaaf, Nir Piterman
T2: Temporal Property Verification. TACAS (2016)
Tom Crick, Samin Ishtiaq, Benjamin A. Hall
Towards "Reproducibility-as-a-Service". CoRR (2015)
Tom Crick, Benjamin A. Hall, Samin Ishtiaq
Reproducibility as a Technical Specification. CoRR (2015)
Tom Crick, Benjamin A. Hall, Samin Ishtiaq
Dear CAV, We Need to Talk About Reproducibility. CoRR (2015)
Marc Brockschmidt, Byron Cook, Samin Ishtiaq, Heidy Khlaaf, Nir Piterman
T2: Temporal Property Verification. CoRR (2015)
Tom Crick, Benjamin A. Hall, Samin Ishtiaq
"Can I Implement Your Algorithm?": A Model for Reproducible Research Software. CoRR (2014)
Tom Crick, Benjamin A. Hall, Samin Ishtiaq, Kenji Takeda
"Share and Enjoy": Publishing Useful and Usable Scientific Models. UCC (2014)
Tom Crick, Benjamin A. Hall, Samin Ishtiaq, Kenji Takeda
"Share and Enjoy": Publishing Useful and Usable Scientific Models. CoRR (2014)
Byron Cook, Jasmin Fisher, Benjamin A. Hall, Samin Ishtiaq, Garvit Juniwal, Nir Piterman
Finding Instability in Biological Models. CAV (2014)
Josh Berdine, Nikolaj Bjørner, Samin Ishtiaq, Jael E. Kriener, Christoph M. Wintersteiger
Resourceful Reachability as HORN-LA. LPAR (2013)
Alex S. Taylor, Nir Piterman, Samin Ishtiaq, Jasmin Fisher, Byron Cook, Caitlin Cockerton, Sam Bourton, David Benqué
At the interface of biology and computation. CHI (2013)
Koen Claessen, Jasmin Fisher, Samin Ishtiaq, Nir Piterman, Qinsi Wang
Model-Checking Signal Transduction Networks through Decreasing Reachability Sets. CAV (2013)
Christoph Haase, Samin Ishtiaq, Joël Ouaknine, Matthew J. Parkinson
SeLoger: A Tool for Graph-Based Reasoning in Separation Logic. CAV (2013)
David Benqué, Sam Bourton, Caitlin Cockerton, Byron Cook, Jasmin Fisher, Samin Ishtiaq, Nir Piterman, Alex S. Taylor, Moshe Y. Vardi
Bma: Visual Tool for Modeling and Analyzing Biological Networks. CAV (2012)
Josh Berdine, Arlen Cox, Samin Ishtiaq, Christoph M. Wintersteiger
Diagnosing Abstraction Failure for Separation Logic-Based Analyses. CAV (2012)
Josh Berdine, Byron Cook, Samin Ishtiaq
SLAyer: Memory Safety for Systems-Level Code. CAV (2011)
Jade Alglave, Anthony C. J. Fox, Samin Ishtiaq, Magnus O. Myreen, Susmit Sarkar, Peter Sewell, Francesco Zappa Nardelli
The semantics of power and ARM multiprocessor machine code. DAMP (2009)
Nathan Chong, Samin Ishtiaq
Reasoning about the ARM weakly consistent memory model. MSPC (2008)