George Balatsouras

Publication Activity (10 Years)

Years Active: 2013-2018
Publications (10 Years): 5

Top Topics

Class Hierarchy

Graph Structure

Top Venues

Found. Trends Program. Lang.

Publications

George Kastrinis, George Balatsouras, Kostas Ferles, Nefeli Prokopaki-Kostopoulou, Yannis Smaragdakis
An efficient data structure for must-alias analysis. CC (2018)
George Balatsouras, Kostas Ferles, George Kastrinis, Yannis Smaragdakis
A Datalog model of must-alias analysis. SOAP@PLDI (2017)
George Balatsouras, Yannis Smaragdakis
Structure-Sensitive Points-To Analysis for C and C++. SAS (2016)
Yannis Smaragdakis, George Balatsouras, George Kastrinis, Martin Bravenboer
More Sound Static Handling of Java Reflection. APLAS (2015)
Yannis Smaragdakis, George Balatsouras
Pointer Analysis. Found. Trends Program. Lang. 2 (1) (2015)
Yannis Smaragdakis, George Kastrinis, George Balatsouras
Introspective analysis: context-sensitivity, across the board. PLDI (2014)
Yannis Smaragdakis, George Balatsouras, George Kastrinis
Set-based pre-processing for points-to analysis. OOPSLA (2013)
George Balatsouras, Yannis Smaragdakis
Class hierarchy complementation: soundly completing a partial type graph. OOPSLA (2013)