Publications

• High-Level Synthesis of Hardware Accelerators for Deconvolution Engines.
  Sestito, C., Perri, S., Stewart, R.
  International Conference on Advances in Circuits, Electronics and Micro-electronics (CENICS), 2022.

• Design-Space Exploration of Quantized Transposed Convolutional Neural Networks for FPGA-based Systems-on-Chip.
  Sestito, C., Perri, S., Stewart, R.
  Pervasive Intelligence and Computing (PICom), IEEE, 2022.

• Why Functional Program Synthesis Matters (In the Realm of Genetic Programming).
  Garrow, F., Lones, M., Stewart, R.
  Evolutionary Computation for the Automated Design of Algorithms (ECADA), The Genetic and Evolutionary Computation Conference (GECCO), ACM, 2022.

• Accuracy Evaluation of Transposed Convolution-Based Quantized Neural Networks.
  Sestito, C., Perri, S., Stewart, R.
  International Joint Conference on Neural Networks (IJCNN), 2022.

• Optimising Hardware Accelerated Neural Networks with Quantisation and a Knowledge Distillation Evolutionary Algorithm. doi pdf
  Stewart, R., Nowlan, A., Bacchus, P., Ducasse, Q., Komendantskaya, E.
  Electronics Journal, MDPI, 2021.

• Relative Robustness of Quantized Neural Networks Against Adversarial Attacks. pdf doi
  Duncan, K., Komendantskaya, E., Stewart, R., Lones, M.
  International Joint Conference on Neural Networks (IJCNN) 2020, IEEE.

• Accuracy, Training Time and Hardware Efficiency Trade-Offs for Quantized Neural Networks on FPGAs. pdf doi
  Bacchus, P., Stewart, R., Komendantskaya, E.
  International Symposium on Applied Reconfigurable Computing (ARC) 2020, Springer LNCS.

• YewPar: Skeletons for Exact Combinatorial Search. pdf doi dataset
  Archibald, B., Maier, P., Stewart, R., Trinder, P.
  Principles and Practice of Parallel Programming (PPoPP), 2020.

• Verifying parallel dataflow transformations with model checking and its application to FPGAs. pdf doi dataset
  Stewart, R., Berthomieu, B., Garcia, P., Ibrahim, I., Michaelson, G., Wallace, A.
  Journal of Systems Architecture, Elsevier, 2019.

• Implementing YewPar: a Framework for Parallel Tree Search. pdf doi
  Archibald, B., Maier, P., Stewart, R., Trinder, P.
  Euro-Par 2019, Göttingen, Germany, Springer.

• Graphical Program Transformations for Embedded Systems. pdf doi
  Stewart, R., Berthomieu, B., Garcia, P., Ibrahim, I., Michaelson, G., Wallace, A.
  Symposium on Applied Computing 2019, Limassol, Cyprus, ACM.

• Optimized Memory Allocation and Power Minimization for FPGA-Based Image Processing. link
  Garcia, P., Bhowmik, D., Stewart, R., Michaelson, G., Wallace, A.
  Journal of Imaging, MDPI, 2019.

• Shared-variable synchronization approaches for dynamic dataflow programs. pdf doi
  Modas, A., Brunet, S., Stewart, R., Ahmad, J., Bezati, E., Mattavelli, M.
  Workshop on Signal Processing Systems 2018, Cape Town, South Africa, IEEE.

• Parallel Mean Shift Accuracy and Performance Trade-Offs. pdf doi dataset
  Duncan, K., Stewart, R., Michaelson, G.
  International Conference on Image Processing 2018, Athens, Greece, IEEE.

• Recursive Array Comprehensions in a Call by Value Language. pdf doi
  Šinkarovs, A., Scholz, S., Stewart, R., Vießmann, H.
  Implementation of Functional Languages 2017, Bristol, UK. Selected papers 2018, ACM.

• RIPL: A Parallel Image Processing Language for FPGAs. pdf doi dataset
  Stewart, R., Duncan, K., Michaelson, G., Garcia, P., Bhowmik, D., Wallace, A.
  Transactions on Reconfigurable Technology and Systems, March 2018, ACM.

• Area-Energy Aware Dataflow Optimisation of Visual Tracking Systems. pdf doi
  Garcia, P., Bhowmik, D., Wallace, A., Stewart, R., Michaelson, G.
  International Symposium on Applied Reconfigurable Computing (ARC) 2018, Springer LNCS.

• Replicable Parallel Branch and Bound Search. pdf doi dataset
  Archibald, B., Maier, P., McCreesh, C., Stewart, R., Trinder, P.
  Journal of Parallel and Distributed Computing 2017, Elsevier.

• Power Efficient Dataflow Design for a Heterogeneous Smart Camera Architecture. pdf
  Bhowmik, D., Garcia, P., Wallace, A., Stewart, R., Michaelson, G.
  The Conference on Design and Architectures for Signal and Image Processing, September 2017, Dresden, Germany, IEEE Xplore.

• Towards Generic Scalable Parallel Combinatorial Search. pdf doi dataset
  Archibald, B., Maier, P., Stewart, R., De Beule, J., Trinder, P.
  International Workshop on Parallel Symbolic Computation, July 2017, Kaiserslautern, Germany, ACM.

