George Kastrinis

Publication Activity (10 Years)

Years Active: 2012-2018
Publications (10 Years): 6

Top Topics

Constrained Problems

Quantifier Elimination

Constraint Propagation

Russian Doll Search

Top Venues

Publications

George Fourtounis, George Kastrinis, Yannis Smaragdakis
Static analysis of Java dynamic proxies. ISSTA (2018)
George Kastrinis, George Balatsouras, Kostas Ferles, Nefeli Prokopaki-Kostopoulou, Yannis Smaragdakis
An efficient data structure for must-alias analysis. CC (2018)
Yannis Smaragdakis, George Kastrinis
Defensive Points-To Analysis: Effective Soundness via Laziness. ECOOP (2018)
Neville Grech, George Kastrinis, Yannis Smaragdakis
Efficient Reflection String Analysis via Graph Coloring. ECOOP (2018)
George Balatsouras, Kostas Ferles, George Kastrinis, Yannis Smaragdakis
A Datalog model of must-alias analysis. SOAP@PLDI (2017)
Yannis Smaragdakis, George Balatsouras, George Kastrinis, Martin Bravenboer
More Sound Static Handling of Java Reflection. APLAS (2015)
Yannis Smaragdakis, George Kastrinis, George Balatsouras
Introspective analysis: context-sensitivity, across the board. PLDI (2014)
George Kastrinis, Yannis Smaragdakis
Efficient and Effective Handling of Exceptions in Java Points-to Analysis. CC (2013)
Yannis Smaragdakis, George Balatsouras, George Kastrinis
Set-based pre-processing for points-to analysis. OOPSLA (2013)
George Kastrinis, Yannis Smaragdakis
Hybrid context-sensitivity for points-to analysis. PLDI (2013)
Nikolaos Pothitos, George Kastrinis, Panagiotis Stamatopoulos
Constraint Propagation as the Core of Local Search. SETN (2012)