Dan R. Ghica - RankMe

97 papers A* 12A 10B 22C 2Misc 2Journal 37Unranked 11

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	Rewriting Modulo Traced Comonoid Structure. Log. Methods Comput. Sci. Dan R. Ghica, George Kaye
2025	J	`jnl`	A robust graph-based approach to observational equivalence. Log. Methods Comput. Sci. Dan R. Ghica, Koko Muroya, Todd Waugh Ambridge
2025	C	`conf`	Closure Conversion, Flat Environments, and the Complexity of Abstract Machines. PPDP Beniamino Accattoli, Cláudio Belo Lourenço, Dan R. Ghica, Giulio Guerrieri, Claudio Sacerdoti Coen
2025	J	`jnl`	Closure Conversion, Flat Environments, and the Complexity of Abstract Machines. CoRR Beniamino Accattoli, Dan R. Ghica, Giulio Guerrieri, Cláudio Belo Lourenço, Claudio Sacerdoti Coen
2025	J	`jnl`	E-Graphs With Bindings. CoRR Aleksei Tiurin, Dan R. Ghica, Nick Hu
2025	A*	`conf`	Equivalence Hypergraphs: DPO Rewriting for Monoidal E-Graphs. LICS Aleksei Tiurin, Chris Barrett, Dan R. Ghica, Nick Hu
2025	B	`conf`	Rewriting for Traced Monoidal Closed Categories. ICGT Alessandro Di Giorgio, Dan R. Ghica, Fabio Zanasi
2024	J	`jnl`	Effect Handlers for C via Coroutines. Proc. ACM Program. Lang. Mario Alvarez-Picallo, Teodoro Freund, Dan R. Ghica, Sam Lindley
2024	J	`jnl`	Equivalence Hypergraphs: E-Graphs for Monoidal Theories. CoRR Dan R. Ghica, Chris Barrett, Aleksei Tiurin
2024	J	`jnl`	String diagrams for Strictification and Coherence. Log. Methods Comput. Sci. Paul W. Wilson, Dan R. Ghica, Fabio Zanasi
2023	B	`conf`	Functorial String Diagrams for Reverse-Mode Automatic Differentiation. CSL Mario Alvarez-Picallo, Dan R. Ghica, David Sprunger, Fabio Zanasi
2023	J	`jnl`	Hierarchical string diagrams and applications. CoRR Dan R. Ghica, Fabio Zanasi
2023	B	`conf`	Rewriting Modulo Traced Comonoid Structure. FSCD Dan R. Ghica, George Kaye
2023	J	`jnl`	Rewriting modulo traced comonoid structure. CoRR Dan R. Ghica, George Kaye
2023	B	`conf`	String Diagrams for Non-Strict Monoidal Categories. CSL Paul W. Wilson, Dan R. Ghica, Fabio Zanasi
2022	J	`jnl`	Full abstraction for digital circuits. CoRR Dan R. Ghica, George Kaye, David Sprunger
2022	J	`jnl`	High-level effect handlers in C++. Proc. ACM Program. Lang. Dan R. Ghica, Sam Lindley, Marcos Maroñas Bravo, Maciej Piróg
2022	B	`conf`	Rewriting for Monoidal Closed Categories. FSCD Mario Alvarez-Picallo, Dan R. Ghica, David Sprunger, Fabio Zanasi
2021	J	`jnl`	Functorial String Diagrams for Reverse-Mode Automatic Differentiation. CoRR Mario Alvarez-Picallo, Dan R. Ghica, David Sprunger, Fabio Zanasi
2021	A*	`conf`	Global Optimisation with Constructive Reals. LICS Dan R. Ghica, Todd Waugh Ambridge
2021	J	`jnl`	Transparent Synchronous Dataflow. Art Sci. Eng. Program. Steven W. T. Cheung, Dan R. Ghica, Koko Muroya
2020	J	`jnl`	A Constructive, Type-Theoretic Approach to Regression via Global Optimisation. CoRR Dan R. Ghica, Todd Waugh Ambridge
2020	—	`conf`	Operational Semantics with Hierarchical Abstract Syntax Graphs. TERMGRAPH@FSCD Dan R. Ghica
2019	J	`jnl`	Latent semantic analysis of game models using LSTM. J. Log. Algebraic Methods Program. Dan R. Ghica, Khulood AlYahya
2019	J	`jnl`	Local Reasoning for Robust Observational Equivalence. CoRR Dan R. Ghica, Koko Muroya, Todd Waugh Ambridge
2019	J	`jnl`	The Dynamic Geometry of Interaction Machine: A Token-Guided Graph Rewriter. Log. Methods Comput. Sci. Koko Muroya, Dan R. Ghica
2019	J	`jnl`	The far side of the cube. CoRR Dan R. Ghica
2019	J	`jnl`	Transparent Synchronous Dataflow. CoRR Steven W. T. Cheung, Dan R. Ghica, Koko Muroya
2018	B	`ed.`	27th EACSL Annual Conference on Computer Science Logic, CSL 2018, Birmingham, UK, September 4-7, 2018 CSL Dan R. Ghica, Achim Jung
2018	Misc	`conf`	A Functional Perspective on Machine Learning via Programmable Induction and Abduction. FLOPS Steven Cheung, Victor Darvariu, Dan R. Ghica, Koko Muroya, Reuben N. S. Rowe
2018	J	`jnl`	Diagrammatic methods for linear and nonlinear systems (NII Shonan Meeting 2018-18). NII Shonan Meet. Rep. Dan R. Ghica, Masahito Hasegawa, Pawel Sobocinski
2018	J	`jnl`	The Dynamic Geometry of Interaction Machine: A Token-Guided Graph Rewriter. CoRR Koko Muroya, Dan R. Ghica
2018	A*	`conf`	The Geometry of Computation-Graph Abstraction. LICS Koko Muroya, Steven W. T. Cheung, Dan R. Ghica
2017	—	`conf`	A structural and nominal syntax for diagrams. QPL Dan R. Ghica, Aliaume Lopez
2017	J	`jnl`	Abductive functional programming, a semantic approach. CoRR Koko Muroya, Steven Cheung, Dan R. Ghica
2017	B	`conf`	Diagrammatic Semantics for Digital Circuits. CSL Dan R. Ghica, Achim Jung, Aliaume Lopez
2017	J	`jnl`	Diagrammatic Semantics for Digital Circuits. CoRR Dan R. Ghica, Achim Jung, Aliaume Lopez
2017	—	`conf`	Efficient Implementation of Evaluation Strategies via Token-Guided Graph Rewriting. WPTE@FSCD Koko Muroya, Dan R. Ghica
2017	—	`conf`	On the Learnability of Programming Language Semantics. ICE@DisCoTec Dan R. Ghica, Khulood AlYahya
2017	B	`conf`	The Dynamic Geometry of Interaction Machine: A Call-by-Need Graph Rewriter. CSL Koko Muroya, Dan R. Ghica
2017	J	`jnl`	The Dynamic Geometry of Interaction Machine: A Call-by-need Graph Rewriter. CoRR Koko Muroya, Dan R. Ghica
2016	B	`conf`	Categorical semantics of digital circuits. FMCAD Dan R. Ghica, Achim Jung
2015	B	`conf`	Leaving the Nest: Nominal Techniques for Variables with Interleaving Scopes. CSL Murdoch James Gabbay, Dan R. Ghica, Daniela Petrisan
2015	B	`conf`	Preface. MFPS Dan R. Ghica
2015	B	`conf`	PushPush: Seamless integration of hardware and software objects via function calls over AXI. FPL Shane T. Fleming, Ivan Beretta, David B. Thomas, George A. Constantinides, Dan R. Ghica
2015	A	`conf`	System-level Linking of Synthesised Hardware and Compiled Software Using a Higher-order Type System. FPGA Shane T. Fleming, David B. Thomas, George A. Constantinides, Dan R. Ghica
2015	B	`ed.`	The 31st Conference on the Mathematical Foundations of Programming Semantics, MFPS 2015, Nijmegen, The Netherlands, June 22-25, 2015 MFPS Dan R. Ghica
2015	A	`conf`	Transparent linking of compiled software and synthesized hardware. DATE David B. Thomas, Shane T. Fleming, George A. Constantinides, Dan R. Ghica
2014	A	`conf`	Bounded Linear Types in a Resource Semiring. ESOP Dan R. Ghica, Alex I. Smith
2014	Misc	`conf`	Compiling Higher Order Functional Programs to Composable Digital Hardware. FCCM Eduardo Aguilar-Pelaez, Samuel Bayliss, Alex I. Smith, Felix Winterstein, Dan R. Ghica, David B. Thomas, George A. Constantinides
2014	A	`conf`	Krivine nets: a semantic foundation for distributed execution. ICFP Olle Fredriksson, Dan R. Ghica
2014	—	`conf`	Towards native higher-order remote procedure calls. IFL Olle Fredriksson, Dan R. Ghica, Bertram Wheen
2013	A*	`conf`	Abstract Machines for Game Semantics, Revisited. LICS Olle Fredriksson, Dan R. Ghica
2013	J	`jnl`	Abstract machines for game semantics, revisited CoRR Olle Fredriksson, Dan R. Ghica
2013	—	`conf`	Diagrammatic Reasoning for Delay-Insensitive Asynchronous Circuits. Computation, Logic, Games, and Quantum Foundations Dan R. Ghica
2013	J	`jnl`	Foreword. Ann. Pure Appl. Log. Samson Abramsky, Dan R. Ghica
2013	J	`jnl`	From bounded affine types to automatic timing analysis. CoRR Dan R. Ghica, Alex I. Smith
2012	B	`conf`	A System-Level Game Semantics. MFPS Dan R. Ghica, Nikos Tzevelekos
2012	J	`jnl`	A System-Level Semantics CoRR Dan R. Ghica, Nikos Tzevelekos
2012	—	`conf`	Coherent Minimisation: Towards efficient tamper-proof compilation ICE Dan R. Ghica, Zaid Al-Zobaidi
2012	B	`conf`	Game Semantics in the Nominal Model. MFPS Murdoch Gabbay, Dan R. Ghica
2012	—	`conf`	Seamless Distributed Computing from the Geometry of Interaction. TGC Olle Fredriksson, Dan R. Ghica
2012	B	`conf`	The Geometry of Synthesis - How to Make Hardware Out of Software. MPC Dan R. Ghica
2011	C	`conf`	Function interface models for hardware compilation. MEMOCODE Dan R. Ghica
2011	A*	`conf`	Geometry of synthesis III: resource management through type inference. POPL Dan R. Ghica, Alex I. Smith
2011	A	`conf`	Geometry of synthesis iv: compiling affine recursion into static hardware. ICFP Dan R. Ghica, Alex I. Smith, Satnam Singh
2011	B	`conf`	Synchronous Game Semantics via Round Abstraction. FoSSaCS Dan R. Ghica, Mohamed Nabih Menaa
2010	J	`jnl`	Data-abstraction refinement: a game semantic approach. Int. J. Softw. Tools Technol. Transf. Adam Bakewell, Aleksandar S. Dimovski, Dan R. Ghica, Ranko Lazic
2010	J	`jnl`	Foreword. Ann. Pure Appl. Log. Dan R. Ghica, Russ Harmer
2010	B	`conf`	Geometry of Synthesis II: From Games to Delay-Insensitive Circuits. MFPS Dan R. Ghica, Alex I. Smith
2010	B	`conf`	On the Compositionality of Round Abstraction. CONCUR Dan R. Ghica, Mohamed Nabih Menaa
2009	A*	`conf`	Applications of Game Semantics: From Program Analysis to Hardware Synthesis. LICS Dan R. Ghica
2009	A*	`conf`	Clipping: A Semantics-Directed Syntactic Approximation. LICS Dan R. Ghica, Adam Bakewell
2009	A	`conf`	Compositional Predicate Abstraction from Game Semantics. TACAS Adam Bakewell, Dan R. Ghica
2009	J	`jnl`	Function Interface Models for Hardware Compilation: Types, Signatures, Protocols CoRR Dan R. Ghica
2008	J	`jnl`	Angelic semantics of fine-grained concurrency. Ann. Pure Appl. Log. Dan R. Ghica, Andrzej S. Murawski
2008	J	`jnl`	Foreword for special issue of APAL for GaLoP 2005. Ann. Pure Appl. Log. Guy McCusker, Dan R. Ghica
2008	A	`conf`	On-the-Fly Techniques for Game-Based Software Model Checking. TACAS Adam Bakewell, Dan R. Ghica
2007	—	`conf`	Game-based safety checking with Mage. SAVCBS Adam Bakewell, Dan R. Ghica
2007	A*	`conf`	Geometry of synthesis: a structured approach to VLSI design. POPL Dan R. Ghica
2006	—	`conf`	A Counterexample-Guided Refinement Tool for Open Procedural Programs. SPIN Aleksandar S. Dimovski, Dan R. Ghica, Ranko Lazic
2006	A	`conf`	Compositional Model Extraction for Higher-Order Concurrent Programs. TACAS Dan R. Ghica, Andrzej S. Murawski
2006	J	`jnl`	Syntactic control of concurrency. Theor. Comput. Sci. Dan R. Ghica, Andrzej S. Murawski, C.-H. Luke Ong
2005	—	`ed.`	1st Workshop on Games for Logic and Programming Languages, GALOP@ETAPS 2005, Edinburgh, UK, 2-3 April 2005 GALOP@ETAPS Dan R. Ghica, Guy McCusker
2005	—	`conf`	Abstraction-refinement for game-based model checking. GALOP@ETAPS Aleksandar S. Dimovski, Dan R. Ghica, Ranko Lazic
2005	B	`conf`	Data-Abstraction Refinement: A Game Semantic Approach. SAS Aleksandar S. Dimovski, Dan R. Ghica, Ranko Lazic
2005	A*	`conf`	Slot games: a quantitative model of computation. POPL Dan R. Ghica
2004	B	`conf`	Angelic Semantics of Fine-Grained Concurrency. FoSSaCS Dan R. Ghica, Andrzej S. Murawski
2004	A	`conf`	Applying Game Semantics to Compositional Software Modeling and Verification. TACAS Samson Abramsky, Dan R. Ghica, Andrzej S. Murawski, C.-H. Luke Ong
2004	A*	`conf`	Nominal Games and Full Abstraction for the Nu-Calculus. LICS Samson Abramsky, Dan R. Ghica, Andrzej S. Murawski, C.-H. Luke Ong, Ian David Bede Stark
2004	A	`conf`	Semantical Analysis of Specification Logic, 3: An Operational Approach. ESOP Dan R. Ghica
2004	A*	`conf`	Syntactic Control of Concurrency. ICALP Dan R. Ghica, Andrzej S. Murawski, C.-H. Luke Ong
2003	J	`jnl`	The regular-language semantics of second-order idealized A Theor. Comput. Sci. Dan R. Ghica, Guy McCusker
2001	B	`conf`	Regular-Language Semantics for a Call-by-Value Programming Language. MFPS Dan R. Ghica
2000	J	`jnl`	Abstract Models of Storage. High. Order Symb. Comput. Robert D. Tennent, Dan R. Ghica
2000	A*	`conf`	Reasoning about Idealized ALGOL Using Regular Languages. ICALP Dan R. Ghica, Guy McCusker
1996	J	`jnl`	Software engineering: a motivation. XRDS Dan R. Ghica