George Kastrinis

14 papers A* 2A 4B 3Journal 1Unranked 3
YearRankTypeTitle / Venue / Authors
2025 — conf
Rel: A Programming Language for Relational Data.
SIGMOD Conference Companion
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
2025 J jnl
Rel: A Programming Language for Relational Data.
CoRR
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
2020 — —
Explorations in static pointer analysis: adaptive scalability and strong guarantees
George Kastrinis
2018 B conf
An efficient data structure for must-alias analysis.
CC
George Kastrinis, George Balatsouras, Kostas Ferles, Nefeli Prokopaki-Kostopoulou, Yannis Smaragdakis
2018 A conf
Defensive Points-To Analysis: Effective Soundness via Laziness.
ECOOP
Yannis Smaragdakis, George Kastrinis
2018 A conf
Efficient Reflection String Analysis via Graph Coloring.
ECOOP
Neville Grech, George Kastrinis, Yannis Smaragdakis
2018 A conf
Static analysis of Java dynamic proxies.
ISSTA
George Fourtounis, George Kastrinis, Yannis Smaragdakis
2017 — conf
A Datalog model of must-alias analysis.
SOAP@PLDI
George Balatsouras, Kostas Ferles, George Kastrinis, Yannis Smaragdakis
2015 B conf
More Sound Static Handling of Java Reflection.
APLAS
Yannis Smaragdakis, George Balatsouras, George Kastrinis, Martin Bravenboer
2014 A* conf
Introspective analysis: context-sensitivity, across the board.
PLDI
Yannis Smaragdakis, George Kastrinis, George Balatsouras
2013 B conf
Efficient and Effective Handling of Exceptions in Java Points-to Analysis.
CC
George Kastrinis, Yannis Smaragdakis
2013 A* conf
Hybrid context-sensitivity for points-to analysis.
PLDI
George Kastrinis, Yannis Smaragdakis
2013 A conf
Set-based pre-processing for points-to analysis.
OOPSLA
Yannis Smaragdakis, George Balatsouras, George Kastrinis
2012 — conf
Constraint Propagation as the Core of Local Search.
SETN
Nikolaos Pothitos, George Kastrinis, Panagiotis Stamatopoulos