Alastair Donaldson

Available identifiers

zbMath Open donaldson.alastair-fDBLP11/5933WikidataQ80637478 ScholiaQ80637478MaRDI QIDQ763237

List of research outcomes

Publication	Date of Publication	Type
Artifact for "Challenges in Empirically Testing Memory Persistency Models"	2023-12-23	Dataset
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
Extending Symmetry Reduction Techniques to a Realistic Model of Computation	2015-03-18	Paper
Vector Symmetry Reduction	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
\textsc{Spin-to-Grape}: a tool for analysing symmetry in Promela models	2013-10-02	Paper
Finding symmetry in models of concurrent systems by static channel diagram analysis	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

Research outcomes over time

This page was built for person: Alastair Donaldson