Robert J. Stewart
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
18
Venues
14
Active years
2013–2024
Best venue rank
A*
Where they publish
Papers
18 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2024 | HASKELL | Cloaca: A Concurrent Hardware Garbage Collector for Non-strict Functional Languages. | Craig R. Ramsay, Robert J. Stewart |
| 2024 | ICSE | Integrating Canvas and GitLab to Enrich Learning Processes. | Laura Schauer, Robert J. Stewart, Manuel Maarek |
| 2023 | LPAR | Logic of Differentiable Logics: Towards a Uniform Semantics of DL. | Natalia Slusarz, Ekaterina Komendantskaya, Matthew L. Daggitt, Robert J. Stewart, Kathrin Stark |
| 2022 | CAV | Differentiable Logics for Neural Network Training and Verification. | Natalia Slusarz, Ekaterina Komendantskaya, Matthew L. Daggitt, Robert J. Stewart |
| 2022 | DASC | Design-Space Exploration of Quantized Transposed Convolutional Neural Networks for FPGA-based Systems-on-Chip. | Cristian Sestito, Stefania Perri, Robert J. Stewart |
| 2022 | GECCO | Why functional program synthesis matters (in the realm of genetic programming). | Fraser Garrow, Michael A. Lones, Robert J. Stewart |
| 2022 | IJCNN | Accuracy Evaluation of Transposed Convolution-Based Quantized Neural Networks. | Cristian Sestito, Stefania Perri, Robert J. Stewart |
| 2020 | IJCNN | Relative Robustness of Quantized Neural Networks Against Adversarial Attacks. | Kirsty Duncan, Ekaterina Komendantskaya, Robert J. Stewart, Michael A. Lones |
| 2019 | EuroPar | Implementing YewPar: A Framework for Parallel Tree Search. | Blair Archibald, Patrick Maier, Robert J. Stewart, Phil Trinder |
| 2019 | SAC | Graphical program transformations for embedded systems. | Robert J. Stewart, Bernard Berthomieu, Paulo Garcia, Idris Ibrahim, Greg Michaelson, Andrew M. Wallace |
| 2018 | ICIP | Parallel Mean Shift Accuracy and Performance Trade-Offs. | Kirsty R. Duncan, Robert J. Stewart, Greg Michaelson |
| 2017 | ISSAC | Towards Generic Scalable Parallel Combinatorial Search. | Blair Archibald, Patrick Maier, Robert J. Stewart, Phil Trinder, Jan De Beule |
| 2016 | CGO | An Image Processing Language: External and Shallow/Deep Embeddings. | Robert J. Stewart |
| 2016 | ICA3PP | A Dataflow IR for Memory Efficient RIPL Compilation to FPGAs. | Robert J. Stewart, Greg J. Michaelson, Deepayan Bhowmik, Paulo Garcia, Andy Wallace |
| 2014 | HASKELL | The HdpH DSLs for scalable reliable computation. | Patrick Maier, Robert J. Stewart, Phil Trinder |
| 2013 | PAAMS | 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 |
| 2013 | PAAMS | 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 |
| 2013 | SAC | Reliable scalable symbolic computation: the design of SymGridPar2. | Patrick Maier, Robert J. Stewart, Philip W. Trinder |