Alastair F. Donaldson

162 papers A* 16A 27B 16Misc 1Journal 55Unranked 42

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	Capture the Flags: Family-Based Evaluation of Agentic LLMs via Semantics-Preserving Transformations. CoRR Shahin Honarvar, Amber Gorzynski, James Lee-Jones, Harry Coppock, Marek Rei, Joseph Ryan, Alastair F. Donaldson
2026	A	`conf`	Finding and Understanding Bugs in FPGA Place-and-Route Engines. FPGA Ollie Cosgrove, Alastair F. Donaldson, John Wickerson
2025	J	`jnl`	All You Need Is A Fuzzing Brain: An LLM-Powered System for Automated Vulnerability Detection and Patching. CoRR Ze Sheng, Qingxiao Xu, Jianwei Huang, Matthew Woodcock, Heqing Huang, Alastair F. Donaldson, Guofei Gu, Jeff Huang
2025	J	`jnl`	Bounded Exhaustive Random Program Generation for Testing Solidity Compilers and Analyzers. CoRR Haoyang Ma, Alastair F. Donaldson, Qingchao Shen, Yongqiang Tian, Junjie Chen, Shing-Chi Cheung
2025	A	`conf`	Compiler Fuzzing in Continuous Integration: A Case Study on Dafny. ICST Karnbongkot Boonriong, Stefan Zetzsche, Alastair F. Donaldson
2025	J	`jnl`	Editorial: New Year, New Paper Tracks. ACM Trans. Program. Lang. Syst. Alastair F. Donaldson
2025	—	`conf`	Formalising CXL Cache Coherence. ASPLOS (2) Chengsong Tan, Alastair F. Donaldson, John Wickerson
2025	A	`conf`	FuzzFlesh: Randomised Testing of Decompilers via Control Flow Graph-Based Program Generation. ECOOP Amber Gorzynski, Alastair F. Donaldson
2025	J	`jnl`	Grammar Mutation for Testing Input Parsers - RCR Report. ACM Trans. Softw. Eng. Methodol. Bachir Bendrissou, Cristian Cadar, Alastair F. Donaldson
2025	J	`jnl`	Grammar Mutation for Testing Input Parsers. ACM Trans. Softw. Eng. Methodol. Bachir Bendrissou, Cristian Cadar, Alastair F. Donaldson
2025	—	`conf`	Ratte: Fuzzing for Miscompilations in Multi-Level Compilers Using Composable Semantics. ASPLOS (2) Pingshi Yu, Nicolas Wu, Alastair F. Donaldson
2025	A	`conf`	Scalable SMT Sampling for Floating-Point Formulas via Coverage-Guided Fuzzing. ICST Manuel Carrasco, Cristian Cadar, Alastair F. Donaldson
2025	J	`jnl`	Testing Program Analyzers and Verifiers (Dagstuhl Seminar 25242). Dagstuhl Reports Maria Christakis, Alastair F. Donaldson, John Regehr, Thodoris Sotiropoulos
2025	J	`jnl`	The "Question Neighbourhood" Approach for Systematic Evaluation of Code-Generating LLMs. IEEE Trans. Software Eng. Shahin Honarvar, Marek Rei, Alastair F. Donaldson
2025	—	`conf`	The Burden of Proof: Automated Tooling for Rapid Iteration on Large Mechanised Proofs. FormaliSE Chengsong Tan, Alastair F. Donaldson, Jonathan Julián Huerta y Munive, John Wickerson
2025	—	`conf`	Towards Fuzzing Zero-Knowledge Proof Circuits (Short Paper). ISSTA Companion Stefanos Chaliasos, Imam Al-Fath, Alastair F. Donaldson
2025	J	`jnl`	Towards Fuzzing Zero-Knowledge Proof Circuits (Short Paper). CoRR Stefanos Chaliasos, Imam Al-Fath, Alastair F. Donaldson
2025	A	`conf`	Turbulence: Systematically and Automatically Testing Instruction-Tuned Large Language Models for Code. ICST Shahin Honarvar, Mark van der Wilk, Alastair F. Donaldson
2025	J	`jnl`	WebGlitch: A Randomised Testing Tool for the WebGPU API (Artifact). Dagstuhl Artifacts Ser. Matthew K. L. Wong, Alastair F. Donaldson
2025	A	`conf`	WebGlitch: A Randomised Testing Tool for the WebGPU API (Experience Paper). ECOOP Matthew K. L. Wong, Alastair F. Donaldson
2025	—	`conf`	When You Have a Fuzzer, Everything Looks Like a Reachability Problem. RP Alastair F. Donaldson, Cristian Cadar, Manuel Carrasco, Dan Iorga, Daniel Liew, John Wickerson
2024	—	`conf`	Challenges in Empirically Testing Memory Persistency Models. NIER@ICSE Vasileios Klimis, Alastair F. Donaldson, Viktor Vafeiadis, John Wickerson, Azalea Raad
2024	J	`jnl`	Formalising CXL Cache Coherence. CoRR Chengsong Tan, Alastair F. Donaldson, John Wickerson
2024	J	`jnl`	Lost in Interpretation: Navigating Challenges in Validating Persistency Models Amid Vague Specs and Stubborn Machines, All with a Sense of Humour. CoRR Vasileios Klimis, Alastair F. Donaldson, Viktor Vafeiadis, John Wickerson, Azalea Raad
2024	J	`jnl`	Mix Testing: Specifying and Testing ABI Compatibility of C/C++ Atomics Implementations. CoRR Luke Geeson, James Brotherston, Wilco Dijkstra, Alastair F. Donaldson, Lee Smith, Tyler Sorensen, John Wickerson
2024	J	`jnl`	Mix Testing: Specifying and Testing ABI Compatibility of C/C++ Atomics Implementations. Proc. ACM Program. Lang. Luke Geeson, James Brotherston, Wilco Dijkstra, Alastair F. Donaldson, Lee Smith, Tyler Sorensen, John Wickerson
2024	A	`conf`	Randomised Testing of the Compiler for a Verification-Aware Programming Language. ICST Alastair F. Donaldson, Dilan Sheth, Jean-Baptiste Tristan, Alex Usher
2024	—	`conf`	Synchronisation in Language-Level Symmetry Reduction for Probabilistic Model Checking. SPIN Ivaylo Valkov, Alastair F. Donaldson, Alice Miller
2024	A	`conf`	Validating Database System Isolation Level Implementations with Version Certificate Recovery. EuroSys Jack Clark, Alastair F. Donaldson, John Wickerson, Manuel Rigger
2023	—	`conf`	Grammar Mutation for Testing Input Parsers (Registered Report). FUZZING Bachir Bendrissou, Cristian Cadar, Alastair F. Donaldson
2023	A	`conf`	GrayC: Greybox Fuzzing of Compilers and Analysers for C. ISSTA Karine Even-Mendoza, Arindam Sharma, Alastair F. Donaldson, Cristian Cadar
2023	A	`conf`	Industrial Deployment of Compiler Fuzzing Techniques for Two GPU Shading Languages. ICST Alastair F. Donaldson, Ben Clayton, Ryan Harrison, Hasan Mohsin, David Neto, Vasyl Teliman, Hana Watson
2023	B	`conf`	MOD2IR: High-Performance Code Generation for a Biophysically Detailed Neuronal Simulation DSL. CC George Mitenkov, Ioannis Magkanaris, Omar Awile, Pramod S. Kumbhar, Felix Schürmann, Alastair F. Donaldson
2023	—	`conf`	Model Checking Futexes. SPIN Hugues Evrard, Alastair F. Donaldson
2023	J	`jnl`	Program Reconditioning: Avoiding Undefined Behaviour When Finding and Reducing Compiler Bugs. Proc. ACM Program. Lang. Bastien Lecoeur, Hasan Mohsin, Alastair F. Donaldson
2023	A	`conf`	RustSmith: Random Differential Compiler Testing for Rust. ISSTA Mayank Sharma, Pingshi Yu, Alastair F. Donaldson
2023	J	`jnl`	Simulating Operational Memory Models Using Off-the-Shelf Program Analysis Tools. IEEE Trans. Software Eng. Dan Iorga, John Wickerson, Alastair F. Donaldson
2023	J	`jnl`	Taking Back Control in an Intermediate Representation for GPU Computing. Proc. ACM Program. Lang. Vasileios Klimis, Jack Clark, Alan Baker, David Neto, John Wickerson, Alastair F. Donaldson
2023	J	`jnl`	Turbulence: Systematically and Automatically Testing Instruction-Tuned Large Language Models for Code. CoRR Shahin Honarvar, Mark van der Wilk, Alastair F. Donaldson
2022	A	`conf`	Combining static analysis error traces with dynamic symbolic execution (experience paper). ISSTA Frank Busse, Pritam M. Gharat, Cristian Cadar, Alastair F. Donaldson
2022	J	`jnl`	CsmithEdge: more effective compiler testing by handling undefined behaviour less conservatively. Empir. Softw. Eng. Karine Even-Mendoza, Cristian Cadar, Alastair F. Donaldson
2022	J	`jnl`	High-coverage metamorphic testing of concurrency support in C compilers. Softw. Test. Verification Reliab. Matt Windsor, Alastair F. Donaldson, John Wickerson
2022	A	`conf`	Metamorphic Fuzzing of C++ Libraries. ICST Andrei Lascu, Alastair F. Donaldson, Tobias Grosser, Torsten Hoefler
2022	J	`jnl`	Workshop Summary: 7th International Workshop on Metamorphic Testing (MET 2022). ACM SIGSOFT Softw. Eng. Notes Xiaoyuan Xie, Upulee Kanewala, Alastair F. Donaldson
2021	A	`conf`	C4: the C compiler concurrency checker. ISSTA Matt Windsor, Alastair F. Donaldson, John Wickerson
2021	—	`conf`	Dreaming up Metamorphic Relations: Experiences from Three Fuzzer Tools. MET@ICSE Andrei Lascu, Matt Windsor, Alastair F. Donaldson, Tobias Grosser, John Wickerson
2021	J	`jnl`	Specifying and Testing GPU Workgroup Progress Models. CoRR Tyler Sorensen, Lucas F. Salvador, Harmit Raval, Hugues Evrard, John Wickerson, Margaret Martonosi, Alastair F. Donaldson
2021	J	`jnl`	Specifying and testing GPU workgroup progress models. Proc. ACM Program. Lang. Tyler Sorensen, Lucas F. Salvador, Harmit Raval, Hugues Evrard, John Wickerson, Margaret Martonosi, Alastair F. Donaldson
2021	A*	`conf`	Test-case reduction and deduplication almost for free with transformation-based compiler testing. PLDI Alastair F. Donaldson, Paul Thomson, Vasyl Teliman, Stefano Milizia, André Perez Maselco, Antoni Karpinski
2021	J	`jnl`	The semantics of shared memory in Intel CPU/FPGA systems. Proc. ACM Program. Lang. Dan Iorga, Alastair F. Donaldson, Tyler Sorensen, John Wickerson
2020	J	`jnl`	A report on the first virtual PLDI conference. CoRR Alastair F. Donaldson
2020	A*	`conf`	Closer to the Edge: Testing Compilers More Thoroughly by Being Less Conservative About Undefined Behaviour. ASE Karine Even-Mendoza, Cristian Cadar, Alastair F. Donaldson
2020	A*	`ed.`	Proceedings of the 41st ACM SIGPLAN International Conference on Programming Language Design and Implementation, PLDI 2020, London, UK, June 15-20, 2020 PLDI Alastair F. Donaldson, Emina Torlak
2020	J	`jnl`	Putting Randomized Compiler Testing into Production (Artifact). Dagstuhl Artifacts Ser. Alastair F. Donaldson, Hugues Evrard, Paul Thomson
2020	A	`conf`	Putting Randomized Compiler Testing into Production (Experience Report). ECOOP Alastair F. Donaldson, Hugues Evrard, Paul Thomson
2020	A	`conf`	Slow and Steady: Measuring and Tuning Multicore Interference. RTAS Dan Iorga, Tyler Sorensen, John Wickerson, Alastair F. Donaldson
2020	A	`conf`	Test-Case Reduction via Test-Case Generation: Insights from the Hypothesis Reducer (Tool Insights Paper). ECOOP David Maciver, Alastair F. Donaldson
2019	A	`ed.`	33rd European Conference on Object-Oriented Programming, ECOOP 2019, London, United Kingdom, July 15-19, 2019 ECOOP Alastair F. Donaldson
2019	J	`jnl`	A Systematic Impact Study for Fuzzer-Found Compiler Bugs. CoRR Michaël Marcozzi, Qiyi Tang, Alastair F. Donaldson, Cristian Cadar
2019	J	`jnl`	Compiler fuzzing: how much does it matter? Proc. ACM Program. Lang. Michaël Marcozzi, Qiyi Tang, Alastair F. Donaldson, Cristian Cadar
2019	—	`conf`	Just fuzz it: solving floating-point constraints using coverage-guided fuzzing. ESEC/SIGSOFT FSE Daniel Liew, Cristian Cadar, Alastair F. Donaldson, J. Ryan Stinnett
2019	—	`conf`	Metamorphic testing of Android graphics drivers. MET@ICSE Alastair F. Donaldson
2019	—	`conf`	One Size Doesn't Fit All: Quantifying Performance Portability of Graph Applications on GPUs. IISWC Tyler Sorensen, Sreepathi Pai, Alastair F. Donaldson
2019	—	`conf`	Performance Evaluation of OpenCL Standard Support (and Beyond). IWOCL Tyler Sorensen, Sreepathi Pai, Alastair F. Donaldson
2019	A*	`conf`	Sparse record and replay with controlled scheduling. PLDI Christopher Lidbury, Alastair F. Donaldson
2019	—	`ch.`	The Next 7000 Programming Languages. Computing and Software Science Robert Chatley, Alastair F. Donaldson, Alan Mycroft
2018	J	`jnl`	Do Your Cores Play Nicely? A Portable Framework for Multi-core Interference Tuning and Analysis. CoRR Dan Iorga, Tyler Sorensen, Alastair F. Donaldson
2018	B	`conf`	GPU Schedulers: How Fair Is Fair Enough?. CONCUR Tyler Sorensen, Hugues Evrard, Alastair F. Donaldson
2018	J	`jnl`	Implementing and Evaluating Candidate-Based Invariant Generation. IEEE Trans. Software Eng. Adam Betts, Nathan Chong, Pantazis Deligiannis, Alastair F. Donaldson, Jeroen Ketema
2017	J	`jnl`	Analysis and Synthesis of Floating-point Programs (Dagstuhl Seminar 17352). Dagstuhl Reports Eva Darulova, Alastair F. Donaldson, Zvonimir Rakamaric, Cindy Rubio-González
2017	J	`jnl`	Automated testing of graphics shader compilers. Proc. ACM Program. Lang. Alastair F. Donaldson, Hugues Evrard, Andrei Lascu, Paul Thomson
2017	J	`jnl`	Certified Roundoff Error Bounds Using Semidefinite Programming. ACM Trans. Math. Softw. Victor Magron, George A. Constantinides, Alastair F. Donaldson
2017	J	`jnl`	Cooperative Kernels: GPU Multitasking for Blocking Algorithms (Extended Version). CoRR Tyler Sorensen, Hugues Evrard, Alastair F. Donaldson
2017	—	`conf`	Cooperative kernels: GPU multitasking for blocking algorithms. ESEC/SIGSOFT FSE Tyler Sorensen, Hugues Evrard, Alastair F. Donaldson
2017	A*	`conf`	Dynamic race detection for C++11. POPL Christopher Lidbury, Alastair F. Donaldson
2017	A*	`conf`	Floating-point symbolic execution: a case study in n-version programming. ASE Daniel Liew, Daniel Schemmel, Cristian Cadar, Alastair F. Donaldson, Rafael Zähl, Klaus Wehrle
2017	B	`conf`	Forward Progress on GPU Concurrency (Invited Talk). CONCUR Alastair F. Donaldson, Jeroen Ketema, Tyler Sorensen, John Wickerson
2017	J	`jnl`	Termination analysis for GPU kernels. Sci. Comput. Program. Jeroen Ketema, Alastair F. Donaldson
2017	J	`jnl`	Testing and Verification of Compilers (Dagstuhl Seminar 17502). Dagstuhl Reports Junjie Chen, Alastair F. Donaldson, Andreas Zeller, Hongyu Zhang
2016	—	`conf`	Analysing the program analyser. ICSE (Companion Volume) Cristian Cadar, Alastair F. Donaldson
2016	—	`conf`	Automatic Test Case Reduction for OpenCL. IWOCL Moritz Pflanzer, Alastair F. Donaldson, Andrei Lascu
2016	J	`jnl`	Concurrency Testing Using Controlled Schedulers: An Empirical Study. ACM Trans. Parallel Comput. Paul Thomson, Alastair F. Donaldson, Adam Betts
2016	A*	`conf`	Exposing errors related to weak memory in GPU applications. PLDI Tyler Sorensen, Alastair F. Donaldson
2016	J	`jnl`	Implementing and Evaluating Candidate-Based Invariant Generation. CoRR Adam Betts, Nathan Chong, Pantazis Deligiannis, Alastair F. Donaldson, Jeroen Ketema
2016	—	`conf`	Metamorphic testing for (graphics) compilers. MET@ICSE Alastair F. Donaldson, Andrei Lascu
2016	A*	`conf`	Overhauling SC atomics in C11 and OpenCL. POPL Mark Batty, Alastair F. Donaldson, John Wickerson
2016	A	`conf`	Portable inter-workgroup barrier synchronisation for GPUs. OOPSLA Tyler Sorensen, Alastair F. Donaldson, Mark Batty, Ganesh Gopalakrishnan, Zvonimir Rakamaric
2016	A	`conf`	Symbooglix: A Symbolic Execution Engine for Boogie Programs. ICST Daniel Liew, Cristian Cadar, Alastair F. Donaldson
2016	—	`conf`	The Hitchhiker's Guide to Cross-Platform OpenCL Application Development. IWOCL Tyler Sorensen, Alastair F. Donaldson
2016	A	`conf`	Uncovering Bugs in Distributed Storage Systems during Testing (Not in Production!). FAST Pantazis Deligiannis, Matt McCutchen, Paul Thomson, Shuo Chen, Alastair F. Donaldson, John Erickson, Cheng Huang, Akash Lal, Rashmi Mudduluru, Shaz Qadeer, Wolfram Schulte
2015	A*	`conf`	Asynchronous programming, analysis and testing with state machines. PLDI Pantazis Deligiannis, Alastair F. Donaldson, Jeroen Ketema, Akash Lal, Paul Thomson
2015	J	`jnl`	Certified Roundoff Error Bounds Using Semidefinite Programming. CoRR Victor Magron, George A. Constantinides, Alastair F. Donaldson
2015	A*	`conf`	Fast and Precise Symbolic Analysis of Concurrency Bugs in Device Drivers (T). ASE Pantazis Deligiannis, Alastair F. Donaldson, Zvonimir Rakamaric
2015	A*	`conf`	GPU Concurrency: Weak Behaviours and Programming Assumptions. ASPLOS Jade Alglave, Mark Batty, Alastair F. Donaldson, Ganesh Gopalakrishnan, Jeroen Ketema, Daniel Poetzl, Tyler Sorensen, John Wickerson
2015	J	`jnl`	Integrating a large-scale testing campaign in the CK framework. CoRR Andrei Lascu, Alastair F. Donaldson
2015	A*	`conf`	Many-core compiler fuzzing. PLDI Christopher Lidbury, Andrei Lascu, Nathan Chong, Alastair F. Donaldson
2015	B	`conf`	PENCIL: A Platform-Neutral Compute Intermediate Language for Accelerator Programming. PACT 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
2015	A	`conf`	Remote-scope promotion: clarified, rectified, and verified. OOPSLA John Wickerson, Mark Batty, Bradford M. Beckmann, Alastair F. Donaldson
2015	J	`jnl`	Selected papers on Programming Language Approaches to Concurrency and Communication-cEntric Software (PLACES 2014). J. Log. Algebraic Methods Program. Alastair F. Donaldson, Vasco T. Vasconcelos
2015	J	`jnl`	The Design and Implementation of a Verification Technique for GPU Kernels. ACM Trans. Program. Lang. Syst. Adam Betts, Nathan Chong, Alastair F. Donaldson, Jeroen Ketema, Shaz Qadeer, Paul Thomson, John Wickerson
2015	B	`conf`	The lazy happens-before relation: better partial-order reduction for systematic concurrency testing. PPoPP Paul Thomson, Alastair F. Donaldson
2014	A*	`conf`	A sound and complete abstraction for reasoning about parallel prefix sums. POPL Nathan Chong, Alastair F. Donaldson, Jeroen Ketema
2014	—	`conf`	Automatic Verification of Data Race Freedom in Device Drivers. ICCSW Pantazis Deligiannis, Alastair F. Donaldson
2014	J	`jnl`	Automatic verification of active device drivers. ACM SIGOPS Oper. Syst. Rev. Sidney Amani, Peter Chubb, Alastair F. Donaldson, Alexander Legg, Keng Chai Ong, Leonid Ryzhyk, Yanjin Zhu
2014	B	`conf`	Concurrency testing using schedule bounding: an empirical study. PPoPP Paul Thomson, Alastair F. Donaldson, Adam Betts
2014	A*	`conf`	Engineering a Static Verification Tool for GPU Kernels. CAV Ethel Bardsley, Adam Betts, Nathan Chong, Peter Collingbourne, Pantazis Deligiannis, Alastair F. Donaldson, Jeroen Ketema, Daniel Liew, Shaz Qadeer
2014	—	`conf`	KernelInterceptor: automating GPU kernel verification by intercepting kernels and their parameters. IWOCL Ethel Bardsley, Alastair F. Donaldson, John Wickerson
2014	—	`ed.`	Proceedings 7th Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software, PLACES 2014, Grenoble, France, 12 April 2014. PLACES Alastair F. Donaldson, Vasco T. Vasconcelos
2014	—	`ch.`	Software Model Checking. Computing Handbook, 3rd ed. (1) Alastair F. Donaldson
2014	J	`jnl`	The GPUVerify Method: a Tutorial Overview. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. Alastair F. Donaldson
2014	—	`conf`	Warps and Atomics: Beyond Barrier Synchronization in the Verification of GPU Kernels. NASA Formal Methods Ethel Bardsley, Alastair F. Donaldson
2013	A	`conf`	Barrier invariants: a shared state abstraction for the analysis of data-dependent GPU kernels. OOPSLA Nathan Chong, Alastair F. Donaldson, Paul H. J. Kelly, Jeroen Ketema, Shaz Qadeer
2013	J	`jnl`	Correct and Efficient Accelerator Programming (Dagstuhl Seminar 13142). Dagstuhl Reports Albert Cohen, Alastair F. Donaldson, Marieke Huisman, Joost-Pieter Katoen
2013	B	`conf`	Estimating the WCET of GPU-Accelerated Applications Using Hybrid Analysis. ECRTS Adam Betts, Alastair F. Donaldson
2013	A	`conf`	Interleaving and Lock-Step Semantics for Analysis and Verification of GPU Kernels. ESOP Peter Collingbourne, Alastair F. Donaldson, Jeroen Ketema, Shaz Qadeer
2013	J	`jnl`	PENCIL: Towards a Platform-Neutral Compute Intermediate Language for DSLs CoRR 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
2013	—	`conf`	Topic 11: Multicore and Manycore Programming - (Introduction). Euro-Par Luiz De Rose, Jan Treibig, William Jalby, Alba Cristina Magalhaes Alves de Melo, David Abramson, Alastair F. Donaldson, Tomàs Margalef
2012	—	`conf`	Automatic Verification of Message-Based Device Drivers SSV Sidney Amani, Peter Chubb, Alastair F. Donaldson, Alexander Legg, Leonid Ryzhyk, Yanjin Zhu
2012	J	`jnl`	Counterexample-guided abstraction refinement for symmetric concurrent programs. Formal Methods Syst. Des. Alastair F. Donaldson, Alexander Kaiser, Daniel Kroening, Michael Tautschnig, Thomas Wahl
2012	A	`conf`	GPUVerify: a verifier for GPU kernels. OOPSLA Adam Betts, Nathan Chong, Alastair F. Donaldson, Shaz Qadeer, Paul Thomson
2012	—	`ed.`	Model Checking Software - 19th International Workshop, SPIN 2012, Oxford, UK, July 23-24, 2012. Proceedings SPIN Alastair F. Donaldson, David Parker
2012	A	`conf`	satabs: A Bit-Precise Verifier for C Programs - (Competition Contribution). TACAS Gérard Basler, Alastair F. Donaldson, Alexander Kaiser, Daniel Kroening, Michael Tautschnig, Thomas Wahl
2011	J	`jnl`	Automatic analysis of DMA races using model checking and Formal Methods Syst. Des. Alastair F. Donaldson, Daniel Kroening, Philipp Rümmer
2011	B	`conf`	Automatic safety proofs for asynchronous memory operations. PPoPP Matko Botincan, Mike Dodds, Alastair F. Donaldson, Matthew J. Parkinson
2011	B	`conf`	Making Software Verification Tools Really Work. ATVA Jade Alglave, Alastair F. Donaldson, Daniel Kroening, Michael Tautschnig
2011	B	`conf`	SCRATCH: a tool for automatic analysis of dma races. PPoPP Alastair F. Donaldson, Daniel Kroening, Philipp Rümmer
2011	A*	`conf`	Safe asynchronous multicore memory operations. ASE Matko Botincan, Mike Dodds, Alastair F. Donaldson, Matthew J. Parkinson
2011	B	`conf`	Software Verification Using k-Induction. SAS Alastair F. Donaldson, Leopold Haller, Daniel Kroening, Philipp Rümmer
2011	—	`conf`	Static analysis of device drivers: we can do better! APSys Sidney Amani, Leonid Ryzhyk, Alastair F. Donaldson, Gernot Heiser, Alexander Legg, Yanjin Zhu
2011	B	`conf`	Strengthening Induction-Based Race Checking with Lightweight Static Analysis. VMCAI Alastair F. Donaldson, Leopold Haller, Daniel Kroening
2011	J	`jnl`	Symmetry-Aware Predicate Abstraction for Shared-Variable Concurrent Programs (Extended Technical Report) CoRR Alastair F. Donaldson, Alexander Kaiser, Daniel Kroening, Thomas Wahl
2011	A*	`conf`	Symmetry-Aware Predicate Abstraction for Shared-Variable Concurrent Programs. CAV Alastair F. Donaldson, Alexander Kaiser, Daniel Kroening, Thomas Wahl
2011	—	`conf`	The impact of diverse memory architectures on multicore consumer software: an industrial perspective from the video games domain. MSPC George Russell, Colin Riley, Neil Henning, Uwe Dolinsky, Andrew Richards, Alastair F. Donaldson, Alexander S. van Amesfoort
2010	A	`conf`	Automatic Analysis of Scratch-Pad Memory Code for Heterogeneous Multicore Processors. TACAS Alastair F. Donaldson, Daniel Kroening, Philipp Rümmer
2010	Misc	`conf`	Automatic Offloading of C++ for the Cell BE Processor: A Case Study Using Offload. CISIS Alastair F. Donaldson, Uwe Dolinsky, Andrew Richards, George Russell
2010	—	`conf`	Offload - Automating Code Migration to Heterogeneous Multicore Systems. HiPEAC Pete Cooper, Uwe Dolinsky, Alastair F. Donaldson, Andrew Richards, Colin Riley, George Russell
2010	—	`conf`	Programming Heterogeneous Multicore Systems Using Threading Building Blocks. Euro-Par Workshops George Russell, Paul Keir, Alastair F. Donaldson, Uwe Dolinsky, Andrew Richards, Colin Riley
2010	J	`jnl`	Replication and Abstraction: Symmetry in Automated Formal Verification. Symmetry Thomas Wahl, Alastair F. Donaldson
2010	—	`conf`	Tightening Test Coverage Metrics: A Case Study in Equivalence Checking Using k-Induction. FMCO Alastair F. Donaldson, Nannan He, Daniel Kroening, Philipp Rümmer
2010	J	`jnl`	Type inference and strong static type checking for Promela. Sci. Comput. Program. Alastair F. Donaldson, Simon J. Gay
2009	—	`conf`	Deriving Efficient Data Movement from Decoupled Access/Execute Specifications. HiPEAC Lee W. Howes, Anton Lokhmotov, Alastair F. Donaldson, Paul H. J. Kelly
2009	—	`conf`	Language-Level Symmetry Reduction for Probabilistic Model Checking. QEST Alastair F. Donaldson, Alice Miller, David Parker
2009	J	`jnl`	On the constructive orbit problem. Ann. Math. Artif. Intell. Alastair F. Donaldson, Alice Miller
2009	—	`conf`	Towards Metaprogramming for Parallel Systems on a Chip. Euro-Par Workshops Lee W. Howes, Anton Lokhmotov, Alastair F. Donaldson, Paul H. J. Kelly
2008	J	`jnl`	Automatic Symmetry Detection for Promela. J. Autom. Reason. Alastair F. Donaldson, Alice Miller
2008	—	`conf`	Compile-Time and Run-Time Issues in an Auto-Parallelisation System for the Cell BE Processor. Euro-Par Workshops Alastair F. Donaldson, Paul Keir, Anton Lokhmotov
2008	—	`conf`	Tackling online game development problems with a novel network scripting language. NETGAMES George Russell, Alastair F. Donaldson, Paul Sheppard
2008	—	`conf`	Vector Symmetry Reduction. AVoCS Alastair F. Donaldson
2007	J	`jnl`	A template-based approach for the generation of abstractable and reducible models of featured networks. Comput. Networks Alice Miller, Muffy Calder, Alastair F. Donaldson
2007	—	`conf`	Auto-parallelisation of Sieve C++ Programs. Euro-Par Workshops Alastair F. Donaldson, Colin Riley, Anton Lokhmotov, Andrew Cook
2007	—	`—`	Automatic techniques for detecting and exploiting symmetry in model checking. Alastair F. Donaldson
2007	B	`conf`	Efficient Approximate Verification of Promela Models Via Symmetry Markers. ATVA Dragan Bosnacki, Alastair F. Donaldson, Michael Leuschel, Thierry Massart
2007	—	`conf`	GRIP: Generic Representatives in PRISM. QEST Alastair F. Donaldson, Alice Miller, David Parker
2006	—	`conf`	A Computational Group Theoretic Symmetry Reduction Package for the Spin Model Checker. AMAST Alastair F. Donaldson, Alice Miller
2006	B	`conf`	Exact and Approximate Strategies for Symmetry Reduction in Model Checking. FM Alastair F. Donaldson, Alice Miller
2006	—	`conf`	Extending Symmetry Reduction Techniques to a Realistic Model of Computation. AVoCS Alastair F. Donaldson, Alice Miller
2006	B	`conf`	Symmetry Reduction for Probabilistic Model Checking Using Generic Representatives. ATVA Alastair F. Donaldson, Alice Miller
2006	J	`jnl`	Symmetry in temporal logic model checking. ACM Comput. Surv. Alice Miller, Alastair F. Donaldson, Muffy Calder
2005	B	`conf`	Automatic Symmetry Detection for Model Checking Using Computational Group Theory. FM Alastair F. Donaldson, Alice Miller
2005	—	`conf`	Etch: An Enhanced Type Checking Tool for Promela. SPIN Alastair F. Donaldson, Simon J. Gay
2004	—	`conf`	Finding Symmetry in Models of Concurrent Systems by Static Channel Diagram Analysis. AVoCS Alastair F. Donaldson, Alice Miller, Muffy Calder
2004	—	`conf`	Spin-to-Grape: A Tool for Analysing Symmetry in Promela Models. ARTS Alastair F. Donaldson, Alice Miller, Muffy Calder