Alastair F. Donaldson: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

Termination analysis for GPU kernels

Ketema, Jeroen, Donaldson, Alastair F.

Journal:

Science of Computer Programming

Year:

2017

Language:

english

File:

PDF, 922 KB

english, 2017

2

[IEEE 2015 30th IEEE/ACM International Conference on Automated Software Engineering (ASE) - Lincoln, NE, USA (2015.11.9-2015.11.13)] 2015 30th IEEE/ACM International Conference on Automated Software Engineering (ASE) - Fast and Precise Symbolic Analysis of Concurrency Bugs in Device Drivers (T)

Deligiannis, Pantazis, Donaldson, Alastair F., Rakamaric, Zvonimir

Year:

2015

Language:

english

File:

PDF, 303 KB

english, 2015

3

[IEEE 2015 International Conference on Parallel Architecture and Compilation (PACT) - San Francisco, CA, USA (2015.10.18-2015.10.21)] 2015 International Conference on Parallel Architecture and Compilation (PACT) - PENCIL: A Platform-Neutral Compute Intermediate Language for Accelerator Programming

Baghdadi, Riyadh, Beaugnon, Ulysse, Cohen, Albert, Grosser, Tobias, Kruse, Michael, Reddy, Chandan, Verdoolaege, Sven, Betts, Adam, Donaldson, Alastair F., Ketema, Jeroen, Absar, Javed, Haastregt, Sve

Year:

2015

Language:

english

File:

PDF, 239 KB

english, 2015

4

Selected papers on Programming Language Approaches to Concurrency and Communication-cEntric Software (PLACES 2014)

Donaldson, Alastair, Vasconcelos, Vasco T.

Journal:

Journal of Logical and Algebraic Methods in Programming

Year:

2015

Language:

english

File:

PDF, 123 KB

english, 2015

5

Effects of Pseudoephedrine on Maximal Cycling Power and Submaximal Cycling Efficiency

H. HODGES, ALASTAIR N., LYNN, BRENNA M., BULA, JONATHAN E., DONALDSON, MEGHAN G., DAGENAIS, MARC O., MCKENZIE, DONALD C.

Journal:

Medicine & Science in Sports & Exercise

Year:

2003

Language:

english

File:

PDF, 106 KB

english, 2003

6

Automated testing of graphics shader compilers

Donaldson, Alastair F., Evrard, Hugues, Lascu, Andrei, Thomson, Paul

Journal:

Proceedings of the ACM on Programming Languages

Year:

2017

Language:

english

File:

PDF, 1.40 MB

english, 2017

7

[ACM Press the 2019 27th ACM Joint Meeting - Tallinn, Estonia (2019.08.26-2019.08.30)] Proceedings of the 2019 27th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering - ESEC/FSE 2019 - Just fuzz it: solving floating-point constraints using coverage-guided fuzzing

Liew, Daniel, Cadar, Cristian, Donaldson, Alastair F., Stinnett, J. Ryan

Year:

2019

Language:

english

File:

PDF, 809 KB

english, 2019

8

Spin-to-Grape: A Tool for Analysing Symmetry in Promela Models

Alastair Donaldson, Alice Miller, Muffy Calder

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2005

Language:

english

File:

PDF, 347 KB

english, 2005

9

Vector Symmetry Reduction

Alastair F. Donaldson

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2009

Language:

english

File:

PDF, 318 KB

english, 2009

10

Finding Symmetry in Models of Concurrent Systems by Static Channel Diagram Analysis

Alastair F. Donaldson, Alice Miller, Muffy Calder

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2005

Language:

english

File:

PDF, 309 KB

english, 2005

11

Type inference and strong static type checking for Promela

Alastair F. Donaldson, Simon J. Gay

Journal:

Science of Computer Programming

Year:

2010

Language:

english

File:

PDF, 750 KB

english, 2010

12

On the constructive orbit problem

Alastair F. Donaldson, Alice Miller

Journal:

Annals of Mathematics and Artificial Intelligence

Year:

2009

Language:

english

File:

PDF, 633 KB

english, 2009

13

Automatic analysis of DMA races using model checking andk-induction

Alastair F. Donaldson, Daniel Kroening, Philipp Rümmer

Journal:

Formal Methods in System Design

Year:

2011

Language:

english

File:

PDF, 1.30 MB

english, 2011

14

Automatic Symmetry Detection for Promela

Alastair F. Donaldson, Alice Miller

Journal:

Journal of Automated Reasoning

Year:

2008

Language:

english

File:

PDF, 1.02 MB

english, 2008

15

Extending Symmetry Reduction Techniques to a Realistic Model of Computation

Alastair F. Donaldson, Alice Miller

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2007

