Lehrstuhl für Datenbanksysteme (Database Systems Chair)

About Me

I am a researcher and a member of Database Systems Group at the University of Tübingen. My main research interest is the design and implementation of declarative languages. Domain-specific languages are of particular interest of mine, especially application of techniques developed in the declarative languages community to specific problem domains.

Before coming to Tübingen, I was a research PhD student and a member or Functional Programming Laboratory at the University of Nottingham. I have submitted my PhD thesis about equational languages for modelling and simulation of physical systems (linked below). I have already passed my viva voce examination. My examiners recommended the award of PhD with minor amendments to the thesis. I will make the final version of my thesis available in near future.

Before moving to Nottingham, I obtained an MSc degree in Computer Science from Chalmers University of Technology. My MSc thesis is about functional reactive programming and its application to the problem domain of music and sound synthesis. Before moving to Göteborg, I obtained a BSc degree in Physics from Tbilisi State University.

Publications

All of my academic publications are linked from this section of this website. If you care about bibliometrics the very same publications are also listed (with additional information on citations, co-authors, etc.) on my Google scholar profile.

Peer-reviewed Publications

• George Giorgidze, Torsten Grust, Nils Schweinsberg, and Jeroen Weijers.
  Bringing back monad comprehensions.
  In Proceedings of the ACM SIGPLAN Haskell symposium, Tokyo, Japan. ACM, 2011.
  [PDF] [BIB] [DOI]
• George Giorgidze, Torsten Grust, Tom Schreiber, and Jeroen Weijers.
  Haskell boards the Ferry: Database-supported program execution for Haskell.
  In Revised selected papers of the 22nd international symposium on Implementation and Application of Functional Languages, Alphen aan den Rijn, Netherlands, volume 6647 of Lecture Notes in Computer Science. Springer, 2010.
  Peter Landin Prize for the best paper at IFL 2010.
  [PDF] [BIB] [DOI]
• Henrik Nilsson and George Giorgidze.
  Exploiting structural dynamism in Functional Hybrid Modelling for simulation of ideal diodes.
  In Proceedings of the 7th EUROSIM Congress on Modelling and Simulation, Prague, Czech Republic. Czech Technical University Publishing House, 2010.
  [PDF] [BIB]
• George Giorgidze and Henrik Nilsson.
  Mixed-level embedding and JIT compilation for an iteratively staged DSL.
  In Revised selected papers of the 19th international workshop on Functional and (Constraint) Logic Programming, Madrid, Spain, volume 6559 of Lecture Notes in Computer Science. Springer, 2010.
  [PDF] [BIB] [DOI]
• George Giorgidze and Henrik Nilsson.
  Higher-order non-causal modelling and simulation of structurally dynamic systems.
  In Proceedings of the 7th International Modelica Conference, Como, Italy. Linkoping University Electronic Press, 2009.
  [PDF] [BIB] [DOI]
• George Giorgidze and Henrik Nilsson.
  Embedding a Functional Hybrid Modelling language in Haskell.
  In Revised selected papers of the 20th international symposium on Implementation and Application of Functional Languages, Hatfield, England, volume 5836 of Lecture Notes in Computer Science. Springer, 2008.
  [PDF] [BIB] [DOI]
• George Giorgidze and Henrik Nilsson.
  Switched-on Yampa: declarative programming of modular synthesizers.
  In Proceedings of the 10th international symposium on Practical Aspects of Declarative Languages, San Francisco, CA, USA, volume 4902 of Lecture Notes in Computer Science. Springer, 2008.
  [PDF] [BIB] [DOI]
• George Giorgidze and Henrik Nilsson.
  Demo outline: Switched-on Yampa.
  In Proceedings of the ACM SIGPLAN Haskell workshop, Freiburg, Germany. ACM, 2007.
  [PDF] [BIB] [DOI]

Theses

• George Giorgidze.
  First-class models: On a noncausal language for higher-order and structurally dynamic modelling and simulation.
  Thesis submitted to The University of Nottingham for the degree of Doctor of Philosophy, Functional Programming Laboratory, School of Computer Science, The University of Nottingham, Nottingham, England, 2011.
  [PDF] [BIB]
• George Giorgidze.
  Modular synthesizer programming in Haskell.
  Master of science thesis, Department of Computer Science and Engineering, Chalmers University of Technology and Goteborg University, Goteborg, Sweden, 2008.
  [PDF] [BIB]

Software

Some of my research-related, open-source software:

Database Supported Haskell (DSH)

DSH is a Haskell library for database-supported program execution. Using this library a relational database management system (RDBMS) can be used as a coprocessor for the Haskell programming language, especially for those program fragments that carry out data-intensive and data-parallel computation.

Database executable program fragments can be written using the list comprehension notation (with modest syntax changes due to quasiquoting) and list processing combinators from the Haskell list prelude. Note that rather than embedding a relational language into Haskell, we turn idiomatic Haskell programs into SQL queries.

