Samin Ishtiaq
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
16
Venues
10
Active years
2008–2021
Best venue rank
A*
Where they publish
Papers
16 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2021 | ICLR | 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 |
| 2020 | Interspeech | 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 |
| 2020 | Interspeech | 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 |
| 2017 | VMCAI | 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 |
| 2016 | TACAS | T2: Temporal Property Verification. | Marc Brockschmidt, Byron Cook, Samin Ishtiaq, Heidy Khlaaf, Nir Piterman |
| 2014 | CAV | Finding Instability in Biological Models. | Byron Cook, Jasmin Fisher, Benjamin A. Hall, Samin Ishtiaq, Garvit Juniwal, Nir Piterman |
| 2014 | UCC | "Share and Enjoy": Publishing Useful and Usable Scientific Models. | Tom Crick, Benjamin A. Hall, Samin Ishtiaq, Kenji Takeda |
| 2013 | CAV | Model-Checking Signal Transduction Networks through Decreasing Reachability Sets. | Koen Claessen, Jasmin Fisher, Samin Ishtiaq, Nir Piterman, Qinsi Wang |
| 2013 | CAV | SeLoger: A Tool for Graph-Based Reasoning in Separation Logic. | Christoph Haase, Samin Ishtiaq, Jol Ouaknine, Matthew J. Parkinson |
| 2013 | CHI | At the interface of biology and computation. | Alex S. Taylor, Nir Piterman, Samin Ishtiaq, Jasmin Fisher, Byron Cook, Caitlin Cockerton, Sam Bourton, David Benqu |
| 2013 | LPAR | Resourceful Reachability as HORN-LA. | Josh Berdine, Nikolaj S. Bjrner, Samin Ishtiaq, Jael E. Kriener, Christoph M. Wintersteiger |
| 2012 | CAV | 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 |
| 2012 | CAV | Diagnosing Abstraction Failure for Separation Logic-Based Analyses. | Josh Berdine, Arlen Cox, Samin Ishtiaq, Christoph M. Wintersteiger |
| 2011 | CAV | SLAyer: Memory Safety for Systems-Level Code. | Josh Berdine, Byron Cook, Samin Ishtiaq |
| 2009 | POPL | 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 |
| 2008 | ASPLOS | Reasoning about the ARM weakly consistent memory model. | Nathan Chong, Samin Ishtiaq |