Reasoning about the ARM weakly consistent memory model. - Nathan Chong; Samin Ishtiaq (MSPC, 2008)

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 (DAMP, 2009)

SLAyer: Memory Safety for Systems-Level Code. - Josh Berdine; Byron Cook; Samin Ishtiaq (CAV, 2011)

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 (CAV, 2012)

Diagnosing Abstraction Failure for Separation Logic-Based Analyses. - Josh Berdine; Arlen Cox; Samin Ishtiaq; Christoph M. Wintersteiger (CAV, 2012)

Model-Checking Signal Transduction Networks through Decreasing Reachability Sets. - Koen Claessen; Jasmin Fisher; Samin Ishtiaq; Nir Piterman; Qinsi Wang (CAV, 2013)

SeLoger: A Tool for Graph-Based Reasoning in Separation Logic. - Christoph Haase; Samin Ishtiaq; Joël Ouaknine; Matthew J. Parkinson (CAV, 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é (CHI, 2013)

Resourceful Reachability as HORN-LA. - Josh Berdine; Nikolaj S. Bjørner; Samin Ishtiaq; Jael E. Kriener; Christoph M. Wintersteiger (LPAR, 2013)

Finding Instability in Biological Models. - Byron Cook; Jasmin Fisher; Benjamin A. Hall; Samin Ishtiaq; Garvit Juniwal; Nir Piterman (CAV, 2014)

"Share and Enjoy": Publishing Useful and Usable Scientific Models. - Tom Crick; Benjamin A. Hall; Samin Ishtiaq; Kenji Takeda (UCC, 2014)

"Can I Implement Your Algorithm?": A Model for Reproducible Research Software. - Tom Crick; Benjamin A. Hall; Samin Ishtiaq (CoRR, 2014)

Dear CAV, We Need to Talk About Reproducibility. - Tom Crick; Benjamin A. Hall; Samin Ishtiaq (CoRR, 2015)

Reproducibility as a Technical Specification. - Tom Crick; Benjamin A. Hall; Samin Ishtiaq (CoRR, 2015)

Towards "Reproducibility-as-a-Service". - Tom Crick; Samin Ishtiaq; Benjamin A. Hall (CoRR, 2015)

T2: Temporal Property Verification. - Marc Brockschmidt; Byron Cook; Samin Ishtiaq; Heidy Khlaaf; Nir Piterman (TACAS, 2016)

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; et al. (SNAPL, 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 (VMCAI, 2017)

Learning to Listen... On-Device: Present and future perspectives of on-device ASR. - Ravichander Vipperla; Samin Ishtiaq; Rui Li 052; Sourav Bhattacharya; Ilias Leontiadis; Nicholas D. Lane (GetMobile Mob. Comput. Commun., 2019)

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 (INTERSPEECH, 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 (INTERSPEECH, 2020)

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 001; Mohamed S. Abdelfattah; Samin Ishtiaq; Nicholas Donald Lane (ICLR, 2021)

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)