Language:

english

File:

PDF, 329 KB

english, 2007

16

Counterexample-guided abstraction refinement for symmetric concurrent programs

Donaldson, Alastair F., Kaiser, Alexander, Kroening, Daniel, Tautschnig, Michael, Wahl, Thomas

Journal:

Formal Methods in System Design

Year:

2012

Language:

english

File:

PDF, 707 KB

english, 2012

17

Genetic Evidence for Interaction of the 5q31 Cytokine Locus and the CARD15 Gene in Crohn Disease

Muddassar M. Mirza, Sheila A. Fisher, Kathy King, Andrew P. Cuthbert, Jochen Hampe, Jeremy Sanderson, John Mansfield, Peter Donaldson, J.S. Andrew Macpherson, Alastair Forbes, Stefan Schreiber, M. Cat

Journal:

The American Journal of Human Genetics

Year:

2003

Language:

english

File:

PDF, 334 KB

english, 2003

18

[Lecture Notes in Computer Science] Model Checking Software Volume 7385 || || Front_matter

Donaldson, Alastair, Parker, David

Year:

2012

Language:

english

File:

PDF, 212 KB

english, 2012

19

[Lecture Notes in Computer Science] Model Checking Software Volume 7385 || McPatom: A Predictive Analysis Tool for Atomicity Violation Using Model Checking

Donaldson, Alastair, Parker, David

Year:

2012

Language:

english

File:

PDF, 317 KB

english, 2012

20

[Lecture Notes in Computer Science] Model Checking Software Volume 7385 || Parameterized Model Checking of Fine Grained Concurrency

Donaldson, Alastair, Parker, David

Year:

2012

Language:

english

File:

PDF, 265 KB

english, 2012

21

[ACM Press the 7th ACM SIGCOMM Workshop - Worcester, Massachusetts (2008.10.21-2008.10.22)] Proceedings of the 7th ACM SIGCOMM Workshop on Network and System Support for Games - NetGames '08 - Tackling online game development problems with a novel network scripting language

Russell, George, Donaldson, Alastair F., Sheppard, Paul

Year:

2008

Language:

english

File:

PDF, 739 KB

english, 2008

22

[ACM Press the Second Asia-Pacific Workshop - Shanghai, China (2011.07.11-2011.07.12)] Proceedings of the Second Asia-Pacific Workshop on Systems - APSys '11 - Static analysis of device drivers

Amani, Sidney, Ryzhyk, Leonid, Donaldson, Alastair F., Heiser, Gernot, Legg, Alexander, Zhu, Yanjin

Year:

2011

Language:

english

File:

PDF, 193 KB

english, 2011

23

[Lecture Notes in Computer Science] Model Checking Software Volume 7385 || Combining the Sweep-Line Method with the Use of an External-Memory Priority Queue

Donaldson, Alastair, Parker, David

Year:

2012

Language:

english

File:

PDF, 395 KB

english, 2012

24

[IEEE 2013 25th Euromicro Conference on Real-Time Systems (ECRTS) - Los Alamitos, CA, USA (2013.07.9-2013.07.12)] 2013 25th Euromicro Conference on Real-Time Systems - Estimating the WCET of GPU-Accelerated Applications Using Hybrid Analysis

Betts, Adam, Donaldson, Alastair

Year:

2013

Language:

english

File:

PDF, 472 KB

english, 2013

25

[Lecture Notes in Computer Science] Model Checking Software Volume 7385 ||

Donaldson, Alastair, Parker, David

Year:

2012

Language:

english

File:

PDF, 212 KB

english, 2012

26

[IEEE Fourth International Conference on the Quantitative Evaluation of Systems (QEST 2007) - Edinburgh, Scotland, UK (2007.09.17-2007.09.19)] Fourth International Conference on the Quantitative Evaluation of Systems (QEST 2007) - GRIP: Generic Representatives in PRISM

Donaldson, Alastair F., Miller, Alice, Parker, David

Year:

2007

Language:

english

File:

PDF, 688 KB

english, 2007

27

[IEEE 2011 26th IEEE/ACM International Conference on Automated Software Engineering (ASE) - Lawrence, KS, USA (2011.11.6-2011.11.10)] 2011 26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011) - Safe asynchronous multicore memory operations

Botincan, Matko, Dodds, Mike, Donaldson, Alastair F., Parkinson, Matthew J.

Year:

2011

Language:

english

File:

PDF, 929 KB

english, 2011

28

[IEEE 2009 Sixth International Conference on the Quantitative Evaluation of Systems (QEST) - Budapest, Hungary (2009.09.13-2009.09.16)] 2009 Sixth International Conference on the Quantitative Evaluation of Systems - Language-Level Symmetry Reduction for Probabilistic Model Checking

