BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Ghica:Dan_R=

Facilitated 1 volumes:

CSL 2018Ed

Contributed to:

CSL 20152015
DATE 20152015
ESOP 20142014
ICFP 20142014
IFL 20142014
LICS 20132013
FOSSACS 20112011
ICFP 20112011
POPL 20112011
LICS 20092009
TACAS 20092009
TACAS 20082008
POPL 20072007
TACAS 20062006
POPL 20052005
SAS 20052005
ESOP 20042004
FoSSaCS 20042004
ICALP 20042004
LICS 20042004
TACAS 20042004
ICALP 20002000
CSL 20172017

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.