Adam D. Barwell

27 papers A 1B 1C 4Journal 14Unranked 6
YearRankTypeTitle / Venue / Authors
2025 J jnl
Crash-Stop Failures in Asynchronous Multiparty Session Types.
Log. Methods Comput. Sci.
Adam D. Barwell, Ping Hou, Nobuko Yoshida, Fangyi Zhou
2025 C conf
Encoding Choice and Replication in $\mathtt{\textbf{roll}}\text {-}\pi $.
RC
Adam D. Barwell, Ping Hou, Martin Vassor, Nobuko Yoshida
2025 J jnl
pi-par: A Dependently-Typed Parallel Language with Algorithmic Skeletons.
Int. J. Parallel Program.
Christopher Brown, Adam D. Barwell
2024 — conf
Structural Refactorings for Exploring Dependently Typed Programming.
TFP
Adam D. Barwell, Christopher Brown, Mun See Chang, Constantine Theocharis, Simon J. Thompson
2024 C conf
Towards Specification-Guarded Refactoring.
LOPSTR
Adam D. Barwell, Christopher Brown, Susmit Sarkar
2023 J jnl
Crash-Stop Failures in Asynchronous Multiparty Session Types.
CoRR
Adam D. Barwell, Ping Hou, Nobuko Yoshida, Fangyi Zhou
2023 J jnl
Designing Asynchronous Multiparty Protocols with Crash-Stop Failures (Artifact).
Dagstuhl Artifacts Ser.
Adam D. Barwell, Ping Hou, Nobuko Yoshida, Fangyi Zhou
2023 A conf
Designing Asynchronous Multiparty Protocols with Crash-Stop Failures.
ECOOP
Adam D. Barwell, Ping Hou, Nobuko Yoshida, Fangyi Zhou
2023 J jnl
Designing Asynchronous Multiparty Protocols with Crash-Stop Failures.
CoRR
Adam D. Barwell, Ping Hou, Nobuko Yoshida, Fangyi Zhou
2022 J jnl
CONCUR test-of-time award for the period 1994-97 interview with Uwe Nestmann and Benjamin C. Pierce.
J. Log. Algebraic Methods Program.
Adam D. Barwell, Francisco Ferreira, Nobuko Yoshida
2022 J jnl
Generalised Multiparty Session Types with Crash-Stop Failures (Technical Report).
CoRR
Adam D. Barwell, Alceste Scalas, Nobuko Yoshida, Fangyi Zhou
2022 B conf
Generalised Multiparty Session Types with Crash-Stop Failures.
CONCUR
Adam D. Barwell, Alceste Scalas, Nobuko Yoshida, Fangyi Zhou
2022 — conf
Semi-automatic ladderisation: improving code security through rewriting and dependent types.
PEPM@POPL
Christopher Brown, Adam D. Barwell, Yoann Marquer, Olivier Zendra, Tania Richmond, Chen Gu
2021 J jnl
Refactoring for introducing and tuning parallelism for heterogeneous multicore machines in Erlang.
Concurr. Comput. Pract. Exp.
Vladimir Janjic, Christopher Brown, Adam D. Barwell, Kevin Hammond
2021 J jnl
Restoration of Legacy Parallelism: Transforming Pthreads into Farm and Pipeline Patterns.
Int. J. Parallel Program.
Vladimir Janjic, Christopher Brown, Adam D. Barwell
2020 C conf
A Hybrid Approach to Parallel Pattern Discovery in C++.
PDP
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
2020 J jnl
Refactoring GrPPI: Generic Refactoring for Generic Parallelism in C++.
Int. J. Parallel Program.
Christopher Brown, Vladimir Janjic, Adam D. Barwell, Javier Daniel Garcia, Kenneth MacKenzie
2019 — conf
A trustworthy framework for resource-aware embedded programming.
IFL
Adam D. Barwell, Christopher Brown
2019 J jnl
Extending the "Open-Closed Principle" to Automated Algorithm Configuration.
Evol. Comput.
Jerry Swan, Steven Adriænsen, Adam D. Barwell, Kevin Hammond, David R. White
2019 C conf
Type-Driven Verification of Non-functional Properties.
PPDP
Christopher Brown, Adam D. Barwell, Yoann Marquer, Céline Minh, Olivier Zendra
2018 J jnl
Finding parallel functional pearls: Automatic parallel recursion scheme detection in Haskell functions via anti-unification.
Future Gener. Comput. Syst.
Adam D. Barwell, Christopher Brown, Kevin Hammond
2018 — —
Pattern discovery for parallelism in functional languages.
Adam D. Barwell
2018 J jnl
The Missing Link! A New Skeleton for Evolutionary Multi-agent Systems in Erlang.
Int. J. Parallel Program.
Jan Stypka, Wojciech Turek, Aleksander Byrski, Marek Kisiel-Dorohinicki, Adam D. Barwell, Christopher Brown, Kevin Hammond, Vladimir Janjic
2017 — conf
In search of a map: using program slicing to discover potential parallelism in recursive functions.
FHPC@ICFP
Adam D. Barwell, Kevin Hammond
2016 — conf
Towards semi-automatic data-type translation for parallelism in Erlang.
Erlang Workshop
Adam D. Barwell, Christopher Brown, David Castro, Kevin Hammond
2016 J jnl
Using Program Shaping and Algorithmic Skeletons to Parallelise an Evolutionary Multi-Agent System in Erlang.
Comput. Informatics
Adam D. Barwell, Christopher Brown, Kevin Hammond, Wojciech Turek, Aleksander Byrski
2014 — conf
Discovering parallel pattern candidates in Erlang.
Erlang Workshop
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