Author of the publication

Flexible Instruction-Set Semantics via Abstract Monads (Experience Report).

, , , , , , and . Proc. ACM Program. Lang., 7 (ICFP): 108-124 (August 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. 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

GraFBoost: Using Accelerated Flash Storage for External Graph Analytics., , , , and . ISCA, page 411-424. IEEE Computer Society, (2018)Large scale VFX pipelines., , , and . DigiPro, page 43-44. ACM, (2016)The Seismic Kernel System-a Large-scale Exercise in Fortran 77 Portability., , , , , and . Softw. Pract. Exp., 18 (4): 301-329 (1988)How much cloud is too much cloud?: What we wish we knew before we started., , , , , , , and . DigiPro, page 6:1-6:3. ACM, (2023)BigSparse: High-performance external graph analytics., , , , and . CoRR, (2017)Flexible Instruction-Set Semantics via Abstract Monads (Experience Report)., , , , , , and . Proc. ACM Program. Lang., 7 (ICFP): 108-124 (August 2023)Large scale VFX pipelines., , and . SIGGRAPH Talks, page 59:1-59:2. ACM, (2017)Visualisation of Multi-agent System Organisations Using a Self-organising Map of Pareto Solutions., , and . IDEAL, volume 3177 of Lecture Notes in Computer Science, page 841-848. Springer, (2004)Learning Multi-agent Strategies in Multi-stage Collaborative Games.. IDEAL, volume 2412 of Lecture Notes in Computer Science, page 255-260. Springer, (2002)Sequential Strategy for Learning Multi-stage Multi-agent Collaborative Games.. ICANN, volume 2130 of Lecture Notes in Computer Science, page 874-884. Springer, (2001)