George Kastrinis
George Kastrinis
Verified email at di.uoa.gr - Homepage
Title
Cited by
Cited by
Year
Hybrid context-sensitivity for points-to analysis
G Kastrinis, Y Smaragdakis
ACM SIGPLAN Notices 48 (6), 423-434, 2013
1262013
Introspective analysis: context-sensitivity, across the board
Y Smaragdakis, G Kastrinis, G Balatsouras
Proceedings of the 35th ACM SIGPLAN Conference on Programming Language …, 2014
842014
More sound static handling of Java reflection
Y Smaragdakis, G Balatsouras, G Kastrinis, M Bravenboer
Asian Symposium on Programming Languages and Systems, 485-503, 2015
542015
Efficient and Effective Handling of Exceptions in Java Points-To Analysis
G Kastrinis, Y Smaragdakis
26*
Set-based pre-processing for points-to analysis
Y Smaragdakis, G Balatsouras, G Kastrinis
Proceedings of the 2013 ACM SIGPLAN international conference on Object …, 2013
232013
Static analysis of Java dynamic proxies
G Fourtounis, G Kastrinis, Y Smaragdakis
Proceedings of the 27th ACM SIGSOFT International Symposium on Software …, 2018
152018
Efficient reflection string analysis via graph coloring
N Grech, G Kastrinis, Y Smaragdakis
32nd European Conference on Object-Oriented Programming (ECOOP 2018), 2018
102018
An efficient data structure for must-alias analysis
G Kastrinis, G Balatsouras, K Ferles, N Prokopaki-Kostopoulou, ...
Proceedings of the 27th International Conference on Compiler Construction, 48-58, 2018
72018
Doop: Framework for Java pointer analysis
Y Smaragdakis, M Bravenboer, G Kastrinis, G Balatsouras, TT Bartolomei, ...
62018
A datalog model of must-alias analysis
G Balatsouras, K Ferles, G Kastrinis, Y Smaragdakis
Proceedings of the 6th ACM SIGPLAN International Workshop on State Of the …, 2017
62017
Defensive Points-To Analysis: Effective Soundness via Laziness
Y Smaragdakis, G Kastrinis
32nd European Conference on Object-Oriented Programming (ECOOP 2018), 2018
52018
Optimizing human computation to save time and money
B Livshits, G Kastrinis
Technical Report MSR-TR-2014-145, Microsoft Research, 2014
22014
Constraint propagation as the core of local search
N Pothitos, G Kastrinis, P Stamatopoulos
Hellenic Conference on Artificial Intelligence, 9-16, 2012
22012
Explorations in Static Pointer Analysis: Adaptive Scalability and Strong Guarantees
G Kastrinis
Εθνικό και Καποδιστριακό Πανεπιστήμιο Αθηνών (ΕΚΠΑ). Σχολή Θετικών Επιστημών …, 2020
2020
The Role of Exceptions in Static Program Analysis for Java
G Kastrinis
2012
Efficient Reflection String Analysis via Graph Coloring
G Kastrinis
The system can't perform the operation now. Try again later.
Articles 1–16