George Kastrinis

According to our database, George Kastrinis authored at least 12 papers between 2012 and 2020.

Collaborative distances:

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

2020

Explorations in static pointer analysis: adaptive scalability and strong guarantees

George Kastrinis

PhD thesis, 2020

2018

Static analysis of Java dynamic proxies.

George Fourtounis, George Kastrinis, Yannis Smaragdakis

Proceedings of the 27th ACM SIGSOFT International Symposium on Software Testing and Analysis, 2018

Defensive Points-To Analysis: Effective Soundness via Laziness.

Yannis Smaragdakis, George Kastrinis

Proceedings of the 32nd European Conference on Object-Oriented Programming, 2018

Efficient Reflection String Analysis via Graph Coloring.

Neville Grech, George Kastrinis, Yannis Smaragdakis

Proceedings of the 32nd European Conference on Object-Oriented Programming, 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

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

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

Hybrid context-sensitivity for points-to analysis.

George Kastrinis, Yannis Smaragdakis

Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, 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

Efficient and Effective Handling of Exceptions in Java Points-to Analysis.

George Kastrinis, Yannis Smaragdakis

Proceedings of the Compiler Construction - 22nd International Conference, 2013

2012

Constraint Propagation as the Core of Local Search.

Nikolaos Pothitos, George Kastrinis, Panagiotis Stamatopoulos

Proceedings of the Artificial Intelligence: Theories and Applications, 2012