Demonstration venue · read-only. Every page can be browsed; the buttons that would change it are switched off. Create an account to run TaxoReview on your own data.

Samin Ishtiaq

dblp:49/5100 · DBLP profile ↗
← Back
13ranked-venue papers
0as first author
1since 2021 · last 2021
0009-0004-8612-1635ORCID · reported

Domains — the database's venue-derived domains; a paper can count in several

Software engineering, systems software and programming languages · 8Theory of computation · 7Artificial intelligence and machine learning · 4 · 1 since 2021Graphics, computer vision, multimedia, augmented reality and games · 2Human-computer interaction and ubiquitous computing · 1

Expertise — from the expertise taxonomy: the topics of the expert's papers under the CCF categories. A weight counts papers with recency: 1 for a paper about the topic, 0.3 when the topic is its context, halved every five years.

Artificial intelligence
1 paper
Efficient and distributed learning · 50% Speech recognition and synthesis · 50%
Software engineering, system software, and programming languages
4 papers
Program verification · 65% Program analysis · 35%
Interdisciplinary, comprehensive, and emerging computing
4 papers
Bioinformatics and computational biology · 73% Computational science and engineering · 27%
Theoretical computer science
2 papers
Automated reasoning and model checking · 100%
Network and information security
1 paper
Systems and software security · 100%

Topics — the 11 heaviest of 16, each with the papers that count most for it

TopicWeightPapersLastEvidence papers
Natural language and speech › Speech recognition and synthesis
automatic speech recognition
0.512021
NAS-Bench-ASR: Reproducible Neural Architecture Search for Speech Recognition · ICLR 2021
Machine learning › Efficient and distributed learning › automated machine learning
neural architecture search
0.512021
NAS-Bench-ASR: Reproducible Neural Architecture Search for Speech Recognition · ICLR 2021
Bioinformatics and computational biology › network bioinformatics
biological network analysis
0.222013
Bma: Visual Tool for Modeling and Analyzing Biological Networks · CAV 2012
Model-Checking Signal Transduction Networks through Decreasing Reachability Sets · CAV 2013
Program verification › code-level verification
numerical program verification
0.212014
Finding Instability in Biological Models · CAV 2014
Bioinformatics and computational biology › systems biology › computational systems biology
systems biology modeling
0.212013
At the interface of biology and computation · CHI 2013
Program verification › program logic
separation logic
0.212013
SeLoger: A Tool for Graph-Based Reasoning in Separation Logic · CAV 2013
Automated reasoning and model checking
model checking
0.212013
Model-Checking Signal Transduction Networks through Decreasing Reachability Sets · CAV 2013
Bioinformatics and computational biology › biological network › network biology
biological network modeling
0.112012
Bma: Visual Tool for Modeling and Analyzing Biological Networks · CAV 2012
Program analysis › static analysis
abstract interpretation
0.112012
Diagnosing Abstraction Failure for Separation Logic-Based Analyses · CAV 2012
Systems and software security
memory safety
0.112011
SLAyer: Memory Safety for Systems-Level Code · CAV 2011
Program analysis › error detection
memory safety analysis
0.112011
SLAyer: Memory Safety for Systems-Level Code · CAV 2011

Methods — techniques the papers use, named apart from their topics

