George Balatsouras

According to our database, George Balatsouras authored at least 9 papers between 2013 and 2018.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2018

An efficient data structure for must-alias analysis.

George Kastrinis, George Balatsouras, Kostas Ferles, Nefeli Prokopaki-Kostopoulou, Yannis Smaragdakis

Proceedings of the 27th International Conference on Compiler Construction, 2018

2017

Recovering structural information for better static analysis

George Balatsouras

PhD thesis, 2017

A Datalog model of must-alias analysis.

George Balatsouras, Kostas Ferles, George Kastrinis, Yannis Smaragdakis

Proceedings of the 6th ACM SIGPLAN International Workshop on State Of the Art in Program Analysis, 2017

2016

Structure-Sensitive Points-To Analysis for C and C++.

George Balatsouras, Yannis Smaragdakis

Proceedings of the Static Analysis - 23rd International Symposium, 2016

2015

Pointer Analysis.

Yannis Smaragdakis, George Balatsouras

Found. Trends Program. Lang., 2015

More Sound Static Handling of Java Reflection.

Yannis Smaragdakis, George Balatsouras, George Kastrinis, Martin Bravenboer

Proceedings of the Programming Languages and Systems - 13th Asian Symposium, 2015

2014

Introspective analysis: context-sensitivity, across the board.

Yannis Smaragdakis, George Kastrinis, George Balatsouras

Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, 2014

2013

Set-based pre-processing for points-to analysis.

Yannis Smaragdakis, George Balatsouras, George Kastrinis

Proceedings of the 2013 ACM SIGPLAN International Conference on Object Oriented Programming Systems Languages & Applications, 2013

Class hierarchy complementation: soundly completing a partial type graph.

George Balatsouras, Yannis Smaragdakis

Proceedings of the 2013 ACM SIGPLAN International Conference on Object Oriented Programming Systems Languages & Applications, 2013