Publications

Applications

• Ashur Rafiev, Jordan Morris, Fei Xia, Alex Yakovlev, Matthew Naylor, Simon Moore, David Thomas, Graeme Bragg, Mark Vousden, Andrew Brown, Practical Distributed Implementation of Very Large Scale Petri Net Simulations, in: Koutny, M., Kordon, F., Moldt, D. (eds) Transactions on Petri Nets and Other Models of Concurrency XVI. Lecture Notes in Computer Science, vol 13220. Springer, 2022. DOI: 10.1007/978-3-662-65303-6_6 [link]

• Ashur Rafiev, Alex Yakovlev, Ghaith Tarawneh, Matthew F. Naylor, Simon W. Moore, David B. Thomas, Graeme M. Bragg, Mark L. Vousden, Andrew D. Brown Synchronization in graph analysis algorithms on the Partially Ordered Event-Triggered Systems many-core architecture, IET Comput. Digit. Tech. 16(2-3), 71– 88, 2022. DOI: 10.1049/cdt2.12041 [link]

• J. C. Shillcock, D. B. Thomas, J. R. Beaumont, G. M. Bragg, M. L. Vousden, A. D. Brown, Coupling Bulk Phase Separation of Disordered Proteins to Membrane Domain Formation in Molecular Simulations on a Bespoke Compute Fabric, Membranes, 12(1), 2021, DOI: 10.3390/membranes12010017 [link]

• Mahyar Shahsavari, Jonathan Beaumont, David Thomas, and Andrew D. Brown, POETS: A Parallel Cluster Architecture for Spiking Neural Network, International Journal of Machine Learning and Computing vol. 11, no. 4, pp. 281-285, 2021. DOI: 10.18178/ijmlc.2021.11.4.1048 [link]

Architecture

• Tim Todman and Wayne Luk. Custom enhancements to networked processor templates, 2021 IEEE Computer Society Annual Symposium on VLSI (ISVLSI), 2021, pp. 224-229, DOI: 10.1109/ISVLSI51109.2021.00049 [link]

• Matthew Naylor, Simon W. Moore, David Thomas, Jonathan R. Beaumont, Shane Fleming, Mark Vousden, A. Theodore Markettos, Thomas Bytheway, and Andrew Brown. General hardware multicasting for fine-grained message-passing architectures. Euromicro International Conference on Parallel, Distributed and Network-based processing (PDP 2021). [paper, video, repo]

• Tim Todman, David Thomas, Wayne Luk. Exploring performance enhancement of event-driven processor networks. International Conference on Field-Programmable Technology, 2020. [paper]

• Matthew Naylor, Simon W. Moore, Andrey Mokhov, David Thomas, Jonathan R. Beaumont, Shane Fleming, A. Theodore Markettos, Thomas Bytheway, and Andrew Brown. Termination detection for fine-grained message-passing architectures. IEEE International Conference on Application-specific Systems, Architectures, and Processors (ASAP 2020). [paper, video, repo]

• J. Vandebon, J. G. F. Coutinho, W. Luk, E. Nurvitadhi and T. Todman, Artisan: a Meta-Programming Approach For Codifying Optimisation Strategies, 2020 IEEE 28th Annual International Symposium on Field-Programmable Custom Computing Machines (FCCM), Fayetteville, AR, USA, 2020, pp. 177-185, [link]

• Matthew Naylor, Simon W. Moore, David Thomas. Tinsel: a manythread overlay for FPGA clusters. IEEE International Conference on Field Programmable Logic and Applications (FPL 2019). [paper, repo]

• Brown, Andrew, Vousden, Mark, Rast, Alexander, Bragg, Graeme McLachlan, Thomas, David, Beaumont, Jonny, Naylor, Matthew and Mokhov, Andrey (2019) POETS: Distributed event-based computing - scaling behaviour. The International Conference on Parallel Computing, Prague, Czech Republic. 10 - 13 Sep 2019. (In Press) [paper]

• Andrew Brown, John Chad, Raihaan Kamarudin, Kier Dugan, Stephen Furber. SpiNNaker: Event-based simulation – quantitative behaviour. IEEE Transactions on Multi-Scale Computing Systems, 2017. [paper]

• Andrew Brown, David Thomas, Jeff Reeve, Ghaith Tarawneh, Alessandro de Gennaro, Andrey Mokhov, Matthew Naylor, Tom Kazmierski. Distributed Event-based Computing. ParCo conference, 2017. [paper]

Languages and Models

• Ashur Rafiev, Alex Yakovlev, Ghaith Tarawneh, Matthew F. Naylor, Simon W. Moore, David B. Thomas, Graeme M. Bragg, Mark L. Vousden, Andrew D. Brown, Synchronization in graph analysis algorithms on the Partially Ordered Event-Triggered Systems many-core architecture, IET Computers & Digital Techniques, 2022, DOI: 10.1049/cdt2.12041 [link]

• Koutny M, Pietkiewicz-Koutny M, Yakovlev A. Asynchrony and persistence in reaction systems. (2020) Theoretical Computer Science, [link]

• A. Rast, M. Shahsavari, G. M. Bragg, M. L. Vousden, D. Thomas and A. Brown, A Hardware/Application Overlay Model for Large-Scale Neuromorphic Simulation, 2020 International Joint Conference on Neural Networks (IJCNN), Glasgow, United Kingdom, 2020, pp. 1-9, doi: 10.1109/IJCNN48605.2020.9206708. [link]

• Ghaith Tarawneh, Andrey Mokhov, Matthew Naylor, Alex Rast, Simon Moore, David Thomas, Alex Yakovlev, Andrew Brown. Programming Model to Develop Supercomputer Combinatorial Solvers. International Workshop on Parallel Programming Models and Systems Software for High-End Computing (P2S2 2017), IEEE. In Press. [paper, slides]

• Andrey Mokhov, Alessandro de Gennaro, Ghaith Tarawneh, Jonny Wray, Georgy Lukyanov, Sergey Mileiko, Joe Scott, Alex Yakovlev, Andrew Brown. Language and Hardware Acceleration Backend for Graph Processing. Forum on specification & Design Languages (FDL 2017). In Press. [paper, slides]

Software Tools

• Ghaith Tarawneh, Andrey Mokhov. Xprova: Formal Verification Tool with Built-in Metastability Modeling. International Conference on Application of Concurrency to System Design (ACSD 2017), IEEE. [paper, slides]

Theory

• Ghaith Tarawneh, Matthias Függer, Christoph Lenzen. Metastability Tolerant Computing. IEEE International Symposium on Asynchronous Circuits and Systems (ASYNC 2017), IEEE. [paper, slides]

• Łukasz Mikulski, Andrey Mokhov, Marcin Piatkowski. Reduction of Order Structures. International Conference on Application of Concurrency to System Design (ACSD 2017), IEEE. [paper, slides]