The following pages link to Alastair F. Donaldson (Q763237):
Displaying 23 items.
- Automatic analysis of DMA races using model checking and \(k\)-induction (Q763238) (← links)
- (Q856935) (redirect page) (← links)
- A template-based approach for the generation of abstractable and reducible models of featured networks (Q856936) (← links)
- On the constructive orbit problem (Q976988) (← links)
- Type inference and strong static type checking for Promela (Q988201) (← links)
- Automatic symmetry detection for Promela (Q1040774) (← links)
- (Q2075771) (redirect page) (← links)
- The next 7000 programming languages (Q2075772) (← links)
- Counterexample-guided abstraction refinement for symmetric concurrent programs (Q2441711) (← links)
- Overhauling SC atomics in C11 and OpenCL (Q2828302) (← links)
- (Q2848420) (← links)
- (Q2851072) (← links)
- Strengthening Induction-Based Race Checking with Lightweight Static Analysis (Q3075479) (← links)
- Efficient Approximate Verification of Promela Models Via Symmetry Markers (Q3510803) (← links)
- Symmetry Reduction for Probabilistic Model Checking Using Generic Representatives (Q3522889) (← links)
- GPU schedulers: how fair is fair enough? (Q5009438) (← links)
- Vector Symmetry Reduction (Q5178970) (← links)
- Extending Symmetry Reduction Techniques to a Realistic Model of Computation (Q5178995) (← links)
- Interleaving and Lock-Step Semantics for Analysis and Verification of GPU Kernels (Q5326291) (← links)
- Dynamic race detection for C++11 (Q5370880) (← links)
- A sound and complete abstraction for reasoning about parallel prefix sums (Q5408435) (← links)
- FM 2005: Formal Methods (Q5716898) (← links)
- Artifact for "Challenges in Empirically Testing Memory Persistency Models" (Q6717844) (← links)
