Alastair F. Donaldson

Available identifiers

Publication	Date of Publication	Type
The next 7000 programming languages	2022-02-16	Paper
GPU schedulers: how fair is fair enough?	2021-08-04	Paper
Dynamic race detection for C++11	2017-10-20	Paper
Overhauling SC atomics in C11 and OpenCL	2016-10-24	Paper
Vector Symmetry Reduction	2015-03-18	Paper
Extending Symmetry Reduction Techniques to a Realistic Model of Computation	2015-03-18	Paper
A sound and complete abstraction for reasoning about parallel prefix sums	2014-04-10	Paper
Counterexample-guided abstraction refinement for symmetric concurrent programs	2014-03-28	Paper
https://portal.mardi4nfdi.de/entity/Q2851072	2013-10-02	Paper
https://portal.mardi4nfdi.de/entity/Q2848420	2013-09-26	Paper
Interleaving and Lock-Step Semantics for Analysis and Verification of GPU Kernels	2013-08-05	Paper
Automatic analysis of DMA races using model checking and \(k\)-induction	2012-03-09	Paper
Strengthening Induction-Based Race Checking with Lightweight Static Analysis	2011-02-15	Paper
Type inference and strong static type checking for Promela	2010-08-26	Paper
On the constructive orbit problem	2010-06-16	Paper
Automatic symmetry detection for Promela	2009-11-25	Paper
Symmetry Reduction for Probabilistic Model Checking Using Generic Representatives	2008-09-04	Paper
Efficient Approximate Verification of Promela Models Via Symmetry Markers	2008-07-03	Paper
A template-based approach for the generation of abstractable and reducible models of featured networks	2006-12-14	Paper
FM 2005: Formal Methods	2006-01-10	Paper

No records found.

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Alastair F. Donaldson