Robert J. Stewart

According to our database, Robert J. Stewart authored at least 44 papers between 2011 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2025

Empower New Code Citizens to Reflect and Communicate on Code Security.

Manuel Maarek, Daisy Abbott, Olga Chatzifoti, Ryan Shah, Sheung Chi Chan, Hans-Wolfgang Loidl, Robert J. Stewart, Jamie Iona Ferguson, Sandy Louchart, Shenando Stals, Lynne Baillie

IEEE Secur. Priv., 2025

From Haskell to a New Structured Combinator Processor.

Yukang Xie, Craig R. Ramsay, Robert J. Stewart, Hans-Wolfgang Loidl

Proceedings of the Trends in Functional Programming - 26th International Symposium, 2025

2024

Integrating Canvas and GitLab to Enrich Learning Processes.

Laura Schauer, Robert J. Stewart, Manuel Maarek

Proceedings of the 46th International Conference on Software Engineering: Software Engineering Education and Training, 2024

Cloaca: A Concurrent Hardware Garbage Collector for Non-strict Functional Languages.

Craig R. Ramsay, Robert J. Stewart

Proceedings of the 17th ACM SIGPLAN International Haskell Symposium, 2024

2023

FPGA Design of Transposed Convolutions for Deep Learning Using High-Level Synthesis.

Cristian Sestito, Stefania Perri, Robert J. Stewart

J. Signal Process. Syst., October, 2023

Introducing and Interfacing with Cybersecurity - A Cards Approach.

Ryan Shah, Manuel Maarek, Shenando Stals, Lynne Baillie, Sheung Chi Chan, Robert J. Stewart, Hans-Wolfgang Loidl, Olga Chatzifoti

CoRR, 2023

Logic of Differentiable Logics: Towards a Uniform Semantics of DL.

Natalia Slusarz, Ekaterina Komendantskaya, Matthew L. Daggitt, Robert J. Stewart, Kathrin Stark

Proceedings of the LPAR 2023: Proceedings of 24th International Conference on Logic for Programming, 2023

Heron: Modern Hardware Graph Reduction.

Craig R. Ramsay, Robert J. Stewart

Proceedings of the 35th Symposium on Implementation and Application of Functional Languages, 2023

2022

Accuracy Evaluation of Transposed Convolution-Based Quantized Neural Networks.

Cristian Sestito, Stefania Perri, Robert J. Stewart

Proceedings of the International Joint Conference on Neural Networks, 2022

Why functional program synthesis matters (in the realm of genetic programming).

Fraser Garrow, Michael A. Lones, Robert J. Stewart

Proceedings of the GECCO '22: Genetic and Evolutionary Computation Conference, Companion Volume, Boston, Massachusetts, USA, July 9, 2022

Benchmarking Parallelism in Unikernels.

Akilan Selvacoumar, Rob Stewart, Hans-Wolfgang Loidl, Ahmad Ryad Soobhany

Proceedings of the Euro-Par 2022: Parallel Processing Workshops, 2022

Design-Space Exploration of Quantized Transposed Convolutional Neural Networks for FPGA-based Systems-on-Chip.

Cristian Sestito, Stefania Perri, Robert J. Stewart

Proceedings of the IEEE Intl. Conf. on Dependable, 2022

Differentiable Logics for Neural Network Training and Verification.

Natalia Slusarz, Ekaterina Komendantskaya, Matthew L. Daggitt, Robert J. Stewart

Proceedings of the Software Verification and Formal Methods for ML-Enabled Autonomous Systems, 2022

2021

Property-driven Training: All You (N)Ever Wanted to Know About.

Marco Casadio, Matthew L. Daggitt, Ekaterina Komendantskaya, Wen Kokke, Daniel Kienitz, Rob Stewart

CoRR, 2021

2020

YewPar: skeletons for exact combinatorial search.

Blair Archibald, Patrick Maier, Rob Stewart, Phil Trinder

Proceedings of the PPoPP '20: 25th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2020

Relative Robustness of Quantized Neural Networks Against Adversarial Attacks.

Kirsty Duncan, Ekaterina Komendantskaya, Robert J. Stewart, Michael A. Lones

Proceedings of the 2020 International Joint Conference on Neural Networks, 2020

Accuracy, Training Time and Hardware Efficiency Trade-Offs for Quantized Neural Networks on FPGAs.

Pascal Bacchus, Robert J. Stewart, Ekaterina Komendantskaya

Proceedings of the Applied Reconfigurable Computing. Architectures, Tools, and Applications, 2020

2019

Verifying parallel dataflow transformations with model checking and its application to FPGAs.

Robert J. Stewart, Bernard Berthomieu, Paulo Garcia, Idris Ibrahim, Greg Michaelson, Andrew M. Wallace

J. Syst. Archit., 2019

Optimized Memory Allocation and Power Minimization for FPGA-Based Image Processing.

Paulo Garcia, Deepayan Bhowmik, Robert J. Stewart, Greg Michaelson, Andrew M. Wallace

J. Imaging, 2019

Neural Network Verification for the Masses (of AI graduates).

Ekaterina Komendantskaya, Rob Stewart, Kirsty Duncan, Daniel Kienitz, Pierre Le Hen, Pascal Bacchus

CoRR, 2019

Graphical program transformations for embedded systems.

Robert J. Stewart, Bernard Berthomieu, Paulo Garcia, Idris Ibrahim, Greg Michaelson, Andrew M. Wallace

Proceedings of the 34th ACM/SIGAPP Symposium on Applied Computing, 2019

Implementing YewPar: A Framework for Parallel Tree Search.

Blair Archibald, Patrick Maier, Robert J. Stewart, Phil Trinder

