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
9032001
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
9012001
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
180*2017
SLAyer: Memory Safety for Systems-Level Code
J Berdine, B Cook, S Ishtiaq
Computer Aided Verification: 23rd International Conference, CAV 2011 …, 2011
1692011
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
1452009
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
902017
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
812016
NAS-Bench-ASR: Reproducible neural architecture search for speech recognition
A Mehrotra, AGCP Ramos, S Bhattacharya, Ł Dudziak, R Vipperla, ...
International Conference on Learning Representations, 2020
682020
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
602012
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
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
432000
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
252020
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
232015
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
"""" 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
Kripke resource models of a dependently-typed, bunched λ-calculus
S Ishtiaq, DJ Pym
Computer Science Logic: 13th International Workshop, CSL’99 8th Annual …, 1999
151999
Kripke resource models of a dependently-typed, bunched λ-calculus
S Ishtiaq, DJ Pym
Computer Science Logic: 13th International Workshop, CSL’99 8th Annual …, 1999
151999
The system can't perform the operation now. Try again later.
Articles 1–20