Publications

Surveys

  • Dan R. Ghica: Function interface models for hardware compilation. MEMOCODE 2011: 131-143
  • Dan R. Ghica: Applications of Game Semantics: From Program Analysis to Hardware Synthesis. LICS 2009: 17-26
Research papers
  • Dan R. Ghica, Alex Smith, Satnam Singh: Geometry of synthesis IV: compiling affine recursion into static hardware. ICFP 2011: 221-233
  • Dan R. Ghica, Alex Smith: Geometry of Synthesis III: resource management through type inference. POPL 2011: 345-356
  • Dan R. Ghica, Alex Smith: Geometry of Synthesis II: From Games to Delay-Insensitive Circuits. Electr. Notes Theor. Comput. Sci. 265: 301-324 (2010)
  • Dan R. Ghica: Geometry of Synthesis: a structured approach to VLSI design. POPL 2007: 363-375

Download

  • All papers available as PDF here
Comments