He who wears his morality but as his best garment were better naked.
Kahlil Gibran
Though I spend most of my time on development these days, usually there is also a research project brewing in the background. Whenever any such work is published I make sure to post it here, aiming to keep the following list exhaustive and my research accessible.
No Unification Variable Left Behind: Fully Grounding Type Inference for the HDM System, Roger Bosman, Georgios Karachalias, and Tom Schrijvers, in ITP 2023. [bib] [doi] [pdf]
Crème de la Crem: Composable Representable Executable Machines, Marco Perone and Georgios Karachalias, in FUNARCH 2023. [bib] [doi] [pdf] [arXiv]
Efficient Compilation of Algebraic Effect Handlers, Georgios Karachalias, Filip Koprivec, Matija Pretnar, and Tom Schrijvers, in OOPSLA 2021. [bib] [doi] [zenodo]
Resolution as Intersection Subtyping via Modus Ponens, Koar Marntirosian, Tom Schrijvers, Bruno C. d. S. Oliveira, and Georgios Karachalias, in OOPSLA 2020. [bib] [acm] [zenodo] [extended] [arXiv]
Explicit Effect Subtyping, Georgios Karachalias, Matija Pretnar, Amr Hany Saleh, Stien Vanderhallen, and Tom Schrijvers, in Journal of Functional Programming (JFP), 2020. [bib] [pdf] [arXiv]
Bidirectional Type Class Instances, Koen Pauwels, Georgios Karachalias, Michiel Derhaeg, and Tom Schrijvers, in Proceedings of the 12th ACM SIGPLAN International Haskell Symposium (Haskell '19), Berlin, Germany, 2019. [bib] [extended] [acm]
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]
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]
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]
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]
Asterius: bringing Haskell to WebAssembly (Abstract), Cheng Shao, Georgios Karachalias, and Hans Hoeglund, in Haskell Implementors' Workshop (HIW 2020), 2020.
How to Go Eff Without a Hitch: On Efficient Compilation from Eff to OCaml (Extended Abstract), Stien Vanderhallen, Georgios Karachalias, and Tom Schrijvers, in Proceedings of the 21st International Symposium on Trends in Functional Programming (TFP '20), Krakow, Poland, 2020. [pdf]
Pattern Matching Exhaustiveness for GADTs, Georgios Karachalias, MSc Thesis, National Technical University of Athens, 2014.
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.