| Hybrid context-sensitivity for points-to analysis G Kastrinis, Y Smaragdakis ACM SIGPLAN Notices 48 (6), 423-434, 2013 | 170 | 2013 |
| Introspective analysis: context-sensitivity, across the board Y Smaragdakis, G Kastrinis, G Balatsouras Proceedings of the 35th ACM SIGPLAN Conference on Programming Language …, 2014 | 133 | 2014 |
| More sound static handling of Java reflection Y Smaragdakis, G Balatsouras, G Kastrinis, M Bravenboer Programming Languages and Systems: 13th Asian Symposium, APLAS 2015, Pohang …, 2015 | 76 | 2015 |
| 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 | 33 | 2013 |
| Efficient and Effective Handling of Exceptions in Java Points-To Analysis G Kastrinis, Y Smaragdakis | 33* | |
| Static analysis of java dynamic proxies G Fourtounis, G Kastrinis, Y Smaragdakis Proceedings of the 27th ACM SIGSOFT International Symposium on Software …, 2018 | 30 | 2018 |
| Defensive points-to analysis: Effective soundness via laziness Y Smaragdakis, G Kastrinis 32nd European Conference on Object-Oriented Programming (ECOOP 2018), 2018 | 18 | 2018 |
| Efficient reflection string analysis via graph coloring N Grech, G Kastrinis, Y Smaragdakis 32nd European Conference on Object-Oriented Programming (ECOOP 2018), 2018 | 14 | 2018 |
| 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 | 11 | 2018 |
| 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 | 11 | 2017 |
| Doop: Framework for Java pointer analysis Y Smaragdakis, M Bravenboer, G Kastrinis, G Balatsouras, TT Bartolomei, ... | 6 | 2018 |
| Constraint propagation as the core of local search N Pothitos, G Kastrinis, P Stamatopoulos Artificial Intelligence: Theories and Applications: 7th Hellenic Conference …, 2012 | 4 | 2012 |
| Optimizing human computation to save time and money B Livshits, G Kastrinis Technical Report MSR-TR-2014-145, Microsoft Research, 2014 | 2 | 2014 |
| Explorations in Static Pointer Analysis: Adaptive Scalability and Strong Guarantees G Kastrinis Εθνικό και Καποδιστριακό Πανεπιστήμιο Αθηνών (ΕΚΠΑ). Σχολή Θετικών Επιστημών …, 2020 | | 2020 |
| Graph-based data structure for representation of sets of must-alias analysis inferences N Prokopaki–Kostopoulou, G Kastrinis, G Balatsouras | | 2016 |
| Security Analysis of the Java Library with Mock Objects KS Triantafyllou, G Kastrinis | | 2016 |
| The Role of Exceptions in Static Program Analysis for Java G Kastrinis | | 2012 |
| Efficient Reflection String Analysis via Graph Coloring G Kastrinis | | |
