| 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 | 910 | 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 | 200* | 2017 |
| SLAyer: Memory Safety for Systems-Level Code J Berdine, B Cook, S Ishtiaq Computer Aided Verification: 23rd International Conference, CAV 2011 …, 2011 | 179 | 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 | 148 | 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 | 96 | 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 | 87 | 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 | 80 | 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 | 63 | 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 | 45 | 2000 |
| A relevant analysis of natural deduction SS Ishtiaq, DJ Pym Journal of Logic and Computation 8 (6), 809-838, 1998 | 44 | 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 | 43 | 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 | 35 | 2013 |
| " Can I Implement Your Algorithm?": A Model for Reproducible Research Software T Crick, BA Hall, S Ishtiaq arXiv preprint arXiv:1407.5981, 2014 | 34 | 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 | 26 | 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 | 22 | 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 | 20 | 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 | 18 | 1999 |
| 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 | 16 | 2012 |
| """" 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 | 15 | 2014 |
| 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 | 12 | 2017 |
Peter O'HearnUniversity College LondonVerified email at ucl.ac.uk
