Dan R. Ghica

According to our database, Dan R. Ghica authored at least 78 papers between 1996 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Effect Handlers for C via Coroutines.

Mario Alvarez-Picallo, Teodoro Freund, Dan R. Ghica, Sam Lindley

Proc. ACM Program. Lang., 2024

String diagrams for Strictification and Coherence.

Paul W. Wilson, Dan R. Ghica, Fabio Zanasi

Log. Methods Comput. Sci., 2024

Equivalence Hypergraphs: E-Graphs for Monoidal Theories.

Dan R. Ghica, Chris Barrett, Aleksei Tiurin

CoRR, 2024

2023

Hierarchical string diagrams and applications.

Dan R. Ghica, Fabio Zanasi

CoRR, 2023

Rewriting Modulo Traced Comonoid Structure.

Dan R. Ghica, George Kaye

Proceedings of the 8th International Conference on Formal Structures for Computation and Deduction, 2023

Functorial String Diagrams for Reverse-Mode Automatic Differentiation.

Mario Alvarez-Picallo, Dan R. Ghica, David Sprunger, Fabio Zanasi

Proceedings of the 31st EACSL Annual Conference on Computer Science Logic, 2023

String Diagrams for Non-Strict Monoidal Categories.

Paul W. Wilson, Dan R. Ghica, Fabio Zanasi

Proceedings of the 31st EACSL Annual Conference on Computer Science Logic, 2023

2022

High-level effect handlers in C++.

Dan R. Ghica, Sam Lindley, Marcos Maroñas Bravo, Maciej Piróg

Proc. ACM Program. Lang., 2022

Full abstraction for digital circuits.

Dan R. Ghica, George Kaye, David Sprunger

CoRR, 2022

Rewriting for Monoidal Closed Categories.

Mario Alvarez-Picallo, Dan R. Ghica, David Sprunger, Fabio Zanasi

Proceedings of the 7th International Conference on Formal Structures for Computation and Deduction, 2022

2021

Transparent Synchronous Dataflow.

Steven W. T. Cheung, Dan R. Ghica, Koko Muroya

Art Sci. Eng. Program., 2021

Global Optimisation with Constructive Reals.

Dan R. Ghica, Todd Waugh Ambridge

Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science, 2021

2020

Operational Semantics with Hierarchical Abstract Syntax Graphs.

Dan R. Ghica

Proceedings of the Proceedings 11th International Workshop on Computing with Terms and Graphs, 2020

A Constructive, Type-Theoretic Approach to Regression via Global Optimisation.

Dan R. Ghica, Todd Waugh Ambridge

CoRR, 2020

2019

The Dynamic Geometry of Interaction Machine: A Token-Guided Graph Rewriter.

Koko Muroya, Dan R. Ghica

Log. Methods Comput. Sci., 2019

Latent semantic analysis of game models using LSTM.

Dan R. Ghica, Khulood AlYahya

J. Log. Algebraic Methods Program., 2019

The far side of the cube.

Dan R. Ghica

CoRR, 2019

Local Reasoning for Robust Observational Equivalence.

Dan R. Ghica, Koko Muroya, Todd Waugh Ambridge

CoRR, 2019

2018

Diagrammatic methods for linear and nonlinear systems (NII Shonan Meeting 2018-18).

Dan R. Ghica, Masahito Hasegawa, Pawel Sobocinski

NII Shonan Meet. Rep., 2018

The Geometry of Computation-Graph Abstraction.

Koko Muroya, Steven W. T. Cheung, Dan R. Ghica

Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science, 2018

A Functional Perspective on Machine Learning via Programmable Induction and Abduction.

Steven Cheung, Victor Darvariu, Dan R. Ghica, Koko Muroya, Reuben N. S. Rowe

Proceedings of the Functional and Logic Programming - 14th International Symposium, 2018

2017

Efficient Implementation of Evaluation Strategies via Token-Guided Graph Rewriting.

Koko Muroya, Dan R. Ghica

Proceedings of the Proceedings Fourth International Workshop on Rewriting Techniques for Program Transformations and Evaluation, 2017

Abductive functional programming, a semantic approach.

Koko Muroya, Steven Cheung, Dan R. Ghica

CoRR, 2017

On the Learnability of Programming Language Semantics.

Dan R. Ghica, Khulood AlYahya

Proceedings of the Proceedings 10th Interaction and Concurrency Experience, 2017

A structural and nominal syntax for diagrams.

Dan R. Ghica, Aliaume Lopez

