( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Program Reconditioning: Avoiding Undefined Behaviour When Finding and Reducing Compiler Bugs.

, , и . Proc. ACM Program. Lang., 7 (PLDI): 1801-1825 (2023)

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

 

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

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)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)Interleaving and Lock-Step Semantics for Analysis and Verification of GPU Kernels., , , и . ESOP, том 7792 из Lecture Notes in Computer Science, стр. 270-289. Springer, (2013)Performance Evaluation of OpenCL Standard Support (and Beyond)., , и . IWOCL, стр. 8:1-8:2. ACM, (2019)Symmetry in temporal logic model checking., , и . ACM Comput. Surv., 38 (3): 8 (2006)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)Exposing errors related to weak memory in GPU applications., и . PLDI, стр. 100-113. ACM, (2016)Extending Symmetry Reduction Techniques to a Realistic Model of Computation., и . AVoCS, том 185 из Electronic Notes in Theoretical Computer Science, стр. 63-76. Elsevier, (2006)