Adam D. Barwell

According to our database, Adam D. Barwell authored at least 23 papers between 2014 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2024

Towards Specification-Guarded Refactoring.

Adam D. Barwell, Christopher Brown, Susmit Sarkar

Proceedings of the Logic-Based Program Synthesis and Transformation, 2024

2023

Designing Asynchronous Multiparty Protocols with Crash-Stop Failures (Artifact).

Adam D. Barwell, Ping Hou, Nobuko Yoshida, Fangyi Zhou

Dataset, March, 2023

Designing Asynchronous Multiparty Protocols with Crash-Stop Failures (Artifact).

Adam D. Barwell, Ping Hou, Nobuko Yoshida, Fangyi Zhou

Dagstuhl Artifacts Ser., 2023

Crash-Stop Failures in Asynchronous Multiparty Session Types.

Adam D. Barwell, Ping Hou, Nobuko Yoshida, Fangyi Zhou

CoRR, 2023

Designing Asynchronous Multiparty Protocols with Crash-Stop Failures.

Adam D. Barwell, Ping Hou, Nobuko Yoshida, Fangyi Zhou

Proceedings of the 37th European Conference on Object-Oriented Programming, 2023

2022

CONCUR test-of-time award for the period 1994-97 interview with Uwe Nestmann and Benjamin C. Pierce.

Adam D. Barwell, Francisco Ferreira, Nobuko Yoshida

J. Log. Algebraic Methods Program., 2022

Generalised Multiparty Session Types with Crash-Stop Failures (Technical Report).

Adam D. Barwell, Alceste Scalas, Nobuko Yoshida, Fangyi Zhou

CoRR, 2022

Semi-automatic ladderisation: improving code security through rewriting and dependent types.

Christopher Brown, Adam D. Barwell, Yoann Marquer, Olivier Zendra, Tania Richmond, Chen Gu

Proceedings of the PEPM 2022: Proceedings of the 2022 ACM SIGPLAN International Workshop on Partial Evaluation and Program Manipulation, Philadelphia, PA, USA, January 17, 2022

Generalised Multiparty Session Types with Crash-Stop Failures.

Adam D. Barwell, Alceste Scalas, Nobuko Yoshida, Fangyi Zhou

Proceedings of the 33rd International Conference on Concurrency Theory, 2022

2021

Restoration of Legacy Parallelism: Transforming Pthreads into Farm and Pipeline Patterns.

Vladimir Janjic, Christopher Brown, Adam D. Barwell

Int. J. Parallel Program., 2021

Refactoring for introducing and tuning parallelism for heterogeneous multicore machines in Erlang.

Vladimir Janjic, Christopher Brown, Adam D. Barwell, Kevin Hammond

Concurr. Comput. Pract. Exp., 2021

2020

Refactoring GrPPI: Generic Refactoring for Generic Parallelism in C++.

Christopher Brown, Vladimir Janjic, Adam D. Barwell, Javier Daniel Garcia, Kenneth MacKenzie

Int. J. Parallel Program., 2020

A Hybrid Approach to Parallel Pattern Discovery in C++.

Christopher Brown, 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

Proceedings of the 28th Euromicro International Conference on Parallel, 2020

2019

Extending the "Open-Closed Principle" to Automated Algorithm Configuration.

Jerry Swan, Steven Adriænsen, Adam D. Barwell, Kevin Hammond, David R. White

Evol. Comput., 2019

Type-Driven Verification of Non-functional Properties.

Christopher Brown, Adam D. Barwell, Yoann Marquer, Céline Minh, Olivier Zendra

Proceedings of the 21st International Symposium on Principles and Practice of Programming Languages, 2019

A trustworthy framework for resource-aware embedded programming.

Adam D. Barwell, Christopher Brown

Proceedings of the IFL '19: Implementation and Application of Functional Languages, 2019

2018

Pattern discovery for parallelism in functional languages.

Adam D. Barwell

PhD thesis, 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, Kevin Hammond, Vladimir Janjic

Int. J. Parallel Program., 2018

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

Adam D. Barwell, Christopher Brown, Kevin Hammond

Future Gener. Comput. Syst., 2018

2017

In search of a map: using program slicing to discover potential parallelism in recursive functions.

Adam D. Barwell, Kevin Hammond

Proceedings of the 6th ACM SIGPLAN International Workshop on Functional High-Performance Computing, 2017

2016

Using Program Shaping and Algorithmic Skeletons to Parallelise an Evolutionary Multi-Agent System in Erlang.

Adam D. Barwell, Christopher Brown, Kevin Hammond, Wojciech Turek, Aleksander Byrski

Comput. Informatics, 2016

Towards semi-automatic data-type translation for parallelism in Erlang.

Adam D. Barwell, Christopher Brown, David Castro, Kevin Hammond

Proceedings of the 15th International Workshop on Erlang, 2016

2014

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, Kevin Hammond

Proceedings of the Thirteenth ACM SIGPLAN workshop on Erlang, 2014