Proceedings of the Proceedings 14th International Conference on Quantum Physics and Logic, 2017

The Dynamic Geometry of Interaction Machine: A Call-by-Need Graph Rewriter.

Koko Muroya, Dan R. Ghica

Proceedings of the 26th EACSL Annual Conference on Computer Science Logic, 2017

Diagrammatic Semantics for Digital Circuits.

Dan R. Ghica, Achim Jung, Aliaume Lopez

Proceedings of the 26th EACSL Annual Conference on Computer Science Logic, 2017

2016

Categorical semantics of digital circuits.

Dan R. Ghica, Achim Jung

Proceedings of the 2016 Formal Methods in Computer-Aided Design, 2016

2015

Preface.

Dan R. Ghica

Proceedings of the 31st Conference on the Mathematical Foundations of Programming Semantics, 2015

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

Proceedings of the 25th International Conference on Field Programmable Logic and Applications, 2015

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

Proceedings of the 2015 ACM/SIGDA International Symposium on Field-Programmable Gate Arrays, 2015

Transparent linking of compiled software and synthesized hardware.

David B. Thomas, Shane T. Fleming, George A. Constantinides, Dan R. Ghica

Proceedings of the 2015 Design, Automation & Test in Europe Conference & Exhibition, 2015

Leaving the Nest: Nominal Techniques for Variables with Interleaving Scopes.

Murdoch James Gabbay, Dan R. Ghica, Daniela Petrisan

Proceedings of the 24th EACSL Annual Conference on Computer Science Logic, 2015

2014

Towards native higher-order remote procedure calls.

Olle Fredriksson, Dan R. Ghica, Bertram Wheen

Proceedings of the 26th 2014 International Symposium on Implementation and Application of Functional Languages, 2014

Krivine nets: a semantic foundation for distributed execution.

Olle Fredriksson, Dan R. Ghica

Proceedings of the 19th ACM SIGPLAN international conference on Functional programming, 2014

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

Proceedings of the 22nd IEEE Annual International Symposium on Field-Programmable Custom Computing Machines, 2014

Bounded Linear Types in a Resource Semiring.

Dan R. Ghica, Alex I. Smith

Proceedings of the Programming Languages and Systems, 2014

2013

From bounded affine types to automatic timing analysis.

Dan R. Ghica, Alex I. Smith

CoRR, 2013

Foreword.

Samson Abramsky, Dan R. Ghica

Ann. Pure Appl. Log., 2013

Abstract Machines for Game Semantics, Revisited.

Olle Fredriksson, Dan R. Ghica

Proceedings of the 28th Annual ACM/IEEE Symposium on Logic in Computer Science, 2013

Diagrammatic Reasoning for Delay-Insensitive Asynchronous Circuits.

Dan R. Ghica

Proceedings of the Computation, Logic, Games, and Quantum Foundations. The Many Facets of Samson Abramsky, 2013

2012

A System-Level Game Semantics.

Dan R. Ghica, Nikos Tzevelekos

Proceedings of the 28th Conference on the Mathematical Foundations of Programming Semantics, 2012

Game Semantics in the Nominal Model.

Murdoch Gabbay, Dan R. Ghica

Proceedings of the 28th Conference on the Mathematical Foundations of Programming Semantics, 2012

Coherent Minimisation: Towards efficient tamper-proof compilation

Dan R. Ghica, Zaid Al-Zobaidi

Proceedings of the Proceedings Fifth Interaction and Concurrency Experience, 2012

A System-Level Semantics

Dan R. Ghica, Nikos Tzevelekos

CoRR, 2012

Seamless Distributed Computing from the Geometry of Interaction.

Olle Fredriksson, Dan R. Ghica

Proceedings of the Trustworthy Global Computing - 7th International Symposium, 2012

The Geometry of Synthesis - How to Make Hardware Out of Software.

Dan R. Ghica

Proceedings of the Mathematics of Program Construction - 11th International Conference, 2012

2011

Geometry of synthesis III: resource management through type inference.

Dan R. Ghica, Alex I. Smith

Proceedings of the 38th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2011

Function interface models for hardware compilation.

Dan R. Ghica

Proceedings of the 9th IEEE/ACM International Conference on Formal Methods and Models for Codesign, 2011

Geometry of synthesis iv: compiling affine recursion into static hardware.

Dan R. Ghica, Alex I. Smith, Satnam Singh

Proceedings of the Proceeding of the 16th ACM SIGPLAN international conference on Functional Programming, 2011

Synchronous Game Semantics via Round Abstraction.

