Author of the publication

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. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

A Lazy, Self-optimizing Parallel Matrix Library., and . Functional Programming, page 5. Springer, (1995)COBWEB-2: Structured Specification of a Wafer-Scale Supercomputer., , , , and . PARLE (1), volume 258 of Lecture Notes in Computer Science, page 51-67. Springer, (1987)Architecture and performance of Devito, a system for automated stencil computation., , , , , , , , , and . CoRR, (2018)Symbolic Testing of OpenCL Code., , and . Haifa Verification Conference, volume 7261 of Lecture Notes in Computer Science, page 203-218. Springer, (2011)Reactive Proxies: A Flexible Protocol Extension to Reduce ccNUMA Node Controller Contention., and . Euro-Par, volume 1470 of Lecture Notes in Computer Science, page 1062-1075. Springer, (1998)Adaptive Proxies: Handling Widely-Shared Data in Shared-Memory Multiprocessors (Research Note)., and . Euro-Par, volume 1900 of Lecture Notes in Computer Science, page 567-572. Springer, (2000)Instant-Access Cycle-Stealing for Parallel Applications Requiring Interactive Response., , and . Euro-Par, volume 2400 of Lecture Notes in Computer Science, page 863-872. Springer, (2002)Topic 4: Compilers for High Performance., , , and . Euro-Par, volume 4128 of Lecture Notes in Computer Science, page 277. Springer, (2006)GiMMiK - Generating bespoke matrix multiplication kernels for accelerators: Application to high-order Computational Fluid Dynamics., , , , and . Comput. Phys. Commun., (2016)Optimised three-dimensional Fourier interpolation: An analysis of techniques and application to a linear-scaling density functional theory code., , , and . Comput. Phys. Commun., (2015)