George Fourtounis

14 papers A* 1A 5Journal 6Unranked 2
YearRankTypeTitle / Venue / Authors
2020 J jnl
Deep Static Modeling of invokedynamic.
CoRR
George Fourtounis, Yannis Smaragdakis
2020 A conf
Identifying Java calls in native code via binary scanning.
ISSTA
George Fourtounis, Leonidas Triantafyllou, Yannis Smaragdakis
2020 A* conf
On the recall of static call graph construction in practice.
ICSE
Li Sui, Jens Dietrich, Amjed Tahir, George Fourtounis
2019 J jnl
Deep Static Modeling of invokedynamic (Artifact).
Dagstuhl Artifacts Ser.
George Fourtounis, Yannis Smaragdakis
2019 A conf
Deep Static Modeling of invokedynamic.
ECOOP
George Fourtounis, Yannis Smaragdakis
2019 J jnl
Heaps Don't Lie: Countering Unsoundness with Heap Snapshots.
CoRR
Neville Grech, George Fourtounis, Adrian Francalanza, Yannis Smaragdakis
2018 A conf
Shooting from the heap: ultra-scalable static analysis with heap snapshots.
ISSTA
Neville Grech, George Fourtounis, Adrian Francalanza, Yannis Smaragdakis
2018 A conf
Static analysis of Java dynamic proxies.
ISSTA
George Fourtounis, George Kastrinis, Yannis Smaragdakis
2017 J jnl
Heaps don't lie: countering unsoundness with heap snapshots.
Proc. ACM Program. Lang.
Neville Grech, George Fourtounis, Adrian Francalanza, Yannis Smaragdakis
2015 — conf
Foo: a minimal modern OO calculus.
FTfJP@ECOOP
Prodromos Gerakios, George Fourtounis, Yannis Smaragdakis
2015 A conf
Streams a la carte: Extensible Pipelines with Object Algebras.
ECOOP
Aggelos Biboudis, Nick Palladinos, George Fourtounis, Yannis Smaragdakis
2015 J jnl
Streams à la carte: Extensible Pipelines with Object Algebras (Artifact).
Dagstuhl Artifacts Ser.
Aggelos Biboudis, Nick Palladinos, George Fourtounis, Yannis Smaragdakis
2015 — conf
Structured Program Generation Techniques.
GTTSE
Yannis Smaragdakis, Aggelos Biboudis, George Fourtounis
2015 J jnl
jUCM: Universal Class Morphing (position paper).
CoRR
Aggelos Biboudis, George Fourtounis, Yannis Smaragdakis