PhD supervision
- Leonid Nosovitskiy
Selected publications
-
Open access
Crash-stop failures in asynchronous multiparty session types
Barwell, A. D., Hou, P., Yoshida, N. & Zhou, F., 18 Apr 2025, In: Logical Methods in Computer Science. 21, 2, p. 1-71 71 p., 15526.Research output: Contribution to journal › Article › peer-review
-
Open access
East of Eden: parallel functional programming in Idris
Brown, C. M. & Barwell, A. D., 3 Jul 2025, p. 1-19. 19 p.Research output: Contribution to conference › Paper › peer-review
-
Open access
Encoding choice and replication in roll-π
Barwell, A. D., Hou, P., Vassor, M. & Yoshida, N., 2025, Reversible computation: 17th international conference, RC 2025, Odense, Denmark, July 3–4, 2025, proceedings. Glück, R. & Kaarsgaard, R. (eds.). Cham: Springer, p. 27-36 10 p. (Lecture Notes in Computer Science; vol. 15716).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
-
Open access
pi-par: a dependently-typed parallel language with algorithmic skeletons
Brown, C. & Barwell, A. D., 1 Apr 2025, In: International Journal of Parallel Programming. 53, 2, 23 p., 11.Research output: Contribution to journal › Article › peer-review
-
Open access
Structural refactorings for exploring dependently typed programming
Barwell, A. D., Brown, C. M., Chang, M. S., Theocharis, C. & Thompson, S., 10 Jan 2025, Trends in functional programming: 25th International Symposium, TFP 2024, South Orange, NJ, USA, January 10–12, 2024, revised selected papers. Hemann, J. & Chang, S. (eds.). Cham: Springer, p. 1-21 (Lecture notes in computer science; vol. 14843).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
-
Open access
pi-par: a dependently-typed parallel language with algorithmic skeletons
Brown, C. M., Barwell, A. D. & Sloan, F., 4 Jul 2024. 20 p.Research output: Contribution to conference › Paper › peer-review
-
Open access
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 access
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 access
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 access
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