Donaldson - PDFSEARCH.IO - Document Search Engine

Donaldson
Results: 787

#	Item
21	A Sound and Complete Abstraction for Reasoning about Parallel Prefix Sums ∗ Nathan Chong Alastair F. Donaldson Add to Reading List Source URL: www.doc.ic.ac.uk - Date: 2013-11-12 05:47:28
22	Exposing Errors Related to Weak Memory in GPU Applications Tyler Sorensen Alastair F. Donaldson Imperial College London, UK Add to Reading List Source URL: www.doc.ic.ac.uk - Date: 2016-04-13 08:02:31
23	Warps and Atomics: Beyond Barrier Synchronization in the Verification of GPU Kernels ? Ethel Bardsley and Alastair F. Donaldson Imperial College London {emb2009,afd}@imperial.ac.uk Add to Reading List Source URL: www.doc.ic.ac.uk - Date: 2016-05-05 16:39:51
24	Fast and Precise Symbolic Analysis of Concurrency Bugs in Device Drivers Pantazis Deligiannis Alastair F. Donaldson Add to Reading List Source URL: www.doc.ic.ac.uk - Date: 2015-08-24 18:36:19
25	Automatic Verification of Data Race Freedom in Device Drivers∗ (Extended Abstract) Pantazis Deligiannis and Alastair F. Donaldson Imperial College London {p.deligiannis, alastair.donaldson}@imperial.ac.uk Abstract Add to Reading List Source URL: www.doc.ic.ac.uk - Date: 2015-07-01 17:41:47
26	Metamorphic Testing for (Graphics) Compilers [Short Paper] Alastair F. Donaldson Andrei Lascu Add to Reading List Source URL: www.doc.ic.ac.uk - Date: 2016-02-29 09:17:39
27	Form Methods Syst Des:25–44 DOIs10703Counterexample-guided abstraction refinement for symmetric concurrent programs Alastair F. Donaldson · Alexander Kaiser · Add to Reading List Source URL: www.doc.ic.ac.uk - Date: 2012-08-31 08:16:46
28	Uncovering Bugs in Distributed Storage Systems during Testing (not in Production!) Pantazis Deligiannis†1 , Matt McCutchen1 , Paul Thomson†1 , Shuo Chen? Alastair F. Donaldson† , John Erickson? , Cheng Huang? , Ak Add to Reading List Source URL: www.doc.ic.ac.uk - Date: 2016-02-08 04:16:18
29	Z Concurrency Testing Using Controlled Schedulers: An Empirical Study Paul Thomson, Imperial College London Alastair F. Donaldson, Imperial College London Adam Betts, Imperial College London Add to Reading List Source URL: www.doc.ic.ac.uk - Date: 2016-04-10 17:29:20
30	Static Analysis of Device Drivers: We Can Do Better! Sidney Amani‡§ Leonid Ryzhyk‡§ Alastair F. Donaldson¶ Gernot Heiser‡§ Alexander Legg‡k Yanjin Zhu‡§ ‡ NICTA∗ Add to Reading List Source URL: www.doc.ic.ac.uk - Date: 2012-08-31 08:16:46

UPDATE