default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDAlastair 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
[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 - [i16]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) - [i15]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) - 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, Daniel Kroening, Philipp Rümmer:
Automatic Analysis of Scratch-Pad Memory Code for Heterogeneous Multicore Processors. TACAS 2010: 280-295
2000 – 2009
- 2009
- [j4]Alastair F. Donaldson, Alice Miller:
On the constructive orbit problem. Ann. Math. Artif. Intell. 57(1): 1-35 (2009) - [c17]Lee W. Howes, Anton Lokhmotov, Alastair F. Donaldson, Paul H. J. Kelly:
Towards Metaprogramming for Parallel Systems on a Chip. Euro-Par Workshops 2009: 36-45 - [c16]Lee W. Howes, Anton Lokhmotov, Alastair F. Donaldson, Paul H. J. Kelly:
Deriving Efficient Data Movement from Decoupled Access/Execute Specifications. HiPEAC 2009: 168-182 - [c15]Alastair F. Donaldson, Alice Miller, David Parker:
Language-Level Symmetry Reduction for Probabilistic Model Checking. QEST 2009: 289-298 - 2008
- [j3]Alastair F. Donaldson, Alice Miller:
Automatic Symmetry Detection for Promela. J. Autom. Reason. 41(3-4): 251-293 (2008) - [c14]Alastair F. Donaldson, Paul Keir, Anton Lokhmotov:
Compile-Time and Run-Time Issues in an Auto-Parallelisation System for the Cell BE Processor. Euro-Par Workshops 2008: 163-173 - [c13]George Russell, Alastair F. Donaldson, Paul Sheppard:
Tackling online game development problems with a novel network scripting language. NETGAMES 2008: 85-90 - [c12]Alastair F. Donaldson:
Vector Symmetry Reduction. AVoCS 2008: 3-18 - 2007
- [b1]Alastair F. Donaldson:
Automatic techniques for detecting and exploiting symmetry in model checking. University of Glasgow, UK, 2007 - [j2]Alice Miller, Muffy Calder, Alastair F. Donaldson:
A template-based approach for the generation of abstractable and reducible models of featured networks. Comput. Networks 51(2): 439-455 (2007) - [c11]Dragan Bosnacki, Alastair F. Donaldson, Michael Leuschel, Thierry Massart:
Efficient Approximate Verification of Promela Models Via Symmetry Markers. ATVA 2007: 300-315 - [c10]Alastair F. Donaldson, Colin Riley, Anton Lokhmotov, Andrew Cook:
Auto-parallelisation of Sieve C++ Programs. Euro-Par Workshops 2007: 18-27 - [c9]Alastair F. Donaldson, Alice Miller, David Parker:
GRIP: Generic Representatives in PRISM. QEST 2007: 115-116 - 2006
- [j1]Alice Miller, Alastair F. Donaldson, Muffy Calder:
Symmetry in temporal logic model checking. ACM Comput. Surv. 38(3): 8 (2006) - [c8]Alastair F. Donaldson, Alice Miller:
A Computational Group Theoretic Symmetry Reduction Package for the Spin Model Checker. AMAST 2006: 374-380 - [c7]Alastair F. Donaldson, Alice Miller:
Symmetry Reduction for Probabilistic Model Checking Using Generic Representatives. ATVA 2006: 9-23 - [c6]Alastair F. Donaldson, Alice Miller:
Exact and Approximate Strategies for Symmetry Reduction in Model Checking. FM 2006: 541-556 - [c5]Alastair F. Donaldson, Alice Miller:
Extending Symmetry Reduction Techniques to a Realistic Model of Computation. AVoCS 2006: 63-76 - 2005
- [c4]Alastair F. Donaldson, Alice Miller:
Automatic Symmetry Detection for Model Checking Using Computational Group Theory. FM 2005: 481-496 - [c3]Alastair F. Donaldson, Simon J. Gay:
Etch: An Enhanced Type Checking Tool for Promela. SPIN 2005: 266-271 - 2004
- [c2]Alastair F. Donaldson, Alice Miller, Muffy Calder:
Spin-to-Grape: A Tool for Analysing Symmetry in Promela Models. ARTS 2004: 3-23 - [c1]Alastair F. Donaldson, Alice Miller, Muffy Calder:
Finding Symmetry in Models of Concurrent Systems by Static Channel Diagram Analysis. AVoCS 2004: 161-177
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-31 20:17 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
