Statistics
Publications
10
Citations
1.2K
H-Index
10
Active since
1998
Samin Ishtiaq is an author at Queen Mary University of London specializing in computer science, computing, and data structures.
Publications per year
1998–2021
10
10
BI as an assertion language for mutable data structures
Samin Ishtiaq, Peter W. O’Hearn · ACM SIGPLAN Notices · 2011 · 499 citations
BI as an assertion language for mutable data structures
Samin Ishtiaq, Peter W. O’Hearn · 2001 · 281 citations
BI as an assertion language for mutable data structures
Samin Ishtiaq, Peter W. O’Hearn · ACM SIGPLAN Notices · 2001 · 138 citations
The semantics of power and ARM multiprocessor machine code
Jade Alglave, Anthony Fox, Samin Ishtiaq et al. · 2009 · 106 citations
Reasoning about the ARM weakly consistent memory model
Nathan Chong, Samin Ishtiaq · 2008 · 34 citations
1–5 of 10