Samin Ishtiaq
Samin Ishtiaq
Dirección de correo verificada de
Citado por
Citado por
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
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
SLAyer: Memory Safety for Systems-Level Code
J Berdine, B Cook, S Ishtiaq
Computer Aided Verification: 23rd International Conference, CAV 2011 …, 2011
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
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
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
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
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
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
A relevant analysis of natural deduction
SS Ishtiaq, DJ Pym
Journal of Logic and Computation 8 (6), 809-838, 1998
Reasoning about the ARM weakly consistent memory model
N Chong, S Ishtiaq
Proceedings of the 2008 ACM SIGPLAN workshop on Memory systems performance …, 2008
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
" Can I Implement Your Algorithm?": A Model for Reproducible Research Software
T Crick, BA Hall, S Ishtiaq
arXiv preprint arXiv:1407.5981, 2014
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
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
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
Kripke resource models of a dependently-typed, bunched λ-calculus
S Ishtiaq, DJ Pym
Computer Science Logic: 13th International Workshop, CSL’99 8th Annual …, 1999
"""" 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
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
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
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20