Follow
Samin Ishtiaq
Samin Ishtiaq
Riverlane
Verified email at riverlane.com
Title
Cited by
Cited by
Year
BI as an assertion language for mutable data structures
SS Ishtiaq, PW O'hearn
Proceedings of the 28th ACM SIGPLAN-SIGACT symposium on Principles of …, 2001
9152001
Whole-genome sequencing coupled to imputation discovers genetic signals for anthropometric traits
I Tachmazidou, D Süveges, JL Min, GRS Ritchie, J Steinberg, K Walter, ...
The American Journal of Human Genetics 100 (6), 865-884, 2017
203*2017
SLAyer: Memory Safety for Systems-Level Code
J Berdine, B Cook, S Ishtiaq
Computer Aided Verification: 23rd International Conference, CAV 2011 …, 2011
1792011
The semantics of Power and ARM multiprocessor machine code
J Alglave, A Fox, S Ishtiaq, MO Myreen, S Sarkar, P Sewell, FZ Nardelli
Proceedings of the 4th workshop on Declarative aspects of multicore …, 2009
1482009
Everest: Towards a verified, drop-in replacement of HTTPS
K Bhargavan, B Bond, A Delignat-Lavaud, C Fournet, C Hawblitzel, ...
2nd Summit on Advances in Programming Languages, 2017
972017
T2: Temporal Property Verification
M Brockschmidt, B Cook, S Ishtiaq, H Khlaaf, N Piterman
Tools and Algorithms for the Construction and Analysis of Systems: 22nd …, 2016
902016
Nas-bench-asr: Reproducible neural architecture search for speech recognition
A Mehrotra, AGCP Ramos, S Bhattacharya, Ł Dudziak, R Vipperla, ...
International Conference on Learning Representations, 2021
812021
Bma: Visual Tool for Modeling and Analyzing Biological Networks
D Benque, S Bourton, C Cockerton, B Cook, J Fisher, S Ishtiaq, ...
Computer Aided Verification: 24th International Conference, CAV 2012 …, 2012
632012
Semantic analysis of pointer aliasing, allocation and disposal in Hoare logic
C Calcagno, S Ishtiaq, PW O'Hearn
Proceedings of the 2nd ACM SIGPLAN international conference on Principles …, 2000
452000
A relevant analysis of natural deduction
SS Ishtiaq, DJ Pym
Journal of Logic and Computation 8 (6), 809-838, 1998
441998
Reasoning about the ARM weakly consistent memory model
N Chong, S Ishtiaq
Proceedings of the 2008 ACM SIGPLAN workshop on Memory systems performance …, 2008
432008
SeLoger: A tool for graph-based reasoning in separation logic
C Haase, S Ishtiaq, J Ouaknine, MJ Parkinson
Computer Aided Verification: 25th International Conference, CAV 2013, Saint …, 2013
352013
" Can I Implement Your Algorithm?": A Model for Reproducible Research Software
T Crick, BA Hall, S Ishtiaq
arXiv preprint arXiv:1407.5981, 2014
342014
Bunched lpcnet: Vocoder for low-cost neural text-to-speech systems
R Vipperla, S Park, K Choo, S Ishtiaq, K Min, S Bhattacharya, A Mehrotra, ...
arXiv preprint arXiv:2008.04574, 2020
262020
Drug target optimization in chronic myeloid leukemia using innovative computational platform
R Chuang, BA Hall, D Benque, B Cook, S Ishtiaq, N Piterman, A Taylor, ...
Scientific reports 5 (1), 8190, 2015
242015
Model-checking signal transduction networks through decreasing reachability sets
K Claessen, J Fisher, S Ishtiaq, N Piterman, Q Wang
Computer Aided Verification: 25th International Conference, CAV 2013, Saint …, 2013
202013
Kripke resource models of a dependently-typed, bunched λ-calculus
S Ishtiaq, DJ Pym
Computer Science Logic: 13th International Workshop, CSL’99 8th Annual …, 1999
181999
Diagnosing abstraction failure for separation logic–based analyses
J Berdine, A Cox, S Ishtiaq, CM Wintersteiger
Computer Aided Verification: 24th International Conference, CAV 2012 …, 2012
162012
"""" Share and Enjoy"""": Publishing Useful and Usable Scientific Models
T Crick, BA Hall, S Ishtiaq, K Takeda
2014 IEEE/ACM 7th International Conference on Utility and Cloud Computing …, 2014
152014
Bringing LTL model checking to biologists
Z Ahmed, D Benque, S Berezin, ACE Dahl, J Fisher, BA Hall, S Ishtiaq, ...
Verification, Model Checking, and Abstract Interpretation: 18th …, 2017
122017
The system can't perform the operation now. Try again later.
Articles 1–20