• Proceedings of the 2nd International Workshop on Real World Domain Specific Languages. doi
  Stewart, R., Michaelson, G.
  International Workshop on Real World DSLs, February 2017, Austin, Texas, USA, ACM Digitial Library.

• A Dataflow IR for Memory Efficient RIPL Compilation to FPGAs. pdf doi dataset
  Stewart, R., Michaelson, G., Bhowmik, D., Garcia, P., Wallace, A.
  International Workshop on Data Locality in Modern Computing Systems, December 2016, Granada, Spain, Springer LNCS.

• Proceedings of the 1st International Workshop on Real World Domain Specific Languages. doi
  Stewart, R., Michaelson, G.
  International Workshop on Real World DSLs, March 2016, Barcelona, Spain, ACM Digitial Library.

• An Image Processing Language: External and Shallow/Deep Embeddings. pdf dataset
  Stewart, R.
  International Workshop on Real World Domain Specific Languages, March 2016, Barcelona, Spain, ACM.

• Profile Guided Dataflow Transformation for FPGAs & CPUs. pdf doi dataset
  Stewart, R., Bhowmik, D., Michaelson, G., Wallace, A.
  Special Issue on Dataflow, in The Journal of Signal Processing Systems, Springer, 2015.

• RIPL: An Efficient Image Processing DSL for FPGAs. pdf doi
  Stewart, R., Bhowmik, D., Michaelson, G., Wallace, A.
  FPGAs for Software Programmers at the International Conference on Field Programmable Logic and Applications, London, 2015.

• Transparent Fault Tolerance for Scalable Functional Computation. pdf information doi dataset slides
  Stewart, R., Maier, P., Trinder, P.
  Journal of Functional Programming, Cambridge Press, 2015.

• Chaining RIPL To Compiler DSLs for Image Processing on Multicore CPUs, GPUs & FPGAs.
  Stewart, R., Bhowmik, D., Wallace, A., Michaelson, G., Scholz, S.
  Abstract presented at the Compilers for Parallel Computing workshop, 2015. London, UK.

• Profile Driven Dataflow Optimisation of Mean Shift Visual Tracking. pdf doi
  Bhowmik, D., Stewart, R., Qian, X., Wallace, A., Michaelson, G.
  IEEE GlobalSIP, 2014. Atlanta, Georgia, USA.

• The HdpH DSLs for Scalable Reliable Computation. pdf doi
  Maier, P., Stewart, R.J., Trinder, P.W.
  ACM SIGPLAN Haskell Symposium, 2014. Göteborg, Sweden.

• A Demonstration of a Natural Language Query Interface to an Event-Based Semantic Web Triplestore. pdf poster doi
  Frost, R., Donais, J., Matthews, E., Agboola, W., Stewart, R.
  Demo paper at 11th International Conference of The Extended Semantic Web conference, ESWC 2014, Crete, Greece.

• Reliable Scalable Symbolic Computation: The Design of SymGridPar2. pdf doi
  Maier, P., Stewart, R.J., Trinder, P.W.
  Computer Languages, Systems and Structures special issue journal, 2014.

• Reliable Massively Parallel Symbolic Computing: Fault Tolerance for a Distributed Haskell. link
  Stewart, R.J. PhD Thesis. Heriot-Watt University, 2013.

• Reliable Scalable Symbolic Computation: The Design of SymGridPar2. pdf doi
  Maier, P., Stewart, R.J., Trinder, P.W. Proceedings of the 28th Annual ACM Symposium on Applied Computing, SAC '13, Coimbra, Portugal.

• SerenA: A Multi-Site Pervasive Agent Environment That Supports Serendipitous Discovery in Research. pdf doi
  Forth, J., Wiggins, G., Stewart, R.J., Bental, D., Aylett, R., Maxwell, D., Shek, J., Woods, M. Advances on Practical Applications of Agents and Multi-Agent Systems, 11th International Conference, PAAMS 2013, Salamanca, Spain.

• Demonstrating SerenA: Chance Encounters in the Space of Ideas. doi
  Forth, J., Giannimaras, A., Wiggins, G., Stewart, R., Bental, D., Aylett, R., Maxwell, D., Mehrpouya, H., Shek, J., Woods, M.

• Supervised Workpools for Reliable Massively Parallel Computing. pdf doi
  Stewart, R.J., Trinder, P.W, Maier, P. Trends in Functional Programming. 13th International Symposium, TFP 2012, Revised Selected Papers. Lecture Notes in Computer Science. St Andrews, Scotland 2012.

• Supporting Serendipitous Discovery. pdf
  Aylett, R., Bental, D. S., Stewart, R. J., Forth, J., Wiggins, G. Digital Futures, The Third Annual Digital Economy All Hands Conference. Aberdeen, Scotland 2012.

• Comparing ForkJoin vs MapReduce. pdf tech report
  Stewart, R.J., Singer, J. Heriot Watt, 2012.

• Exposing Connections to Support Serendipitous Discovery. pdf
  Bental, D., Aylett, R., Stewart, R., Maxwell, D. and Woods, M. Influencing People with Information. Aberdeen, Scotland 2012.

• Comparing High Level MapReduce Query Languages. pdf doi
  Stewart, R.J., Trinder, P.W., Loidl, HW. Advanced Parallel Processing Technologies - 9th International Symposium, APPT 2011. Lecture Notes in Computer Science. Shanghai, China 2011.