The Generalized Intensional Transformation for Implementing Lazy Functional Languages. - Georgios Fourtounis 001; Nikolaos Papaspyrou; Panos Rondogiannis (PADL, 2013)

Supporting Separate Compilation in a Defunctionalizing Compiler. - Georgios Fourtounis 001; Nikolaos S. Papaspyrou (SLATE, 2013)

An efficient representation for lazy constructors using 64-bit pointers. - Georgios Fourtounis 001; Nikolaos Papaspyrou (FHPC@ICFP, 2014)

Modular polymorphic defunctionalization. - Georgios Fourtounis 001; Nikolaos S. Papaspyrou; Panagiotis Theofilopoulos (Comput. Sci. Inf. Syst., 2014)

Ο νοηματικός μετασχηματισμός ως τεχνική υλοποίησης συναρτησιακών γλωσσών προγραμματισμού - Georgios Fourtounis 001 (2014)

Streams a la carte: Extensible Pipelines with Object Algebras. - Aggelos Biboudis; Nick Palladinos; George Fourtounis; Yannis Smaragdakis (ECOOP, 2015)

Foo: a minimal modern OO calculus. - Prodromos Gerakios; George Fourtounis; Yannis Smaragdakis (FTfJP@ECOOP, 2015)

Structured Program Generation Techniques. - Yannis Smaragdakis; Aggelos Biboudis; George Fourtounis (GTTSE, 2015)

jUCM: Universal Class Morphing (position paper). - Aggelos Biboudis; George Fourtounis; Yannis Smaragdakis (CoRR, 2015)

Streams à la carte: Extensible Pipelines with Object Algebras (Artifact). - Aggelos Biboudis; Nick Palladinos; George Fourtounis; Yannis Smaragdakis (Dagstuhl Artifacts Ser., 2015)

Heaps don't lie: countering unsoundness with heap snapshots. - Neville Grech; George Fourtounis; Adrian Francalanza; Yannis Smaragdakis (Proc. ACM Program. Lang., 2017)

Static analysis of Java dynamic proxies. - George Fourtounis; George Kastrinis; Yannis Smaragdakis (ISSTA, 2018)

Shooting from the heap: ultra-scalable static analysis with heap snapshots. - Neville Grech; George Fourtounis; Adrian Francalanza; Yannis Smaragdakis (ISSTA, 2018)

Deep Static Modeling of invokedynamic. - George Fourtounis; Yannis Smaragdakis (ECOOP, 2019)

Deep Static Modeling of invokedynamic (Artifact). - George Fourtounis; Yannis Smaragdakis (Dagstuhl Artifacts Ser., 2019)

On the recall of static call graph construction in practice. - Li Sui; Jens Dietrich 001; Amjed Tahir; George Fourtounis (ICSE, 2020)

Identifying Java calls in native code via binary scanning. - George Fourtounis; Leonidas Triantafyllou; Yannis Smaragdakis (ISSTA, 2020)