EDBT 2026 Demo / reviewers in the wild / expert
Samin Ishtiaq
dblp:49/5100
· DBLP profile ↗
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
| Topic | Weight | Papers | Last | Evidence papers |
|---|---|---|---|---|
Natural language and speech › Speech recognition and synthesis
automatic speech recognition |
0.5 | 1 | 2021 | 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.5 | 1 | 2021 | NAS-Bench-ASR: Reproducible Neural Architecture Search for Speech Recognition · ICLR 2021 |
Bioinformatics and computational biology › network bioinformatics
biological network analysis |
0.2 | 2 | 2013 | 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.2 | 1 | 2014 | Finding Instability in Biological Models · CAV 2014 |
Bioinformatics and computational biology › systems biology › computational systems biology
systems biology modeling |
0.2 | 1 | 2013 | At the interface of biology and computation · CHI 2013 |
Program verification › program logic
separation logic |
0.2 | 1 | 2013 | SeLoger: A Tool for Graph-Based Reasoning in Separation Logic · CAV 2013 |
Automated reasoning and model checking
model checking |
0.2 | 1 | 2013 | Model-Checking Signal Transduction Networks through Decreasing Reachability Sets · CAV 2013 |
Bioinformatics and computational biology › biological network › network biology
biological network modeling |
0.1 | 1 | 2012 | Bma: Visual Tool for Modeling and Analyzing Biological Networks · CAV 2012 |
Program analysis › static analysis
abstract interpretation |
0.1 | 1 | 2012 | Diagnosing Abstraction Failure for Separation Logic-Based Analyses · CAV 2012 |
Systems and software security
memory safety |
0.1 | 1 | 2011 | SLAyer: Memory Safety for Systems-Level Code · CAV 2011 |
Program analysis › error detection
memory safety analysis |
0.1 | 1 | 2011 | 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
| Year | Publication | Venue | Position |
|---|---|---|---|
| 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 |
ICLR | 8 |
| 2020 | Iterative Compression of End-to-End ASR Model Using AutoMLabstractIncreasing 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 |
INTERSPEECH | 8 |
| 2020 | Bunched LPCNet: Vocoder for Low-Cost Neural Text-To-Speech SystemsabstractLPCNet 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 |
INTERSPEECH | 4 |
| 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 | 7 |
| 2016 | T2: Temporal Property Verification
Marc Brockschmidt, Byron Cook, Samin Ishtiaq, Heidy Khlaaf, Nir Piterman |
TACAS | 3 |
| 2014 | Finding Instability in Biological Models
Byron Cook, Jasmin Fisher, Benjamin A. Hall, Samin Ishtiaq, Garvit Juniwal, Nir Piterman |
CAV | 4 |
| 2013 | Model-Checking Signal Transduction Networks through Decreasing Reachability Sets
Koen Claessen, Jasmin Fisher, Samin Ishtiaq, Nir Piterman, Qinsi Wang |
CAV | 3 |
| 2013 | SeLoger: A Tool for Graph-Based Reasoning in Separation Logic
Christoph Haase, Samin Ishtiaq, Joël Ouaknine, Matthew J. Parkinson |
CAV | 2 |
| 2013 | At the interface of biology and computationabstractRepresenting 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é |
CHI | 3 |
| 2013 | Resourceful Reachability as HORN-LA
Josh Berdine, Nikolaj S. Bjørner, Samin Ishtiaq, Jael E. Kriener, Christoph M. Wintersteiger |
LPAR | 3 |
| 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 |
CAV | 6 |
| 2012 | Diagnosing Abstraction Failure for Separation Logic-Based Analyses
Josh Berdine, Arlen Cox, Samin Ishtiaq, Christoph M. Wintersteiger |
CAV | 3 |
| 2011 | SLAyer: Memory Safety for Systems-Level Code
Josh Berdine, Byron Cook, Samin Ishtiaq |
CAV | 3 |