( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Symbooglix: A Symbolic Execution Engine for Boogie Programs.

, , и . ICST, стр. 45-56. IEEE Computer Society, (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

 

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

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)Symmetry in temporal logic model checking., , и . ACM Comput. Surv., 38 (3): 8 (2006)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)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)MOD2IR: High-Performance Code Generation for a Biophysically Detailed Neuronal Simulation DSL., , , , , и . CC, стр. 203-215. ACM, (2023)The Next 7000 Programming Languages., , и . Computing and Software Science, том 10000 из Lecture Notes in Computer Science, Springer, (2019)Type inference and strong static type checking for Promela., и . Sci. Comput. Program., 75 (11): 1165-1191 (2010)