Suivre
Samin Ishtiaq
Samin Ishtiaq
Riverlane
Adresse e-mail validée de riverlane.com
Titre
Citée par
Citée par
Année
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
Le système ne peut pas réaliser cette opération maintenant. Veuillez réessayer plus tard.
Articles 1–20