| GPUVerify: a verifier for GPU kernels A Betts, N Chong, A Donaldson, S Qadeer, P Thomson Proceedings of the ACM international conference on Object oriented …, 2012 | 214 | 2012 |
| Many-core compiler fuzzing C Lidbury, A Lascu, N Chong, AF Donaldson ACM SIGPLAN Notices 50 (6), 65-76, 2015 | 210 | 2015 |
| Pencil: A platform-neutral compute intermediate language for accelerator programming R Baghdadi, U Beaugnon, A Cohen, T Grosser, M Kruse, C Reddy, ... 2015 International Conference on Parallel Architecture and Compilation (PACT …, 2015 | 161 | 2015 |
| Symmetry in temporal logic model checking A Miller, A Donaldson, M Calder ACM Computing Surveys (CSUR) 38 (3), 8-es, 2006 | 161 | 2006 |
| Software Verification Using k-Induction AF Donaldson, L Haller, D Kroening, P Rümmer Static Analysis: 18th International Symposium, SAS 2011, Venice, Italy …, 2011 | 155 | 2011 |
| GPU concurrency: Weak behaviours and programming assumptions J Alglave, M Batty, AF Donaldson, G Gopalakrishnan, J Ketema, D Poetzl, ... ACM SIGARCH Computer Architecture News 43 (1), 577-591, 2015 | 150 | 2015 |
| Automated testing of graphics shader compilers AF Donaldson, H Evrard, A Lascu, P Thomson Proceedings of the ACM on Programming Languages 1 (OOPSLA), 1-29, 2017 | 139 | 2017 |
| Certified roundoff error bounds using semidefinite programming V Magron, G Constantinides, A Donaldson ACM Transactions on Mathematical Software (TOMS) 43 (4), 1-31, 2017 | 113 | 2017 |
| Overhauling SC atomics in C11 and OpenCL M Batty, AF Donaldson, J Wickerson Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of …, 2016 | 105 | 2016 |
| Estimating the WCET of GPU-accelerated applications using hybrid analysis A Betts, A Donaldson 2013 25th Euromicro Conference on Real-Time Systems, 193-202, 2013 | 73 | 2013 |
| Concurrency testing using schedule bounding: An empirical study P Thomson, AF Donaldson, A Betts Proceedings of the 19th ACM SIGPLAN symposium on Principles and practice of …, 2014 | 70 | 2014 |
| Offload–automating code migration to heterogeneous multicore systems P Cooper, U Dolinsky, AF Donaldson, A Richards, C Riley, G Russell High Performance Embedded Architectures and Compilers: 5th International …, 2010 | 67 | 2010 |
| Asynchronous programming, analysis and testing with state machines P Deligiannis, AF Donaldson, J Ketema, A Lal, P Thomson Proceedings of the 36th ACM SIGPLAN Conference on Programming Language …, 2015 | 62 | 2015 |
| Metamorphic testing for (graphics) compilers AF Donaldson, A Lascu Proceedings of the 1st international workshop on metamorphic testing, 44-47, 2016 | 59 | 2016 |
| Symmetry reduction for probabilistic model checking using generic representatives AF Donaldson, A Miller Automated Technology for Verification and Analysis: 4th International …, 2006 | 59 | 2006 |
| Symmetry-aware predicate abstraction for shared-variable concurrent programs A Donaldson, A Kaiser, D Kroening, T Wahl Computer Aided Verification: 23rd International Conference, CAV 2011 …, 2011 | 57 | 2011 |
| Floating-point symbolic execution: a case study in n-version programming D Liew, D Schemmel, C Cadar, AF Donaldson, R Zahl, K Wehrle 2017 32nd IEEE/ACM International Conference on Automated Software …, 2017 | 54 | 2017 |
| The design and implementation of a verification technique for GPU kernels A Betts, N Chong, AF Donaldson, J Ketema, S Qadeer, P Thomson, ... ACM Transactions on Programming Languages and Systems (TOPLAS) 37 (3), 1-49, 2015 | 54 | 2015 |
| Automatic symmetry detection for model checking using computational group theory AF Donaldson, A Miller FM 2005: Formal Methods: International Symposium of Formal Methods Europe …, 2005 | 52 | 2005 |
| Interleaving and lock-step semantics for analysis and verification of GPU kernels P Collingbourne, AF Donaldson, J Ketema, S Qadeer European Symposium on Programming, 270-289, 2013 | 51 | 2013 |
Alice MillerProfessor, University of GlasgowVerified email at glasgow.ac.uk
