George Kastrinis

Me

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 framework.

You can email me at george.kast´╝ágmail.com (don't copy/paste, it won't work).

CV Twitter BitBucket GitHub DeepDoop

HackMe Game / Challenge

Picture

A Datalog Model of Must-Alias Analysis

SOAP

George Balatsouras, Kostas Ferles, George Kastrinis, Yannis Smaragdakis

Jun 2017
Bug
Movie

Datalog & the DOOP framework

1st PLAST-seminar - PLAST Lab

Feb 2016
Bug
Bug
Picture

More Sound Static Handling of Java Reflection

APLAS

Yannis Smaragdakis, George Balatsouras, George Kastrinis, Martin Bravenboer

Nov 2015
Location

Internship

Picture

Jul-Oct 2014
Picture

Introspective Analysis: Context-Sensitivity, Across the Board

PLDI

Yannis Smaragdakis, George Kastrinis, George Balatsouras

Picture

Jun 2014
Picture

Set-Based Pre-Processing for Points-To Analysis

OOPSLA

Yannis Smaragdakis, George Balatsouras, George Kastrinis

Oct 2013
Location

Internship

Picture

Jun-Oct 2013
Picture

Hybrid Context-Sensitivity for Points-To Analysis

PLDI

George Kastrinis, Yannis Smaragdakis

Picture Picture

Jun 2013
Picture
Picture
Picture

Constraint Propagation as the Core of Local Search

SETN

Nikolaos Pothitos, George Kastrinis, Panagiotis Stamatopoulos

May 2012
Movie

Pointer Analysis in 10 Rules

10th PL-seminar - SoftLab

Dec 2012
Movie

Web Development Tutorial

FOSS UoA

PHP - PHP, MySQL

Picture Picture

Dec 2011
Picture
Movie

Web Development Tutorial

FOSS UoA

CSS - PHP, MySQL

Picture Picture

Dec 2009