default search action
Dan R. Ghica
Person information
- affiliation: University of Birmingham, UK
- affiliation: University of Oxford, UK
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [j15]Paul W. Wilson, Dan R. Ghica, Fabio Zanasi:
String diagrams for Strictification and Coherence. Log. Methods Comput. Sci. 20(4) (2024) - [j14]Mario Alvarez-Picallo
, Teodoro Freund
Effect Handlers for C via Coroutines. Proc. ACM Program. Lang. 8(OOPSLA2): 2462-2489 (2024) - [i18]Dan R. Ghica, Chris Barrett, Aleksei Tiurin:
Equivalence Hypergraphs: E-Graphs for Monoidal Theories. CoRR abs/2406.15882 (2024) - 2023
- [c54]Mario Alvarez-Picallo, Dan R. Ghica, David Sprunger, Fabio Zanasi
Functorial String Diagrams for Reverse-Mode Automatic Differentiation. CSL 2023: 6:1-6:20 - [c53]Paul W. Wilson, Dan R. Ghica, Fabio Zanasi
String Diagrams for Non-Strict Monoidal Categories. CSL 2023: 37:1-37:19 - [c52]Dan R. Ghica, George Kaye
Rewriting Modulo Traced Comonoid Structure. FSCD 2023: 14:1-14:21 - [i17]Dan R. Ghica, George Kaye
Rewriting modulo traced comonoid structure. CoRR abs/2302.09631 (2023) - [i16]Dan R. Ghica, Fabio Zanasi:
Hierarchical string diagrams and applications. CoRR abs/2305.18945 (2023) - 2022
- [j13]Dan R. Ghica
High-level effect handlers in C++. Proc. ACM Program. Lang. 6(OOPSLA2): 1639-1667 (2022) - [c51]Mario Alvarez-Picallo, Dan R. Ghica, David Sprunger, Fabio Zanasi
Rewriting for Monoidal Closed Categories. FSCD 2022: 29:1-29:20 - [i15]Dan R. Ghica, George Kaye, David Sprunger:
Full abstraction for digital circuits. CoRR abs/2201.10456 (2022) - 2021
- [j12]Steven W. T. Cheung, Dan R. Ghica, Koko Muroya:
Transparent Synchronous Dataflow. Art Sci. Eng. Program. 5(3): 12 (2021) - [c50]Dan R. Ghica, Todd Waugh Ambridge:
Global Optimisation with Constructive Reals. LICS 2021: 1-13 - [i14]Mario Alvarez-Picallo, Dan R. Ghica, David Sprunger, Fabio Zanasi:
Functorial String Diagrams for Reverse-Mode Automatic Differentiation. CoRR abs/2107.13433 (2021) - 2020
- [c49]Dan R. Ghica:
Operational Semantics with Hierarchical Abstract Syntax Graphs. TERMGRAPH@FSCD 2020: 1-10 - [i13]Dan R. Ghica, Todd Waugh Ambridge:
A Constructive, Type-Theoretic Approach to Regression via Global Optimisation. CoRR abs/2006.12868 (2020)
2010 – 2019
- 2019
- [j11]Dan R. Ghica
Latent semantic analysis of game models using LSTM. J. Log. Algebraic Methods Program. 106: 39-54 (2019) - [j10]Koko Muroya, Dan R. Ghica:
The Dynamic Geometry of Interaction Machine: A Token-Guided Graph Rewriter. Log. Methods Comput. Sci. 15(4) (2019) - [i12]Dan R. Ghica, Koko Muroya, Todd Waugh Ambridge:
Local Reasoning for Robust Observational Equivalence. CoRR abs/1907.01257 (2019) - [i11]Dan R. Ghica:
The far side of the cube. CoRR abs/1908.04291 (2019) - [i10]Steven W. T. Cheung, Dan R. Ghica, Koko Muroya:
Transparent Synchronous Dataflow. CoRR abs/1910.09579 (2019) - 2018
- [c48]Steven Cheung, Victor Darvariu, Dan R. Ghica, Koko Muroya, Reuben N. S. Rowe
A Functional Perspective on Machine Learning via Programmable Induction and Abduction. FLOPS 2018: 84-98 - [c47]Koko Muroya, Steven W. T. Cheung, Dan R. Ghica:
The Geometry of Computation-Graph Abstraction. LICS 2018: 749-758 - [e3]Dan R. Ghica, Achim Jung:
27th EACSL Annual Conference on Computer Science Logic, CSL 2018, September 4-7, 2018, Birmingham, UK. LIPIcs 119, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2018, ISBN 978-3-95977-088-0 [contents] - [i9]Koko Muroya, Dan R. Ghica:
The Dynamic Geometry of Interaction Machine: A Token-Guided Graph Rewriter. CoRR abs/1803.00427 (2018) - [i8]Dan R. Ghica, Masahito Hasegawa, Pawel Sobocinski:
Diagrammatic methods for linear and nonlinear systems (NII Shonan Meeting 2018-18). NII Shonan Meet. Rep. 2018 (2018) - 2017
- [c46]Dan R. Ghica, Achim Jung, Aliaume Lopez
Diagrammatic Semantics for Digital Circuits. CSL 2017: 24:1-24:16 - [c45]Koko Muroya, Dan R. Ghica:
The Dynamic Geometry of Interaction Machine: A Call-by-Need Graph Rewriter. CSL 2017: 32:1-32:15 - [c44]Koko Muroya, Dan R. Ghica:
Efficient Implementation of Evaluation Strategies via Token-Guided Graph Rewriting. WPTE@FSCD 2017: 52-66 - [c43]Dan R. Ghica, Khulood AlYahya:
On the Learnability of Programming Language Semantics. ICE@DisCoTec 2017: 57-75 - [c42]Dan R. Ghica, Aliaume Lopez
A structural and nominal syntax for diagrams. QPL 2017: 71-83 - [i7]Koko Muroya, Dan R. Ghica:
The Dynamic Geometry of Interaction Machine: A Call-by-need Graph Rewriter. CoRR abs/1703.10027 (2017) - [i6]Dan R. Ghica, Achim Jung, Aliaume Lopez:
Diagrammatic Semantics for Digital Circuits. CoRR abs/1703.10247 (2017) - [i5]Koko Muroya, Steven Cheung, Dan R. Ghica:
Abductive functional programming, a semantic approach. CoRR abs/1710.03984 (2017) - 2016
- [c41]Dan R. Ghica, Achim Jung:
Categorical semantics of digital circuits. FMCAD 2016: 41-48 - 2015
- [c40]Murdoch James Gabbay
Leaving the Nest: Nominal Techniques for Variables with Interleaving Scopes. CSL 2015: 374-389 - [c39]David B. Thomas, Shane T. Fleming, George A. Constantinides, Dan R. Ghica:
Transparent linking of compiled software and synthesized hardware. DATE 2015: 1084-1089 - [c38]Shane T. Fleming, David B. Thomas, George A. Constantinides, Dan R. Ghica:
System-level Linking of Synthesised Hardware and Compiled Software Using a Higher-order Type System. FPGA 2015: 214-217 - [c37]Shane T. Fleming, Ivan Beretta, David B. Thomas, George A. Constantinides, Dan R. Ghica:
PushPush: Seamless integration of hardware and software objects via function calls over AXI. FPL 2015: 1-8 - [c36]Dan R. Ghica:
Preface. MFPS 2015: 1-2 - [e2]Dan R. Ghica:
The 31st Conference on the Mathematical Foundations of Programming Semantics, MFPS 2015, Nijmegen, The Netherlands, June 22-25, 2015. Electronic Notes in Theoretical Computer Science 319, Elsevier 2015 [contents] - 2014
- [c35]Dan R. Ghica, Alex I. Smith:
Bounded Linear Types in a Resource Semiring. ESOP 2014: 331-350 - [c34]Eduardo Aguilar-Pelaez, Samuel Bayliss, Alex I. Smith, Felix Winterstein, Dan R. Ghica, David B. Thomas, George A. Constantinides:
Compiling Higher Order Functional Programs to Composable Digital Hardware. FCCM 2014: 234 - [c33]Olle Fredriksson, Dan R. Ghica:
Krivine nets: a semantic foundation for distributed execution. ICFP 2014: 349-361 - [c32]Olle Fredriksson, Dan R. Ghica, Bertram Wheen:
Towards native higher-order remote procedure calls. IFL 2014: 10:1-10:12 - 2013
- [j9]Samson Abramsky
Foreword. Ann. Pure Appl. Log. 164(11): 1037 (2013) - [c31]Dan R. Ghica:
Diagrammatic Reasoning for Delay-Insensitive Asynchronous Circuits. Computation, Logic, Games, and Quantum Foundations 2013: 52-68 - [c30]Olle Fredriksson, Dan R. Ghica:
Abstract Machines for Game Semantics, Revisited. LICS 2013: 560-569 - [i4]Olle Fredriksson, Dan R. Ghica:
Abstract machines for game semantics, revisited. CoRR abs/1304.4159 (2013) - [i3]Dan R. Ghica, Alex I. Smith:
From bounded affine types to automatic timing analysis. CoRR abs/1307.2473 (2013) - 2012
- [c29]Dan R. Ghica:
The Geometry of Synthesis - How to Make Hardware Out of Software. MPC 2012: 23-24 - [c28]Olle Fredriksson, Dan R. Ghica:
Seamless Distributed Computing from the Geometry of Interaction. TGC 2012: 34-48 - [c27]Dan R. Ghica, Zaid Al-Zobaidi:
Coherent Minimisation: Towards efficient tamper-proof compilation. ICE 2012: 83-98 - [c26]Murdoch Gabbay
Game Semantics in the Nominal Model. MFPS 2012: 173-189 - [c25]Dan R. Ghica, Nikos Tzevelekos:
A System-Level Game Semantics. MFPS 2012: 191-211 - [i2]Dan R. Ghica, Nikos Tzevelekos:
A System-Level Semantics. CoRR abs/1201.4462 (2012) - 2011
- [c24]Dan R. Ghica, Mohamed Nabih Menaa:
Synchronous Game Semantics via Round Abstraction. FoSSaCS 2011: 350-364 - [c23]Dan R. Ghica, Alex I. Smith, Satnam Singh:
Geometry of synthesis iv: compiling affine recursion into static hardware. ICFP 2011: 221-233 - [c22]Dan R. Ghica:
Function interface models for hardware compilation. MEMOCODE 2011: 131-142 - [c21]Dan R. Ghica, Alex I. Smith:
Geometry of synthesis III: resource management through type inference. POPL 2011: 345-356 - 2010
- [j8]Dan R. Ghica, Russ Harmer:
Foreword. Ann. Pure Appl. Log. 161(5): 617 (2010) - [j7]Adam Bakewell, Aleksandar S. Dimovski
Data-abstraction refinement: a game semantic approach. Int. J. Softw. Tools Technol. Transf. 12(5): 373-389 (2010) - [c20]Dan R. Ghica, Mohamed Nabih Menaa:
On the Compositionality of Round Abstraction. CONCUR 2010: 417-431 - [c19]Dan R. Ghica, Alex I. Smith:
Geometry of Synthesis II: From Games to Delay-Insensitive Circuits. MFPS 2010: 301-324
2000 – 2009
- 2009
- [c18]Dan R. Ghica:
Applications of Game Semantics: From Program Analysis to Hardware Synthesis. LICS 2009: 17-26 - [c17]Dan R. Ghica, Adam Bakewell:
Clipping: A Semantics-Directed Syntactic Approximation. LICS 2009: 189-198 - [c16]Adam Bakewell, Dan R. Ghica:
Compositional Predicate Abstraction from Game Semantics. TACAS 2009: 62-76 - [i1]Dan R. Ghica:
Function Interface Models for Hardware Compilation: Types, Signatures, Protocols. CoRR abs/0907.0749 (2009) - 2008
- [j6]Guy McCusker
Foreword for special issue of APAL for GaLoP 2005. Ann. Pure Appl. Log. 151(2-3): 69 (2008) - [j5]Dan R. Ghica, Andrzej S. Murawski:
Angelic semantics of fine-grained concurrency. Ann. Pure Appl. Log. 151(2-3): 89-114 (2008) - [c15]Adam Bakewell, Dan R. Ghica:
On-the-Fly Techniques for Game-Based Software Model Checking. TACAS 2008: 78-92 - 2007
- [c14]Dan R. Ghica:
Geometry of synthesis: a structured approach to VLSI design. POPL 2007: 363-375 - [c13]Adam Bakewell, Dan R. Ghica:
Game-based safety checking with Mage. SAVCBS 2007: 85-87 - 2006
- [j4]Dan R. Ghica, Andrzej S. Murawski, C.-H. Luke Ong
Syntactic control of concurrency. Theor. Comput. Sci. 350(2-3): 234-251 (2006) - [c12]Aleksandar S. Dimovski
A Counterexample-Guided Refinement Tool for Open Procedural Programs. SPIN 2006: 288-292 - [c11]Dan R. Ghica, Andrzej S. Murawski:
Compositional Model Extraction for Higher-Order Concurrent Programs. TACAS 2006: 303-317 - 2005
- [c10]Aleksandar S. Dimovski, Dan R. Ghica, Ranko Lazic:
Abstraction-refinement for game-based model checking. GALOP@ETAPS 2005: 139 - [c9]Dan R. Ghica:
Slot games: a quantitative model of computation. POPL 2005: 85-97 - [c8]Aleksandar S. Dimovski
Data-Abstraction Refinement: A Game Semantic Approach. SAS 2005: 102-117 - [e1]Dan R. Ghica, Guy McCusker:
1st Workshop on Games for Logic and Programming Languages, GALOP@ETAPS 2005, Edinburgh, UK, 2-3 April 2005. 2005 [contents] - 2004
- [c7]Dan R. Ghica:
Semantical Analysis of Specification Logic, 3: An Operational Approach. ESOP 2004: 264-278 - [c6]Dan R. Ghica, Andrzej S. Murawski:
Angelic Semantics of Fine-Grained Concurrency. FoSSaCS 2004: 211-225 - [c5]Dan R. Ghica, Andrzej S. Murawski, C.-H. Luke Ong
Syntactic Control of Concurrency. ICALP 2004: 683-694 - [c4]Samson Abramsky
Nominal Games and Full Abstraction for the Nu-Calculus. LICS 2004: 150-159 - [c3]Samson Abramsky
Applying Game Semantics to Compositional Software Modeling and Verification. TACAS 2004: 421-435 - 2003
- [j3]Dan R. Ghica, Guy McCusker
The regular-language semantics of second-order idealized ALGOL. Theor. Comput. Sci. 309(1-3): 469-502 (2003) - 2001
- [c2]Dan R. Ghica:
Regular-Language Semantics for a Call-by-Value Programming Language. MFPS 2001: 106-118 - 2000
- [j2]Robert D. Tennent, Dan R. Ghica:
Abstract Models of Storage. High. Order Symb. Comput. 13(1/2): 119-129 (2000) - [c1]Dan R. Ghica, Guy McCusker:
Reasoning about Idealized ALGOL Using Regular Languages. ICALP 2000: 103-115
1990 – 1999
- 1996
- [j1]Dan R. Ghica:
Software engineering: a motivation. XRDS 2(3): 3 (1996)
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-12-02 21:28 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: