Robert J. Stewart

45 papers B 4C 2Misc 4Journal 12Unranked 19

Year	Rank	Type	Title / Venue / Authors
2025	J	`jnl`	Empower New Code Citizens to Reflect and Communicate on Code Security. IEEE Secur. Priv. 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
2025	—	`conf`	From Haskell to a New Structured Combinator Processor. TFP Yukang Xie, Craig R. Ramsay, Robert J. Stewart, Hans-Wolfgang Loidl
2024	C	`conf`	Cloaca: A Concurrent Hardware Garbage Collector for Non-strict Functional Languages. Haskell Craig R. Ramsay, Robert J. Stewart
2024	—	`conf`	Integrating Canvas and GitLab to Enrich Learning Processes. SEET@ICSE Laura Schauer, Robert J. Stewart, Manuel Maarek
2023	J	`jnl`	FPGA Design of Transposed Convolutions for Deep Learning Using High-Level Synthesis. J. Signal Process. Syst. Cristian Sestito, Stefania Perri, Robert J. Stewart
2023	—	`conf`	Heron: Modern Hardware Graph Reduction. IFL Craig R. Ramsay, Robert J. Stewart
2023	J	`jnl`	Introducing and Interfacing with Cybersecurity - A Cards Approach. CoRR Ryan Shah, Manuel Maarek, Shenando Stals, Lynne Baillie, Sheung Chi Chan, Robert J. Stewart, Hans-Wolfgang Loidl, Olga Chatzifoti
2023	B	`conf`	Logic of Differentiable Logics: Towards a Uniform Semantics of DL. LPAR Natalia Slusarz, Ekaterina Komendantskaya, Matthew L. Daggitt, Robert J. Stewart, Kathrin Stark
2023	J	`jnl`	Logic of Differentiable Logics: Towards a Uniform Semantics of DL. CoRR Natalia Slusarz, Ekaterina Komendantskaya, Matthew L. Daggitt, Robert J. Stewart, Kathrin Stark
2022	B	`conf`	Accuracy Evaluation of Transposed Convolution-Based Quantized Neural Networks. IJCNN Cristian Sestito, Stefania Perri, Robert J. Stewart
2022	—	`conf`	Design-Space Exploration of Quantized Transposed Convolutional Neural Networks for FPGA-based Systems-on-Chip. DASC/PiCom/CBDCom/CyberSciTech Cristian Sestito, Stefania Perri, Robert J. Stewart
2022	—	`conf`	Differentiable Logics for Neural Network Training and Verification. NSV/FoMLAS@CAV Natalia Slusarz, Ekaterina Komendantskaya, Matthew L. Daggitt, Robert J. Stewart
2022	J	`jnl`	Differentiable Logics for Neural Network Training and Verification. CoRR Natalia Slusarz, Ekaterina Komendantskaya, Matthew L. Daggitt, Robert J. Stewart
2022	—	`conf`	Why functional program synthesis matters (in the realm of genetic programming). GECCO Companion Fraser Garrow, Michael A. Lones, Robert J. Stewart
2020	—	`conf`	Accuracy, Training Time and Hardware Efficiency Trade-Offs for Quantized Neural Networks on FPGAs. ARC Pascal Bacchus, Robert J. Stewart, Ekaterina Komendantskaya
2020	B	`conf`	Relative Robustness of Quantized Neural Networks Against Adversarial Attacks. IJCNN Kirsty Duncan, Ekaterina Komendantskaya, Robert J. Stewart, Michael A. Lones
2019	Misc	`conf`	Graphical program transformations for embedded systems. SAC Robert J. Stewart, Bernard Berthomieu, Paulo Garcia, Idris Ibrahim, Greg Michaelson, Andrew M. Wallace
2019	—	`conf`	Implementing YewPar: A Framework for Parallel Tree Search. Euro-Par Blair Archibald, Patrick Maier, Robert J. Stewart, Phil Trinder
2019	J	`jnl`	Optimized Memory Allocation and Power Minimization for FPGA-Based Image Processing. J. Imaging Paulo Garcia, Deepayan Bhowmik, Robert J. Stewart, Greg Michaelson, Andrew M. Wallace
2019	—	`ed.`	Proceedings of the 4th ACM International Workshop on Real World Domain Specific Languages, RWDSL@CGO 2019, Washington, DC, DC, USA, February 17, 2019 RWDSL@CGO Robert J. Stewart, Greg J. Michaelson
2019	J	`jnl`	Verifying parallel dataflow transformations with model checking and its application to FPGAs. J. Syst. Archit. Robert J. Stewart, Bernard Berthomieu, Paulo Garcia, Idris Ibrahim, Greg Michaelson, Andrew M. Wallace
2018	—	`conf`	Area-Energy Aware Dataflow Optimisation of Visual Tracking Systems. ARC Paulo Garcia, Deepayan Bhowmik, Andrew M. Wallace, Robert J. Stewart, Greg Michaelson
2018	B	`conf`	Parallel Mean Shift Accuracy and Performance Trade-Offs. ICIP Kirsty R. Duncan, Robert J. Stewart, Greg Michaelson
2018	J	`jnl`	Replicable parallel branch and bound search. J. Parallel Distributed Comput. Blair Archibald, Patrick Maier, Ciaran McCreesh, Robert J. Stewart, Phil Trinder
2018	—	`conf`	Shared-variable Synchronization Approaches for Dynamic Data Flow Programs. SiPS Apostolos Modas, Simone Casale Brunet, Robert J. Stewart, Endri Bezati, Junaid Jameel Ahmad, Marco Mattavelli
2017	—	`conf`	Power efficient dataflow design for a heterogeneous smart camera architecture. DASIP Deepayan Bhowmik, Paulo Garcia, Andrew M. Wallace, Robert J. Stewart, Greg Michaelson
2017	—	`ed.`	Proceedings of the 2nd International Workshop on Real World Domain Specific Languages, RWDSL@CGO 2017, Austin, TX, USA, February 4, 2017 RWDSL@CGO Robert J. Stewart, Greg Michaelson
2017	J	`jnl`	Profile Guided Dataflow Transformation for FPGAs and CPUs. J. Signal Process. Syst. Robert J. Stewart, Deepayan Bhowmik, Andrew M. Wallace, Greg Michaelson
2017	—	`conf`	Recursive Array Comprehensions in a Call-by-Value Language. IFL Artjoms Sinkarovs, Sven-Bodo Scholz, Robert J. Stewart, Hans-Nikolai Vießmann
2017	—	`conf`	Towards Generic Scalable Parallel Combinatorial Search. PASCO@ISSAC Blair Archibald, Patrick Maier, Robert J. Stewart, Phil Trinder, Jan De Beule
2016	—	`conf`	A Dataflow IR for Memory Efficient RIPL Compilation to FPGAs. ICA3PP Workshops Robert J. Stewart, Greg J. Michaelson, Deepayan Bhowmik, Paulo Garcia, Andy Wallace
2016	—	`conf`	An Image Processing Language: External and Shallow/Deep Embeddings. RWDSL@CGO Robert J. Stewart
2016	—	`ed.`	Proceedings of the 1st International Workshop on Real World Domain Specific Languages, RWDSL@CGO 2016, Barcelona, Spain, March 12, 2016 RWDSL@CGO Robert J. Stewart, Greg Michaelson
2016	J	`jnl`	Transparent fault tolerance for scalable functional computation. J. Funct. Program. Robert J. Stewart, Patrick Maier, Phil Trinder
2015	J	`jnl`	RIPL: An Efficient Image Processing DSL for FPGAs. CoRR Robert J. Stewart, Deepayan Bhowmik, Greg Michaelson, Andrew M. Wallace
2014	—	`conf`	A Demonstration of a Natural Language Query Interface to an Event-Based Semantic Web Triplestore. ESWC (Satellite Events) Richard A. Frost, Jonathon A. Donais, Eric Matthews, Wale Agboola, Robert J. Stewart
2014	—	`conf`	Profile driven dataflow optimisation of mean shift visual tracking. GlobalSIP Deepayan Bhowmik, Andrew M. Wallace, Robert J. Stewart, Xinyuan Qian, Greg J. Michaelson
2014	J	`jnl`	Reliable scalable symbolic computation: The design of SymGridPar2. Comput. Lang. Syst. Struct. Patrick Maier, Robert J. Stewart, Philip W. Trinder
2014	C	`conf`	The HdpH DSLs for scalable reliable computation. Haskell Patrick Maier, Robert J. Stewart, Phil Trinder
2013	Misc	`conf`	Demonstrating SerenA: Chance Encounters in the Space of Ideas. PAAMS Jamie Forth, Athanasios Giannimaras, Geraint A. Wiggins, Robert J. Stewart, Diana Bental, Ruth Aylett, Deborah Maxwell, Hadi Mehrpouya, Jamie Shek, Mel Woods
2013	—	`—`	Reliable massively parallel symbolic computing: fault tolerance for a distributed Haskell. Robert J. Stewart
2013	Misc	`conf`	Reliable scalable symbolic computation: the design of SymGridPar2. SAC Patrick Maier, Robert J. Stewart, Philip W. Trinder
2013	Misc	`conf`	SerenA: A Multi-site Pervasive Agent Environment That Supports Serendipitous Discovery in Research. PAAMS Jamie Forth, Thanasis Giannimaras, Geraint A. Wiggins, Robert J. Stewart, Diana Bental, Ruth Aylett, Deborah Maxwell, Hadi Mehrpouya, Jamie Shek, Mel Woods
2012	—	`conf`	Supervised Workpools for Reliable Massively Parallel Computing. Trends in Functional Programming Robert J. Stewart, Phil Trinder, Patrick Maier
2011	—	`conf`	Comparing High Level MapReduce Query Languages. APPT Robert J. Stewart, Philip W. Trinder, Hans-Wolfgang Loidl