George Karachalias
Software Engineer at Tweag I/O
Netherlands
Summary
🤩
Rockstar🎓
Top SchoolGeorge Karachalias is a software engineer and researcher with 11 years of experience specializing in programming language design and compiler implementation. Based in the Netherlands and currently at Tweag I/O, he focuses on backend systems and compiler toolchains, contributing notable improvements to the Glasgow Haskell Compiler and the Asterius WebAssembly toolkit. His work spans pattern-match checking, term-equality representation, and adding atomic and negative-pattern support—efforts that have improved both correctness and performance in widely used Haskell infrastructure. A PhD researcher from KU Leuven with an engineering diploma from NTUA, he combines academic rigor with practical code refactoring and documentation improvements. Colleagues rely on him for deep technical problem solving in language semantics and for translating theoretical ideas into robust, production-ready compiler code.
11 years of coding experience
Doctor of Philosophy (PhD), Computer Science, Doctor of Philosophy (PhD), Computer Science at KU LeuvenDiploma, Electrical and Computer Engineering, 8.06 / 10.00, Diploma, Electrical and Computer Engineering, 8.06 / 10.00 at National Technical University of Athens
English, Greek
Github Skills (14)
functional-programming10
compiler-design10
webassembly10
type-theory10
pattern-matching10
performance-optimization10
haskell10
data-structure9
compiler-compiler9
data-structures9
algorithm9
compiler9
algorithms9
ghc8
Programming languages (8)
Github contributions (5)
tweag/asterius
Feb 2020 - Oct 2020
DEPRECATED in favor of ghc wasm backend, see https://www.tweag.io/blog/2022-11-22-wasm-backend-merged-in-ghc
Role in this project:
Back-end Developer
Back-end DeveloperContributions:19 reviews, 184 commits, 81 PRs in 7 months
Contributions summary:George primarily contributed to the Asterius project by making changes to the WebAssembly toolkit. Their work involved modularizing and refactoring code within the WasmToolkit, improving documentation, and extending the codebase to support atomic operations. They also refactored and improved components of the EDSL and CodeGen, and updated the builtins.
mergedghcrusthaskellwebassembly
ghc/ghc
Dec 2015 - Feb 2017
Mirror of the Glasgow Haskell Compiler. Please submit issues and patches to GHC's Gitlab instance (https://gitlab.haskell.org/ghc/ghc). First time contributors are encouraged to get started with the newcomers info (https://gitlab.haskell.org/ghc/ghc/wikis/contributing).
Role in this project:Back-end Developer
Back-end DeveloperContributions:18 commits in 1 year 2 months
Contributions summary:George's commits primarily focus on enhancing the performance and correctness of the Glasgow Haskell Compiler's pattern match checking features. They addressed various issues related to exhaustiveness, redundancy, and guard reasoning within pattern matching. Furthermore, the user refactored the representation of term equalities and implemented features like negative patterns for literals, improving the compiler's efficiency. The contributions also included the introduction of flags for more precise control over the pattern match checker's behavior, specifically concerning guards and literal equality.
ghcget-startednewcomershaskellcabal
Find and Hire Top DevelopersWe’ve analyzed the programming source code of over 60 million software developers on GitHub and scored them by 50,000 skills. Sign-up on Prog,AI to search for software developers.