Samin Ishtiaq
Samin Ishtiaq
Samsung AI
Verified email at samsung.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
7842001
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
7842001
SLAyer: Memory safety for systems-level code
J Berdine, B Cook, S Ishtiaq
International Conference on Computer Aided Verification, 178-183, 2011
1432011
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
1242009
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
69*2017
A relevant analysis of natural deduction
SS Ishtiaq, DJ Pym
Journal of Logic and Computation 8 (6), 809-838, 1998
471998
T2: temporal property verification
M Brockschmidt, B Cook, S Ishtiaq, H Khlaaf, N Piterman
International Conference on Tools and Algorithms for the Construction and …, 2016
452016
BMA: Visual tool for modeling and analyzing biological networks
D Benque, S Bourton, C Cockerton, B Cook, J Fisher, S Ishtiaq, ...
International Conference on Computer Aided Verification, 686-692, 2012
432012
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 (SNAPL 2017), 2017
412017
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
402000
Reasoning about the ARM weakly consistent memory model
N Chong, S Ishtiaq
Proceedings of the 2008 ACM SIGPLAN workshop on Memory systems performance …, 2008
362008
SeLoger: A tool for graph-based reasoning in separation logic
C Haase, S Ishtiaq, J Ouaknine, MJ Parkinson
International Conference on Computer Aided Verification, 790-795, 2013
342013
" Can I Implement Your Algorithm?": A Model for Reproducible Research Software
T Crick, BA Hall, S Ishtiaq
arXiv preprint arXiv:1407.5981, 2014
272014
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, 8190, 2015
182015
Model-checking signal transduction networks through decreasing reachability sets
K Claessen, J Fisher, S Ishtiaq, N Piterman, Q Wang
International Conference on Computer Aided Verification, 85-100, 2013
172013
Kripke resource models of a dependently-typed, bunched λ-calculus
S Ishtiaq, DJ Pym
International Workshop on Computer Science Logic, 235-249, 1999
151999
Kripke resource models of a dependently-typed, bunched λ-calculus
S Ishtiaq, DJ Pym
International Workshop on Computer Science Logic, 235-249, 1999
151999
Kripke resource models of a dependently-typed, bunched λ-calculus
S Ishtiaq, DJ Pym
International Workshop on Computer Science Logic, 235-249, 1999
151999
Diagnosing abstraction failure for separation logic–based analyses
J Berdine, A Cox, S Ishtiaq, CM Wintersteiger
International Conference on Computer Aided Verification, 155-173, 2012
132012
"""" 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
112014
The system can't perform the operation now. Try again later.
Articles 1–20