Proceedings of the Euro-Par 2019: Parallel Processing, 2019

2018

RIPL: A Parallel Image Processing Language for FPGAs.

Rob Stewart, Kirsty Duncan, Greg Michaelson, Paulo Garcia, Deepayan Bhowmik, Andrew M. Wallace

ACM Trans. Reconfigurable Technol. Syst., 2018

Replicable parallel branch and bound search.

Blair Archibald, Patrick Maier, Ciaran McCreesh, Robert J. Stewart, Phil Trinder

J. Parallel Distributed Comput., 2018

Shared-variable Synchronization Approaches for Dynamic Data Flow Programs.

Apostolos Modas, Simone Casale Brunet, Robert J. Stewart, Endri Bezati, Junaid Jameel Ahmad, Marco Mattavelli

Proceedings of the 2018 IEEE International Workshop on Signal Processing Systems, 2018

Parallel Mean Shift Accuracy and Performance Trade-Offs.

Kirsty R. Duncan, Robert J. Stewart, Greg Michaelson

Proceedings of the 2018 IEEE International Conference on Image Processing, 2018

Area-Energy Aware Dataflow Optimisation of Visual Tracking Systems.

Paulo Garcia, Deepayan Bhowmik, Andrew M. Wallace, Robert J. Stewart, Greg Michaelson

Proceedings of the Applied Reconfigurable Computing. Architectures, Tools, and Applications, 2018

2017

Profile Guided Dataflow Transformation for FPGAs and CPUs.

Robert J. Stewart, Deepayan Bhowmik, Andrew M. Wallace, Greg Michaelson

J. Signal Process. Syst., 2017

Towards Generic Scalable Parallel Combinatorial Search.

Blair Archibald, Patrick Maier, Robert J. Stewart, Phil Trinder, Jan De Beule

Proceedings of the International Workshop on Parallel Symbolic Computation, 2017

Recursive Array Comprehensions in a Call-by-Value Language.

Artjoms Sinkarovs, Sven-Bodo Scholz, Robert J. Stewart, Hans-Nikolai Vießmann

Proceedings of the 29th Symposium on Implementation and Application of Functional Programming Languages, 2017

Power efficient dataflow design for a heterogeneous smart camera architecture.

Deepayan Bhowmik, Paulo Garcia, Andrew M. Wallace, Robert J. Stewart, Greg Michaelson

Proceedings of the 2017 Conference on Design and Architectures for Signal and Image Processing, 2017

2016

Transparent fault tolerance for scalable functional computation.

Robert J. Stewart, Patrick Maier, Phil Trinder

J. Funct. Program., 2016

A Dataflow IR for Memory Efficient RIPL Compilation to FPGAs.

Robert J. Stewart, Greg J. Michaelson, Deepayan Bhowmik, Paulo Garcia, Andy Wallace

Proceedings of the Algorithms and Architectures for Parallel Processing, 2016

An Image Processing Language: External and Shallow/Deep Embeddings.

Robert J. Stewart

Proceedings of the 1st International Workshop on Real World Domain Specific Languages, 2016

2015

RIPL: An Efficient Image Processing DSL for FPGAs.

Robert J. Stewart, Deepayan Bhowmik, Greg Michaelson, Andrew M. Wallace

CoRR, 2015

2014

The HdpH DSLs for scalable reliable computation.

Patrick Maier, Robert J. Stewart, Phil Trinder

Proceedings of the 2014 ACM SIGPLAN symposium on Haskell, 2014

Profile driven dataflow optimisation of mean shift visual tracking.

Deepayan Bhowmik, Andrew M. Wallace, Robert J. Stewart, Xinyuan Qian, Greg J. Michaelson

Proceedings of the 2014 IEEE Global Conference on Signal and Information Processing, 2014

A Demonstration of a Natural Language Query Interface to an Event-Based Semantic Web Triplestore.

Richard A. Frost, Jonathon A. Donais, Eric Matthews, Wale Agboola, Robert J. Stewart

Proceedings of the Semantic Web: ESWC 2014 Satellite Events, 2014

2013

Reliable massively parallel symbolic computing: fault tolerance for a distributed Haskell.

Robert J. Stewart

PhD thesis, 2013

Reliable scalable symbolic computation: the design of SymGridPar2.

Patrick Maier, Robert J. Stewart, Philip W. Trinder

Proceedings of the 28th Annual ACM Symposium on Applied Computing, 2013

Demonstrating SerenA: Chance Encounters in the Space of Ideas.

Jamie Forth, Athanasios Giannimaras, Geraint A. Wiggins, Robert J. Stewart, Diana Bental, Ruth Aylett, Deborah Maxwell, Hadi Mehrpouya, Jamie Shek, Mel Woods

Proceedings of the Advances on Practical Applications of Agents and Multi-Agent Systems, 2013

SerenA: A Multi-site Pervasive Agent Environment That Supports Serendipitous Discovery in Research.

Jamie Forth, Thanasis Giannimaras, Geraint A. Wiggins, Robert J. Stewart, Diana Bental, Ruth Aylett, Deborah Maxwell, Hadi Mehrpouya, Jamie Shek, Mel Woods

Proceedings of the Advances on Practical Applications of Agents and Multi-Agent Systems, 2013

2012

Supervised Workpools for Reliable Massively Parallel Computing.

Robert J. Stewart, Phil Trinder, Patrick Maier

Proceedings of the Trends in Functional Programming - 13th International Symposium, 2012

2011

Comparing High Level MapReduce Query Languages.

Robert J. Stewart, Philip W. Trinder, Hans-Wolfgang Loidl

Proceedings of the Advanced Parallel Processing Technologies - 9th International Symposium, 2011