Recent publications
Article
Muroya, K & Ghica, DR 2019, 'The dynamic geometry of interaction machine: a token-guided graph rewriter', Logical Methods in Computer Science.
Ghica, DR & Alyahya, K 2019, 'Latent semantic analysis of game models using LSTMs', Journal of Logical and Algebraic Methods in Programming.
Conference contribution
Muroya, K, Cheung, SWT & Ghica, D 2018, The Geometry of Computation-Graph Abstraction. in Proceedings of LICS ’18: 33rd Annual ACM/IEEE Symposium on Logic in Computer Science. Thirty-Third Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), Oxford, United Kingdom, 9/07/18. https://doi.org/10.1145/3209108.3209127
Cheung, S, Darvariu, V, Ghica, DR, Muroya, K & Rowe, RNS 2018, A functional perspective on machine learning via programmable induction and abduction. in JP Gallagher & M Sulzmann (eds), Functional and Logic Programming: 14th International Symposium, FLOPS 2018, Nagoya, Japan, May 9–11, 2018, Proceedings. Lecture Notes in Computer Science, vol. 10818, Springer, pp. 84-89, 14th International Symposium on Functional and Logic Programming, (FLOPS 2018), Nagoya, Japan, 9/05/18. https://doi.org/10.1007/978-3-319-90686-7_6
Ghica, D & Lopez, A 2018, A structural and nominal syntax for diagrams. in B Coecke & A Kissinger (eds), Proceedings 14th International Conference on Quantum Physics and Logic (QPL 2017). Electronic Proceedings in Theoretical Computer Science, vol. 266, Open Publishing Association, pp. 71-83, 14th International Conference on Quantum Physics and Logic (QPL), Nijmegen, Netherlands, 3/07/17. https://doi.org/10.4204/EPTCS.266.4
Muroya, K & Ghica, D 2018, Efficient implementation of evaluation strategies via token-guided graph rewriting. in Proceedings of the Fourth International Workshop on Rewriting Techniques for Program Transformations and Evaluation (WPTE2017). Electronic Proceedings in Theoretical Computer Science, vol. 265, Open Publishing Association, pp. 52-66, Fourth International Workshop on Rewriting Techniques for Program Transformations and Evaluation (WPTE2017), Oxford, United Kingdom, 8/09/17.
Ghica, DR & Alyahya, K 2017, On the Learnability of Programming Language Semantics. in M Bartoletti, L Bocchi, L Henrio & S Knight (eds), Proceedings 10th Interaction and Concurrency Experience (ICE 2017) . Electronic Proceedings in Theoretical Computer Science, vol. 261, Open Publishing Association, pp. 57-75, 10th Interaction and Concurrency Experience (ICE 2017) , Neuchatel, Switzerland, 22/06/17. https://doi.org/10.4204/EPTCS.261.7
Ghica, DR, Jung, A & Lopez, A 2017, Diagrammatic Semantics for Digital Circuits. in V Goranko & M Dam (eds), 26th EACSL Annual Conference on Computer Science Logic (CSL 2017). vol. 82, 24, Leibniz International Proceedings in Informatics, vol. 82, Schloss Dagstuhl, pp. 24:1-24:16, 26th EACSL Annual Conference on Computer Science Logic (CSL 2017), Stockholm, Sweden, 20/08/17. https://doi.org/10.4230/LIPIcs.CSL.2017.24
Muroya, K & Ghica, D 2017, The Dynamic Geometry of Interaction Machine: A Call-by-Need Graph Rewriter. in V Goranko & M Dam (eds), LIPIcs: Leibniz International Proceedings in Informatics: Proceedings of the 26th EACSL Annual Conference on Computer Science Logic (CSL 2017). vol. 82, 32, Schloss Dagstuhl, pp. 32:1-32:15, 26th EACSL Annual Conference on Computer Science Logic (CSL 2017), Stockholm, Sweden, 20/08/17. https://doi.org/10.4230/LIPIcs.CSL.2017.32
Ghica, D & Jung, A 2016, Categorical Semantics of Digital Circuits. in Proceedings of Formal Methods in Computer-Aided Design (FMCAD 2016). IEEE Computer Society Press, pp. 41-48, Formal Methods in Computer-Aided Design (FMCAD 2016), Mountain View, CA, United States, 3/10/16.
Fleming, ST, Beretta, I, Thomas, DB, Constantinides, GA & Ghica, DR 2015, PushPush: Seamless integration of hardware and software objects via function calls over AXI. in 25th International Conference on Field Programmable Logic and Applications, FPL 2015., 7294024, 25th International Conference on Field Programmable Logic and Applications, FPL 2015, Institute of Electrical and Electronics Engineers (IEEE), 25th International Conference on Field Programmable Logic and Applications, FPL 2015, London, United Kingdom, 2/09/15. https://doi.org/10.1109/FPL.2015.7294024
Gabbay, MJ, Ghica, D & Petrisan, D 2015, Leaving the Nest: Nominal Techniques for Variables with Interleaving Scopes. in S Kreutzer (ed.), Proceedings of 24th EACSL Annual Conference on Computer Science Logic (CSL 2015). vol. 41, Leibniz International Proceedings in Informatics (LIPIcs), vol. 41, Schloss Dagstuhl, pp. 347-389, 24th EACSL Annual Conference on Computer Science Logic (CSL 2015), Berlin, Germany, 7/09/15. https://doi.org/10.4230/LIPIcs.CSL.2015.374
Thomas, DB, Fleming, ST, Constantinides, GA & Ghica, DR 2015, Transparent linking of compiled software and synthesized hardware. in Proceedings - Design, Automation and Test in Europe, DATE 2015. vol. 2015-April, 7092550, Institute of Electrical and Electronics Engineers (IEEE), pp. 1084-1089, 2015 Design, Automation and Test in Europe Conference and Exhibition, DATE 2015, Grenoble, France, 9/03/15.
Fleming, S, Thomas, D, Constantinides, G & Ghica, D 2015, System-level Linking of Synthesised Hardware and Compiled Software Using a Higher-order Type System. in Proceedings of the 2015 ACM/SIGDA International Symposium on Field-Programmable Gate Arrays (FPGA '15). Association for Computing Machinery , pp. 214-217, 2015 ACM/SIGDA International Symposium on Field-Programmable Gate Arrays , Monterey, California, United Kingdom, 22/02/15. https://doi.org/10.1145/2684746.2689089
Fredriksson, O, Ghica, D & Wheen, B 2014, Towards native higher-order remote procedure calls. in IFL '14 Proceedings of the 26nd 2014 International Symposium on Implementation and Application of Functional Languages. ACM International Conference Proceeding Series, Association for Computing Machinery , IFL 2014 : 26th Symposium on Implementation and Application of Functional Languages, Boston, Massachusetts, United States, 1/10/14. https://doi.org/10.1145/2746325.2746332
View all publications in research portal