George Karachalias

What is necessary to change a person is to change his awareness of himself.

Abraham Maslow

About me

I am a researcher in the field of programming language design and implementation. Although I love all programming languages (maybe with the exception of PHP), I have a tender spot in my heart for Haskell, which is also the main focus of my research. Because of that, in the past I've spent quite some time tinkering with the Glasgow Haskell Compiler (GHC). My research interests include (but are not limited to) type systems, verification, functional programming, and compilers.

I obtained my Ph.D. from KU Leuven, under the supervision of Prof. Tom Schrijvers. For a couple of years I have also been affiliated with the University of Ghent, and before starting my Ph.D. I graduated from the School of Electrical and Computer Engineering at the National Technical University of Athens.

What I enjoy most in life is learning and being creative. Hence, my spare time is mostly used for research and painting, which I often complement with literature study and discovering new music. I also love things that grow, and that's one of the reasons why I live in a house with a garden (which is often occupied by my adorable dog Dharma).

Publications

2018

Extensions to Type Classes and Pattern Match Checking, Georgios Karachalias. 2018. Dissertation. KU Leuven, Informatics Section, Department of Computer Science, Faculty of Engineering Science. [bib]
Explicit Effect Subtyping, Amr Hany Saleh, Georgios Karachalias, Matija Pretnar, and Tom Schrijvers, in Proceedings of the 27th European Symposium on Programming (ESOP '18), Thessaloniki, Greece, 2018. [bib] [extended]

2017

Elaboration on Functional Dependencies: Functional Dependencies Are Dead, Long Live Functional Dependencies!, Georgios Karachalias and Tom Schrijvers, in Proceedings of the 10th ACM SIGPLAN International Haskell Symposium (Haskell '17), Oxford, UK, 2017. [bib] [acm]
Quantified Class Constraints, Gert-Jan Bottu, Georgios Karachalias, Tom Schrijvers, Bruno C. d. S. Oliveira and Philip Wadler, in Proceedings of the 10th ACM SIGPLAN International Haskell Symposium (Haskell '17), Oxford, UK, 2017. [bib] [acm]

2015

GADTs Meet Their Match: Pattern-matching Warnings That Account for GADTs, Guards, and Laziness, Georgios Karachalias, Tom Schrijvers, Dimitrios Vytiniotis and Simon Peyton Jones, in Proceedings of the 20th ACM SIGPLAN International Conference on Functional Programming (ICFP '15), Vancouver, BC, Canada, 2015. [bib] [acm]

2014

Pattern Matching Exhaustiveness for GADTs, Georgios Karachalias, MSc Thesis, National Technical University of Athens, 2014.

2012

Parallelizing the Floyd-Warshall Algorithm on Modern Multicore Platforms: Lessons Learned, Students of the Parallel Processing Systems course, School of Electrical & Computer Engineering, National Technical University of Athens, in 5th Conference for students in Electrical and Computer Engineering (SFHMMY'12), Thrace, Greece, 2012.

Contact information

E-mail:	gdkaracha@gmail.com
URL:	http://gkaracha.github.io/