Samin Ishtiaq
Samin Ishtiaq
Samsung AI
Verified email at samsung.com
TitleCited byYear
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
7512001
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
7512001
SLAyer: Memory safety for systems-level code
J Berdine, B Cook, S Ishtiaq
International Conference on Computer Aided Verification, 178-183, 2011
1342011
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
1152009
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
49*2017
A relevant analysis of natural deduction
SS Ishtiaq, DJ Pym
Journal of Logic and Computation 8 (6), 809-838, 1998
451998
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
402012
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
392016
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
382000
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
362017
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
322013
Reasoning about the ARM weakly consistent memory model
N Chong, S Ishtiaq
Proceedings of the 2008 ACM SIGPLAN workshop on Memory systems performance …, 2008
322008
" Can I Implement Your Algorithm?": A Model for Reproducible Research Software
T Crick, BA Hall, S Ishtiaq
arXiv preprint arXiv:1407.5981, 2014
262014
From Error to Error: Why Voters Could not Cast a Ballot and Verify Their Vote With Helios, Prêt à Voter, and Scantegrity {II}
CZ Acemyan, P Kortum, MD Byrne, DS Wallach
{USENIX} Journal of Election Technology and Systems ({JETS}) 3, 1-25, 2015
222015
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
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
162015
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
122012
The system can't perform the operation now. Try again later.
Articles 1–20