Recent publications
Article
Ghica, D, Muroya, K & Waugh Ambridge, T 2025, 'A robust graph-based approach to observational equivalence', Logical Methods in Computer Science, vol. 21, no. 2, 8, pp. 8:1–8:95. https://doi.org/10.46298/lmcs-21(2:8)2025
Alvarez-Picallo, M, Freund, T, Ghica, DR & Lindley, S 2024, 'Effect Handlers for C via Coroutines', Proceedings of the ACM on Programming Languages, vol. 8, no. OOPSLA2, 358, pp. 2462-2489. https://doi.org/10.1145/3689798
Wilson, P, Ghica, D & Zanasi, F 2024, 'String diagrams for Strictification and Coherence', Logical Methods in Computer Science, vol. 20, no. 4, pp. 8:1-8:24. https://doi.org/10.46298/lmcs-20(4:8)2024
Ghica, D, Lindley, S, Bravo, MM & Piróg, M 2022, 'High-level effect handlers in C++', Proceedings of the ACM on Programming Languages, vol. 6, no. OOPSLA2, pp. 1639-1667. https://doi.org/10.1145/3563445
Cheung, S, Ghica, D & Muroya, K 2021, 'Transparent synchronous dataflow', The Art, Science, and Engineering of Programming, vol. 5, no. 3, 12. https://doi.org/10.22152/programming-journal.org/2021/5/12
Ghica, DR & Alyahya, K 2019, 'Latent semantic analysis of game models using LSTMs', Journal of Logical and Algebraic Methods in Programming, vol. 106, pp. 39-54. https://doi.org/10.1016/j.jlamp.2019.04.003
Chapter
Ghica, DR 2023, The Far Side of the Cube: An Elementary Introduction to Game Semantics. in A Palmigiano & M Sadrzadeh (eds), Samson Abramsky on Logic and Structure in Computer Science and Beyond. 1 edn, Outstanding Contributions to Logic, vol. 25, Springer, pp. 219-250. https://doi.org/10.1007/978-3-031-24117-8_6
Conference article
Ghica, DR 2021, 'Operational semantics with hierarchical abstract syntax graphs', Electronic Proceedings in Theoretical Computer Science, EPTCS, vol. 334, pp. 1-10. https://doi.org/10.4204/eptcs.334.1
Conference contribution
Tiurin, A, Barrett, C, Ghica, DR & Hu, N 2025, Equivalence Hypergraphs: DPO Rewriting for Monoidal E-Graphs. in 2025 40th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS)., 11186301, Annual Symposium on Logic in Computer Science, IEEE, pp. 209-222, 2025 40th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 23/06/25. https://doi.org/10.1109/LICS65433.2025.00023
Di Giorgio, A, Ghica, DR & Zanasi, F 2025, Rewriting for Traced Monoidal Closed Categories. in J Endrullis & M Tichy (eds), Graph Transformation: 18th International Conference, ICGT 2025, Held as Part of STAF 2025, Koblenz, Germany, June 11–12, 2025, Proceedings. 1 edn, Lecture Notes in Computer Science, vol. 15720, Springer, pp. 24-43, 18th International Conference on Graph Transformation, ICGT 2025, Held as Part of STAF 2025, Koblenz, Germany, 11/06/25. https://doi.org/10.1007/978-3-031-94706-3_2
Alvarez-Picallo, M, Ghica, D, Sprunger, D & Zanasi, F 2023, Functorial String Diagrams for Reverse-Mode Automatic Differentiation. in B Klin & E Pimentel (eds), 31st EACSL Annual Conference on Computer Science Logic (CSL 2023)., 6, Leibniz International Proceedings in Informatics, LIPIcs, vol. 252, Schloss Dagstuhl, 31st EACSL Annual Conference on Computer Science Logic, Warsaw, Poland, 13/02/23. https://doi.org/10.4230/LIPIcs.CSL.2023.6
Ghica, DR & Kaye, G 2023, Rewriting Modulo Traced Comonoid Structure. in M Gaboardi & F van Raamsdonk (eds), 8th International Conference on Formal Structures for Computation and Deduction (FSCD 2023)., 14, Leibniz International Proceedings in Informatics, LIPIcs, vol. 260, Schloss Dagstuhl, 8th International Conference on Formal Structures for Computation and Deduction , Rome, Italy, 3/07/23. https://doi.org/10.4230/LIPIcs.FSCD.2023.14
Wilson, P, Ghica, D & Zanasi, F 2023, String Diagrams for Non-Strict Monoidal Categories. in B Klin & E Pimentel (eds), 31st EACSL Annual Conference on Computer Science Logic (CSL 2023)., 37, Leibniz International Proceedings in Informatics, LIPIcs, vol. 252, Schloss Dagstuhl, 31st EACSL Annual Conference on Computer Science Logic, Warsaw, Poland, 13/02/23. https://doi.org/10.4230/LIPIcs.CSL.2023.37
Alvarez-Picallo, M, Ghica, D, Sprunger, D & Zanasi, F 2022, Rewriting for Monoidal Closed Categories. in AP Felty (ed.), 7th International Conference on Formal Structures for Computation and Deduction (FSCD 2022)., 29, Leibniz international proceedings in informatics, vol. 228, Schloss Dagstuhl, 7th International Conference on Formal Structures for Computation and Deduction, FSCD 2022, Haifa, Israel, 2/08/22. https://doi.org/10.4230/LIPIcs.FSCD.2022.29
Ghica, DR & Ambridge, TW 2021, Global optimisation with constructive reals. in 2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS)., 9470549, Proceedings - Symposium on Logic in Computer Science, Institute of Electrical and Electronics Engineers (IEEE), 36th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2021, Virtual, Online, 29/06/21. https://doi.org/10.1109/LICS52264.2021.9470549
View all publications in research portal