Alastair Donaldson

MaRDI QIDQ763237zbMATH OpenDBLPORCIDWikidataFDO

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

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 Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages	2017-10-20	Paper
Overhauling SC atomics in C11 and OpenCL Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages	2016-10-24	Paper
Overhauling SC atomics in C11 and OpenCL Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages	2016-10-24	Paper
Extending symmetry reduction techniques to a realistic model of computation Electronic Notes in Theoretical Computer Science	2015-03-18	Paper
Vector symmetry reduction Electronic Notes in Theoretical Computer Science	2015-03-18	Paper
A sound and complete abstraction for reasoning about parallel prefix sums Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages	2014-04-10	Paper
Counterexample-guided abstraction refinement for symmetric concurrent programs Formal Methods in System Design	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 Programming Languages and Systems	2013-08-05	Paper
Automatic analysis of DMA races using model checking and k-induction Formal Methods in System Design	2012-03-09	Paper
Strengthening induction-based race checking with lightweight static analysis Lecture Notes in Computer Science	2011-02-15	Paper
Type inference and strong static type checking for Promela Science of Computer Programming	2010-08-26	Paper
On the constructive orbit problem Annals of Mathematics and Artificial Intelligence	2010-06-16	Paper
Automatic symmetry detection for Promela Journal of Automated Reasoning	2009-11-25	Paper
Symmetry Reduction for Probabilistic Model Checking Using Generic Representatives Automated Technology for Verification and Analysis	2008-09-04	Paper
Efficient Approximate Verification of Promela Models Via Symmetry Markers Automated Technology for Verification and Analysis	2008-07-03	Paper
A template-based approach for the generation of abstractable and reducible models of featured networks Computer Networks	2006-12-14	Paper
FM 2005: Formal Methods Lecture Notes in Computer Science	2006-01-10	Paper

Research outcomes over time

This page was built for person: Alastair Donaldson