Adam D. Barwell
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
8
Venues
8
Active years
2017–2025
Best venue rank
C
Where they publish
Papers
8 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | RC | Encoding Choice and Replication in $\mathtt{\textbf{roll}}\text {-}\pi $. | Adam D. Barwell, Ping Hou, Martin Vassor, Nobuko Yoshida |
| 2024 | LOPSTR | Towards Specification-Guarded Refactoring. | Adam D. Barwell, Christopher Brown, Susmit Sarkar |
| 2023 | ECOOP | Designing Asynchronous Multiparty Protocols with Crash-Stop Failures. | Adam D. Barwell, Ping Hou, Nobuko Yoshida, Fangyi Zhou |
| 2022 | CONCUR | Generalised Multiparty Session Types with Crash-Stop Failures. | Adam D. Barwell, Alceste Scalas, Nobuko Yoshida, Fangyi Zhou |
| 2022 | PEPM | Semi-automatic ladderisation: improving code security through rewriting and dependent types. | Christopher Brown, Adam D. Barwell, Yoann Marquer, Olivier Zendra, Tania Richmond, Chen Gu |
| 2020 | PDP | A Hybrid Approach to Parallel Pattern Discovery in C++. | Christopher Brown, Vladimir Janjic, Adam D. Barwell, John Donald Thomson, Roberto Castaeda Lozano, Murray Cole, Bjrn Franke, Jos Daniel Garca Snchez, David del Rio Astorga, Kenneth MacKenzie |
| 2019 | PPDP | Type-Driven Verification of Non-functional Properties. | Christopher Brown, Adam D. Barwell, Yoann Marquer, Cline Minh, Olivier Zendra |
| 2017 | ICFP | In search of a map: using program slicing to discover potential parallelism in recursive functions. | Adam D. Barwell, Kevin Hammond |