Travelled to:
1 × USA
1 × United Kingdom
Collaborated with:
Y.Smaragdakis G.Kastrinis K.Ferles N.Prokopaki-Kostopoulou
Talks about:
analysi (3) introspect (1) complement (1) hierarchi (1) structur (1) process (1) partial (1) context (1) complet (1) sensit (1)
Person: George Balatsouras
DBLP: Balatsouras:George
Contributed to:
Wrote 4 papers:
- PLDI-2014-SmaragdakisKB #analysis #context-sensitive grammar
- Introspective analysis: context-sensitivity, across the board (YS, GK, GB), p. 50.
- OOPSLA-2013-BalatsourasS #graph
- Class hierarchy complementation: soundly completing a partial type graph (GB, YS), pp. 515–532.
- OOPSLA-2013-SmaragdakisBK #analysis #points-to #preprocessor
- Set-based pre-processing for points-to analysis (YS, GB, GK), pp. 253–270.
- CC-2018-KastrinisBFPS #alias #analysis #data type #performance
- An efficient data structure for must-alias analysis (GK, GB, KF, NPK, YS), pp. 48–58.