Donaldson, Alastair F., Miller, Alice, Parker, David

Year:

2009

Language:

english

File:

PDF, 332 KB

english, 2009

29

[IEEE Fourth International Conference on Complex, Intelligent and Software Intensive Systems (CISIS 2010) - Krakow (2010.02.15-2010.02.18)] 2010 International Conference on Complex, Intelligent and Software Intensive Systems - Automatic Offloading of C++ for the Cell BE Processor: A Case Study Using Offload

Donaldson, Alastair F, Dolinsky, Uwe, Richards, Andrew, Russell, George

Year:

2010

Language:

english

File:

PDF, 177 KB

english, 2010

30

Rotational thrombolelastometry produces potentially clinical useful results within 10 min in bleeding Emergency Department patients

Reed, Matthew J., Nimmo, Alastair F., McGee, Danny, Manson, Lynn, Neffendorf, Alice E., Moir, Linzi, Donaldson, Lucienne S.

Journal:

European Journal of Emergency Medicine

Year:

2013

Language:

english

File:

PDF, 503 KB

english, 2013

31

[ACM Press the 20th ACM SIGPLAN Symposium - San Francisco, CA, USA (2015.02.07-2015.02.11)] Proceedings of the 20th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming - PPoPP 2015 - The lazy happens-before relation: better partial-order reduction for systematic concurrency testing

Thomson, Paul, Donaldson, Alastair F.

Year:

2015

Language:

english

File:

PDF, 516 KB

english, 2015

32

Replication and Abstraction: Symmetry in Automated Formal Verification

Wahl, Thomas, Donaldson, Alastair

Journal:

Year:

2010

Language:

english

File:

PDF, 552 KB

english, 2010

33

Automatic verification of active device drivers

Amani, Sidney, Chubb, Peter, Donaldson, Alastair F., Legg, Alexander, Ong, Keng Chai, Ryzhyk, Leonid, Zhu, Yanjin

Journal:

ACM SIGOPS Operating Systems Review

Year:

2014

Language:

english

File:

PDF, 289 KB

english, 2014

34

The Design and Implementation of a Verification Technique for GPU Kernels

Betts, Adam, Chong, Nathan, Donaldson, Alastair F., Ketema, Jeroen, Qadeer, Shaz, Thomson, Paul, Wickerson, John

Journal:

ACM Transactions on Programming Languages and Systems

Year:

2015

Language:

english

File:

PDF, 1.78 MB

english, 2015

35

Symmetry in temporal logic model checking

Miller, Alice, Donaldson, Alastair, Calder, Muffy

Journal:

ACM Computing Surveys

Year:

2006

Language:

english

File:

PDF, 328 KB

english, 2006

36

[ACM Press the ACM international conference - Tucson, Arizona, USA (2012.10.19-2012.10.26)] Proceedings of the ACM international conference on Object oriented programming systems languages and applications - OOPSLA '12 - GPUVerify

Betts, Adam, Chong, Nathan, Donaldson, Alastair, Qadeer, Shaz, Thomson, Paul

Year:

2012

Language:

english

File:

PDF, 901 KB

english, 2012

37

[ACM Press the 16th ACM symposium - San Antonio, TX, USA (2011.02.12-2011.02.16)] Proceedings of the 16th ACM symposium on Principles and practice of parallel programming - PPoPP '11 - Automatic safety proofs for asynchronous memory operations

Botincan, Matko, Dodds, Mike, Donaldson, Alastair F., Parkinson, Matthew J.

Year:

2011

Language:

english

File:

PDF, 302 KB

english, 2011

38

[ACM Press the 41st ACM SIGPLAN-SIGACT Symposium - San Diego, California, USA (2014.01.22-2014.01.24)] Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages - POPL '14 - A sound and complete abstraction for reasoning about parallel prefix sums

Chong, Nathan, Donaldson, Alastair F., Ketema, Jeroen

Year:

2014

Language:

english

File:

PDF, 826 KB

english, 2014

39

[ACM Press the 36th ACM SIGPLAN Conference - Portland, OR, USA (2015.06.13-2015.06.17)] Proceedings of the 36th ACM SIGPLAN Conference on Programming Language Design and Implementation - PLDI 2015 - Asynchronous programming, analysis and testing with state machines

Deligiannis, Pantazis, Donaldson, Alastair F., Ketema, Jeroen, Lal, Akash, Thomson, Paul

Year:

2015

Language:

english

File:

PDF, 562 KB

english, 2015

40

