Recent publications
Article
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
Muroya, K & Ghica, DR 2019, 'The dynamic geometry of interaction machine: a token-guided graph rewriter', Logical Methods in Computer Science, vol. 15, no. 4, 4340. https://doi.org/10.23638/LMCS-15(4:7)2019
Conference contribution
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. <http://eptcs.web.cse.unsw.edu.au/content.cgi?WPTE2017>
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
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
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
Muroya, K & Ghica, D 2017, The dynamic geometry of interaction machine: a call-by-need graph rewriter. in V Goranko & M Dam (eds), 26th EACSL Annual Conference on Computer Science Logic (CSL 2017)., 32, Leibniz International Proceedings in Informatics (LIPIcs), vol. 82, 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.
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
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
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
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. <http://dl.acm.org/citation.cfm?id=2757064>
Ghica, DR & Smith, AI 2014, Bounded linear types in a resource semiring. in Programming Languages and Systems: 23rd European Symposium on Programming, ESOP 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings. vol. 8410, Lecture Notes in Computer Science , vol. 8410, Springer, pp. 331-350, 23rd European Symposium on Programming, ESOP 2014 - Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, 5/04/14. https://doi.org/10.1007/978-3-642-54833-8_18
View all publications in research portal