Class hierarchy complementation: soundly completing a partial type graph. - George Balatsouras; Yannis Smaragdakis (OOPSLA, 2013)

Set-based pre-processing for points-to analysis. - Yannis Smaragdakis; George Balatsouras; George Kastrinis (OOPSLA, 2013)

Introspective analysis: context-sensitivity, across the board. - Yannis Smaragdakis; George Kastrinis; George Balatsouras (PLDI, 2014)

More Sound Static Handling of Java Reflection. - Yannis Smaragdakis; George Balatsouras; George Kastrinis; Martin Bravenboer (APLAS, 2015)

Pointer Analysis. - Yannis Smaragdakis; George Balatsouras (Found. Trends Program. Lang., 2015)

Structure-Sensitive Points-To Analysis for C and C++. - George Balatsouras; Yannis Smaragdakis (SAS, 2016)

A Datalog model of must-alias analysis. - George Balatsouras; Kostas Ferles; George Kastrinis; Yannis Smaragdakis (SOAP@PLDI, 2017)

Recovering structural information for better static analysis - George Balatsouras (2017)

An efficient data structure for must-alias analysis. - George Kastrinis; George Balatsouras; Kostas Ferles; Nefeli Prokopaki-Kostopoulou; Yannis Smaragdakis (CC, 2018)