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
342014
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
252018
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
142016
Generalised multiparty session types with crash-stop failures
AD Barwell, A Scalas, N Yoshida, F Zhou
Schloss Dagstuhl–Leibniz-Zentrum für Informatik, 2022
112022
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
92020
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
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
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
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
42020
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
Designing asynchronous multiparty protocols with crash-stop failures
AD Barwell, P Hou, N Yoshida, F Zhou
arXiv preprint arXiv:2305.06238, 2023
32023
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
32022
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
32019
A trustworthy framework for resource-aware embedded programming
AD Barwell, C Brown
Proceedings of the 31st Symposium on Implementation and Application of …, 2019
22019
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
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
12022
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
12021
Reasoning about non-functional properties using compiler intrinsic function annotations
S Jadhav, MJ Roth, H Falk, C Brown, A Barwell
13th Junior Researcher Workshop on Real-Time Computing (JRWRTC), 25-28, 2019
12019
Pattern discovery for parallelism in functional languages
AD Barwell
University of St Andrews, 2018
12018
Crash-Stop Failures in Asynchronous Multiparty Session Types
AD Barwell, P Hou, N Yoshida, F Zhou
arXiv preprint arXiv:2311.11851, 2023
2023
The system can't perform the operation now. Try again later.
Articles 1–20