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

51

[ACM Press the 1st International Workshop - Austin, Texas (2016.05.14-2016.05.22)] Proceedings of the 1st International Workshop on Metamorphic Testing - MET '16 - Metamorphic testing for (graphics) compilers

Donaldson, Alastair F., Lascu, Andrei

Year:

2016

Language:

english

File:

PDF, 391 KB

english, 2016

52

SCRATCH

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

Journal:

ACM SIGPLAN Notices

Year:

2011

Language:

english

File:

PDF, 293 KB

english, 2011

53

The lazy happens-before relation: better partial-order reduction for systematic concurrency testing

Thomson, Paul, Donaldson, Alastair F.

Journal:

ACM SIGPLAN Notices

Year:

2015

Language:

english

File:

PDF, 516 KB

english, 2015

54

GPUVerify

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

Journal:

ACM SIGPLAN Notices

Year:

2012

Language:

english

File:

PDF, 901 KB

english, 2012

55

Effects of season and sample handling on measurement of plasma -melanocyte-stimulating hormone concentrations in horses and ponies

McFarlane, Dianne, Donaldson, Mark T., McDonnell, Sue M., Cribb, Alastair E.

Journal:

American Journal of Veterinary Research

Year:

2004

Language:

english

File:

PDF, 285 KB

english, 2004

56

Barrier invariants

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

Journal:

ACM SIGPLAN Notices

Year:

2013

Language:

english

File:

PDF, 1015 KB

english, 2013

57

Automatic safety proofs for asynchronous memory operations

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

Journal:

ACM SIGPLAN Notices

Year:

2011

Language:

english

File:

PDF, 302 KB

english, 2011

58

[ACM Press the 38th International Conference - Austin, Texas (2016.05.14-2016.05.22)] Proceedings of the 38th International Conference on Software Engineering Companion - ICSE '16 - Analysing the program analyser

Cadar, Cristian, Donaldson, Alastair F.

Year:

2016

Language:

english

File:

PDF, 237 KB

english, 2016

59

Certified Roundoff Error Bounds Using Semidefinite Programming

Magron, Victor, Constantinides, George, Donaldson, Alastair

Journal:

ACM Transactions on Mathematical Software

Year:

2017

Language:

english

File:

PDF, 1.57 MB

english, 2017

60

Implementing and Evaluating Candidate-Based Invariant Generation

Betts, Adam, Chong, Nathan, Donaldson, Alastair, Deligiannis, Pantazis, Ketema, Jeroen

Journal:

IEEE Transactions on Software Engineering

Year:

2017

Language:

english

File:

PDF, 2.02 MB

english, 2017

61

[IEEE 2016 IEEE International Conference on Software Testing, Verification and Validation (ICST) - Chicago, IL, USA (2016.4.11-2016.4.15)] 2016 IEEE International Conference on Software Testing, Verification and Validation (ICST) - Symbooglix: A Symbolic Execution Engine for Boogie Programs

Liew, Daniel, Cadar, Cristian, Donaldson, Alastair F.

Year:

2016

Language:

english

File:

PDF, 324 KB

english, 2016

62

Dynamic race detection for C++11

Lidbury, Christopher, Donaldson, Alastair F.

Journal:

ACM SIGPLAN Notices

Year:

2017

Language:

english

File:

PDF, 334 KB

english, 2017

63

[IEEE 2017 32nd IEEE/ACM International Conference on Automated Software Engineering (ASE) - Urbana, IL (2017.10.30-2017.11.3)] 2017 32nd IEEE/ACM International Conference on Automated Software Engineering (ASE) - Floating-point symbolic execution: A case study in N-version programming

Liew, Daniel, Schemmel, Daniel, Cadar, Cristian, Donaldson, Alastair F., Zahl, Rafael, Wehrle, Klaus

Year:

2017

Language:

english

File:

PDF, 296 KB

english, 2017

64

[ACM Press the 2017 11th Joint Meeting - Paderborn, Germany (2017.09.04-2017.09.08)] Proceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering - ESEC/FSE 2017 - Cooperative kernels: GPU multitasking for blocking algorithms

Sorensen, Tyler, Evrard, Hugues, Donaldson, Alastair F.

Year:

2017

Language:

english

File:

PDF, 749 KB

english, 2017

65

[ACM Press the 40th ACM SIGPLAN Conference - Phoenix, AZ, USA (2019.06.22-2019.06.26)] Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation - PLDI 2019 - Sparse record and replay with controlled scheduling

Lidbury, Christopher, Donaldson, Alastair F.

Year:

2019

Language:

english

File:

PDF, 843 KB

english, 2019

66

[ACM Press the International Workshop - Bristol, United Kingdom (2014.05.12-2014.05.13)] Proceedings of the International Workshop on OpenCL 2013 & 2014 - IWOCL '14 - KernelInterceptor

Bardsley, Ethel, Donaldson, Alastair F., Wickerson, John

Year:

2014

Language:

english

File:

PDF, 221 KB

english, 2014

67

[ACM Press the International Workshop - Boston, MA, USA (2019.05.13-2019.05.15)] Proceedings of the International Workshop on OpenCL - IWOCL'19 - Performance Evaluation of OpenCL Standard Support (and Beyond)

Sorensen, Tyler, Pai, Sreepathi, Donaldson, Alastair F.

Year:

2019

Language:

english

File:

PDF, 404 KB

english, 2019

68

The Need for Parallel Speed

Cooper, Martin, Donaldson, Alastair

Journal:

Year:

2017

Language:

english

File:

PDF, 775 KB

english, 2017

69

The Need for Parallel Speed

Cooper, Martin, Donaldson, Alastair

Journal:

Year:

2017

File:

PDF, 775 KB

2017

70

[IEEE 2019 IEEE/ACM 4th International Workshop on Metamorphic Testing (MET) - Montreal, QC, Canada (2019.5.26-2019.5.26)] 2019 IEEE/ACM 4th International Workshop on Metamorphic Testing (MET) - Metamorphic Testing of Android Graphics Drivers

Donaldson, Alastair F.

Year:

2019

File:

PDF, 4.29 MB

2019

71

[IEEE 2019 IEEE International Symposium on Workload Characterization (IISWC) - Orlando, FL, USA (2019.11.3-2019.11.5)] 2019 IEEE International Symposium on Workload Characterization (IISWC) - One Size Doesn't Fit All: Quantifying Performance Portability of Graph Applications on GPUs

Sorensen, Tyler, Pai, Sreepathi, Donaldson, Alastair F.

Year:

2019

File:

PDF, 397 KB

2019

72

[IEEE 2020 IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS) - Sydney, Australia (2020.4.21-2020.4.24)] 2020 IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS) - Slow and Steady: Measuring and Tuning Multicore Interference

Iorga, Dan, Sorensen, Tyler, Wickerson, John, Donaldson, Alastair F.

Year:

2020

File:

PDF, 3.88 MB

2020