Publications
Recent publications by members of the research group. To see a full list of publications for any individual, view their research profile.
- Barwell, AD, Brown, CM, Chang, MS, Theocharis, C & Thompson, S 2025, Structural refactorings for exploring dependently typed programming. in Trends in Functional Programming: 26th International Symposium, TFP 2024, South Orange, NJ, USA, January 9–12, 2024. Springer, 25th International Symposium on Trends in Functional Programming, South Orange, New Jersey, United States, 9/01/24.
- Howie, J & Konovalov, O 2024, Generalised triangle groups of type (2,3,2) with no cyclic essential representations. in V Diekert & M Kreuzer (eds), Finitely presented groups: with applications in post-quantum cryptography and artificial intelligence. de Gruyter, Berlin, pp. 27-42. https://doi.org/10.1515/9783111473574-002
- Barwell, AD, Brown, CM & Sarkar, S 2024, Towards specification-guarded refactoring. in J Bowles & H Søndergaard (eds), Logic-based program synthesis and transformation: 34th International symposium, LOPSTR 2024, Milan, Italy, September 9–10, 2024, Proceedings. Lecture notes in computer science, vol. 14919, Springer, Cham, pp. 149–165. https://doi.org/10.1007/978-3-031-71294-4_9
- Brown, CM, Barwell, AD & Sloan, F 2024, 'pi-par: a dependently-typed parallel language with algorithmic skeletons', Paper presented at 17th International Symposium on High-Level Parallel Programming and Applications, Pisa, 4/07/24.
- Konovalov, O, Grivina, V, Boiar, Y, Klimenko, G, Matios, S, Nazarenko, O, Spatar, M & Shevchenko, V, Глосарій: Багатомовний словник термінів, що використовуються в науці про дані (Український розділ), 2024, Web publication/site. <https://glosario.carpentries.org/uk/>
- Goens, A, Chakraborty, S, Sarkar, S, Agarwal, S, Oswald, N & Nagarajan, V 2023, 'Compound memory models', Proceedings of the ACM on Programming Languages, vol. 7, no. PLDI, 153. https://doi.org/10.1145/3591267
- Barwell, AD, Hou, P, Yoshida, N & Zhou, F 2023, 'Designing asynchronous multiparty protocols with crash-stop failures', Paper presented at 37th European Conference on Object-Oriented Programming, Seattle, United States, 17/07/23 - 21/07/23 pp. 1:1-1:30. https://doi.org/10.4230/LIPIcs.ECOOP.2023.1
- Zidarič, N, Gong, G, Aagaard, M, Jurišić, A & Konovalov, O 2023, 'FFCSA - Finite Field Constructions, Search, and Algorithms', ACM Communications in Computer Algebra, vol. 57, no. 2, pp. 57-64. https://doi.org/10.1145/3614408.3614416
- Brown, C, Barwell, AD, Marquer, Y, Zendra, O, Richmond, T & Gu, C 2022, Semi-automatic ladderisation: improving code security through rewriting and dependent types. in ZM Ariola & Y Cong (eds), PEPM 2022: Proceedings of the 2022 ACM SIGPLAN International Workshop on Partial Evaluation and Program Manipulation. ACM, New York, POPL '22: The 49th Annual ACM SIGPLAN Symposioum on Principles of Programming Languages, Philadephia, Pennsylvania, United States, 17/01/22. https://doi.org/10.1145/3498886.3502202
- Brown, CM, Barwell, A, Thompson, S, Sarkar, S & Brady, EC 2022, 'Towards a refactoring tool for dependently-typed programs (Extended abstract)', Paper presented at 9th International Workshop on Rewriting Techniques for Program Transformations and Evaluation, Haifa, Israel, 31/07/22 - 31/07/22.
- Konovalov, A, Smoktunowicz, A & Vendramin, L 2021, 'Erratum to the Paper “On Skew Braces and Their Ideals”', Experimental Mathematics, vol. 31, no. 1. https://doi.org/10.1080/10586458.2021.1980466
- Barwell, AD, Brown, CM & Sarkar, S 2021, Proving renaming for Haskell via dependent types: a case-study in refactoring soundness. in 8th International workshop on rewriting techniques for program transformations and evaluation (WPTE 2021). 8th International Workshop on Rewriting Techniques for Program Transformations and Evaluation
, Buenos Aeires, Argentina, 18/07/21. - Beg, M, Belin, J, Kluyver, T, Konovalov, A, Ragan-Kelley, M, Thiery, N & Fangohr, H 2021, 'Using Jupyter for reproducible scientific workflows', Computing in Science and Engineering, vol. 23, no. 2, 9325550, pp. 36-46. https://doi.org/10.1109/MCSE.2021.3052101
- Brown, CM, Janjic, V, Barwell, AD, Thomson, JD, Castañeda Lozano, R, Cole, M, Franke, B, Garcia-Sanchez, JD, Del Rio Astorga, D & MacKenzie, K 2020, A hybrid approach to parallel pattern discovery in C++. in 2020 28th Euromicro International Conference on Parallel, Distributed and Network-Based Processing (PDP)., 9092377, Proceedings - Euromicro Workshop on Parallel and Distributed Processing, IEEE Computer Society, 28th Euromicro International Conference on Parallel, Distributed and Network-based Processing, Västerås, Sweden, 11/03/20. https://doi.org/10.1109/PDP50117.2020.00035
- Barwell, AD & Brown, CM 2020, A trustworthy framework for resource-aware embedded programming. in J Stutterheim & WN Chin (eds), Proceedings of International Symposium on Implementation and Application of Functional Languages (IFL'19). ACM, The 31st symposium on Implementation and Application of Functional Languages (IFL 2019), Singapore, Singapore, 25/09/19. https://doi.org/10.1145/1122445.1122456