George Balatsouras
George Balatsouras
Google
確認したメール アドレス: di.uoa.gr - ホームページ
タイトル
引用先
引用先
Pointer analysis
Y Smaragdakis, G Balatsouras
Foundations and Trends in Programming Languages 2 (1), 1-69, 2015
1152015
Introspective analysis: context-sensitivity, across the board
Y Smaragdakis, G Kastrinis, G Balatsouras
Proceedings of the 35th ACM SIGPLAN Conference on Programming Language …, 2014
782014
More sound static handling of Java reflection
Y Smaragdakis, G Balatsouras, G Kastrinis, M Bravenboer
Asian Symposium on Programming Languages and Systems, 485-503, 2015
482015
Structure-sensitive points-to analysis for C and C++
G Balatsouras, Y Smaragdakis
International Static Analysis Symposium, 84-104, 2016
352016
Set-based pre-processing for points-to analysis
Y Smaragdakis, G Balatsouras, G Kastrinis
Proceedings of the 2013 ACM SIGPLAN international conference on Object …, 2013
212013
An efficient data structure for must-alias analysis
G Kastrinis, G Balatsouras, K Ferles, N Prokopaki-Kostopoulou, ...
Proceedings of the 27th International Conference on Compiler Construction, 48-58, 2018
72018
Doop: Framework for Java pointer analysis
Y Smaragdakis, M Bravenboer, G Kastrinis, G Balatsouras, TT Bartolomei, ...
62018
A datalog model of must-alias analysis
G Balatsouras, K Ferles, G Kastrinis, Y Smaragdakis
Proceedings of the 6th ACM SIGPLAN International Workshop on State Of the …, 2017
62017
Class hierarchy complementation: soundly completing a partial type graph
G Balatsouras, Y Smaragdakis
ACM SIGPLAN Notices 48 (10), 515-532, 2013
42013
Recovering Structural Information for Better Static Analysis
G Balatsouras
University of Athens, 2017
12017
現在システムで処理を実行できません。しばらくしてからもう一度お試しください。
論文 1–10