George Kastrinis
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
11
Venues
7
Active years
2013–2025
Best venue rank
A*
Where they publish
Papers
11 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | SIGMOD | Rel: A Programming Language for Relational Data. | Molham Aref, Paolo Guagliardo, George Kastrinis, Leonid Libkin, Victor Marsault, Wim Martens, Mary McGrath, Filip Murlak, Nathaniel Nystrom, Liat Peterfreund, Allison Rogers, Cristina Sirangelo, Domagoj Vrgoc, David Zhao, Abdul Zreika |
| 2018 | CC | An efficient data structure for must-alias analysis. | George Kastrinis, George Balatsouras, Kostas Ferles, Nefeli Prokopaki-Kostopoulou, Yannis Smaragdakis |
| 2018 | ECOOP | Efficient Reflection String Analysis via Graph Coloring. | Neville Grech, George Kastrinis, Yannis Smaragdakis |
| 2018 | ECOOP | Defensive Points-To Analysis: Effective Soundness via Laziness. | Yannis Smaragdakis, George Kastrinis |
| 2018 | ISSTA | Static analysis of Java dynamic proxies. | George Fourtounis, George Kastrinis, Yannis Smaragdakis |
| 2017 | PLDI | A Datalog model of must-alias analysis. | George Balatsouras, Kostas Ferles, George Kastrinis, Yannis Smaragdakis |
| 2015 | APLAS | More Sound Static Handling of Java Reflection. | Yannis Smaragdakis, George Balatsouras, George Kastrinis, Martin Bravenboer |
| 2014 | PLDI | Introspective analysis: context-sensitivity, across the board. | Yannis Smaragdakis, George Kastrinis, George Balatsouras |
| 2013 | CC | Efficient and Effective Handling of Exceptions in Java Points-to Analysis. | George Kastrinis, Yannis Smaragdakis |
| 2013 | OOPSLA | Set-based pre-processing for points-to analysis. | Yannis Smaragdakis, George Balatsouras, George Kastrinis |
| 2013 | PLDI | Hybrid context-sensitivity for points-to analysis. | George Kastrinis, Yannis Smaragdakis |