Concepedia

Adam D. Barwell

AD

Statistics

Publications

4

Citations

61

H-Index

4

Active since

2014

Affiliations

University of St Andrews(Current)

Adam D. Barwell is an author at University of St Andrews specializing in program analysis, automated reasoning, and parallel programming.

ORCID

Top concepts

Publications per year

2014–2022

4

Publications

4

Discovering parallel pattern candidates in Erlang

István Bozó, Viktória Fördős, Zoltán Horváth et al. · 2014 · 21 citations

, , +28

Finding parallel functional pearls: Automatic parallel recursion scheme detection in Haskell functions via anti-unification

Adam D. Barwell, Christopher Brown, Kevin Hammond · Future Generation Computer Systems · 2017 · 17 citations · Full text

, , +13

Generalised Multiparty Session Types with Crash-Stop Failures

Adam D. Barwell, Alceste Scalas, Nobuko Yoshida et al. · DROPS (Schloss Dagstuhl – Leibniz Center for Informatics) · 2022 · 13 citations · Full text

Using Program Shaping And Algorithmic Skeletons To Parallelise An Evolutionary Multi-Agent System In Erlang

Adam D. Barwell, Christopher Brown, Kevin Hammond et al. · Zenodo (CERN European Organization for Nuclear Research) · 2017 · 10 citations · Full text

1–4 of 4