


default search action
Alastair F. Donaldson
Person information
- affiliation: Imperial College London, UK
Refine list

refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
- [j28]Luke Geeson
, James Brotherston
, Wilco Dijkstra
, Alastair F. Donaldson
, Lee Smith
, Tyler Sorensen
, John Wickerson
:
Mix Testing: Specifying and Testing ABI Compatibility of C/C++ Atomics Implementations. Proc. ACM Program. Lang. 8(OOPSLA2): 442-467 (2024) - [c89]Jack Clark
, Alastair F. Donaldson
, John Wickerson
, Manuel Rigger
:
Validating Database System Isolation Level Implementations with Version Certificate Recovery. EuroSys 2024: 754-768 - [c88]Vasileios Klimis
, Alastair F. Donaldson
, Viktor Vafeiadis
, John Wickerson
, Azalea Raad
:
Challenges in Empirically Testing Memory Persistency Models. NIER@ICSE 2024: 82-86 - [c87]Alastair F. Donaldson
, Dilan Sheth
, Jean-Baptiste Tristan
, Alex Usher
:
Randomised Testing of the Compiler for a Verification-Aware Programming Language. ICST 2024: 407-418 - [c86]Ivaylo Valkov
, Alastair F. Donaldson
, Alice Miller
:
Synchronisation in Language-Level Symmetry Reduction for Probabilistic Model Checking. SPIN 2024: 49-66 - [i17]Vasileios Klimis, Alastair F. Donaldson, Viktor Vafeiadis, John Wickerson, Azalea Raad:
Lost in Interpretation: Navigating Challenges in Validating Persistency Models Amid Vague Specs and Stubborn Machines, All with a Sense of Humour. CoRR abs/2405.18575 (2024) - [i16]Luke Geeson, James Brotherston, Wilco Dijkstra, Alastair F. Donaldson, Lee Smith, Tyler Sorensen, John Wickerson:
Mix Testing: Specifying and Testing ABI Compatibility of C/C++ Atomics Implementations. CoRR abs/2409.01161 (2024) - [i15]Chengsong Tan, Alastair F. Donaldson, John Wickerson:
Formalising CXL Cache Coherence. CoRR abs/2410.15908 (2024) - 2023
- [j27]Bastien Lecoeur
, Hasan Mohsin
, Alastair F. Donaldson
:
Program Reconditioning: Avoiding Undefined Behaviour When Finding and Reducing Compiler Bugs. Proc. ACM Program. Lang. 7(PLDI): 1801-1825 (2023) - [j26]Vasileios Klimis
, Jack Clark
, Alan Baker
, David Neto
, John Wickerson
, Alastair F. Donaldson
:
Taking Back Control in an Intermediate Representation for GPU Computing. Proc. ACM Program. Lang. 7(POPL): 1740-1769 (2023) - [j25]Dan Iorga
, John Wickerson
, Alastair F. Donaldson
:
Simulating Operational Memory Models Using Off-the-Shelf Program Analysis Tools. IEEE Trans. Software Eng. 49(12): 5084-5102 (2023) - [c85]George Mitenkov, Ioannis Magkanaris
, Omar Awile, Pramod S. Kumbhar, Felix Schürmann, Alastair F. Donaldson:
MOD2IR: High-Performance Code Generation for a Biophysically Detailed Neuronal Simulation DSL. CC 2023: 203-215 - [c84]Bachir Bendrissou, Cristian Cadar, Alastair F. Donaldson:
Grammar Mutation for Testing Input Parsers (Registered Report). FUZZING 2023: 3-11 - [c83]Alastair F. Donaldson, Ben Clayton, Ryan Harrison, Hasan Mohsin, David Neto, Vasyl Teliman, Hana Watson:
Industrial Deployment of Compiler Fuzzing Techniques for Two GPU Shading Languages. ICST 2023: 374-385 - [c82]Karine Even-Mendoza, Arindam Sharma
, Alastair F. Donaldson, Cristian Cadar:
GrayC: Greybox Fuzzing of Compilers and Analysers for C. ISSTA 2023: 1219-1231 - [c81]Mayank Sharma, Pingshi Yu, Alastair F. Donaldson:
RustSmith: Random Differential Compiler Testing for Rust. ISSTA 2023: 1483-1486 - [c80]Hugues Evrard
, Alastair F. Donaldson
:
Model Checking Futexes. SPIN 2023: 41-58 - [i14]Shahin Honarvar, Mark van der Wilk, Alastair F. Donaldson:
Turbulence: Systematically and Automatically Testing Instruction-Tuned Large Language Models for Code. CoRR abs/2312.14856 (2023) - 2022
- [j24]Karine Even-Mendoza
, Cristian Cadar
, Alastair F. Donaldson
:
CsmithEdge: more effective compiler testing by handling undefined behaviour less conservatively. Empir. Softw. Eng. 27(6): 129 (2022) - [j23]Xiaoyuan Xie, Upulee Kanewala, Alastair F. Donaldson:
Workshop Summary: 7th International Workshop on Metamorphic Testing (MET 2022). ACM SIGSOFT Softw. Eng. Notes 47(4): 35-36 (2022) - [j22]Matt Windsor
, Alastair F. Donaldson
, John Wickerson
:
High-coverage metamorphic testing of concurrency support in C compilers. Softw. Test. Verification Reliab. 32(4) (2022) - [c79]Andrei Lascu, Alastair F. Donaldson, Tobias Grosser
, Torsten Hoefler:
Metamorphic Fuzzing of C++ Libraries. ICST 2022: 35-46 - [c78]Frank Busse
, Pritam M. Gharat
, Cristian Cadar
, Alastair F. Donaldson:
Combining static analysis error traces with dynamic symbolic execution (experience paper). ISSTA 2022: 568-579 - 2021
- [j21]Dan Iorga
, Alastair F. Donaldson
, Tyler Sorensen
, John Wickerson
:
The semantics of shared memory in Intel CPU/FPGA systems. Proc. ACM Program. Lang. 5(OOPSLA): 1-28 (2021) - [j20]Tyler Sorensen
, Lucas F. Salvador, Harmit Raval, Hugues Evrard, John Wickerson
, Margaret Martonosi, Alastair F. Donaldson
:
Specifying and testing GPU workgroup progress models. Proc. ACM Program. Lang. 5(OOPSLA): 1-30 (2021) - [c77]Andrei Lascu, Matt Windsor, Alastair F. Donaldson, Tobias Grosser
, John Wickerson:
Dreaming up Metamorphic Relations: Experiences from Three Fuzzer Tools. MET@ICSE 2021: 61-68 - [c76]Matt Windsor
, Alastair F. Donaldson
, John Wickerson
:
C4: the C compiler concurrency checker. ISSTA 2021: 670-673 - [c75]Alastair F. Donaldson
, Paul Thomson, Vasyl Teliman, Stefano Milizia, André Perez Maselco, Antoni Karpinski:
Test-case reduction and deduplication almost for free with transformation-based compiler testing. PLDI 2021: 1017-1032 - [i13]Tyler Sorensen, Lucas F. Salvador, Harmit Raval, Hugues Evrard, John Wickerson, Margaret Martonosi, Alastair F. Donaldson:
Specifying and Testing GPU Workgroup Progress Models. CoRR abs/2109.06132 (2021) - 2020
- [j19]Alastair F. Donaldson, Hugues Evrard, Paul Thomson:
Putting Randomized Compiler Testing into Production (Artifact). Dagstuhl Artifacts Ser. 6(2): 03:1-03:2 (2020) - [c74]David Maciver
, Alastair F. Donaldson
:
Test-Case Reduction via Test-Case Generation: Insights from the Hypothesis Reducer (Tool Insights Paper). ECOOP 2020: 13:1-13:27 - [c73]Alastair F. Donaldson
, Hugues Evrard, Paul Thomson:
Putting Randomized Compiler Testing into Production (Experience Report). ECOOP 2020: 22:1-22:29 - [c72]Karine Even-Mendoza
, Cristian Cadar, Alastair F. Donaldson:
Closer to the Edge: Testing Compilers More Thoroughly by Being Less Conservative About Undefined Behaviour. ASE 2020: 1219-1223 - [c71]Dan Iorga, Tyler Sorensen
, John Wickerson, Alastair F. Donaldson:
Slow and Steady: Measuring and Tuning Multicore Interference. RTAS 2020: 200-212 - [e4]Alastair F. Donaldson, Emina Torlak:
Proceedings of the 41st ACM SIGPLAN International Conference on Programming Language Design and Implementation, PLDI 2020, London, UK, June 15-20, 2020. ACM 2020, ISBN 978-1-4503-7613-6 [contents] - [i12]Alastair F. Donaldson:
A report on the first virtual PLDI conference. CoRR abs/2007.11686 (2020)
2010 – 2019
- 2019
- [j18]Michaël Marcozzi, Qiyi Tang
, Alastair F. Donaldson, Cristian Cadar
:
Compiler fuzzing: how much does it matter? Proc. ACM Program. Lang. 3(OOPSLA): 155:1-155:29 (2019) - [c70]Alastair F. Donaldson:
Metamorphic testing of Android graphics drivers. MET@ICSE 2019: 1 - [c69]Tyler Sorensen
, Sreepathi Pai
, Alastair F. Donaldson:
One Size Doesn't Fit All: Quantifying Performance Portability of Graph Applications on GPUs. IISWC 2019: 155-166 - [c68]Tyler Sorensen, Sreepathi Pai
, Alastair F. Donaldson:
Performance Evaluation of OpenCL Standard Support (and Beyond). IWOCL 2019: 8:1-8:2 - [c67]Christopher Lidbury, Alastair F. Donaldson:
Sparse record and replay with controlled scheduling. PLDI 2019: 576-593 - [c66]Daniel Liew, Cristian Cadar
, Alastair F. Donaldson, J. Ryan Stinnett
:
Just fuzz it: solving floating-point constraints using coverage-guided fuzzing. ESEC/SIGSOFT FSE 2019: 521-532 - [p2]Robert Chatley, Alastair F. Donaldson, Alan Mycroft
:
The Next 7000 Programming Languages. Computing and Software Science 2019: 250-282 - [e3]Alastair F. Donaldson:
33rd European Conference on Object-Oriented Programming, ECOOP 2019, July 15-19, 2019, London, United Kingdom. LIPIcs 134, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2019, ISBN 978-3-95977-111-5 [contents] - [i11]Michaël Marcozzi, Qiyi Tang, Alastair F. Donaldson, Cristian Cadar:
A Systematic Impact Study for Fuzzer-Found Compiler Bugs. CoRR abs/1902.09334 (2019) - 2018
- [j17]Adam Betts, Nathan Chong, Pantazis Deligiannis
, Alastair F. Donaldson
, Jeroen Ketema:
Implementing and Evaluating Candidate-Based Invariant Generation. IEEE Trans. Software Eng. 44(7): 631-650 (2018) - [c65]Tyler Sorensen
, Hugues Evrard, Alastair F. Donaldson:
GPU Schedulers: How Fair Is Fair Enough?. CONCUR 2018: 23:1-23:17 - [i10]Dan Iorga, Tyler Sorensen, Alastair F. Donaldson:
Do Your Cores Play Nicely? A Portable Framework for Multi-core Interference Tuning and Analysis. CoRR abs/1809.05197 (2018) - 2017
- [j16]Alastair F. Donaldson, Hugues Evrard, Andrei Lascu, Paul Thomson:
Automated testing of graphics shader compilers. Proc. ACM Program. Lang. 1(OOPSLA): 93:1-93:29 (2017) - [j15]Jeroen Ketema, Alastair F. Donaldson:
Termination analysis for GPU kernels. Sci. Comput. Program. 148: 107-122 (2017) - [j14]Victor Magron
, George A. Constantinides, Alastair F. Donaldson:
Certified Roundoff Error Bounds Using Semidefinite Programming. ACM Trans. Math. Softw. 43(4): 34:1-34:31 (2017) - [c64]Alastair F. Donaldson, Jeroen Ketema, Tyler Sorensen, John Wickerson:
Forward Progress on GPU Concurrency (Invited Talk). CONCUR 2017: 1:1-1:13 - [c63]Daniel Liew, Daniel Schemmel
, Cristian Cadar
, Alastair F. Donaldson, Rafael Zähl, Klaus Wehrle
:
Floating-point symbolic execution: a case study in n-version programming. ASE 2017: 601-612 - [c62]Christopher Lidbury, Alastair F. Donaldson:
Dynamic race detection for C++11. POPL 2017: 443-457 - [c61]Tyler Sorensen
, Hugues Evrard, Alastair F. Donaldson:
Cooperative kernels: GPU multitasking for blocking algorithms. ESEC/SIGSOFT FSE 2017: 431-441 - [i9]Tyler Sorensen, Hugues Evrard, Alastair F. Donaldson:
Cooperative Kernels: GPU Multitasking for Blocking Algorithms (Extended Version). CoRR abs/1707.01989 (2017) - [i8]Eva Darulova, Alastair F. Donaldson, Zvonimir Rakamaric, Cindy Rubio-González:
Analysis and Synthesis of Floating-point Programs (Dagstuhl Seminar 17352). Dagstuhl Reports 7(8): 74-101 (2017) - [i7]Junjie Chen, Alastair F. Donaldson, Andreas Zeller, Hongyu Zhang:
Testing and Verification of Compilers (Dagstuhl Seminar 17502). Dagstuhl Reports 7(12): 50-65 (2017) - 2016
- [j13]Paul Thomson, Alastair F. Donaldson, Adam Betts:
Concurrency Testing Using Controlled Schedulers: An Empirical Study. ACM Trans. Parallel Comput. 2(4): 23:1-23:37 (2016) - [c60]Pantazis Deligiannis, Matt McCutchen, Paul Thomson, Shuo Chen, Alastair F. Donaldson, John Erickson, Cheng Huang, Akash Lal, Rashmi Mudduluru, Shaz Qadeer, Wolfram Schulte:
Uncovering Bugs in Distributed Storage Systems during Testing (Not in Production!). FAST 2016: 249-262 - [c59]Alastair F. Donaldson, Andrei Lascu:
Metamorphic testing for (graphics) compilers. MET@ICSE 2016: 44-47 - [c58]Cristian Cadar
, Alastair F. Donaldson:
Analysing the program analyser. ICSE (Companion Volume) 2016: 765-768 - [c57]Daniel Liew, Cristian Cadar
, Alastair F. Donaldson:
Symbooglix: A Symbolic Execution Engine for Boogie Programs. ICST 2016: 45-56 - [c56]Moritz Pflanzer, Alastair F. Donaldson, Andrei Lascu:
Automatic Test Case Reduction for OpenCL. IWOCL 2016: 1:1-1:12 - [c55]Tyler Sorensen, Alastair F. Donaldson:
The Hitchhiker's Guide to Cross-Platform OpenCL Application Development. IWOCL 2016: 2:1-2:12 - [c54]Tyler Sorensen, Alastair F. Donaldson, Mark Batty, Ganesh Gopalakrishnan, Zvonimir Rakamaric:
Portable inter-workgroup barrier synchronisation for GPUs. OOPSLA 2016: 39-58 - [c53]Tyler Sorensen
, Alastair F. Donaldson:
Exposing errors related to weak memory in GPU applications. PLDI 2016: 100-113 - [c52]Mark Batty, Alastair F. Donaldson, John Wickerson
:
Overhauling SC atomics in C11 and OpenCL. POPL 2016: 634-648 - [i6]Adam Betts, Nathan Chong, Pantazis Deligiannis, Alastair F. Donaldson, Jeroen Ketema:
Implementing and Evaluating Candidate-Based Invariant Generation. CoRR abs/1612.01198 (2016) - 2015
- [j12]Alastair F. Donaldson, Vasco T. Vasconcelos
:
Selected papers on Programming Language Approaches to Concurrency and Communication-cEntric Software (PLACES 2014). J. Log. Algebraic Methods Program. 84(5): 683 (2015) - [j11]Adam Betts, Nathan Chong
, Alastair F. Donaldson, Jeroen Ketema, Shaz Qadeer, Paul Thomson, John Wickerson:
The Design and Implementation of a Verification Technique for GPU Kernels. ACM Trans. Program. Lang. Syst. 37(3): 10:1-10:49 (2015) - [c51]Riyadh Baghdadi, Ulysse Beaugnon, Albert Cohen, Tobias Grosser
, Michael Kruse
, Chandan Reddy, Sven Verdoolaege, Adam Betts, Alastair F. Donaldson, Jeroen Ketema, Javed Absar, Sven van Haastregt, Alexey Kravets, Anton Lokhmotov, Robert David, Elnar Hajiyev:
PENCIL: A Platform-Neutral Compute Intermediate Language for Accelerator Programming. PACT 2015: 138-149 - [c50]Jade Alglave, Mark Batty, Alastair F. Donaldson, Ganesh Gopalakrishnan, Jeroen Ketema, Daniel Poetzl, Tyler Sorensen, John Wickerson
:
GPU Concurrency: Weak Behaviours and Programming Assumptions. ASPLOS 2015: 577-591 - [c49]Pantazis Deligiannis
, Alastair F. Donaldson, Zvonimir Rakamaric:
Fast and Precise Symbolic Analysis of Concurrency Bugs in Device Drivers (T). ASE 2015: 166-177 - [c48]John Wickerson
, Mark Batty, Bradford M. Beckmann, Alastair F. Donaldson:
Remote-scope promotion: clarified, rectified, and verified. OOPSLA 2015: 731-747 - [c47]Christopher Lidbury, Andrei Lascu, Nathan Chong
, Alastair F. Donaldson:
Many-core compiler fuzzing. PLDI 2015: 65-76 - [c46]Pantazis Deligiannis
, Alastair F. Donaldson, Jeroen Ketema, Akash Lal, Paul Thomson:
Asynchronous programming, analysis and testing with state machines. PLDI 2015: 154-164 - [c45]Paul Thomson, Alastair F. Donaldson:
The lazy happens-before relation: better partial-order reduction for systematic concurrency testing. PPoPP 2015: 259-260 - [i5]Victor Magron, George A. Constantinides, Alastair F. Donaldson:
Certified Roundoff Error Bounds Using Semidefinite Programming. CoRR abs/1507.03331 (2015) - [i4]Andrei Lascu, Alastair F. Donaldson:
Integrating a large-scale testing campaign in the CK framework. CoRR abs/1511.02725 (2015) - 2014
- [j10]Alastair F. Donaldson:
The GPUVerify Method: a Tutorial Overview. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 70 (2014) - [j9]Sidney Amani, Peter Chubb, Alastair F. Donaldson, Alexander Legg, Keng Chai Ong, Leonid Ryzhyk, Yanjin Zhu:
Automatic verification of active device drivers. ACM SIGOPS Oper. Syst. Rev. 48(1): 106-118 (2014) - [c44]Ethel Bardsley, Adam Betts, Nathan Chong, Peter Collingbourne, Pantazis Deligiannis
, Alastair F. Donaldson, Jeroen Ketema, Daniel Liew, Shaz Qadeer:
Engineering a Static Verification Tool for GPU Kernels. CAV 2014: 226-242 - [c43]Pantazis Deligiannis
, Alastair F. Donaldson:
Automatic Verification of Data Race Freedom in Device Drivers. ICCSW 2014: 36-39 - [c42]Ethel Bardsley, Alastair F. Donaldson, John Wickerson
:
KernelInterceptor: automating GPU kernel verification by intercepting kernels and their parameters. IWOCL 2014: 7:1-7:5 - [c41]Ethel Bardsley, Alastair F. Donaldson:
Warps and Atomics: Beyond Barrier Synchronization in the Verification of GPU Kernels. NASA Formal Methods 2014: 230-245 - [c40]Nathan Chong
, Alastair F. Donaldson, Jeroen Ketema:
A sound and complete abstraction for reasoning about parallel prefix sums. POPL 2014: 397-410 - [c39]Paul Thomson, Alastair F. Donaldson, Adam Betts:
Concurrency testing using schedule bounding: an empirical study. PPoPP 2014: 15-28 - [p1]Alastair F. Donaldson:
Software Model Checking. Computing Handbook, 3rd ed. (1) 2014: 89: 1-18 - [e2]Alastair F. Donaldson, Vasco T. Vasconcelos:
Proceedings 7th Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software, PLACES 2014, Grenoble, France, 12 April 2014. EPTCS 155, 2014 [contents] - 2013
- [c38]Adam Betts, Alastair F. Donaldson:
Estimating the WCET of GPU-Accelerated Applications Using Hybrid Analysis. ECRTS 2013: 193-202 - [c37]Peter Collingbourne, Alastair F. Donaldson, Jeroen Ketema, Shaz Qadeer:
Interleaving and Lock-Step Semantics for Analysis and Verification of GPU Kernels. ESOP 2013: 270-289 - [c36]Luiz De Rose, Jan Treibig, William Jalby, Alba Cristina Magalhaes Alves de Melo
, David Abramson
, Alastair F. Donaldson, Tomàs Margalef
:
Topic 11: Multicore and Manycore Programming - (Introduction). Euro-Par 2013: 545-546 - [c35]Nathan Chong
, Alastair F. Donaldson, Paul H. J. Kelly, Jeroen Ketema, Shaz Qadeer:
Barrier invariants: a shared state abstraction for the analysis of data-dependent GPU kernels. OOPSLA 2013: 605-622 - [i3]Riyadh Baghdadi, Albert Cohen, Serge Guelton, Sven Verdoolaege, Jun Inoue, Tobias Grosser, Georgia Kouveli, Alexey Kravets, Anton Lokhmotov, Cedric Nugteren, Fraser Waters, Alastair F. Donaldson:
PENCIL: Towards a Platform-Neutral Compute Intermediate Language for DSLs. CoRR abs/1302.5586 (2013) - [i2]Albert Cohen, Alastair F. Donaldson, Marieke Huisman
, Joost-Pieter Katoen:
Correct and Efficient Accelerator Programming (Dagstuhl Seminar 13142). Dagstuhl Reports 3(4): 17-33 (2013) - 2012
- [j8]Alastair F. Donaldson, Alexander Kaiser, Daniel Kroening
, Michael Tautschnig, Thomas Wahl:
Counterexample-guided abstraction refinement for symmetric concurrent programs. Formal Methods Syst. Des. 41(1): 25-44 (2012) - [c34]Adam Betts, Nathan Chong
, Alastair F. Donaldson, Shaz Qadeer, Paul Thomson:
GPUVerify: a verifier for GPU kernels. OOPSLA 2012: 113-132 - [c33]Gérard Basler, Alastair F. Donaldson, Alexander Kaiser, Daniel Kroening
, Michael Tautschnig, Thomas Wahl:
satabs: A Bit-Precise Verifier for C Programs - (Competition Contribution). TACAS 2012: 552-555 - [c32]Sidney Amani, Peter Chubb, Alastair F. Donaldson, Alexander Legg, Leonid Ryzhyk, Yanjin Zhu:
Automatic Verification of Message-Based Device Drivers. SSV 2012: 4-17 - [e1]Alastair F. Donaldson, David Parker:
Model Checking Software - 19th International Workshop, SPIN 2012, Oxford, UK, July 23-24, 2012. Proceedings. Lecture Notes in Computer Science 7385, Springer 2012, ISBN 978-3-642-31758-3 [contents] - 2011
- [j7]Alastair F. Donaldson, Daniel Kroening
, Philipp Rümmer:
Automatic analysis of DMA races using model checking and k-induction. Formal Methods Syst. Des. 39(1): 83-113 (2011) - [c31]Sidney Amani, Leonid Ryzhyk, Alastair F. Donaldson, Gernot Heiser, Alexander Legg, Yanjin Zhu:
Static analysis of device drivers: we can do better! APSys 2011: 8 - [c30]Jade Alglave, Alastair F. Donaldson, Daniel Kroening
, Michael Tautschnig:
Making Software Verification Tools Really Work. ATVA 2011: 28-42 - [c29]Alastair F. Donaldson, Alexander Kaiser, Daniel Kroening
, Thomas Wahl:
Symmetry-Aware Predicate Abstraction for Shared-Variable Concurrent Programs. CAV 2011: 356-371 - [c28]Matko Botincan, Mike Dodds, Alastair F. Donaldson, Matthew J. Parkinson:
Safe asynchronous multicore memory operations. ASE 2011: 153-162 - [c27]George Russell, Colin Riley, Neil Henning, Uwe Dolinsky, Andrew Richards, Alastair F. Donaldson, Alexander S. van Amesfoort:
The impact of diverse memory architectures on multicore consumer software: an industrial perspective from the video games domain. MSPC 2011: 37-42 - [c26]Alastair F. Donaldson, Daniel Kroening
, Philipp Rümmer:
SCRATCH: a tool for automatic analysis of dma races. PPoPP 2011: 311-312 - [c25]Matko Botincan, Mike Dodds, Alastair F. Donaldson, Matthew J. Parkinson:
Automatic safety proofs for asynchronous memory operations. PPoPP 2011: 313-314 - [c24]Alastair F. Donaldson, Leopold Haller, Daniel Kroening
, Philipp Rümmer:
Software Verification Using k-Induction. SAS 2011: 351-368 - [c23]Alastair F. Donaldson, Leopold Haller, Daniel Kroening
:
Strengthening Induction-Based Race Checking with Lightweight Static Analysis. VMCAI 2011: 169-183 - [i1]Alastair F. Donaldson, Alexander Kaiser, Daniel Kroening, Thomas Wahl:
Symmetry-Aware Predicate Abstraction for Shared-Variable Concurrent Programs (Extended Technical Report). CoRR abs/1102.2330 (2011) - 2010
- [j6]Alastair F. Donaldson, Simon J. Gay:
Type inference and strong static type checking for Promela. Sci. Comput. Program. 75(11): 1165-1191 (2010) - [j5]Thomas Wahl, Alastair F. Donaldson:
Replication and Abstraction: Symmetry in Automated Formal Verification. Symmetry 2(2): 799-847 (2010) - [c22]Alastair F. Donaldson, Uwe Dolinsky, Andrew Richards, George Russell:
Automatic Offloading of C++ for the Cell BE Processor: A Case Study Using Offload. CISIS 2010: 901-906 - [c21]George Russell, Paul Keir
, Alastair F. Donaldson, Uwe Dolinsky, Andrew Richards, Colin Riley:
Programming Heterogeneous Multicore Systems Using Threading Building Blocks. Euro-Par Workshops 2010: 117-125 - [c20]Alastair F. Donaldson, Nannan He, Daniel Kroening
, Philipp Rümmer:
Tightening Test Coverage Metrics: A Case Study in Equivalence Checking Using k-Induction. FMCO 2010: 297-315 - [c19]Pete Cooper, Uwe Dolinsky, Alastair F. Donaldson, Andrew Richards, Colin Riley, George Russell:
Offload - Automating Code Migration to Heterogeneous Multicore Systems. HiPEAC 2010: 337-352 - [c18]Alastair F. Donaldson,