DSH faithfully represents list order and nesting, and compiles the list processing combinators into relational queries. The implementation avoids unnecessary data transfer and context switching between the database coprocessor and the Haskell runtime by ensuring that the number of generated relational queries is only determined by the program fragment's type and not by the database size.

DSH can be used to allow existing Haskell programs to operate on large scale data (e.g., larger than the available heap) or query existing database resident data with Haskell.

For further details, documentation and download see the DSH package at HackageDB.

Hydra

Hydra is a declarative language for modelling and simulation of physical systems using implicitly formulated (undirected) Differential Algebraic Equations (DAEs). While, physical modelling is our main focus any domain where problems can be formulated using DAEs is fine. The language provides constructs for definition and composition of model fragments that enable modelling and simulation of large, complex, structurally dynamic and hybrid systems.

Currently, Hydra is implemented as a domain specific embedded language in Haskell. Thus, full power of a modern functional language is available (e.g. for meta-modelling) in addition to core modelling capabilities. Hydra implements concepts of Functional Hybrid Modelling (FHM) and is the first publicly available implementation of an FHM language.

The source code of (more or less) stable release is available for download under the open source BSD license. This is very much work in progress and code base is under active development.

The latest development version can be obtained from Hydra's git repository:
git clone git://github.com/giorgidze/Hydra.git

Alternatively, you can browse the source code in your browser.

YampaSynth

YampaSynth is a software synthesizer implemented in Yampa, a domain specific language embedded in Haskell.

For further details and download see the YampaSynth package at HackageDB.

The latest development version can be obtained from YampaSynth's git repository:
git clone git://github.com/giorgidze/YampaSynth.git

Alternatively, you can browse the source code in your browser.

HCodecs

HCodecs library provides functions to read, write and manipulate MIDI, WAVE and SoundFont2 multimedia files. It is written entirely in Haskell .

For further details, documentation and download see the HCodecs package at HackageDB.

The latest development version can be obtained from HCodecs's git repository:
git clone git://github.com/giorgidze/HCodecs.git

Alternatively, you can browse the source code in your browser.

Selected Talks

• 2011 Sep 22
  I gave a talk entitled as "Bringing Back Monad Comprehensions" at Haskell Symposium 2011, Tokyo, Japan.
  [Slides] [Video]
• 2010 Jul 21
  I gave a talk entitled as "Database-supported Program Execution in Haskell" at Functional Programming Laboratory Away Day Seminar, Castleton, England.
  [Slides]
• 2010 Apr 28
  I gave a talk entitled as "Functional Hybrid Modelling" at the University of Leicester, England.
  [Slides]
• 2010 Feb 17
  I gave a talk entitled as "Functional Hybrid Modelling and Simulation in Haskell" at Fun in the Afternoon seminar organised by Standard Chartered Bank, London, England.
  [Slides]
• 2010 Feb 10
  I gave a talk entitled as "Functional Hybrid Modelling and Simulation in Haskell" at Max Planck Institute for Software Systems, Kaiserslautern, Germany.
  [Slides]
• 2010 JAN 17
  I gave a talk entitled as "Mixed-level Embedding and JIT Compilation for an Iteratively Staged DSL" at 19th International Workshop on Functional and (Constraint) Logic Programming, WFLP 2010, Madrid, Spain.
  [Slides] [Video]
• 2009 SEP 21
  I gave a talk entitled as "Higher-order non-causal modelling and simulation of structurally dynamic systems" at 7th International Modelica Conference, Como, Italy.
  [Slides]
• 2009 JUN 22
  I gave a talk entitled as "Embedding a Functional Hybrid Modelling Language in Haskell" at Functional Programming Laboratory Away Day Seminar, Worksop, England.
  [Slides]
• 2009 APR 7
  I gave a talk entitled as "Embedding a Functional Hybrid Modelling Language in Haskell" at 25th Annual British Colloquium on Theoretical Computer Science, BCTCS 2008, University of Warwick, England.
  [Slides]
• 2008 SEP 12
  I gave a talk entitled as "Embedding a Functional Hybrid Modelling Language in Haskell" at 20th International Symposium on the Implementation and Application of Functional Languages, IFL 2008, University of Hertfordshire, England.
  [Slides]
• 2008 JAN 7
  I gave a talk entitled as "Switched-On Yampa: Declarative Programming of Modular Synthesizers" at 10th International Symposium on Practical Aspects of Declarative Languages, PADL 2008, San Francisco, CA, USA.
  [Slides]
• 2007 OCT 8
  Henrik Nilsson gave a talk entitled as "Switched-On Yampa: Declarative Programming of Modular Synthesizers" at Haskell Workshop 2007 in Freiburg, Germany. The talk is based on joint work conducted by Henrik Nilsson and myself.
  [Video]

Coordinates