| Discovering parallel pattern candidates in Erlang I Bozó, V Fordós, Z Horvath, M Tóth, D Horpácsi, T Kozsik, J Köszegi, ... Proceedings of the Thirteenth ACM SIGPLAN workshop on Erlang, 13-23, 2014 | 37 | 2014 |
| Generalised multiparty session types with crash-stop failures AD Barwell, A Scalas, N Yoshida, F Zhou Schloss Dagstuhl–Leibniz-Zentrum für Informatik, 2022 | 30 | 2022 |
| Finding parallel functional pearls: Automatic parallel recursion scheme detection in Haskell functions via anti-unification AD Barwell, C Brown, K Hammond Future Generation Computer Systems 79, 669-686, 2018 | 27 | 2018 |
| Using Program Shaping and Algorithmic Skeletons to Parallelise an Evolutionary Multi-Agent System in Erlang. AD Barwell, C Brown, K Hammond, W Turek, A Byrski Computing & Informatics 35 (4), 2016 | 15 | 2016 |
| Designing asynchronous multiparty protocols with crash-stop failures AD Barwell, P Hou, N Yoshida, F Zhou arXiv preprint arXiv:2305.06238, 2023 | 14 | 2023 |
| Refactoring GrPPI: generic refactoring for generic parallelism in C++ C Brown, V Janjic, AD Barwell, JD Garcia, K MacKenzie International Journal of Parallel Programming 48, 603-625, 2020 | 10 | 2020 |
| The missing link! A new skeleton for evolutionary multi-agent systems in Erlang J Stypka, W Turek, A Byrski, M Kisiel-Dorohinicki, AD Barwell, C Brown, ... International Journal of Parallel Programming 46, 4-22, 2018 | 9 | 2018 |
| Semi-automatic ladderisation: improving code security through rewriting and dependent types C Brown, AD Barwell, Y Marquer, O Zendra, T Richmond, C Gu Proceedings of the 2022 ACM SIGPLAN International Workshop on Partial …, 2022 | 8 | 2022 |
| Type-driven verification of non-functional properties C Brown, AD Barwell, Y Marquer, C Minh, O Zendra Proceedings of the 21st International Symposium on Principles and Practice …, 2019 | 7 | 2019 |
| A hybrid approach to parallel pattern discovery in C++ C Brown, V Janjic, A Barwell, J Thomson, RC Lozano, M Cole, B Franke, ... 2020 28th Euromicro International Conference on Parallel, Distributed and …, 2020 | 5 | 2020 |
| Extending the “open-closed principle” to automated algorithm configuration J Swan, S Adriænsen, AD Barwell, K Hammond, DR White Evolutionary computation 27 (1), 173-193, 2019 | 5 | 2019 |
| Towards semi-automatic data-type translation for parallelism in Erlang AD Barwell, C Brown, D Castro, K Hammond Proceedings of the 15th International Workshop on Erlang, 60-61, 2016 | 5 | 2016 |
| Proving renaming for haskell via dependent types: a case-study in refactoring soundness AD Barwell, CM Brown, S Sarkar 8th International workshop on rewriting techniques for program …, 2021 | 4 | 2021 |
| A Trustworthy framework for resource-aware embedded programming AD Barwell, C Brown Proceedings of the 31st Symposium on Implementation and Application of …, 2019 | 4 | 2019 |
| Using erlang skeletons to parallelise realistic medium-scale parallel programs V Janjic, A Barwell, K Hammond Proceedings of the Workshop on High-Level Programming for Heterogeneous and …, 2014 | 4 | 2014 |
| Refactoring for introducing and tuning parallelism for heterogeneous multicore machines in Erlang V Janjic, C Brown, A Barwell, K Hammond Concurrency and Computation: Practice and Experience 33 (14), e5420, 2021 | 3 | 2021 |
| CONCUR test-of-time award for the period 1994–97 interview with Uwe Nestmann and Benjamin C. Pierce. AD Barwell, F Ferreira, N Yoshida Journal of Logical and Algebraic Methods in Programming 125, 100744, 2022 | 2 | 2022 |
| Pattern discovery for parallelism in functional languages AD Barwell University of St Andrews, 2018 | 2 | 2018 |
| In search of a map: using program slicing to discover potential parallelism in recursive functions AD Barwell, K Hammond Proceedings of the 6th ACM SIGPLAN International Workshop on Functional High …, 2017 | 2 | 2017 |
| Restoration of legacy parallelism: transforming pthreads into farm and pipeline patterns V Janjic, C Brown, AD Barwell International Journal of Parallel Programming 49 (6), 886-910, 2021 | 1 | 2021 |