Dan Ghica

View Scopus Profile

Dan Ghica

Prof

 https://orcid.org/0000-0002-4003-8893

Accepting PhD Students

PhD projects

* semantics of programming languages via game semantics and/or
(hierarchical) string diagrams
* string-diagram semantics of digital circuits and their applications
* hierarchical string diagrams: categorical models and graph rewriting
* programming models for the cloud
* programming models for reconfigurable computing
* foundations of machine learning and data science in type theory
* compositional software analysis, verification and validation using game semantics
* semantic analysis of programming languages using machine learning

20032024

Research activity per year

Filter
Conference contribution

Search results

  • 2022

    Rewriting for Monoidal Closed Categories

    Alvarez-Picallo, M., Ghica, D., Sprunger, D. & Zanasi, F., 28 Jun 2022, 7th International Conference on Formal Structures for Computation and Deduction (FSCD 2022). Felty, A. P. (ed.). Schloss Dagstuhl, 20 p. 29. (Leibniz international proceedings in informatics; vol. 228).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    File
    31 Downloads (Pure)
  • 2021

    Global optimisation with constructive reals

    Ghica, D. R. & Ambridge, T. W., 7 Jul 2021, 2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS). Institute of Electrical and Electronics Engineers (IEEE), 13 p. 9470549. (Proceedings - Symposium on Logic in Computer Science).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • 2018

    A functional perspective on machine learning via programmable induction and abduction

    Cheung, S., Darvariu, V., Ghica, D. R., Muroya, K. & Rowe, R. N. S., 9 May 2018, Functional and Logic Programming: 14th International Symposium, FLOPS 2018, Nagoya, Japan, May 9–11, 2018, Proceedings. Gallagher, J. P. & Sulzmann, M. (eds.). Springer, p. 84-89 (Lecture Notes in Computer Science; vol. 10818).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    File
    1 Citation (Scopus)
    139 Downloads (Pure)

  • A structural and nominal syntax for diagrams

    Ghica, D. & Lopez, A., 27 Feb 2018, Proceedings 14th International Conference on Quantum Physics and Logic (QPL 2017). Coecke, B. & Kissinger, A. (eds.). Open Publishing Association, p. 71-83 13 p. (Electronic Proceedings in Theoretical Computer Science; vol. 266).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    File
    4 Citations (Scopus)
    254 Downloads (Pure)

  • Efficient implementation of evaluation strategies via token-guided graph rewriting

    Muroya, K. & Ghica, D., 16 Feb 2018, Proceedings of the Fourth International Workshop on Rewriting Techniques for Program Transformations and Evaluation (WPTE2017). Open Publishing Association, p. 52-66 15 p. (Electronic Proceedings in Theoretical Computer Science; vol. 265).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    File
    1 Citation (Scopus)
    128 Downloads (Pure)

  • The Geometry of Computation-Graph Abstraction

    Muroya, K., Cheung, S. W. T. & Ghica, D., 12 Jul 2018, Proceedings of LICS ’18: 33rd Annual ACM/IEEE Symposium on Logic in Computer Science. 24 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    File
    276 Downloads (Pure)
  • 2017

    Diagrammatic Semantics for Digital Circuits

    Ghica, D. R., Jung, A. & Lopez, A., 1 Sept 2017, 26th EACSL Annual Conference on Computer Science Logic (CSL 2017). Goranko, V. & Dam, M. (eds.). Schloss Dagstuhl, Vol. 82. p. 24:1-24:16 16 p. 24. (Leibniz International Proceedings in Informatics; vol. 82).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    File
    5 Citations (Scopus)
    85 Downloads (Pure)

  • On the Learnability of Programming Language Semantics

    Ghica, D. R. & Alyahya, K., 29 Nov 2017, Proceedings 10th Interaction and Concurrency Experience (ICE 2017) . Bartoletti, M., Bocchi, L., Henrio, L. & Knight, S. (eds.). Open Publishing Association, p. 57-75 (Electronic Proceedings in Theoretical Computer Science; vol. 261).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    File
    170 Downloads (Pure)

  • The dynamic geometry of interaction machine: a call-by-need graph rewriter

    Muroya, K. & Ghica, D., 16 Aug 2017, 26th EACSL Annual Conference on Computer Science Logic (CSL 2017). Goranko, V. & Dam, M. (eds.). Schloss Dagstuhl, p. 32:1-32:15 15 p. 32. (Leibniz International Proceedings in Informatics (LIPIcs); vol. 82).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    File
    8 Citations (Scopus)
    36 Downloads (Pure)
  • 2016

    Categorical Semantics of Digital Circuits

    Ghica, D. & Jung, A., 3 Oct 2016, Proceedings of Formal Methods in Computer-Aided Design (FMCAD 2016). IEEE Computer Society Press, p. 41-48 8 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    File
    220 Downloads (Pure)
  • 2015

    Leaving the Nest: Nominal Techniques for Variables with Interleaving Scopes

    Gabbay, M. J., Ghica, D. & Petrisan, D., 4 Sept 2015, Proceedings of 24th EACSL Annual Conference on Computer Science Logic (CSL 2015). Kreutzer, S. (ed.). Schloss Dagstuhl, Vol. 41. p. 347-389 (Leibniz International Proceedings in Informatics (LIPIcs); vol. 41).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    4 Citations (Scopus)

  • PushPush: Seamless integration of hardware and software objects via function calls over AXI

    Fleming, S. T., Beretta, I., Thomas, D. B., Constantinides, G. A. & Ghica, D. R., 7 Oct 2015, 25th International Conference on Field Programmable Logic and Applications, FPL 2015. Institute of Electrical and Electronics Engineers (IEEE), 7294024. (25th International Conference on Field Programmable Logic and Applications, FPL 2015).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    2 Citations (Scopus)

  • System-level Linking of Synthesised Hardware and Compiled Software Using a Higher-order Type System

    Fleming, S., Thomas, D., Constantinides, G. & Ghica, D., 22 Feb 2015, Proceedings of the 2015 ACM/SIGDA International Symposium on Field-Programmable Gate Arrays (FPGA '15). Association for Computing Machinery , p. 214-217

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    2 Citations (Scopus)

  • Transparent linking of compiled software and synthesized hardware

    Thomas, D. B., Fleming, S. T., Constantinides, G. A. & Ghica, D. R., 22 Apr 2015, Proceedings - Design, Automation and Test in Europe, DATE 2015. Institute of Electrical and Electronics Engineers (IEEE), Vol. 2015-April. p. 1084-1089 6 p. 7092550

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    7 Citations (Scopus)
  • 2014

    Bounded linear types in a resource semiring

    Ghica, D. R. & Smith, A. I., 2014, 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. Springer, Vol. 8410. p. 331-350 20 p. (Lecture Notes in Computer Science ; vol. 8410).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    File
    22 Citations (Scopus)
    240 Downloads (Pure)

  • Compiling Higher Order Functional Programs to Composable Digital Hardware

    Pelaez, E. A., Bayliss, S., Smith, A., Winterstein, F., Ghica, D. R., Thomas, D. & Constantinides, G. A., 11 May 2014, IEEE 22nd Annual International Symposium on Field-Programmable Custom Computing Machines (FCCM 2014), Proceedings. Institute of Electrical and Electronics Engineers (IEEE), p. 234

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    2 Citations (Scopus)

  • Krivine nets: A semantic foundation for distributed execution

    Fredriksson, O. & Ghica, D. R., 1 Sept 2014, Proceedings of the ACM SIGPLAN International Conference on Functional Programming, ICFP 2014. Association for Computing Machinery , p. 349-361 13 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    1 Citation (Scopus)

  • Towards native higher-order remote procedure calls

    Fredriksson, O., Ghica, D. & Wheen, B., 1 Oct 2014, IFL '14 Proceedings of the 26nd 2014 International Symposium on Implementation and Application of Functional Languages. Association for Computing Machinery , 12 p. (ACM International Conference Proceeding Series).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    File
    184 Downloads (Pure)
  • 2013

    Seamless distributed computing from the geometry of interaction

    Fredriksson, O. & Ghica, D. R., 30 Oct 2013, Trustworthy Global Computing - 7th International Symposium, TGC 2012, Revised Selected Papers. p. 34-48 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8191 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    7 Citations (Scopus)
  • 2012

    The geometry of synthesis how to make hardware out of software

    Ghica, D. R., 1 Jan 2012, Mathematics of Program Construction - 11th International Conference, MPC 2012, Proceedings. Gibbons, J. & Nogueira, P. (eds.). Springer Verlag, p. 23-24 2 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 7342 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    1 Citation (Scopus)
  • 2010

    On the Compositionality of Round Abstraction

    Ghica, D. & Menaa, M., 1 Jan 2010, CONCUR 2010 - Concurrency Theory: 21th International Conference, CONCUR 2010, Paris, France, August 31-September 3, 2010. Proceedings. Gastin, P. & Laroussinie, F. (eds.). Springer, p. 417-431 15 p. (Lecture Notes in Computer Science; vol. 6269).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    8 Citations (Scopus)
  • 2007

    Geometry of Synthesis: A structured approach to VLSI design

    Ghica, D., 1 Jan 2007, Proceedings of the 34th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages. Association for Computing Machinery , p. 363-375 13 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    31 Citations (Scopus)