Research output per year
Research output per year
Fingerprint
Dive into the research topics where Adam David Barwell is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
- 1 Similar Profiles
Collaborations and top research areas from the last five years
Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
-
Towards specification-guarded refactoring
Barwell, A. D., Brown, C. M. & Sarkar, S., 7 Sept 2024, Logic-based program synthesis and transformation: 34th International symposium, LOPSTR 2024, Milan, Italy, September 9–10, 2024, Proceedings. Bowles, J. & Søndergaard, H. (eds.). Cham: Springer, p. 149–165 (Lecture notes in computer science; vol. 14919).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Open AccessFile -
Designing asynchronous multiparty protocols with crash-stop failures
Barwell, A. D., Hou, P., Yoshida, N. & Zhou, F., 11 Jul 2023, p. 1:1-1:30. 30 p.Research output: Contribution to conference › Paper › peer-review
Open AccessFile -
Semi-automatic ladderisation: improving code security through rewriting and dependent types
Brown, C., Barwell, A. D., Marquer, Y., Zendra, O., Richmond, T. & Gu, C., 17 Jan 2022, PEPM 2022: Proceedings of the 2022 ACM SIGPLAN International Workshop on Partial Evaluation and Program Manipulation. Ariola, Z. M. & Cong, Y. (eds.). New York: ACM, 13 p.Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Open AccessFile -
Proving renaming for Haskell via dependent types: a case-study in refactoring soundness
Barwell, A. D., Brown, C. M. & Sarkar, S., 18 Jul 2021, 8th International workshop on rewriting techniques for program transformations and evaluation (WPTE 2021). 10 p.Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Open AccessFile -
A hybrid approach to parallel pattern discovery in C++
Brown, C. M., Janjic, V., Barwell, A. D., Thomson, J. D., Castañeda Lozano, R., Cole, M., Franke, B., Garcia-Sanchez, J. D., Del Rio Astorga, D. & MacKenzie, K., 14 May 2020, 2020 28th Euromicro International Conference on Parallel, Distributed and Network-Based Processing (PDP). IEEE Computer Society, 5 p. 9092377. (Proceedings - Euromicro Workshop on Parallel and Distributed Processing).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Open AccessFile
Datasets
-
The Missing Link: A New Skeleton for Evolutionary Multi-Agent Systems in Erlang
Janjic, V. (Creator), Brown, C. M. (Contributor), Hammond, K. (Contributor) & Barwell, A. D. (Contributor), Zenodo, 4 Nov 2016
Dataset
-
Designing Asynchronous Multiparty Protocols with Crash-Stop Failures (Artifact)
Barwell, A. D. (Creator), Hou, P. (Creator), Yoshida, N. (Creator) & Zhou, F. (Creator), Zenodo, 2023
Dataset