Adam D. Barwell

Publication Activity (10 Years)

Years Active: 2014-2023
Publications (10 Years): 20

Top Topics

Wrapper Generation

Description Language

Pattern Discovery

Top Venues

Int. J. Parallel Program.

Erlang Workshop

Comput. Informatics

Publications

Adam D. Barwell, Ping Hou, Nobuko Yoshida, Fangyi Zhou
Designing Asynchronous Multiparty Protocols with Crash-Stop Failures. ECOOP (2023)
Adam D. Barwell, Ping Hou, Nobuko Yoshida, Fangyi Zhou
Designing Asynchronous Multiparty Protocols with Crash-Stop Failures. CoRR (2023)
Adam D. Barwell, Ping Hou, Nobuko Yoshida, Fangyi Zhou
Designing Asynchronous Multiparty Protocols with Crash-Stop Failures (Artifact). Dagstuhl Artifacts Ser. 9 (2) (2023)
Adam D. Barwell, Ping Hou, Nobuko Yoshida, Fangyi Zhou
Crash-Stop Failures in Asynchronous Multiparty Session Types. CoRR (2023)
Christopher Brown, Adam D. Barwell, Yoann Marquer, Olivier Zendra, Tania Richmond, Chen Gu
Semi-automatic ladderisation: improving code security through rewriting and dependent types. PEPM@POPL (2022)
Adam D. Barwell, Alceste Scalas, Nobuko Yoshida, Fangyi Zhou
Generalised Multiparty Session Types with Crash-Stop Failures (Technical Report). CoRR (2022)
Adam D. Barwell, Francisco Ferreira, Nobuko Yoshida
CONCUR test-of-time award for the period 1994-97 interview with Uwe Nestmann and Benjamin C. Pierce. J. Log. Algebraic Methods Program. 125 (2022)
Adam D. Barwell, Alceste Scalas, Nobuko Yoshida, Fangyi Zhou
Generalised Multiparty Session Types with Crash-Stop Failures. CONCUR (2022)
Vladimir Janjic, Christopher Brown, Adam D. Barwell
Restoration of Legacy Parallelism: Transforming Pthreads into Farm and Pipeline Patterns. Int. J. Parallel Program. 49 (6) (2021)
Vladimir Janjic, Christopher Brown, Adam D. Barwell, Kevin Hammond
Refactoring for introducing and tuning parallelism for heterogeneous multicore machines in Erlang. Concurr. Comput. Pract. Exp. 33 (14) (2021)
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
A Hybrid Approach to Parallel Pattern Discovery in C++. PDP (2020)
Christopher Brown, Vladimir Janjic, Adam D. Barwell, J. Daniel Garcia, Kenneth MacKenzie
Refactoring GrPPI: Generic Refactoring for Generic Parallelism in C++. Int. J. Parallel Program. 48 (4) (2020)
Adam D. Barwell, Christopher Brown
A trustworthy framework for resource-aware embedded programming. IFL (2019)
Christopher Brown, Adam D. Barwell, Yoann Marquer, Céline Minh, Olivier Zendra
Type-Driven Verification of Non-functional Properties. PPDP (2019)
Jerry Swan, Steven Adriænsen, Adam D. Barwell, Kevin Hammond, David R. White
Extending the "Open-Closed Principle" to Automated Algorithm Configuration. Evol. Comput. 27 (1) (2019)
Jan Stypka, Wojciech Turek, Aleksander Byrski, Marek Kisiel-Dorohinicki, Adam D. Barwell, Christopher Brown, Kevin Hammond, Vladimir Janjic
The Missing Link! A New Skeleton for Evolutionary Multi-agent Systems in Erlang. Int. J. Parallel Program. 46 (1) (2018)
Adam D. Barwell, Christopher Brown, Kevin Hammond
Finding parallel functional pearls: Automatic parallel recursion scheme detection in Haskell functions via anti-unification. Future Gener. Comput. Syst. 79 (2018)
Adam D. Barwell, Kevin Hammond
In search of a map: using program slicing to discover potential parallelism in recursive functions. FHPC@ICFP (2017)
Adam D. Barwell, Christopher Brown, David Castro, Kevin Hammond
Towards semi-automatic data-type translation for parallelism in Erlang. Erlang Workshop (2016)
Adam D. Barwell, Christopher Brown, Kevin Hammond, Wojciech Turek, Aleksander Byrski
Using Program Shaping and Algorithmic Skeletons to Parallelise an Evolutionary Multi-Agent System in Erlang. Comput. Informatics 35 (4) (2016)
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
Discovering parallel pattern candidates in Erlang. Erlang Workshop (2014)