Dan R. Ghica, Mohamed Nabih Menaa

Proceedings of the Foundations of Software Science and Computational Structures, 2011

2010

Data-abstraction refinement: a game semantic approach.

Adam Bakewell, Aleksandar S. Dimovski, Dan R. Ghica, Ranko Lazic

Int. J. Softw. Tools Technol. Transf., 2010

Geometry of Synthesis II: From Games to Delay-Insensitive Circuits.

Dan R. Ghica, Alex I. Smith

Proceedings of the 26th Conference on the Mathematical Foundations of Programming Semantics, 2010

Foreword.

Dan R. Ghica, Russ Harmer

Ann. Pure Appl. Log., 2010

On the Compositionality of Round Abstraction.

Dan R. Ghica, Mohamed Nabih Menaa

Proceedings of the CONCUR 2010 - Concurrency Theory, 21th International Conference, 2010

2009

Function Interface Models for Hardware Compilation: Types, Signatures, Protocols

Dan R. Ghica

CoRR, 2009

Compositional Predicate Abstraction from Game Semantics.

Adam Bakewell, Dan R. Ghica

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2009

Clipping: A Semantics-Directed Syntactic Approximation.

Dan R. Ghica, Adam Bakewell

Proceedings of the 24th Annual IEEE Symposium on Logic in Computer Science, 2009

Applications of Game Semantics: From Program Analysis to Hardware Synthesis.

Dan R. Ghica

Proceedings of the 24th Annual IEEE Symposium on Logic in Computer Science, 2009

2008

Foreword for special issue of APAL for GaLoP 2005.

Guy McCusker, Dan R. Ghica

Ann. Pure Appl. Log., 2008

Angelic semantics of fine-grained concurrency.

Dan R. Ghica, Andrzej S. Murawski

Ann. Pure Appl. Log., 2008

On-the-Fly Techniques for Game-Based Software Model Checking.

Adam Bakewell, Dan R. Ghica

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2008

2007

Game-based safety checking with Mage.

Adam Bakewell, Dan R. Ghica

Proceedings of the 2007 Conference Specification and Verification of Component-Based Systems, 2007

Geometry of synthesis: a structured approach to VLSI design.

Dan R. Ghica

Proceedings of the 34th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2007

2006

Syntactic control of concurrency.

Dan R. Ghica, Andrzej S. Murawski, C.-H. Luke Ong

Theor. Comput. Sci., 2006

Compositional Model Extraction for Higher-Order Concurrent Programs.

Dan R. Ghica, Andrzej S. Murawski

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2006

A Counterexample-Guided Refinement Tool for Open Procedural Programs.

Aleksandar S. Dimovski, Dan R. Ghica, Ranko Lazic

Proceedings of the Model Checking Software, 13th International SPIN Workshop, Vienna, Austria, March 30, 2006

2005

Data-Abstraction Refinement: A Game Semantic Approach.

Aleksandar S. Dimovski, Dan R. Ghica, Ranko Lazic

Proceedings of the Static Analysis, 12th International Symposium, 2005

Slot games: a quantitative model of computation.

Dan R. Ghica

Proceedings of the 32nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2005

Abstraction-refinement for game-based model checking.

Aleksandar S. Dimovski, Dan R. Ghica, Ranko Lazic

Proceedings of the 1st Workshop on Games for Logic and Programming Languages, 2005

2004

Applying Game Semantics to Compositional Software Modeling and Verification.

Samson Abramsky, Dan R. Ghica, Andrzej S. Murawski, C.-H. Luke Ong

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2004

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

Proceedings of the 19th IEEE Symposium on Logic in Computer Science (LICS 2004), 2004

Semantical Analysis of Specification Logic, 3: An Operational Approach.

Dan R. Ghica

Proceedings of the Programming Languages and Systems, 2004

2003

The regular-language semantics of second-order idealized A_LGOL.

Dan R. Ghica, Guy McCusker

Theor. Comput. Sci., 2003

2001

Regular-Language Semantics for a Call-by-Value Programming Language.

Dan R. Ghica

Proceedings of the Seventeenth Conference on the Mathematical Foundations of Programming Semantics, 2001

2000

Abstract Models of Storage.

Robert D. Tennent, Dan R. Ghica

High. Order Symb. Comput., 2000

Reasoning about Idealized ALGOL Using Regular Languages.

Dan R. Ghica, Guy McCusker

Proceedings of the Automata, Languages and Programming, 27th International Colloquium, 2000

1996

Software engineering: a motivation.

Dan R. Ghica

XRDS, 1996