I am a Ph.D. student at the University of Athens, Greece. My focus is on programming languages and static analyses. I work with Prof. Yannis Smaragdakis mainly on Pointer Analysis using Datalog and the declarative Doop framework.
My recent projects include the DeepDoop compiler/library.
You can email me at george.kast＠gmail.com (don't copy/paste, it won't work).
HackMe Game / Challenge
Yannis Smaragdakis, George Kastrinis, George BalatsourasJun 2014
George Kastrinis, Yannis SmaragdakisMar 2013
George KastrinisJul 2012
Nikolaos Pothitos, George Kastrinis, Panagiotis StamatopoulosMay 2012
PHP - PHP, MySQLDec 2011
George KastrinisNov 2011
CSS - PHP, MySQLDec 2009