Travelled to:1 × Italy
1 × United Kingdom
2 × USA
Collaborated with:Y.Smaragdakis G.Balatsouras N.Grech K.Ferles N.Prokopaki-Kostopoulou
Talks about:analysi (7) point (4) effici (3) context (2) sensit (2) effect (2) introspect (1) structur (1) reflect (1) process (1)
Person: George Kastrinis
DBLP: Kastrinis:George
Contributed to:
2014
2013
201320132018
2018Wrote 7 papers:
- PLDI-2014-SmaragdakisKB #analysis #context-sensitive grammar
- Introspective analysis: context-sensitivity, across the board (YS, GK, GB), p. 50.
- CC-2013-KastrinisS #analysis #effectiveness #exception #java #performance #points-to
- Efficient and Effective Handling of Exceptions in Java Points-to Analysis (GK, YS), pp. 41–60.
- OOPSLA-2013-SmaragdakisBK #analysis #points-to #preprocessor
- Set-based pre-processing for points-to analysis (YS, GB, GK), pp. 253–270.
- PLDI-2013-KastrinisS #analysis #context-sensitive grammar #hybrid #points-to
- Hybrid context-sensitivity for points-to analysis (GK, YS), pp. 423–434.
- CC-2018-KastrinisBFPS #alias #analysis #data type #performance
- An efficient data structure for must-alias analysis (GK, GB, KF, NPK, YS), pp. 48–58.
- ECOOP-2018-GrechKS #analysis #graph #performance #string
- Efficient Reflection String Analysis via Graph Coloring (NG, GK, YS), p. 25.
- ECOOP-2018-SmaragdakisK #analysis #effectiveness #lazy evaluation #points-to
- Defensive Points-To Analysis: Effective Soundness via Laziness (YS, GK), p. 28.