Samin Ishtiaq
Samin Ishtiaq
Samsung AI
E-mail confirmado em samsung.com
Título
Citado por
Citado por
Ano
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
7532001
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
7532001
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
1172009
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
52*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
352017
Reasoning about the ARM weakly consistent memory model
N Chong, S Ishtiaq
Proceedings of the 2008 ACM SIGPLAN workshop on Memory systems performance …, 2008
342008
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
" 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
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
172015
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
122012
O sistema não pode executar a operação agora. Tente novamente mais tarde.
Artigos 1–20