Discovering parallel pattern candidates in Erlang. - István Bozó; Viktoria Fordós; Zoltán Horváth; Melinda Tóth; Dániel Horpácsi; Tamás Kozsik; Judit Köszegi; Adam D. Barwell; Christopher Brown 002; Kevin Hammond (Erlang Workshop, 2014)

Towards semi-automatic data-type translation for parallelism in Erlang. - Adam D. Barwell; Christopher Brown 002; David Castro 006; Kevin Hammond (Erlang Workshop, 2016)

Using Program Shaping and Algorithmic Skeletons to Parallelise an Evolutionary Multi-Agent System in Erlang. - Adam D. Barwell; Christopher Brown 002; Kevin Hammond; Wojciech Turek; Aleksander Byrski (Comput. Informatics, 2016)

In search of a map: using program slicing to discover potential parallelism in recursive functions. - Adam D. Barwell; Kevin Hammond (FHPC@ICFP, 2017)

Finding parallel functional pearls: Automatic parallel recursion scheme detection in Haskell functions via anti-unification. - Adam D. Barwell; Christopher Brown 002; Kevin Hammond (Future Gener. Comput. Syst., 2018)

The Missing Link! A New Skeleton for Evolutionary Multi-agent Systems in Erlang. - Jan Stypka; Wojciech Turek; Aleksander Byrski; Marek Kisiel-Dorohinicki; Adam D. Barwell; Christopher Brown 002; Kevin Hammond; Vladimir Janjic (Int. J. Parallel Program., 2018)

Pattern discovery for parallelism in functional languages. - Adam D. Barwell (2018)

A trustworthy framework for resource-aware embedded programming. - Adam D. Barwell; Christopher Brown 002 (IFL, 2019)

Type-Driven Verification of Non-functional Properties. - Christopher Brown 002; Adam D. Barwell; Yoann Marquer; Céline Minh; Olivier Zendra (PPDP, 2019)

Extending the "Open-Closed Principle" to Automated Algorithm Configuration. - Jerry Swan; Steven Adriænsen; Adam D. Barwell; Kevin Hammond; David R. White 003 (Evol. Comput., 2019)

A Hybrid Approach to Parallel Pattern Discovery in C++. - Christopher Brown 002; Vladimir Janjic; Adam D. Barwell; John Donald Thomson; Roberto Castañeda Lozano; Murray Cole; Björn Franke; José Daniel García Sánchez; David del Rio Astorga; Kenneth MacKenzie (PDP, 2020)

Refactoring GrPPI: Generic Refactoring for Generic Parallelism in C++. - Christopher Brown 002; Vladimir Janjic; Adam D. Barwell; Javier Daniel Garcia; Kenneth MacKenzie (Int. J. Parallel Program., 2020)

Refactoring for introducing and tuning parallelism for heterogeneous multicore machines in Erlang. - Vladimir Janjic; Christopher Brown 002; Adam D. Barwell; Kevin Hammond (Concurr. Comput. Pract. Exp., 2021)

Restoration of Legacy Parallelism: Transforming Pthreads into Farm and Pipeline Patterns. - Vladimir Janjic; Christopher Brown 002; Adam D. Barwell (Int. J. Parallel Program., 2021)

Generalised Multiparty Session Types with Crash-Stop Failures. - Adam D. Barwell; Alceste Scalas; Nobuko Yoshida; Fangyi Zhou 002 (CONCUR, 2022)

Semi-automatic ladderisation: improving code security through rewriting and dependent types. - Christopher Brown 002; Adam D. Barwell; Yoann Marquer; Olivier Zendra; Tania Richmond; Chen Gu (PEPM@POPL, 2022)

Generalised Multiparty Session Types with Crash-Stop Failures (Technical Report). - Adam D. Barwell; Alceste Scalas; Nobuko Yoshida; Fangyi Zhou 002 (CoRR, 2022)

CONCUR test-of-time award for the period 1994-97 interview with Uwe Nestmann and Benjamin C. Pierce. - Adam D. Barwell; Francisco Ferreira 001; Nobuko Yoshida (J. Log. Algebraic Methods Program., 2022)

Designing Asynchronous Multiparty Protocols with Crash-Stop Failures. - Adam D. Barwell; Ping Hou; Nobuko Yoshida; Fangyi Zhou 002 (ECOOP, 2023)

Designing Asynchronous Multiparty Protocols with Crash-Stop Failures (Artifact). - Adam D. Barwell; Ping Hou; Nobuko Yoshida; Fangyi Zhou 002 (Dagstuhl Artifacts Ser., 2023)

Designing Asynchronous Multiparty Protocols with Crash-Stop Failures (Artifact). - Adam D. Barwell; Ping Hou; Nobuko Yoshida; Fangyi Zhou 002 (Zenodo, 2023)

Towards Specification-Guarded Refactoring. - Adam D. Barwell; Christopher Brown 002; Susmit Sarkar (LOPSTR, 2024)

Structural Refactorings for Exploring Dependently Typed Programming. - Adam D. Barwell; Christopher Brown 002; Mun See Chang; Constantine Theocharis; Simon J. Thompson (TFP, 2024)

Encoding Choice and Replication in $ mathtt{ textbf{roll}} text {-} pi $. - Adam D. Barwell; Ping Hou; Martin Vassor; Nobuko Yoshida (RC, 2025)

Crash-Stop Failures in Asynchronous Multiparty Session Types. - Adam D. Barwell; Ping Hou; Nobuko Yoshida; Fangyi Zhou 002 (Log. Methods Comput. Sci., 2025)

pi-par: A Dependently-Typed Parallel Language with Algorithmic Skeletons. - Christopher Brown 002; Adam D. Barwell (Int. J. Parallel Program., 2025)