Dr Dan Ghica

Dr Dan Ghica

School of Computer Science
Reader

Contact details

Address
School of Computer Science
University of Birmingham
Edgbaston
Birmingham
B15 2TT
UK

Dr Dan Ghica is a Reader in Semantics of Programming Languages, in the School of Computer Science at the University of Birmingham. He is also a member of the Theory research group

Dan is currently studying programming languages using type systems and semantics, particularly game semantics. The main problem he works on is transparently compiling conventional programming languages on unconventional architectures (seamless computing). 

For more information, please see Dan's homepage.

Publications

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