@inproceedings{DBLP:conf/haskell/RamsayS24,
author = {Craig Ramsay and
Robert J. Stewart},
editor = {Niki Vazou and
J. Garrett Morris},
title = {Cloaca: {A} Concurrent Hardware Garbage Collector for Non-strict Functional
Languages},
booktitle = {Proceedings of the 17th {ACM} {SIGPLAN} International Haskell Symposium,
Haskell 2024, Milan, Italy, September 6-7, 2024},
pages = {41--54},
publisher = {{ACM}},
year = {2024},
url = {https://doi.org/10.1145/3677999.3678277},
doi = {10.1145/3677999.3678277},
timestamp = {Sun, 08 Sep 2024 16:06:07 +0200},
biburl = {https://dblp.org/rec/conf/haskell/RamsayS24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifl/RamsayS23,
author = {Craig Ramsay and
Robert J. Stewart},
title = {Heron: Modern Hardware Graph Reduction},
booktitle = {The 35th Symposium on Implementation and Application of Functional
Languages, {IFL} 2023, Braga, Portugal, August 29-31, 2023},
pages = {3:1--3:12},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3652561.3652564},
doi = {10.1145/3652561.3652564},
timestamp = {Wed, 04 Sep 2024 08:13:03 +0200},
biburl = {https://dblp.org/rec/conf/ifl/RamsayS23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/SchauerSM24,
author = {Laura Schauer and
Robert J. Stewart and
Manuel Maarek},
title = {Integrating Canvas and GitLab to Enrich Learning Processes},
booktitle = {Proceedings of the 46th International Conference on Software Engineering:
Software Engineering Education and Training, SEET@ICSE 2024, Lisbon,
Portugal, April 14-20, 2024},
pages = {180--190},
publisher = {{ACM}},
year = {2024},
url = {https://doi.org/10.1145/3639474.3640056},
doi = {10.1145/3639474.3640056},
timestamp = {Mon, 24 Jun 2024 15:20:25 +0200},
biburl = {https://dblp.org/rec/conf/icse/SchauerSM24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{jsps2023,
author = {Cristian Sestito and Stefania Perri and Robert Stewart},
title = {{FPGA Design of Transposed Convolutions for Deep Learning Using High‑Level Synthesis}},
journal = {Journal of Signal Processing Systems},
year = {2023},
month = {August},
url = {https://rdcu.be/diuQ4},
doi = {10.1007/s11265-023-01883-7}
}
@inproceedings{DBLP:conf/europar/SelvacoumarSLS22,
author = {Akilan Selvacoumar and
Rob Stewart and
Hans{-}Wolfgang Loidl and
Ahmad Ryad Soobhany},
editor = {Jeremy Singer and
Yehia Elkhatib and
Dora Blanco Heras and
Patrick Diehl and
Nick Brown and
Aleksandar Ilic},
title = {Benchmarking Parallelism in Unikernels},
booktitle = {Euro-Par 2022: Parallel Processing Workshops - Euro-Par 2022 International
Workshops, Glasgow, UK, August 22-26, 2022, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {13835},
pages = {286--293},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-31209-0_23},
doi = {10.1007/978-3-031-31209-0\_23},
timestamp = {Wed, 17 May 2023 21:55:41 +0200},
biburl = {https://dblp.org/rec/conf/europar/SelvacoumarSLS22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2303-10650,
author = {Natalia Slusarz and
Ekaterina Komendantskaya and
Matthew L. Daggitt and
Robert J. Stewart and
Kathrin Stark},
title = {Logic of Differentiable Logics: Towards a Uniform Semantics of {DL}},
journal = {CoRR},
volume = {abs/2303.10650},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2303.10650},
doi = {10.48550/arXiv.2303.10650},
eprinttype = {arXiv},
eprint = {2303.10650},
timestamp = {Wed, 22 Mar 2023 14:41:36 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2303-10650.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/SlusarzKDS22,
author = {Natalia Slusarz and
Ekaterina Komendantskaya and
Matthew L. Daggitt and
Robert J. Stewart},
editor = {Omri Isac and
Radoslav Ivanov and
Guy Katz and
Nina Narodytska and
Laura Nenzi},
title = {Differentiable Logics for Neural Network Training and Verification},
booktitle = {Software Verification and Formal Methods for ML-Enabled Autonomous
Systems - 5th International Workshop, FoMLAS 2022, and 15th International
Workshop, {NSV} 2022, Haifa, Israel, July 31 - August 1, and August
11, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13466},
pages = {67--77},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-21222-2\_5},
doi = {10.1007/978-3-031-21222-2\_5},
timestamp = {Mon, 19 Dec 2022 08:47:37 +0100},
biburl = {https://dblp.org/rec/conf/cav/SlusarzKDS22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@INPROCEEDINGS {,
author = "Sestito, C. and Perri, S. and Stewart, R.",
title = "High-Level Synthesis of Hardware Accelerators for Deconvolution Engines",
booktitle = "International Conference on Advances in Circuits, Electronics and Micro-electronics (CENICS)",
year = "2022",
url = "https://www.thinkmind.org/index.php?view=article&articleid=cenics_2022_1_10_50003"
}
@INPROCEEDINGS {,
author = "Sestito, C. and Perri, S. and Stewart, R.",
title = "Design-Space Exploration of Quantized Transposed Convolutional Neural Networks for FPGA-based Systems-on-Chip",
booktitle = "Pervasive Intelligence and Computing (PiCom)",
doi = {10.1109/DASC/PiCom/CBDCom/Cy55231.2022.9927825},
year = "2022"
}
@inproceedings{DBLP:conf/gecco/GarrowLS22,
author = {Fraser Garrow and
Michael A. Lones and
Robert J. Stewart},
title = {Why functional program synthesis matters (in the realm of genetic
programming)},
booktitle = {{GECCO} '22: Genetic and Evolutionary Computation Conference, Companion
Volume, Boston, Massachusetts, USA, July 9 - 13, 2022},
pages = {1844--1853},
publisher = {{ACM}},
year = {2022},
doi = {10.1145/3520304.3534045},
timestamp = {Sun, 02 Oct 2022 16:01:45 +0200},
biburl = {https://dblp.org/rec/conf/gecco/GarrowLS22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@INPROCEEDINGS{9892671, author={Sestito, Cristian and Perri, Stefania and Stewart, Robert}, booktitle={2022 International Joint Conference
on Neural Networks (IJCNN)}, title={Accuracy Evaluation of
Transposed Convolution-Based Quantized Neural Networks},
year={2022}, volume={}, number={}, pages={1-8},
doi={10.1109/IJCNN55064.2022.9892671}}
@Article{electronics10040396,
AUTHOR = {Stewart, Robert and Nowlan, Andrew and Bacchus, Pascal and Ducasse, Quentin and Komendantskaya, Ekaterina},
TITLE = {Optimising Hardware Accelerated Neural Networks with Quantisation and a Knowledge Distillation Evolutionary Algorithm},
JOURNAL = {Electronics},
VOLUME = {10},
YEAR = {2021},
NUMBER = {4},
ARTICLE-NUMBER = {396},
URL = {https://www.mdpi.com/2079-9292/10/4/396},
ISSN = {2079-9292},
ABSTRACT = {This paper compares the latency, accuracy, training time and hardware costs of neural networks compressed with our new multi-objective evolutionary algorithm called NEMOKD, and with quantisation. We evaluate NEMOKD on Intel’s Movidius Myriad X VPU processor, and quantisation on Xilinx’s programmable Z7020 FPGA hardware. Evolving models with NEMOKD increases inference accuracy by up to 82% at the cost of 38% increased latency, with throughput performance of 100–590 image frames-per-second (FPS). Quantisation identifies a sweet spot of 3 bit precision in the trade-off between latency, hardware requirements, training time and accuracy. Parallelising FPGA implementations of 2 and 3 bit quantised neural networks increases throughput from 6 k FPS to 373 k FPS, a 62× speedup.},
DOI = {10.3390/electronics10040396}
}
@inproceedings{DBLP:conf/ijcnn/DuncanKSL20,
author = {Kirsty Duncan and
Ekaterina Komendantskaya and
Robert J. Stewart and
Michael A. Lones},
title = {Relative Robustness of Quantized Neural Networks Against Adversarial
Attacks},
booktitle = {2020 International Joint Conference on Neural Networks, {IJCNN} 2020,
Glasgow, United Kingdom, July 19-24, 2020},
pages = {1--8},
publisher = {{IEEE}},
year = {2020},
url = {http://www.macs.hw.ac.uk/~rs46/papers/ijcnn2020/ijcnn-2020.pdf},
doi = {10.1109/IJCNN48605.2020.9207596},
timestamp = {Mon, 01 Aug 2022 08:51:51 +0200},
biburl = {https://dblp.org/rec/conf/ijcnn/DuncanKSL20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/arc/BacchusSK20,
author = {Pascal Bacchus and
Robert J. Stewart and
Ekaterina Komendantskaya},
title = {Accuracy, Training Time and Hardware Efficiency Trade-Offs for Quantized
Neural Networks on FPGAs},
booktitle = {Applied Reconfigurable Computing. Architectures, Tools, and Applications
- 16th International Symposium, {ARC} 2020, Toledo, Spain, April 1-3,
2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12083},
pages = {121--135},
publisher = {Springer},
year = {2020},
url = {https://www.macs.hw.ac.uk/~rs46/papers/arc2020/arc-2020.pdf},
doi = {10.1007/978-3-030-44534-8_10},
timestamp = {Mon, 01 Aug 2022 08:51:50 +0200},
biburl = {https://dblp.org/rec/conf/arc/BacchusSK20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppopp/ArchibaldMST20,
author = {Blair Archibald and
Patrick Maier and
Rob Stewart and
Phil Trinder},
title = {YewPar: skeletons for exact combinatorial search},
booktitle = {PPoPP '20: 25th {ACM} {SIGPLAN} Symposium on Principles and Practice
of Parallel Programming, San Diego, California, USA, February 22-26,
2020},
pages = {292--307},
publisher = {{ACM}},
year = {2020},
url =
{https://www.macs.hw.ac.uk/~rs46/papers/ppopp2020/ppopp-2020.pdf},
file = {https://doi.org/10.5525/gla.researchdata.935},
doi = {10.1145/3332466.3374537},
timestamp = {Sun, 12 Jun 2022 19:46:08 +0200},
biburl = {https://dblp.org/rec/conf/ppopp/ArchibaldMST20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsa/StewartBGIMW19,
author = {Robert J. Stewart and
Bernard Berthomieu and
Paulo Garcia and
Idris Ibrahim and
Greg Michaelson and
Andrew M. Wallace},
title = {Verifying parallel dataflow transformations with model checking and
its application to FPGAs},
journal = {J. Syst. Archit.},
volume = {101},
year = {2019},
url =
{http://www.macs.hw.ac.uk/~rs46/papers/jsa2019/jsa-2019.pdf},
file = {https://doi.org/10.17861/85ff96b4-2c6b-4f58-8322-74f0ab45f684},
doi = {10.1016/j.sysarc.2019.101657},
timestamp = {Mon, 01 Aug 2022 08:51:49 +0200},
biburl = {https://dblp.org/rec/journals/jsa/StewartBGIMW19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/europar/Archibald0ST19,
author = {Blair Archibald and
Patrick Maier and
Robert J. Stewart and
Phil Trinder},
title = {Implementing YewPar: {A} Framework for Parallel Tree Search},
booktitle = {Euro-Par 2019: Parallel Processing - 25th International Conference
on Parallel and Distributed Computing, Gottingen, Germany,
August 26-30, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11725},
pages = {184--196},
publisher = {Springer},
year = {2019},
url = {http://www.macs.hw.ac.uk/~rs46/papers/europar2019/europar2019.pdf},
doi = {10.1007/978-3-030-29400-7_14},
timestamp = {Mon, 01 Aug 2022 08:51:50 +0200},
biburl = {https://dblp.org/rec/conf/europar/Archibald0ST19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/StewartBGIMW19,
author = {Robert J. Stewart and
Bernard Berthomieu and
Paulo Garcia and
Idris Ibrahim and
Greg Michaelson and
Andrew M. Wallace},
title = {Graphical program transformations for embedded systems},
booktitle = {Proceedings of the 34th {ACM/SIGAPP} Symposium on Applied Computing,
{SAC} 2019, Limassol, Cyprus, April 8-12, 2019},
pages = {647--649},
publisher = {{ACM}},
year = {2019},
url = {http://www.macs.hw.ac.uk/~rs46/papers/sac2019/sac-2019.pdf},
doi = {10.1145/3297280.3297555},
timestamp = {Mon, 01 Aug 2022 08:51:51 +0200},
biburl = {https://dblp.org/rec/conf/sac/StewartBGIMW19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jimaging/GarciaBSMW19,
author = {Paulo Garcia and
Deepayan Bhowmik and
Robert J. Stewart and
Greg Michaelson and
Andrew M. Wallace},
title = {Optimized Memory Allocation and Power Minimization for FPGA-Based
Image Processing},
journal = {J. Imaging},
volume = {5},
number = {1},
pages = {7},
year = {2019},
url = {https://doi.org/10.3390/jimaging5010007},
doi = {10.3390/jimaging5010007},
timestamp = {Mon, 01 Aug 2022 08:51:49 +0200},
biburl = {https://dblp.org/rec/journals/jimaging/GarciaBSMW19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sips/ModasBSBAM18,
author = {Apostolos Modas and
Simone Casale Brunet and
Robert J. Stewart and
Endri Bezati and
Junaid Jameel Ahmad and
Marco Mattavelli},
title = {Shared-variable Synchronization Approaches for Dynamic Data Flow Programs},
booktitle = {2018 {IEEE} International Workshop on Signal Processing Systems, SiPS
2018, Cape Town, South Africa, October 21-24, 2018},
pages = {263--268},
publisher = {{IEEE}},
year = {2018},
url = {http://www.macs.hw.ac.uk/~rs46/papers/sips2018/sips-2018.pdf},
doi = {10.1109/SiPS.2018.8598431},
timestamp = {Mon, 01 Aug 2022 08:51:51 +0200},
biburl = {https://dblp.org/rec/conf/sips/ModasBSBAM18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icip/DuncanSM18,
author = {Kirsty R. Duncan and
Robert J. Stewart and
Greg Michaelson},
title = {Parallel Mean Shift Accuracy and Performance Trade-Offs},
booktitle = {2018 {IEEE} International Conference on Image Processing, {ICIP} 2018,
Athens, Greece, October 7-10, 2018},
pages = {2197--2201},
publisher = {{IEEE}},
year = {2018},
url =
{http://www.macs.hw.ac.uk/~rs46/papers/icip2018/icip-2018.pdf},
file = {https://doi.org/10.17861/fd3ee9dd-dd6d-47f2-8b22-12e634cb6556},
doi = {10.1109/ICIP.2018.8451199},
timestamp = {Mon, 01 Aug 2022 08:51:50 +0200},
biburl = {https://dblp.org/rec/conf/icip/DuncanSM18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifl/SinkarovsSSV17,
author = {Artjoms Sinkarovs and
Sven{-}Bodo Scholz and
Robert J. Stewart and
Hans{-}Nikolai Viessmann},
title = {Recursive Array Comprehensions in a Call-by-Value Language},
booktitle = {Proceedings of the 29th Symposium on Implementation and Application
of Functional Programming Languages, {IFL} 2017, Bristol, UK, August
30 - September 01, 2017},
pages = {5:1--5:12},
publisher = {{ACM}},
year = {2017},
url = {http://www.macs.hw.ac.uk/~rs46/papers/ifl2017/ifl-2017.pdf},
doi = {10.1145/3205368.3205373},
timestamp = {Mon, 01 Aug 2022 08:51:50 +0200},
biburl = {https://dblp.org/rec/conf/ifl/SinkarovsSSV17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/trets/StewartDMGBW18,
author = {Rob Stewart and
Kirsty Duncan and
Greg Michaelson and
Paulo Garcia and
Deepayan Bhowmik and
Andrew M. Wallace},
title = {{RIPL:} {A} Parallel Image Processing Language for FPGAs},
journal = {{ACM} Trans. Reconfigurable Technol. Syst.},
volume = {11},
number = {1},
pages = {7:1--7:24},
year = {2018},
url =
{http://www.macs.hw.ac.uk/~rs46/papers/trets2018/trets-2018.pdf},
file = {http://dx.doi.org/10.17861/ca09418a-cbc2-4d28-98a1-746267a26f9d},
doi = {10.1145/3180481},
timestamp = {Fri, 24 Apr 2020 16:35:44 +0200},
biburl = {https://dblp.org/rec/journals/trets/StewartDMGBW18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/arc/GarciaBWSM18,
author = {Paulo Garcia and
Deepayan Bhowmik and
Andrew M. Wallace and
Robert J. Stewart and
Greg Michaelson},
title = {Area-Energy Aware Dataflow Optimisation of Visual Tracking Systems},
booktitle = {Applied Reconfigurable Computing. Architectures, Tools, and Applications
- 14th International Symposium, {ARC} 2018, Santorini, Greece, May
2-4, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10824},
pages = {523--536},
publisher = {Springer},
year = {2018},
url = {http://www.macs.hw.ac.uk/~rs46/papers/arc2018/arc2018.pdf},
doi = {10.1007/978-3-319-78890-6_42},
timestamp = {Mon, 01 Aug 2022 08:51:50 +0200},
biburl = {https://dblp.org/rec/conf/arc/GarciaBWSM18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jpdc/ArchibaldMMST18,
author = {Blair Archibald and
Patrick Maier and
Ciaran McCreesh and
Robert J. Stewart and
Phil Trinder},
title = {Replicable parallel branch and bound search},
journal = {J. Parallel Distributed Comput.},
volume = {113},
pages = {92--114},
year = {2018},
url =
{http://www.macs.hw.ac.uk/~rs46/papers/jpdc2017/jpdc-2017.pdf},
file = {https://doi.org/doi:10.5525/gla.researchdata.442},
doi = {10.1016/j.jpdc.2017.10.010},
timestamp = {Mon, 01 Aug 2022 08:51:49 +0200},
biburl = {https://dblp.org/rec/journals/jpdc/ArchibaldMMST18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dasip/BhowmikGWSM17,
author = {Deepayan Bhowmik and
Paulo Garcia and
Andrew M. Wallace and
Robert J. Stewart and
Greg Michaelson},
title = {Power efficient dataflow design for a heterogeneous smart camera architecture},
booktitle = {2017 Conference on Design and Architectures for Signal and Image Processing,
{DASIP} 2017, Dresden, Germany, September 27-29, 2017},
pages = {1--6},
publisher = {{IEEE}},
year = {2017},
url = {http://www.macs.hw.ac.uk/~rs46/papers/dasip2017/dasip-2017.pdf},
doi = {10.1109/DASIP.2017.8122128},
timestamp = {Mon, 01 Aug 2022 08:51:50 +0200},
biburl = {https://dblp.org/rec/conf/dasip/BhowmikGWSM17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/Archibald0STB17,
author = {Blair Archibald and
Patrick Maier and
Robert J. Stewart and
Phil Trinder and
Jan De Beule},
title = {Towards Generic Scalable Parallel Combinatorial Search},
booktitle = {Proceedings of the International Workshop on Parallel Symbolic Computation,
PASCO@ISSAC 2017, Kaiserslautern, Germany, July 23-24, 2017},
pages = {6:1--6:10},
publisher = {{ACM}},
year = {2017},
url =
{http://www.macs.hw.ac.uk/~rs46/papers/pasco2017/pasco-2017.pdf},
file = {http://dx.doi.org/10.5525/gla.researchdata.430},
doi = {10.1145/3115936.3115942},
timestamp = {Mon, 01 Aug 2022 08:51:51 +0200},
biburl = {https://dblp.org/rec/conf/issac/Archibald0STB17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cgo/2019rwdsl,
editor = {Robert J. Stewart and
Greg J. Michaelson},
title = {Proceedings of the 4th {ACM} International Workshop on Real World
Domain Specific Languages, RWDSL@CGO 2019, Washington, DC, DC, USA,
February 17, 2019},
publisher = {{ACM}},
year = {2019},
url = {https://dl.acm.org/citation.cfm?id=3300111},
isbn = {978-1-4503-6637-3},
timestamp = {Mon, 01 Aug 2022 08:51:50 +0200},
biburl = {https://dblp.org/rec/conf/cgo/2019rwdsl.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cgo/2017rwdsl,
editor = {Robert J. Stewart and
Greg Michaelson},
title = {Proceedings of the 2nd International Workshop on Real World Domain
Specific Languages, RWDSL@CGO 2017, Austin, TX, USA, February 4, 2017},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3039895},
doi = {10.1145/3039895},
isbn = {978-1-4503-4845-4},
timestamp = {Mon, 01 Aug 2022 08:51:50 +0200},
biburl = {https://dblp.org/rec/conf/cgo/2017rwdsl.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cgo/2016rwdsl,
editor = {Robert J. Stewart and
Greg Michaelson},
title = {Proceedings of the 1st International Workshop on Real World Domain
Specific Languages, RWDSL@CGO 2016, Barcelona, Spain, March 12, 2016},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2889420},
doi = {10.1145/2889420},
isbn = {978-1-4503-4051-9},
timestamp = {Mon, 01 Aug 2022 08:51:50 +0200},
biburl = {https://dblp.org/rec/conf/cgo/2016rwdsl.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ica3pp/StewartMBGW16,
author = {Robert J. Stewart and
Greg J. Michaelson and
Deepayan Bhowmik and
Paulo Garcia and
Andy Wallace},
title = {A Dataflow {IR} for Memory Efficient {RIPL} Compilation to FPGAs},
booktitle = {Algorithms and Architectures for Parallel Processing - {ICA3PP} 2016
Collocated Workshops: SCDT, TAPEMS, BigTrust, UCER, DLMCS, Granada,
Spain, December 14-16, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10049},
pages = {174--188},
publisher = {Springer},
year = {2016},
url =
{http://www.macs.hw.ac.uk/~rs46/papers/dlmcs2016/RIPL-dlmcs2016.pdf},
file = {http://dx.doi.org/10.17861/283859ba-f53b-40b9-8202-2ee4e302bc0f},
doi = {10.1007/978-3-319-49956-7_14},
timestamp = {Mon, 01 Aug 2022 08:51:50 +0200},
biburl = {https://dblp.org/rec/conf/ica3pp/StewartMBGW16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cgo/Stewart16,
author = {Robert J. Stewart},
editor = {Robert J. Stewart and
Greg Michaelson},
title = {An Image Processing Language: External and Shallow/Deep Embeddings},
booktitle = {Proceedings of the 1st International Workshop on Real World Domain
Specific Languages, RWDSL@CGO 2016, Barcelona, Spain, March 12, 2016},
pages = {6:1--6:10},
publisher = {{ACM}},
year = {2016},
url = {https://dl.acm.org/citation.cfm?id=2892270},
file = {http://dx.doi.org/10.17861/df180189-04c9-4ab1-aab6-688efa00b17b},
timestamp = {Mon, 01 Aug 2022 08:51:50 +0200},
biburl = {https://dblp.org/rec/conf/cgo/Stewart16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/vlsisp/StewartBWM17,
author = {Robert J. Stewart and
Deepayan Bhowmik and
Andrew M. Wallace and
Greg Michaelson},
title = {Profile Guided Dataflow Transformation for FPGAs and CPUs},
journal = {J. Signal Process. Syst.},
volume = {87},
number = {1},
pages = {3--20},
year = {2017},
url = {https://doi.org/10.1007/s11265-015-1044-y},
file = {http://dx.doi.org/10.17861/7925c541-42d9-4ded-9a01-5ac652d51353},
doi = {10.1007/s11265-015-1044-y},
timestamp = {Mon, 01 Aug 2022 08:51:49 +0200},
biburl = {https://dblp.org/rec/journals/vlsisp/StewartBWM17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/StewartBMW15,
author = {Robert J. Stewart and
Deepayan Bhowmik and
Greg Michaelson and
Andrew M. Wallace},
title = {{RIPL:} An Efficient Image Processing {DSL} for FPGAs},
journal = {CoRR},
volume = {abs/1508.07136},
year = {2015},
url = {http://www.macs.hw.ac.uk/~rs46/papers/fsp2015/fsp-2015.pdf},
eprinttype = {arXiv},
eprint = {1508.07136},
timestamp = {Mon, 01 Aug 2022 08:51:49 +0200},
biburl = {https://dblp.org/rec/journals/corr/StewartBMW15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jfp/StewartMT16,
author = {Robert J. Stewart and
Patrick Maier and
Phil Trinder},
title = {Transparent fault tolerance for scalable functional computation},
journal = {J. Funct. Program.},
volume = {26},
pages = {e5},
year = {2016},
url =
{http://www.macs.hw.ac.uk/~rs46/papers/jfp2015/JFP2015-Stewart.pdf},
file = {http://dx.doi.org/10.5525/gla.researchdata.189},
doi = {10.1017/S095679681600006X},
timestamp = {Mon, 01 Aug 2022 08:51:49 +0200},
biburl = {https://dblp.org/rec/journals/jfp/StewartMT16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/globalsip/BhowmikWSQM14,
author = {Deepayan Bhowmik and
Andrew M. Wallace and
Robert J. Stewart and
Xinyuan Qian and
Greg J. Michaelson},
title = {Profile driven dataflow optimisation of mean shift visual tracking},
booktitle = {2014 {IEEE} Global Conference on Signal and Information Processing,
GlobalSIP 2014, Atlanta, GA, USA, December 3-5, 2014},
pages = {1--5},
publisher = {{IEEE}},
year = {2014},
url = {http://www.macs.hw.ac.uk/~rs46/papers/globalsip2014/globalsip-2014.pdf},
doi = {10.1109/GlobalSIP.2014.7032066},
timestamp = {Mon, 01 Aug 2022 08:51:50 +0200},
biburl = {https://dblp.org/rec/conf/globalsip/BhowmikWSQM14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/haskell/MaierST14,
author = {Patrick Maier and
Robert J. Stewart and
Phil Trinder},
title = {The HdpH DSLs for scalable reliable computation},
booktitle = {Proceedings of the 2014 {ACM} {SIGPLAN} symposium on Haskell, Gothenburg,
Sweden, September 4-5, 2014},
pages = {65--76},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2633357.2633363},
doi = {10.1145/2633357.2633363},
timestamp = {Mon, 01 Aug 2022 08:51:50 +0200},
biburl = {https://dblp.org/rec/conf/haskell/MaierST14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esws/FrostDMAS14,
author = {Richard A. Frost and
Jonathon A. Donais and
Eric Matthews and
Wale Agboola and
Robert J. Stewart},
title = {A Demonstration of a Natural Language Query Interface to an Event-Based
Semantic Web Triplestore},
booktitle = {The Semantic Web: {ESWC} 2014 Satellite Events - {ESWC} 2014 Satellite
Events, Anissaras, Crete, Greece, May 25-29, 2014, Revised Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {8798},
pages = {343--348},
publisher = {Springer},
year = {2014},
url = {http://www.macs.hw.ac.uk/~rs46/papers/eswc2014/ESWC_DEMO.pdf},
doi = {10.1007/978-3-319-11955-7_46},
timestamp = {Mon, 01 Aug 2022 08:51:50 +0200},
biburl = {https://dblp.org/rec/conf/esws/FrostDMAS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cl/MaierST14,
author = {Patrick Maier and
Robert J. Stewart and
Philip W. Trinder},
title = {Reliable scalable symbolic computation: The design of SymGridPar2},
journal = {Comput. Lang. Syst. Struct.},
volume = {40},
number = {1},
pages = {19--35},
year = {2014},
url = {https://doi.org/10.1016/j.cl.2014.03.001},
doi = {10.1016/j.cl.2014.03.001},
timestamp = {Mon, 01 Aug 2022 08:51:49 +0200},
biburl = {https://dblp.org/rec/journals/cl/MaierST14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/ethos/Stewart13,
author = {Robert J. Stewart},
title = {Reliable massively parallel symbolic computing: fault tolerance for
a distributed Haskell},
organization = {School of Mathematical and Computer Sciences},
school = {Heriot-Watt University, Edinburgh, {UK}},
year = {2013},
type = {Doctoral Dissertation},
url = {phd-thesis.html},
timestamp = {Mon, 01 Aug 2022 08:51:53 +0200},
biburl = {https://dblp.org/rec/phd/ethos/Stewart13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/MaierST13,
author = {Patrick Maier and
Robert J. Stewart and
Philip W. Trinder},
title = {Reliable scalable symbolic computation: the design of SymGridPar2},
booktitle = {Proceedings of the 28th Annual {ACM} Symposium on Applied Computing,
{SAC} '13, Coimbra, Portugal, March 18-22, 2013},
pages = {1674--1681},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2480362.2480677},
doi = {10.1145/2480362.2480677},
timestamp = {Mon, 01 Aug 2022 08:51:51 +0200},
biburl = {https://dblp.org/rec/conf/sac/MaierST13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/paams/ForthGWSBAMMSW13,
author = {Jamie Forth and
Thanasis Giannimaras and
Geraint A. Wiggins and
Robert J. Stewart and
Diana Bental and
Ruth Aylett and
Deborah Maxwell and
Hadi Mehrpouya and
Jamie Shek and
Mel Woods},
title = {SerenA: {A} Multi-site Pervasive Agent Environment That Supports Serendipitous
Discovery in Research},
booktitle = {Advances on Practical Applications of Agents and Multi-Agent Systems,
11th International Conference, {PAAMS} 2013, Salamanca, Spain, May
22-24, 2013. Proceedings},
volume = {7879},
pages = {85--96},
publisher = {Springer},
year = {2013},
url = {http://www.macs.hw.ac.uk/~rs46/papers/paams2013/paams2013.pdf},
doi = {10.1007/978-3-642-38073-0_8},
timestamp = {Sun, 02 Oct 2022 16:13:19 +0200},
biburl = {https://dblp.org/rec/conf/paams/ForthGWSBAMMSW13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/paams/ForthGWSBAMMSW13a,
author = {Jamie Forth and
Athanasios Giannimaras and
Geraint A. Wiggins and
Robert J. Stewart and
Diana Bental and
Ruth Aylett and
Deborah Maxwell and
Hadi Mehrpouya and
Jamie Shek and
Mel Woods},
title = {Demonstrating SerenA: Chance Encounters in the Space of Ideas},
booktitle = {Advances on Practical Applications of Agents and Multi-Agent Systems,
11th International Conference, {PAAMS} 2013, Salamanca, Spain, May
22-24, 2013. Proceedings},
volume = {7879},
pages = {275--278},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-38073-0_26},
doi = {10.1007/978-3-642-38073-0_26},
timestamp = {Sun, 02 Oct 2022 16:13:19 +0200},
biburl = {https://dblp.org/rec/conf/paams/ForthGWSBAMMSW13a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sfp/StewartTM12,
author = {Robert J. Stewart and
Phil Trinder and
Patrick Maier},
title = {Supervised Workpools for Reliable Massively Parallel Computing},
booktitle = {Trends in Functional Programming - 13th International Symposium, {TFP}
2012, St. Andrews, UK, June 12-14, 2012, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {7829},
pages = {247--262},
publisher = {Springer},
year = {2012},
url = {http://www.macs.hw.ac.uk/~rs46/papers/tfp2012/TFP2012_Robert_Stewart.pdf},
doi = {10.1007/978-3-642-40447-4_16},
timestamp = {Mon, 01 Aug 2022 08:51:51 +0200},
biburl = {https://dblp.org/rec/conf/sfp/StewartTM12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@INPROCEEDINGS {,
author = "Aylett, R. and Bental, D. S. and Stewart, R. J. and
Forth, J. and Wiggins, G.",
title = "Supporting Serendipitous Discovery",
booktitle = "Digital Futures, The Third Annual Digital Economy All Hands Conference, Aberdeen, Scotland",
year = "2012",
url = "http://www.macs.hw.ac.uk/~rs46/papers/df2012/DF2012.pdf"
}
@INPROCEEDINGS {,
author = "Bental, D. and Aylett, R. and Stewart, R. and Maxwell, D. and Woods, M.",
title = "Exposing Connections to Support Serendipitous Discovery",
booktitle = "Influencing People with Information. Aberdeen, Scotland",
year = "2012",
url = "http://www.macs.hw.ac.uk/~rs46/papers/sipi2012/sipi-2012.pdf"
}
@inproceedings{DBLP:conf/appt/StewartTL11,
author = {Robert J. Stewart and
Philip W. Trinder and
Hans-Wolfgang Loidl},
title = {Comparing High Level MapReduce Query Languages},
booktitle = {Advanced Parallel Processing Technologies - 9th International Symposium,
{APPT} 2011, Shanghai, China, September 26-27, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6965},
pages = {58--72},
publisher = {Springer},
year = {2011},
url = {http://www.macs.hw.ac.uk/~rs46/papers/appt2011/RobertStewart_APPT2011.pdf},
doi = {10.1007/978-3-642-24151-2_5},
timestamp = {Mon, 01 Aug 2022 08:51:50 +0200},
biburl = {https://dblp.org/rec/conf/appt/StewartTL11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@TECHREPORT {,
author = "Stewart, R.J. and Singer, J.",
title = "Comparing ForkJoin vs MapReduce",
institution = "Heriot-Watt University",
year = "2012",
number = "HW-MACS-TR-0096",
url = "http://www.macs.hw.ac.uk/cs/techreps/docs/files/HW-MACS-TR-0096.pdf"
}