( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Uncovering Bugs in Distributed Storage Systems during Testing (Not in Production!).

, , , , , , , , , , и . FAST, стр. 249-262. USENIX Association, (2016)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Robin Donaldson

Alastair Walker

David Donaldson

Alastair Barrow

Alastair Faulkner

 

Другие публикации лиц с тем же именем

Efficient Approximate Verification of Promela Models Via Symmetry Markers., , , и . ATVA, том 4762 из Lecture Notes in Computer Science, стр. 300-315. Springer, (2007)Offload - Automating Code Migration to Heterogeneous Multicore Systems., , , , , и . HiPEAC, том 5952 из Lecture Notes in Computer Science, стр. 337-352. Springer, (2010)Performance Evaluation of OpenCL Standard Support (and Beyond)., , и . IWOCL, стр. 8:1-8:2. ACM, (2019)Interleaving and Lock-Step Semantics for Analysis and Verification of GPU Kernels., , , и . ESOP, том 7792 из Lecture Notes in Computer Science, стр. 270-289. Springer, (2013)The semantics of shared memory in Intel CPU/FPGA systems., , , и . Proc. ACM Program. Lang., 5 (OOPSLA): 1-28 (2021)Compiler fuzzing: how much does it matter?, , , и . Proc. ACM Program. Lang., 3 (OOPSLA): 155:1-155:29 (2019)Portable inter-workgroup barrier synchronisation for GPUs., , , , и . OOPSLA, стр. 39-58. ACM, (2016)Exposing errors related to weak memory in GPU applications., и . PLDI, стр. 100-113. ACM, (2016)Validating Database System Isolation Level Implementations with Version Certificate Recovery., , , и . EuroSys, стр. 754-768. ACM, (2024)Test-Case Reduction via Test-Case Generation: Insights from the Hypothesis Reducer (Tool Insights Paper)., и . ECOOP, том 166 из LIPIcs, стр. 13:1-13:27. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2020)