| 2025 | LICS | Equivalence Hypergraphs: DPO Rewriting for Monoidal E-Graphs. | Aleksei Tiurin, Chris Barrett, Dan R. Ghica, Nick Hu |
| 2025 | PPDP | Closure Conversion, Flat Environments, and the Complexity of Abstract Machines. | Beniamino Accattoli, Cludio Belo Loureno, Dan R. Ghica, Giulio Guerrieri, Claudio Sacerdoti Coen |
| 2023 | CSL | String Diagrams for Non-Strict Monoidal Categories. | Paul W. Wilson, Dan R. Ghica, Fabio Zanasi |
| 2023 | CSL | Functorial String Diagrams for Reverse-Mode Automatic Differentiation. | Mario Alvarez-Picallo, Dan R. Ghica, David Sprunger, Fabio Zanasi |
| 2023 | FSCD | Rewriting Modulo Traced Comonoid Structure. | Dan R. Ghica, George Kaye |
| 2022 | FSCD | Rewriting for Monoidal Closed Categories. | Mario Alvarez-Picallo, Dan R. Ghica, David Sprunger, Fabio Zanasi |
| 2021 | LICS | Global Optimisation with Constructive Reals. | Dan R. Ghica, Todd Waugh Ambridge |
| 2018 | FLOPS | A Functional Perspective on Machine Learning via Programmable Induction and Abduction. | Steven Cheung, Victor Darvariu, Dan R. Ghica, Koko Muroya, Reuben N. S. Rowe |
| 2018 | LICS | The Geometry of Computation-Graph Abstraction. | Koko Muroya, Steven W. T. Cheung, Dan R. Ghica |
| 2017 | CSL | Diagrammatic Semantics for Digital Circuits. | Dan R. Ghica, Achim Jung, Aliaume Lopez |
| 2017 | CSL | The Dynamic Geometry of Interaction Machine: A Call-by-Need Graph Rewriter. | Koko Muroya, Dan R. Ghica |
| 2016 | FMCAD | Categorical semantics of digital circuits. | Dan R. Ghica, Achim Jung |
| 2015 | CSL | Leaving the Nest: Nominal Techniques for Variables with Interleaving Scopes. | Murdoch James Gabbay, Dan R. Ghica, Daniela Petrisan |
| 2015 | DATE | Transparent linking of compiled software and synthesized hardware. | David B. Thomas, Shane T. Fleming, George A. Constantinides, Dan R. Ghica |
| 2015 | FPGA | System-level Linking of Synthesised Hardware and Compiled Software Using a Higher-order Type System. | Shane T. Fleming, David B. Thomas, George A. Constantinides, Dan R. Ghica |
| 2015 | FPL | PushPush: Seamless integration of hardware and software objects via function calls over AXI. | Shane T. Fleming, Ivan Beretta, David B. Thomas, George A. Constantinides, Dan R. Ghica |
| 2014 | ESOP | Bounded Linear Types in a Resource Semiring. | Dan R. Ghica, Alex I. Smith |
| 2014 | FCCM | Compiling Higher Order Functional Programs to Composable Digital Hardware. | Eduardo Aguilar-Pelaez, Samuel Bayliss, Alex I. Smith, Felix Winterstein, Dan R. Ghica, David B. Thomas, George A. Constantinides |
| 2014 | ICFP | Krivine nets: a semantic foundation for distributed execution. | Olle Fredriksson, Dan R. Ghica |
| 2013 | LICS | Abstract Machines for Game Semantics, Revisited. | Olle Fredriksson, Dan R. Ghica |
| 2012 | MPC | The Geometry of Synthesis - How to Make Hardware Out of Software. | Dan R. Ghica |
| 2011 | FOSSACS | Synchronous Game Semantics via Round Abstraction. | Dan R. Ghica, Mohamed Nabih Menaa |
| 2011 | ICFP | Geometry of synthesis iv: compiling affine recursion into static hardware. | Dan R. Ghica, Alex I. Smith, Satnam Singh |
| 2011 | MEMOCODE | Function interface models for hardware compilation. | Dan R. Ghica |
| 2011 | POPL | Geometry of synthesis III: resource management through type inference. | Dan R. Ghica, Alex I. Smith |
| 2010 | CONCUR | On the Compositionality of Round Abstraction. | Dan R. Ghica, Mohamed Nabih Menaa |
| 2009 | LICS | Applications of Game Semantics: From Program Analysis to Hardware Synthesis. | Dan R. Ghica |
| 2009 | LICS | Clipping: A Semantics-Directed Syntactic Approximation. | Dan R. Ghica, Adam Bakewell |
| 2009 | TACAS | Compositional Predicate Abstraction from Game Semantics. | Adam Bakewell, Dan R. Ghica |
| 2008 | TACAS | On-the-Fly Techniques for Game-Based Software Model Checking. | Adam Bakewell, Dan R. Ghica |
| 2007 | POPL | Geometry of synthesis: a structured approach to VLSI design. | Dan R. Ghica |
| 2006 | TACAS | Compositional Model Extraction for Higher-Order Concurrent Programs. | Dan R. Ghica, Andrzej S. Murawski |
| 2005 | POPL | Slot games: a quantitative model of computation. | Dan R. Ghica |
| 2005 | SAS | Data-Abstraction Refinement: A Game Semantic Approach. | Aleksandar S. Dimovski, Dan R. Ghica, Ranko Lazic |
| 2004 | ESOP | Semantical Analysis of Specification Logic, 3: An Operational Approach. | Dan R. Ghica |
| 2004 | FOSSACS | Angelic Semantics of Fine-Grained Concurrency. | Dan R. Ghica, Andrzej S. Murawski |
| 2004 | ICALP | Syntactic Control of Concurrency. | Dan R. Ghica, Andrzej S. Murawski, C.-H. Luke Ong |
| 2004 | LICS | Nominal Games and Full Abstraction for the Nu-Calculus. | Samson Abramsky, Dan R. Ghica, Andrzej S. Murawski, C.-H. Luke Ong, Ian David Bede Stark |
| 2004 | TACAS | Applying Game Semantics to Compositional Software Modeling and Verification. | Samson Abramsky, Dan R. Ghica, Andrzej S. Murawski, C.-H. Luke Ong |
| 2000 | ICALP | Reasoning about Idealized ALGOL Using Regular Languages. | Dan R. Ghica, Guy McCusker |