George Kastrinis, PhD
Research Engineer @ relationalAI | PL + Static Analysis
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.
- Doop
- Pointer Analysis
- Program Analysis
- Datalog
- Compilers
PhD from the University of Athens, Greece, with Prof. Yannis Smaragdakis @ PLaST.
Research Collaborators: Anastasis Antoniadis, George Fourtounis, Neville Grech, Petros Pathoulas, Kostas Saidis, Sifis Lagouvardos
Rel: A Programming Language for Relational Data
SIGMOD/PODS
Molham Aref, Paolo Guagliardo, George Kastrinis, Leonid Libkin, Victor Marsault, Wim Martens, Mary McGrath, Filip Murlak, Nathaniel Nystrom, Liat Peterfreund, Allison Rogers, Cristina Sirangelo, Domagoj Vrgoc, David Zhao, Abdul Zreika
June 2025
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