George Kastrinis
Hey! I'm George. I hold a PhD from the University of Athens, Greece, where I worked as a researcher with Prof. Yannis Smaragdakis on our languages group (PLaST). On September 2021, I joined the awesome people at relationalAI.
My research interests include Programming Languages and Static Pointer Analysis, using Datalog and the declarative Doop framework.
My latest projects are the paNda library and jFactor. paNda aims to provide a programmable compiler for Datalog, whereas jFactor is a tool for extracting facts from Java Bytecode.
More links about me
HackMe Challenge
Research Collaborators: Anastasis Antoniadis, George Fourtounis, Neville Grech, Petros Pathoulas, Kostas Saidis, Sifis Lagouvardos
Explorations in Static Pointer Analysis: Adaptive Scalability and Strong Guarantees
Ph.D. Dissertation
Greek Army Service
Defensive Points-To Analysis: Effective Soundness via Laziness
ECOOP
Yannis Smaragdakis, George Kastrinis
Efficient Reflection String Analysis via Graph Coloring
ECOOP
Neville Grech, George Kastrinis, Yannis Smaragdakis
Static Analysis of Java Dynamic Proxies
ISSTA
George Fourtounis, George Kastrinis, Yannis Smaragdakis
Jul 2018
An Efficient Data Structure for Must-Alias Analysis
CC
George Kastrinis, George Balatsouras, Kostas Ferles, Nefeli Prokopaki-Kostopoulou, Yannis Smaragdakis
A Datalog Model of Must-Alias Analysis
SOAP
George Balatsouras, Kostas Ferles, George Kastrinis, Yannis Smaragdakis
Jun 2017
Tablet as second PC monitor
Jan 2016
Undefined behavior & sequence points
Nov 2015
More Sound Static Handling of Java Reflection
APLAS
Yannis Smaragdakis, George Balatsouras, George Kastrinis, Martin Bravenboer
Nov 2015
Internship
Introspective Analysis: Context-Sensitivity, Across the Board
PLDI
Yannis Smaragdakis, George Kastrinis, George Balatsouras
Set-Based Pre-Processing for Points-To Analysis
OOPSLA
Yannis Smaragdakis, George Balatsouras, George Kastrinis
Oct 2013
Internship
Hybrid Context-Sensitivity for Points-To Analysis
PLDI
George Kastrinis, Yannis Smaragdakis
Efficient and Effective Handling of Exceptions in Java Points-To Analysis
CC
George Kastrinis, Yannis Smaragdakis
Constraint Propagation as the Core of Local Search
SETN
Nikolaos Pothitos, George Kastrinis, Panagiotis Stamatopoulos
May 2012