[ACM Press the 36th ACM SIGPLAN Conference - Portland, OR, USA (2015.06.13-2015.06.17)] Proceedings of the 36th ACM SIGPLAN Conference on Programming Language Design and Implementation - PLDI 2015 - Many-core compiler fuzzing

Lidbury, Christopher, Lascu, Andrei, Chong, Nathan, Donaldson, Alastair F.

Year:

2015

Language:

english

File:

PDF, 400 KB

english, 2015

41

[ACM Press the 16th ACM symposium - San Antonio, TX, USA (2011.02.12-2011.02.16)] Proceedings of the 16th ACM symposium on Principles and practice of parallel programming - PPoPP '11 - SCRATCH

Donaldson, Alastair F., Kroening, Daniel, Ruemmer, Philipp

Year:

2011

Language:

english

File:

PDF, 293 KB

english, 2011

42

[ACM Press the 2011 ACM SIGPLAN Workshop - San Jose, California (2011.06.05-2011.06.05)] Proceedings of the 2011 ACM SIGPLAN Workshop on Memory Systems Performance and Correctness - MSPC '11 - The impact of diverse memory architectures on multicore consumer software

Russel, George, Riley, Colin, Henning, Neil, Dolinsky, Uwe, Richards, Andrew, Donaldson, Alastair F., van Amesfoort, Alexander S.

Year:

2011

Language:

english

File:

PDF, 151 KB

english, 2011

43

[ACM Press the Twentieth International Conference - Istanbul, Turkey (2015.03.14-2015.03.18)] Proceedings of the Twentieth International Conference on Architectural Support for Programming Languages and Operating Systems - ASPLOS '15 - GPU Concurrency

Alglave, Jade, Batty, Mark, Donaldson, Alastair F., Gopalakrishnan, Ganesh, Ketema, Jeroen, Poetzl, Daniel, Sorensen, Tyler, Wickerson, John

Year:

2015

Language:

english

File:

PDF, 722 KB

english, 2015

44

[ACM Press the 19th ACM SIGPLAN symposium - Orlando, Florida, USA (2014.02.15-2014.02.19)] Proceedings of the 19th ACM SIGPLAN symposium on Principles and practice of parallel programming - PPoPP '14 - Concurrency testing using schedule bounding

Thomson, Paul, Donaldson, Alastair F., Betts, Adam

Year:

2014

Language:

english

File:

PDF, 646 KB

english, 2014

45

[ACM Press the 2013 ACM SIGPLAN international conference - Indianapolis, Indiana, USA (2013.10.29-2013.10.31)] Proceedings of the 2013 ACM SIGPLAN international conference on Object oriented programming systems languages & applications - OOPSLA '13 - Barrier invariants

Chong, Nathan, Donaldson, Alastair F., Kelly, Paul H.J., Ketema, Jeroen, Qadeer, Shaz

Year:

2013

Language:

english

File:

PDF, 1015 KB

english, 2013

46

Low-methane yield sheep have smaller rumens and shorter rumen retention time

Goopy, John P., Donaldson, Alastair, Hegarty, Roger, Vercoe, Philip E., Haynes, Fay, Barnett, Mark, Oddy, V. Hutton

Journal:

British Journal Of Nutrition

Year:

2014

Language:

english

File:

PDF, 273 KB

english, 2014

47

Concurrency Testing Using Controlled Schedulers

Thomson, Paul, Donaldson, Alastair F., Betts, Adam

Journal:

ACM Transactions on Parallel Computing

Year:

2016

Language:

english

File:

PDF, 1.55 MB

english, 2016

48

[ACM Press the 4th International Workshop - Vienna, Austria (2016.04.19-2016.04.21)] Proceedings of the 4th International Workshop on OpenCL - IWOCL '16 - Automatic Test Case Reduction for OpenCL

Pflanzer, Moritz, Donaldson, Alastair F., Lascu, Andrei

Year:

2016

Language:

english

File:

PDF, 417 KB

english, 2016

49

[ACM Press the 4th International Workshop - Vienna, Austria (2016.04.19-2016.04.21)] Proceedings of the 4th International Workshop on OpenCL - IWOCL '16 - The Hitchhiker's Guide to Cross-Platform OpenCL Application Development

Sorensen, Tyler, Donaldson, Alastair F.

Year:

2016

Language:

english

File:

PDF, 319 KB

english, 2016

50

Rapid Evaluation after High-Risk TIA is Associated with Lower Stroke Risk

Wu, Caren M., Manns, Braden J., Hill, Michael D., Ghali, William A., Donaldson, Cam, Buchan, Alastair M.

Journal:

Canadian Journal of Neurological Sciences / Journal Canadien des Sciences Neurologiques

Year:

2009

File:

PDF, 118 KB

2009