Dan R. Ghica

Publication Activity (10 Years)

Years Active: 1996-2024
Publications (10 Years): 32

Top Topics

Functional Programs

Global Optimisation

Latent Semantic Analysis

Digital Circuits

Top Venues

Publications

Dan R. Ghica, Chris Barrett, Aleksei Tiurin
Equivalence Hypergraphs: E-Graphs for Monoidal Theories. CoRR (2024)
Dan R. Ghica, Fabio Zanasi
Hierarchical string diagrams and applications. CoRR (2023)
Dan R. Ghica, George Kaye
Rewriting modulo traced comonoid structure. CoRR (2023)
Mario Alvarez-Picallo, Dan R. Ghica, David Sprunger, Fabio Zanasi
Functorial String Diagrams for Reverse-Mode Automatic Differentiation. CSL (2023)
Dan R. Ghica, George Kaye
Rewriting Modulo Traced Comonoid Structure. FSCD (2023)
Paul W. Wilson, Dan R. Ghica, Fabio Zanasi
String Diagrams for Non-Strict Monoidal Categories. CSL (2023)
Dan R. Ghica, George Kaye, David Sprunger
Full abstraction for digital circuits. CoRR (2022)
Dan R. Ghica, Sam Lindley, Marcos Maroñas Bravo, Maciej Piróg
High-level effect handlers in C++. Proc. ACM Program. Lang. 6 (OOPSLA2) (2022)
Mario Alvarez-Picallo, Dan R. Ghica, David Sprunger, Fabio Zanasi
Rewriting for Monoidal Closed Categories. FSCD (2022)
Dan R. Ghica, Todd Waugh Ambridge
Global Optimisation with Constructive Reals. LICS (2021)
Mario Alvarez-Picallo, Dan R. Ghica, David Sprunger, Fabio Zanasi
Functorial String Diagrams for Reverse-Mode Automatic Differentiation. CoRR (2021)
Steven W. T. Cheung, Dan R. Ghica, Koko Muroya
Transparent Synchronous Dataflow. Art Sci. Eng. Program. 5 (3) (2021)
Dan R. Ghica
Operational Semantics with Hierarchical Abstract Syntax Graphs. TERMGRAPH@FSCD (2020)
Dan R. Ghica, Todd Waugh Ambridge
A Constructive, Type-Theoretic Approach to Regression via Global Optimisation. CoRR (2020)
Steven W. T. Cheung, Dan R. Ghica, Koko Muroya
Transparent Synchronous Dataflow. CoRR (2019)
Koko Muroya, Dan R. Ghica
The Dynamic Geometry of Interaction Machine: A Token-Guided Graph Rewriter. Log. Methods Comput. Sci. 15 (4) (2019)
Dan R. Ghica, Koko Muroya, Todd Waugh Ambridge
Local Reasoning for Robust Observational Equivalence. CoRR (2019)
Dan R. Ghica, Khulood AlYahya
Latent semantic analysis of game models using LSTM. J. Log. Algebraic Methods Program. 106 (2019)
Dan R. Ghica
The far side of the cube. CoRR (2019)
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)
Koko Muroya, Dan R. Ghica
The Dynamic Geometry of Interaction Machine: A Token-Guided Graph Rewriter. CoRR (2018)
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)
Koko Muroya, Steven W. T. Cheung, Dan R. Ghica
The Geometry of Computation-Graph Abstraction. LICS (2018)
Koko Muroya, Dan R. Ghica
Efficient Implementation of Evaluation Strategies via Token-Guided Graph Rewriting. WPTE@FSCD (2017)
Dan R. Ghica, Achim Jung, Aliaume Lopez
Diagrammatic Semantics for Digital Circuits. CoRR (2017)
Koko Muroya, Dan R. Ghica
The Dynamic Geometry of Interaction Machine: A Call-by-need Graph Rewriter. CoRR (2017)
Dan R. Ghica, Aliaume Lopez
A structural and nominal syntax for diagrams. QPL (2017)
Dan R. Ghica, Khulood AlYahya
On the Learnability of Programming Language Semantics. ICE@DisCoTec (2017)
Koko Muroya, Steven Cheung, Dan R. Ghica
Abductive functional programming, a semantic approach. CoRR (2017)
Dan R. Ghica, Achim Jung, Aliaume Lopez
Diagrammatic Semantics for Digital Circuits. CSL (2017)
Koko Muroya, Dan R. Ghica
The Dynamic Geometry of Interaction Machine: A Call-by-Need Graph Rewriter. CSL (2017)
Dan R. Ghica, Achim Jung
Categorical semantics of digital circuits. FMCAD (2016)
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)
Dan R. Ghica
Preface. MFPS (2015)
Murdoch James Gabbay, Dan R. Ghica, Daniela Petrisan
Leaving the Nest: Nominal Techniques for Variables with Interleaving Scopes. CSL (2015)
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)
David B. Thomas, Shane T. Fleming, George A. Constantinides, Dan R. Ghica
Transparent linking of compiled software and synthesized hardware. DATE (2015)
Olle Fredriksson, Dan R. Ghica, Bertram Wheen
Towards native higher-order remote procedure calls. IFL (2014)
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)
Olle Fredriksson, Dan R. Ghica
Krivine nets: a semantic foundation for distributed execution. ICFP (2014)
Dan R. Ghica, Alex I. Smith
Bounded Linear Types in a Resource Semiring. ESOP (2014)
Dan R. Ghica
Diagrammatic Reasoning for Delay-Insensitive Asynchronous Circuits. Computation, Logic, Games, and Quantum Foundations (2013)
Olle Fredriksson, Dan R. Ghica
Abstract Machines for Game Semantics, Revisited. LICS (2013)
Dan R. Ghica, Alex I. Smith
From bounded affine types to automatic timing analysis. CoRR (2013)
Olle Fredriksson, Dan R. Ghica
Abstract machines for game semantics, revisited CoRR (2013)
Samson Abramsky, Dan R. Ghica
Foreword. Ann. Pure Appl. Log. 164 (11) (2013)
Dan R. Ghica, Zaid Al-Zobaidi
Coherent Minimisation: Towards efficient tamper-proof compilation ICE (2012)
Dan R. Ghica, Nikos Tzevelekos
A System-Level Game Semantics. MFPS (2012)
Dan R. Ghica, Nikos Tzevelekos
A System-Level Semantics CoRR (2012)
Olle Fredriksson, Dan R. Ghica
Seamless Distributed Computing from the Geometry of Interaction. TGC (2012)
Murdoch Gabbay, Dan R. Ghica
Game Semantics in the Nominal Model. MFPS (2012)
Dan R. Ghica
The Geometry of Synthesis - How to Make Hardware Out of Software. MPC (2012)
Dan R. Ghica, Alex I. Smith, Satnam Singh
Geometry of synthesis iv: compiling affine recursion into static hardware. ICFP (2011)
Dan R. Ghica, Mohamed Nabih Menaa
Synchronous Game Semantics via Round Abstraction. FoSSaCS (2011)
Dan R. Ghica
Function interface models for hardware compilation. MEMOCODE (2011)
Dan R. Ghica, Alex I. Smith
Geometry of synthesis III: resource management through type inference. POPL (2011)
Dan R. Ghica, Russ Harmer
Foreword. Ann. Pure Appl. Log. 161 (5) (2010)
Dan R. Ghica, Mohamed Nabih Menaa
On the Compositionality of Round Abstraction. CONCUR (2010)
Adam Bakewell, Aleksandar S. Dimovski, Dan R. Ghica, Ranko Lazic
Data-abstraction refinement: a game semantic approach. Int. J. Softw. Tools Technol. Transf. 12 (5) (2010)
Dan R. Ghica, Alex I. Smith
Geometry of Synthesis II: From Games to Delay-Insensitive Circuits. MFPS (2010)
Adam Bakewell, Dan R. Ghica
Compositional Predicate Abstraction from Game Semantics. TACAS (2009)
Dan R. Ghica
Applications of Game Semantics: From Program Analysis to Hardware Synthesis. LICS (2009)
Dan R. Ghica, Adam Bakewell
Clipping: A Semantics-Directed Syntactic Approximation. LICS (2009)
Dan R. Ghica
Function Interface Models for Hardware Compilation: Types, Signatures, Protocols CoRR (2009)
Guy McCusker, Dan R. Ghica
Foreword for special issue of APAL for GaLoP 2005. Ann. Pure Appl. Log. 151 (2-3) (2008)
Adam Bakewell, Dan R. Ghica
On-the-Fly Techniques for Game-Based Software Model Checking. TACAS (2008)
Dan R. Ghica, Andrzej S. Murawski
Angelic semantics of fine-grained concurrency. Ann. Pure Appl. Log. 151 (2-3) (2008)
Adam Bakewell, Dan R. Ghica
Game-based safety checking with Mage. SAVCBS (2007)
Dan R. Ghica
Geometry of synthesis: a structured approach to VLSI design. POPL (2007)
Dan R. Ghica, Andrzej S. Murawski, C.-H. Luke Ong
Syntactic control of concurrency. Theor. Comput. Sci. 350 (2-3) (2006)
Aleksandar S. Dimovski, Dan R. Ghica, Ranko Lazic
A Counterexample-Guided Refinement Tool for Open Procedural Programs. SPIN (2006)
Dan R. Ghica, Andrzej S. Murawski
Compositional Model Extraction for Higher-Order Concurrent Programs. TACAS (2006)
Aleksandar S. Dimovski, Dan R. Ghica, Ranko Lazic
Data-Abstraction Refinement: A Game Semantic Approach. SAS (2005)
Aleksandar S. Dimovski, Dan R. Ghica, Ranko Lazic
Abstraction-refinement for game-based model checking. GALOP@ETAPS (2005)
Dan R. Ghica
Slot games: a quantitative model of computation. POPL (2005)
Dan R. Ghica
Semantical Analysis of Specification Logic, 3: An Operational Approach. ESOP (2004)
Samson Abramsky, Dan R. Ghica, Andrzej S. Murawski, C.-H. Luke Ong, Ian David Bede Stark
Nominal Games and Full Abstraction for the Nu-Calculus. LICS (2004)
Dan R. Ghica, Andrzej S. Murawski
Angelic Semantics of Fine-Grained Concurrency. FoSSaCS (2004)
Samson Abramsky, Dan R. Ghica, Andrzej S. Murawski, C.-H. Luke Ong
Applying Game Semantics to Compositional Software Modeling and Verification. TACAS (2004)
Dan R. Ghica, Andrzej S. Murawski, C.-H. Luke Ong
Syntactic Control of Concurrency. ICALP (2004)
Dan R. Ghica, Guy McCusker
. Theor. Comput. Sci. 309 (1-3) (2003)
Dan R. Ghica
Regular-Language Semantics for a Call-by-Value Programming Language. MFPS (2001)
Dan R. Ghica, Guy McCusker
Reasoning about Idealized ALGOL Using Regular Languages. ICALP (2000)
Robert D. Tennent, Dan R. Ghica
Abstract Models of Storage. High. Order Symb. Comput. 13 (1/2) (2000)
Dan R. Ghica
Software engineering: a motivation. XRDS 2 (3) (1996)