Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Alastair F. Donaldson
2010 – today
- 2013
[c31]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- [i2]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)
- 2012
- [j12]Alastair F. Donaldson, Alexander Kaiser, Daniel Kroening, Michael Tautschnig, Thomas Wahl: Counterexample-guided abstraction refinement for symmetric concurrent programs. Formal Methods in System Design 41(1): 25-44 (2012)
- [c30]Adam Betts, Nathan Chong, Alastair F. Donaldson, Shaz Qadeer, Paul Thomson: GPUVerify: a verifier for GPU kernels. OOPSLA 2012: 113-132
- [c29]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
- [c28]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 (Eds.): 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
- 2011
- [j11]Alastair F. Donaldson, Daniel Kroening, Philipp Rümmer: Automatic analysis of DMA races using model checking and k-induction. Formal Methods in System Design 39(1): 83-113 (2011)
- [c27]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
- [c26]Jade Alglave, Alastair F. Donaldson, Daniel Kroening, Michael Tautschnig: Making Software Verification Tools Really Work. ATVA 2011: 28-42
- [c25]Alastair F. Donaldson, Alexander Kaiser, Daniel Kroening, Thomas Wahl: Symmetry-Aware Predicate Abstraction for Shared-Variable Concurrent Programs. CAV 2011: 356-371
- [c24]Matko Botincan, Mike Dodds, Alastair F. Donaldson, Matthew J. Parkinson: Safe asynchronous multicore memory operations. ASE 2011: 153-162
- [c23]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
- [c22]Alastair F. Donaldson, Daniel Kroening, Philipp Rümmer: SCRATCH: a tool for automatic analysis of dma races. PPOPP 2011: 311-312
- [c21]Matko Botincan, Mike Dodds, Alastair F. Donaldson, Matthew J. Parkinson: Automatic safety proofs for asynchronous memory operations. PPOPP 2011: 313-314
- [c20]Alastair F. Donaldson, Leopold Haller, Daniel Kroening, Philipp Rümmer: Software Verification Using k-Induction. SAS 2011: 351-368
- [c19]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
- [j10]Alastair F. Donaldson, Simon J. Gay: Type inference and strong static type checking for Promela. Sci. Comput. Program. 75(11): 1165-1191 (2010)
- [j9]Thomas Wahl, Alastair F. Donaldson: Replication and Abstraction: Symmetry in Automated Formal Verification. Symmetry 2(2): 799-847 (2010)
- [c18]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
- [c17]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
- [c16]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
- [c15]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
- [c14]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
- [j8]Alastair F. Donaldson, Alice Miller: On the constructive orbit problem. Ann. Math. Artif. Intell. 57(1): 1-35 (2009)
- [j7]Alastair F. Donaldson: Vector Symmetry Reduction. Electr. Notes Theor. Comput. Sci. 250(2): 3-18 (2009)
- [c13]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
- [c12]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
- [c11]Alastair F. Donaldson, Alice Miller, David Parker: Language-Level Symmetry Reduction for Probabilistic Model Checking. QEST 2009: 289-298
- 2008
- [j6]Alastair F. Donaldson, Alice Miller: Automatic Symmetry Detection for Promela. J. Autom. Reasoning 41(3-4): 251-293 (2008)
- [c10]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
- [c9]George Russell, Alastair F. Donaldson, Paul Sheppard: Tackling online game development problems with a novel network scripting language. NETGAMES 2008: 85-90
- 2007
- [j5]Alice Miller, Muffy Calder, Alastair F. Donaldson: A template-based approach for the generation of abstractable and reducible models of featured networks. Computer Networks 51(2): 439-455 (2007)
- [j4]Alastair F. Donaldson, Alice Miller: Extending Symmetry Reduction Techniques to a Realistic Model of Computation. Electr. Notes Theor. Comput. Sci. 185: 63-76 (2007)
- [c8]Dragan Bosnacki, Alastair F. Donaldson, Michael Leuschel, Thierry Massart: Efficient Approximate Verification of Promela Models Via Symmetry Markers. ATVA 2007: 300-315
- [c7]Alastair F. Donaldson, Colin Riley, Anton Lokhmotov, Andrew Cook: Auto-parallelisation of Sieve C++ Programs. Euro-Par Workshops 2007: 18-27
- [c6]Alastair F. Donaldson, Alice Miller, David Parker: GRIP: Generic Representatives in PRISM. QEST 2007: 115-116
- 2006
- [j3]Alice Miller, Alastair F. Donaldson, Muffy Calder: Symmetry in temporal logic model checking. ACM Comput. Surv. 38(3) (2006)
- [c5]Alastair F. Donaldson, Alice Miller: A Computational Group Theoretic Symmetry Reduction Package for the Spin Model Checker. AMAST 2006: 374-380
- [c4]Alastair F. Donaldson, Alice Miller: Symmetry Reduction for Probabilistic Model Checking Using Generic Representatives. ATVA 2006: 9-23
- [c3]Alastair F. Donaldson, Alice Miller: Exact and Approximate Strategies for Symmetry Reduction in Model Checking. FM 2006: 541-556
- 2005
- [j2]Alastair F. Donaldson, Alice Miller, Muffy Calder: Finding Symmetry in Models of Concurrent Systems by Static Channel Diagram Analysis. Electr. Notes Theor. Comput. Sci. 128(6): 161-177 (2005)
- [j1]Alastair F. Donaldson, Alice Miller, Muffy Calder: Spin-to-Grape: A Tool for Analysing Symmetry in Promela Models. Electr. Notes Theor. Comput. Sci. 139(1): 3-23 (2005)
- [c2]Alastair F. Donaldson, Alice Miller: Automatic Symmetry Detection for Model Checking Using Computational Group Theory. FM 2005: 481-496
- [c1]Alastair F. Donaldson, Simon J. Gay: Etch: An Enhanced Type Checking Tool for Promela. SPIN 2005: 266-271
Coauthor Index
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-03-02 19:20 CET by the dblp team