Recent publications
Article
Ghica, DR, Kaye, G & Sprunger, D 2026, 'A Complete Theory of Sequential Digital Circuits: Denotational, Operational and Algebraic Semantics', Log. Methods Comput. Sci., vol. 22, no. 2, pp. 1-67. https://doi.org/10.46298/LMCS-22(2:34)2026
Ghica, DR & Kaye, G 2026, 'Rewriting Modulo Traced Comonoid Structure', Logical Methods in Computer Science, vol. 22, no. 1, 2. https://doi.org/10.46298/lmcs-22(1:2)2026
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
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 contribution
Accattoli, B, Belo Lourenço, C, Ghica, DR, Guerrieri, G & Sacerdoti Coen, C 2025, Closure Conversion, Flat Environments, and the Complexity of Abstract Machines. in M Biernacka, C Olarte, F Ricca & J Cheney (eds), Proceedings of the 27th International Symposium on Principles and Practice of Declarative Programming, PPDP 2025, Co-located with the 41st International Conference on Logic Programming., 15, Proceedings of the 27th International Symposium on Principles and Practice of Declarative Programming, PPDP 2025, Co-located with the 41st International Conference on Logic Programming, Association for Computing Machinery , 27th International Symposium on Principles and Practice of Declarative Programming, PPDP 2025, Rende, Italy, 10/09/25. https://doi.org/10.1145/3756907.3756922
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, Institute of Electrical and Electronics Engineers (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 - Leibniz-Zentrum für Informatik , 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 - Leibniz-Zentrum für Informatik , 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 - Leibniz-Zentrum für Informatik , 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 - Leibniz-Zentrum für Informatik , 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