Samin Ishtiaq

According to our database, Samin Ishtiaq authored at least 23 papers between 2008 and 2023.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2023

Design Verification of the Quantum Control Stack.

Seyed Amir Alavi, Samin Ishtiaq, Nick Johnson, Rojalin Mishra, Dwaraka Oruganti Nagalakshmi, Asher Pearl, Jan Snoeijs

CoRR, 2023

2021

NAS-Bench-ASR: Reproducible Neural Architecture Search for Speech Recognition.

Abhinav Mehrotra, Alberto Gil C. P. Ramos, Sourav Bhattacharya, Lukasz Dudziak, Ravichander Vipperla, Thomas Chau, Mohamed S. Abdelfattah, Samin Ishtiaq, Nicholas Donald Lane

Proceedings of the 9th International Conference on Learning Representations, 2021

2020

Bunched LPCNet: Vocoder for Low-Cost Neural Text-To-Speech Systems.

Ravichander Vipperla, Sangjun Park, Kihyun Choo, Samin Ishtiaq, Kyoungbo Min, Sourav Bhattacharya, Abhinav Mehrotra, Alberto Gil C. P. Ramos, Nicholas D. Lane

Proceedings of the Interspeech 2020, 2020

Iterative Compression of End-to-End ASR Model Using AutoML.

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

Proceedings of the Interspeech 2020, 2020

2019

Learning to Listen... On-Device: Present and future perspectives of on-device ASR.

Ravichander Vipperla, Samin Ishtiaq, Rui Li, Sourav Bhattacharya, Ilias Leontiadis, Nicholas D. Lane

GetMobile Mob. Comput. Commun., 2019

2017

Bringing LTL Model Checking to Biologists.

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

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2017

Everest: Towards a Verified, Drop-in Replacement of HTTPS.

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

Proceedings of the 2nd Summit on Advances in Programming Languages, 2017

2016

T2: Temporal Property Verification.

Marc Brockschmidt, Byron Cook, Samin Ishtiaq, Heidy Khlaaf, Nir Piterman

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2016

2015

Towards "Reproducibility-as-a-Service".

Tom Crick, Samin Ishtiaq, Benjamin A. Hall

CoRR, 2015

Reproducibility as a Technical Specification.

Tom Crick, Benjamin A. Hall, Samin Ishtiaq

CoRR, 2015

Dear CAV, We Need to Talk About Reproducibility.

Tom Crick, Benjamin A. Hall, Samin Ishtiaq

CoRR, 2015

2014

"Can I Implement Your Algorithm?": A Model for Reproducible Research Software.

Tom Crick, Benjamin A. Hall, Samin Ishtiaq

CoRR, 2014

"Share and Enjoy": Publishing Useful and Usable Scientific Models.

Tom Crick, Benjamin A. Hall, Samin Ishtiaq, Kenji Takeda

Proceedings of the 7th IEEE/ACM International Conference on Utility and Cloud Computing, 2014

Finding Instability in Biological Models.

Byron Cook, Jasmin Fisher, Benjamin A. Hall, Samin Ishtiaq, Garvit Juniwal, Nir Piterman

Proceedings of the Computer Aided Verification - 26th International Conference, 2014

2013

Resourceful Reachability as HORN-LA.

Josh Berdine, Nikolaj S. Bjørner, Samin Ishtiaq, Jael E. Kriener, Christoph M. Wintersteiger

Proceedings of the Logic for Programming, Artificial Intelligence, and Reasoning, 2013

At the interface of biology and computation.

Alex S. Taylor, Nir Piterman, Samin Ishtiaq, Jasmin Fisher, Byron Cook, Caitlin Cockerton, Sam Bourton, David Benqué

Proceedings of the 2013 ACM SIGCHI Conference on Human Factors in Computing Systems, 2013

SeLoger: A Tool for Graph-Based Reasoning in Separation Logic.

Christoph Haase, Samin Ishtiaq, Joël Ouaknine, Matthew J. Parkinson

Proceedings of the Computer Aided Verification - 25th International Conference, 2013

Model-Checking Signal Transduction Networks through Decreasing Reachability Sets.

Koen Claessen, Jasmin Fisher, Samin Ishtiaq, Nir Piterman, Qinsi Wang

Proceedings of the Computer Aided Verification - 25th International Conference, 2013

2012

Diagnosing Abstraction Failure for Separation Logic-Based Analyses.

Josh Berdine, Arlen Cox, Samin Ishtiaq, Christoph M. Wintersteiger

Proceedings of the Computer Aided Verification - 24th International Conference, 2012

Bma: Visual Tool for Modeling and Analyzing Biological Networks.

David Benqué, Sam Bourton, Caitlin Cockerton, Byron Cook, Jasmin Fisher, Samin Ishtiaq, Nir Piterman, Alex S. Taylor, Moshe Y. Vardi

Proceedings of the Computer Aided Verification - 24th International Conference, 2012

2011

SLAyer: Memory Safety for Systems-Level Code.

Josh Berdine, Byron Cook, Samin Ishtiaq

Proceedings of the Computer Aided Verification - 23rd International Conference, 2011

2009

The semantics of power and ARM multiprocessor machine code.

Jade Alglave, Anthony C. J. Fox, Samin Ishtiaq, Magnus O. Myreen, Susmit Sarkar, Peter Sewell, Francesco Zappa Nardelli

Proceedings of the POPL 2009 Workshop on Declarative Aspects of Multicore Programming, 2009

2008

Reasoning about the ARM weakly consistent memory model.

Nathan Chong, Samin Ishtiaq

Proceedings of the 2008 ACM SIGPLAN workshop on Memory Systems Performance and Correctness: held in conjunction with the Thirteenth International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS '08), 2008