Travelled to:1 × Austria
1 × Hungary
1 × Japan
1 × Sweden
1 × Switzerland
2 × Finland
2 × Germany
2 × United Kingdom
3 × France
3 × Spain
5 × USA
Collaborated with:∅ A.S.Murawski A.Bakewell O.Fredriksson A.I.Smith C.L.Ong M.N.Menaa A.Smith G.McCusker K.Muroya S.Abramsky M.J.Gabbay D.Petrisan B.Wheen S.Singh A.Dimovski R.Lazic A.Jung A.Lopez D.B.Thomas S.T.Fleming G.A.Constantinides I.D.B.Stark
Talks about:semant (11) game (9) abstract (5) synthesi (4) geometri (4) model (4) composit (3) approach (3) softwar (3) hardwar (3)
Person: Dan R. Ghica
DBLP: Ghica:Dan_R=
Facilitated 1 volumes:
EdContributed to:
2015
2015
2014
2014
2014
2013
20112011
20112009
20092008200720062005
200520042004
20042004200420002017Wrote 25 papers:
- CSL-2015-GabbayGP
- Leaving the Nest: Nominal Techniques for Variables with Interleaving Scopes (MJG, DRG, DP), pp. 374–389.
- DATE-2015-ThomasFCG #hardware
- Transparent linking of compiled software and synthesized hardware (DBT, STF, GAC, DRG), pp. 1084–1089.
- ESOP-2014-GhicaS #bound #linear
- Bounded Linear Types in a Resource Semiring (DRG, AIS), pp. 331–350.
- ICFP-2014-FredrikssonG #distributed #execution #semantics
- Krivine nets: a semantic foundation for distributed execution (OF, DRG), pp. 349–361.
- IFL-2014-FredrikssonGW #higher-order #towards
- Towards native higher-order remote procedure calls (OF, DRG, BW), p. 10.
- LICS-2013-FredrikssonG #automaton #game studies #revisited #semantics
- Abstract Machines for Game Semantics, Revisited (OF, DRG), pp. 560–569.
- FoSSaCS-2011-GhicaM #abstraction #game studies #semantics
- Synchronous Game Semantics via Round Abstraction (DRG, MNM), pp. 350–364.
- ICFP-2011-GhicaSS #compilation #geometry #hardware #recursion #synthesis
- Geometry of synthesis iv: compiling affine recursion into static hardware (DRG, AIS, SS), pp. 221–233.
- POPL-2011-GhicaS #geometry #resource management #synthesis #type inference
- Geometry of synthesis III: resource management through type inference (DRG, AS), pp. 345–356.
- LICS-2009-Ghica #game studies #hardware #program analysis #semantics #synthesis
- Applications of Game Semantics: From Program Analysis to Hardware Synthesis (DRG), pp. 17–26.
- LICS-2009-GhicaB #approximate #named #semantics
- Clipping: A Semantics-Directed Syntactic Approximation (DRG, AB), pp. 189–198.
- TACAS-2009-BakewellG #abstraction #composition #game studies #semantics
- Compositional Predicate Abstraction from Game Semantics (AB, DRG), pp. 62–76.
- TACAS-2008-BakewellG #game studies #model checking #on the fly
- On-the-Fly Techniques for Game-Based Software Model Checking (AB, DRG), pp. 78–92.
- POPL-2007-Ghica #approach #design #geometry #synthesis
- Geometry of synthesis: a structured approach to VLSI design (DRG), pp. 363–375.
- TACAS-2006-GhicaM #composition #concurrent #higher-order #source code
- Compositional Model Extraction for Higher-Order Concurrent Programs (DRG, ASM), pp. 303–317.
- POPL-2005-Ghica #game studies
- Slot games: a quantitative model of computation (DRG), pp. 85–97.
- SAS-2005-DimovskiGL #approach #game studies #refinement #semantics
- Data-Abstraction Refinement: A Game Semantic Approach (AD, DRG, RL), pp. 102–117.
- ESOP-2004-Ghica #analysis #approach #logic #semantics #specification
- Semantical Analysis of Specification Logic, 3: An Operational Approach (DRG), pp. 264–278.
- FoSSaCS-2004-GhicaM #concurrent #fine-grained #semantics
- Angelic Semantics of Fine-Grained Concurrency (DRG, ASM), pp. 211–225.
- ICALP-2004-GhicaMO #concurrent
- Syntactic Control of Concurrency (DRG, ASM, CHLO), pp. 683–694.
- LICS-2004-AbramskyGMOS #abstraction #calculus #game studies
- Nominal Games and Full Abstraction for the Nu-Calculus (SA, DRG, ASM, CHLO, IDBS), pp. 150–159.
- TACAS-2004-AbramskyGMO #composition #game studies #modelling #semantics #verification
- Applying Game Semantics to Compositional Software Modeling and Verification (SA, DRG, ASM, CHLO), pp. 421–435.
- ICALP-2000-GhicaM #algol #reasoning #regular expression #using
- Reasoning about Idealized ALGOL Using Regular Languages (DRG, GM), pp. 103–115.
- CSL-2017-GhicaJL #diagrams #semantics
- Diagrammatic Semantics for Digital Circuits (DRG, AJ, AL), p. 16.
- CSL-2017-MuroyaG #call-by #geometry #graph grammar #interactive
- The Dynamic Geometry of Interaction Machine: A Call-by-Need Graph Rewriter (KM, DRG), p. 15.