Constraint Propagation as the Core of Local Search. - Nikolaos Pothitos; George Kastrinis; Panagiotis Stamatopoulos (SETN, 2012)

Efficient and Effective Handling of Exceptions in Java Points-to Analysis. - George Kastrinis; Yannis Smaragdakis (CC, 2013)

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

Hybrid context-sensitivity for points-to analysis. - George Kastrinis; Yannis Smaragdakis (PLDI, 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)

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

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

Efficient Reflection String Analysis via Graph Coloring. - Neville Grech; George Kastrinis; Yannis Smaragdakis (ECOOP, 2018)

Defensive Points-To Analysis: Effective Soundness via Laziness. - Yannis Smaragdakis; George Kastrinis (ECOOP, 2018)

Static analysis of Java dynamic proxies. - George Fourtounis; George Kastrinis; Yannis Smaragdakis (ISSTA, 2018)

Explorations in static pointer analysis: adaptive scalability and strong guarantees - George Kastrinis (2020)

Rel: A Programming Language for Relational Data. - Molham Aref; Paolo Guagliardo; George Kastrinis; Leonid Libkin; Victor Marsault; Wim Martens; Mary McGrath; Filip Murlak; Nathaniel Nystrom; Liat Peterfreund; Allison Rogers; Cristina Sirangelo; et al. (SIGMOD Conference Companion, 2025)