Παρακολούθηση
Alastair Donaldson
Alastair Donaldson
Imperial College London
Η διεύθυνση ηλεκτρονικού ταχυδρομείου έχει επαληθευτεί στον τομέα imperial.ac.uk - Αρχική σελίδα
Τίτλος
Παρατίθεται από
Παρατίθεται από
Έτος
Many-core compiler fuzzing
C Lidbury, A Lascu, N Chong, AF Donaldson
ACM SIGPLAN Notices 50 (6), 65-76, 2015
2212015
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
2212012
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
1672015
Symmetry in temporal logic model checking
A Miller, A Donaldson, M Calder
ACM Computing Surveys (CSUR) 38 (3), 8-es, 2006
1652006
Software Verification Using k-Induction
AF Donaldson, L Haller, D Kroening, P Rümmer
Static Analysis: 18th International Symposium, SAS 2011, Venice, Italy …, 2011
1572011
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
1552015
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
1462017
Certified roundoff error bounds using semidefinite programming
V Magron, G Constantinides, A Donaldson
ACM Transactions on Mathematical Software (TOMS) 43 (4), 1-31, 2017
1192017
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
1072016
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
762013
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
712014
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
672010
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
642015
Metamorphic testing for (graphics) compilers
AF Donaldson, A Lascu
Proceedings of the 1st international workshop on metamorphic testing, 44-47, 2016
632016
Symmetry reduction for probabilistic model checking using generic representatives
AF Donaldson, A Miller
Automated Technology for Verification and Analysis: 4th International …, 2006
592006
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
582015
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
572011
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
562017
Compiler fuzzing: How much does it matter?
M Marcozzi, Q Tang, AF Donaldson, C Cadar
Proceedings of the ACM on Programming Languages 3 (OOPSLA), 1-29, 2019
532019
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
522013
Δεν είναι δυνατή η εκτέλεση της ενέργειας από το σύστημα αυτή τη στιγμή. Προσπαθήστε ξανά αργότερα.
Άρθρα 1–20