separation logic · 0.4numerical analysis · 0.4formal verification · 0.3decreasing reachability sets · 0.3
YearPublicationVenuePosition
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 C. P. Chau, Mohamed S. Abdelfattah, Samin Ishtiaq, Nicholas D. Lane
ICLR8
2020 Iterative Compression of End-to-End ASR Model Using AutoML
abstract
Increasing demand for on-device Automatic Speech Recognition (ASR) systems has resulted in renewed interests in developing automatic model compression techniques. Past research have shown that AutoML-based Low Rank Factorization (LRF) technique, when applied to an end-to-end Encoder-Attention-Decoder style ASR model, can achieve a speedup of up to 3.7x, outperforming laborious manual rank-selection approaches. However, we show that current AutoML-based search techniques only work up to a certain compression level, beyond which they fail to produce compressed models with acceptable word error rates (WER). In this work, we propose an iterative AutoML-based LRF approach that achieves over 5x compression without degrading the WER, thereby advancing the state-of-the-art in ASR compression.
Abhinav Mehrotra, Lukasz Dudziak, Jinsu Yeo, Young-Yoon Lee, Ravichander Vipperla, Mohamed S. Abdelfattah, Sourav Bhattacharya, Samin Ishtiaq, Alberto Gil C. P. Ramos, Nicholas D. Lane
INTERSPEECH8
2020 Bunched LPCNet: Vocoder for Low-Cost Neural Text-To-Speech Systems
abstract
LPCNet is an efficient vocoder that combines linear prediction and deep neural network modules to keep the computational complexity low. In this work, we present two techniques to further reduce it's complexity, aiming for a low-cost LPCNet vocoder-based neural Text-to-Speech (TTS) System. These techniques are: 1) Sample-bunching, which allows LPCNet to generate more than one audio sample per inference; and 2) Bit-bunching, which reduces the computations in the final layer of LPCNet. With the proposed bunching techniques, LPCNet, in conjunction with a Deep Convolutional TTS (DCTTS) acoustic model, shows a 2.19x improvement over the baseline run-time when running on a mobile device, with a less than 0.1 decrease in TTS mean opinion score (MOS).
Ravichander Vipperla, Kihyun Choo, Samin Ishtiaq, Kyoungbo Min, Sourav Bhattacharya, Abhinav Mehrotra, Alberto Gil C. P. Ramos, Nicholas D. Lane
INTERSPEECH4
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
VMCAI7
2016 T2: Temporal Property Verification
Marc Brockschmidt, Byron Cook, Samin Ishtiaq, Heidy Khlaaf, Nir Piterman
TACAS3
2014 Finding Instability in Biological Models
Byron Cook, Jasmin Fisher, Benjamin A. Hall, Samin Ishtiaq, Garvit Juniwal, Nir Piterman
CAV4
2013 Model-Checking Signal Transduction Networks through Decreasing Reachability Sets
Koen Claessen, Jasmin Fisher, Samin Ishtiaq, Nir Piterman, Qinsi Wang
CAV3
2013 SeLoger: A Tool for Graph-Based Reasoning in Separation Logic
Christoph Haase, Samin Ishtiaq, Joël Ouaknine, Matthew J. Parkinson
CAV2
2013 At the interface of biology and computation
abstract
Representing a new class of tool for biological modeling, Bio Model Analyzer (BMA) uses sophisticated computational techniques to determine stabilization in cellular networks. This paper presents designs aimed at easing the problems that can arise when such techniques - \'14using distinct approaches to conceptualizing networks\'14 - are applied in biology. The work also engages with more fundamental issues being discussed in the philosophy of science and science studies. It shows how scientific ways of knowing are constituted in routine interactions with tools like BMA, where the emphasis is on the practical business at hand, even when seemingly deep conceptual problems exist. For design, this perspective refigures the frictions raised when computation is used to model biology. Rather than obstacles, they can be seen as opportunities for opening up different ways of knowing.
Alex S. Taylor, Nir Piterman, Samin Ishtiaq, Jasmin Fisher, Byron Cook, Caitlin Cockerton, Sam Bourton, David Benqué
CHI3
2013 Resourceful Reachability as HORN-LA
Josh Berdine, Nikolaj S. Bjørner, Samin Ishtiaq, Jael E. Kriener, Christoph M. Wintersteiger
LPAR3
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
CAV6
2012 Diagnosing Abstraction Failure for Separation Logic-Based Analyses
Josh Berdine, Arlen Cox, Samin Ishtiaq, Christoph M. Wintersteiger
CAV3
2011 SLAyer: Memory Safety for Systems-Level Code
Josh Berdine, Byron Cook, Samin Ishtiaq
CAV3