default search action

combined dblp search
author search
venue search
publication search

ask others

Adam D. Barwell

> Home > Persons

Person information

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

2020 – today

see FAQ

What is the meaning of the colors in the publication lists?

2024
[c10]
- view
  authority control:
- export record
  dblp key:
  - conf/lopstr/BarwellBS24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lopstr/BarwellBS24
Adam D. Barwell, Christopher Brown, Susmit Sarkar:
Towards Specification-Guarded Refactoring. LOPSTR 2024: 149-165
2023
[j9]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/darts/BarwellHY023
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/darts/BarwellHY023
Adam D. Barwell, Ping Hou, Nobuko Yoshida, Fangyi Zhou:
Designing Asynchronous Multiparty Protocols with Crash-Stop Failures (Artifact). Dagstuhl Artifacts Ser. 9(2): 09:1-09:3 (2023)
[c9]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/ecoop/BarwellHY023
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecoop/BarwellHY023
Adam D. Barwell, Ping Hou, Nobuko Yoshida, Fangyi Zhou:
Designing Asynchronous Multiparty Protocols with Crash-Stop Failures. ECOOP 2023: 1:1-1:30
[d1]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - data/10/BarwellHYZ23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/data/10/BarwellHYZ23
Adam D. Barwell, Ping Hou, Nobuko Yoshida, Fangyi Zhou:
Designing Asynchronous Multiparty Protocols with Crash-Stop Failures (Artifact). Zenodo, 2023
[i3]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2305-06238
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2305-06238
Adam D. Barwell, Ping Hou, Nobuko Yoshida, Fangyi Zhou:
Designing Asynchronous Multiparty Protocols with Crash-Stop Failures. CoRR abs/2305.06238 (2023)
[i2]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2311-11851
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2311-11851
Adam D. Barwell, Ping Hou, Nobuko Yoshida, Fangyi Zhou:
Crash-Stop Failures in Asynchronous Multiparty Session Types. CoRR abs/2311.11851 (2023)
2022
[j8]
- view
  authority control:
- export record
  dblp key:
  - journals/jlap/BarwellFY22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jlap/BarwellFY22
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: 100744 (2022)
[c8]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/concur/BarwellSY022
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/concur/BarwellSY022
Adam D. Barwell, Alceste Scalas, Nobuko Yoshida, Fangyi Zhou:
Generalised Multiparty Session Types with Crash-Stop Failures. CONCUR 2022: 35:1-35:25
[c7]
- view
  authority control:
- export record
  dblp key:
  - conf/pepm/0002BMZRG22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pepm/0002BMZRG22
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: 14-27
[i1]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2207-02015
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2207-02015
Adam D. Barwell, Alceste Scalas, Nobuko Yoshida, Fangyi Zhou:
Generalised Multiparty Session Types with Crash-Stop Failures (Technical Report). CoRR abs/2207.02015 (2022)
2021
[j7]
- view
  authority control:
- export record
  dblp key:
  - journals/concurrency/JanjicBBH21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/concurrency/JanjicBBH21
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)
[j6]
- view
  authority control:
- export record
  dblp key:
  - journals/ijpp/JanjicBB21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ijpp/JanjicBB21
Vladimir Janjic, Christopher Brown, Adam D. Barwell:
Restoration of Legacy Parallelism: Transforming Pthreads into Farm and Pipeline Patterns. Int. J. Parallel Program. 49(6): 886-910 (2021)
2020
[j5]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/ijpp/BrownJBGM20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ijpp/BrownJBGM20
Christopher Brown, Vladimir Janjic, Adam D. Barwell, Javier Daniel Garcia, Kenneth MacKenzie:
Refactoring GrPPI: Generic Refactoring for Generic Parallelism in C++. Int. J. Parallel Program. 48(4): 603-625 (2020)
[c6]
- view
  authority control:
- export record
  dblp key:
  - conf/pdp/BrownJBTLCFSAM20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pdp/BrownJBTLCFSAM20
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: 187-191

2010 – 2019

see FAQ

What is the meaning of the colors in the publication lists?

2019
[j4]
- view
  authority control:
- export record
  dblp key:
  - journals/ec/SwanABHW19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ec/SwanABHW19
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): 173-193 (2019)
[c5]
- view
  authority control:
- export record
  dblp key:
  - conf/ifl/Barwell019
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifl/Barwell019
Adam D. Barwell, Christopher Brown:
A trustworthy framework for resource-aware embedded programming. IFL 2019: 12:1-12:12
[c4]
- view
  authority control:
- export record
  dblp key:
  - conf/ppdp/0002BMMZ19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ppdp/0002BMMZ19
Christopher Brown, Adam D. Barwell, Yoann Marquer, Céline Minh, Olivier Zendra:
Type-Driven Verification of Non-functional Properties. PPDP 2019: 6:1-6:15
2018
[b1]
- view
- export record
  dblp key:
  - phd/ethos/Barwell18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/phd/ethos/Barwell18
Adam D. Barwell:
Pattern discovery for parallelism in functional languages. University of St Andrews, UK, 2018
[j3]
- view
  authority control:
- export record
  dblp key:
  - journals/fgcs/BarwellBH18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fgcs/BarwellBH18
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: 669-686 (2018)
[j2]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/ijpp/StypkaTBKBBHJ18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ijpp/StypkaTBKBBHJ18
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): 4-22 (2018)
2017
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/icfp/BarwellH17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icfp/BarwellH17
Adam D. Barwell, Kevin Hammond:
In search of a map: using program slicing to discover potential parallelism in recursive functions. FHPC@ICFP 2017: 30-41
2016
[j1]
- view
  - electronic edition @ cai.sk (open access)
  - no references & citations available
- export record
  dblp key:
  - journals/cai/BarwellBHTB16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/cai/BarwellBHTB16
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): 792-818 (2016)
[c2]
- view
  authority control:
- export record
  dblp key:
  - conf/erlang/BarwellBCH16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/erlang/BarwellBCH16
Adam D. Barwell, Christopher Brown, David Castro, Kevin Hammond:
Towards semi-automatic data-type translation for parallelism in Erlang. Erlang Workshop 2016: 60-61
2014
[c1]
- view
  authority control:
- export record
  dblp key:
  - conf/erlang/BozoFHTHKKBBH14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/erlang/BozoFHTHKKBBH14
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: 13-23

Coauthor Index

see FAQ

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.