Alastair F. Donaldson

	2012
40		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
	2011
39		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
38		Matko Botincan, Mike Dodds, Alastair F. Donaldson, Matthew J. Parkinson: Safe asynchronous multicore memory operations. ASE 2011: 153-162
37		Jade Alglave, Alastair F. Donaldson, Daniel Kroening, Michael Tautschnig: Making Software Verification Tools Really Work. ATVA 2011: 28-42
36		Alastair F. Donaldson, Alexander Kaiser, Daniel Kroening, Thomas Wahl: Symmetry-Aware Predicate Abstraction for Shared-Variable Concurrent Programs. CAV 2011: 356-371
35		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
34		Alastair F. Donaldson, Daniel Kroening, Philipp Rümmer: SCRATCH: a tool for automatic analysis of dma races. PPOPP 2011: 311-312
33		Matko Botincan, Mike Dodds, Alastair F. Donaldson, Matthew J. Parkinson: Automatic safety proofs for asynchronous memory operations. PPOPP 2011: 313-314
32		Alastair F. Donaldson, Leopold Haller, Daniel Kroening, Philipp Rümmer: Software Verification Using k-Induction. SAS 2011: 351-368
31		Alastair F. Donaldson, Leopold Haller, Daniel Kroening: Strengthening Induction-Based Race Checking with Lightweight Static Analysis. VMCAI 2011: 169-183
30		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)
29		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)
	2010
28		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
27		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
26		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
25		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
24		Alastair F. Donaldson, Daniel Kroening, Philipp Rümmer: Automatic Analysis of Scratch-Pad Memory Code for Heterogeneous Multicore Processors. TACAS 2010: 280-295
23		Alastair F. Donaldson, Simon J. Gay: Type inference and strong static type checking for Promela. Sci. Comput. Program. 75(11): 1165-1191 (2010)
22		Thomas Wahl, Alastair F. Donaldson: Replication and Abstraction: Symmetry in Automated Formal Verification. Symmetry 2(2): 799-847 (2010)
	2009
21		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
20		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
19		Alastair F. Donaldson, Alice Miller, David Parker: Language-Level Symmetry Reduction for Probabilistic Model Checking. QEST 2009: 289-298
18		Alastair F. Donaldson, Alice Miller: On the constructive orbit problem. Ann. Math. Artif. Intell. 57(1): 1-35 (2009)
17		Alastair F. Donaldson: Vector Symmetry Reduction. Electr. Notes Theor. Comput. Sci. 250(2): 3-18 (2009)
	2008
16		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
15		George Russell, Alastair F. Donaldson, Paul Sheppard: Tackling online game development problems with a novel network scripting language. NETGAMES 2008: 85-90
14		Alastair F. Donaldson, Alice Miller: Automatic Symmetry Detection for Promela. J. Autom. Reasoning 41(3-4): 251-293 (2008)
	2007
13		Dragan Bosnacki, Alastair F. Donaldson, Michael Leuschel, Thierry Massart: Efficient Approximate Verification of Promela Models Via Symmetry Markers. ATVA 2007: 300-315
12		Alastair F. Donaldson, Colin Riley, Anton Lokhmotov, Andrew Cook: Auto-parallelisation of Sieve C++ Programs. Euro-Par Workshops 2007: 18-27
11		Alastair F. Donaldson, Alice Miller, David Parker: GRIP: Generic Representatives in PRISM. QEST 2007: 115-116
10		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)
9		Alastair F. Donaldson, Alice Miller: Extending Symmetry Reduction Techniques to a Realistic Model of Computation. Electr. Notes Theor. Comput. Sci. 185: 63-76 (2007)
	2006
8		Alastair F. Donaldson, Alice Miller: A Computational Group Theoretic Symmetry Reduction Package for the Spin Model Checker. AMAST 2006: 374-380
7		Alastair F. Donaldson, Alice Miller: Symmetry Reduction for Probabilistic Model Checking Using Generic Representatives. ATVA 2006: 9-23
6		Alastair F. Donaldson, Alice Miller: Exact and Approximate Strategies for Symmetry Reduction in Model Checking. FM 2006: 541-556
5		Alice Miller, Alastair F. Donaldson, Muffy Calder: Symmetry in temporal logic model checking. ACM Comput. Surv. 38(3): (2006)
	2005
4		Alastair F. Donaldson, Alice Miller: Automatic Symmetry Detection for Model Checking Using Computational Group Theory. FM 2005: 481-496
3		Alastair F. Donaldson, Simon J. Gay: Etch: An Enhanced Type Checking Tool for Promela. SPIN 2005: 266-271
2		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)
1		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)

Coauthor Index

1	Jade Alglave	[37]
2	Sidney Amani	[39]
3	Alexander S. van Amesfoort	[35]
4	Gérard Basler	[40]
5	Dragan Bosnacki	[13]
6	Matko Botincan	[33] [38]
7	Muffy Calder (Muffy Thomas)	[1] [2] [5] [10]
8	Andrew Cook	[12]
9	Pete Cooper	[25]
10	Mike Dodds	[33] [38]
11	Uwe Dolinsky	[25] [27] [28] [35]
12	Simon J. Gay	[3] [23]
13	Leopold Haller	[31] [32]
14	Nannan He	[26]
15	Gernot Heiser	[39]
16	Neil Henning	[35]
17	Lee W. Howes	[20] [21]
18	Alexander Kaiser	[30] [36] [40]
19	Paul Keir	[16] [27]
20	Paul H. J. Kelly	[20] [21]
21	Daniel Kroening (Daniel Kröning)	[24] [26] [29] [30] [31] [32] [34] [36] [37] [40]
22	Alexander Legg	[39]
23	Michael Leuschel	[13]
24	Anton Lokhmotov	[12] [16] [20] [21]
25	Thierry Massart	[13]
26	Alice Miller	[1] [2] [4] [5] [6] [7] [8] [9] [10] [11] [14] [18] [19]
27	David Parker	[11] [19]
28	Matthew J. Parkinson	[33] [38]
29	Andrew Richards	[25] [27] [28] [35]
30	Colin Riley	[12] [25] [27] [35]
31	Philipp Rümmer	[24] [26] [29] [32] [34]
32	George Russell	[15] [25] [27] [28] [35]
33	Leonid Ryzhyk	[39]
34	Paul Sheppard	[15]
35	Michael Tautschnig	[37] [40]
36	Thomas Wahl	[22] [30] [36] [40]
37	Yanjin Zhu	[39]

Colors in the list of coauthors

Last update Tue May 29 20:41:18 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page