Follow
Adam D. Barwell
Adam D. Barwell
Verified email at imperial.ac.uk
Title
Cited by
Cited by
Year
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
362014
Generalised multiparty session types with crash-stop failures
AD Barwell, A Scalas, N Yoshida, F Zhou
Schloss Dagstuhl–Leibniz-Zentrum für Informatik, 2022
282022
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
282018
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
152016
Designing asynchronous multiparty protocols with crash-stop failures
AD Barwell, P Hou, N Yoshida, F Zhou
arXiv preprint arXiv:2305.06238, 2023
142023
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
102020
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
92018
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
82022
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
72019
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
52020
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
52019
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
52016
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
42021
A trustworthy framework for resource-aware embedded programming
AD Barwell, C Brown
Proceedings of the 31st Symposium on Implementation and Application of …, 2019
42019
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
42014
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
32021
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
22022
Pattern discovery for parallelism in functional languages
AD Barwell
University of St Andrews, 2018
22018
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
22017
Generalised Multiparty Session Types with Crash-Stop Failures (Technical Report)
AD Barwell, A Scalas, N Yoshida, F Zhou
arXiv preprint arXiv:2207.02015, 2022
12022
The system can't perform the operation now. Try again later.
Articles 1–20