Georgios Fourtounis

According to our database, Georgios Fourtounis authored at least 17 papers between 2013 and 2020.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2020

Identifying Java calls in native code via binary scanning.

George Fourtounis, Leonidas Triantafyllou, Yannis Smaragdakis

Proceedings of the ISSTA '20: 29th ACM SIGSOFT International Symposium on Software Testing and Analysis, 2020

On the recall of static call graph construction in practice.

Li Sui, Jens Dietrich, Amjed Tahir, George Fourtounis

Proceedings of the ICSE '20: 42nd International Conference on Software Engineering, Seoul, South Korea, 27 June, 2020

2019

Deep Static Modeling of invokedynamic (Artifact).

George Fourtounis, Yannis Smaragdakis

Dagstuhl Artifacts Ser., 2019

Deep Static Modeling of invokedynamic.

George Fourtounis, Yannis Smaragdakis

Proceedings of the 33rd European Conference on Object-Oriented Programming, 2019

2018

Shooting from the heap: ultra-scalable static analysis with heap snapshots.

Neville Grech, George Fourtounis, Adrian Francalanza, Yannis Smaragdakis

Proceedings of the 27th ACM SIGSOFT International Symposium on Software Testing and Analysis, 2018

Static analysis of Java dynamic proxies.

George Fourtounis, George Kastrinis, Yannis Smaragdakis

Proceedings of the 27th ACM SIGSOFT International Symposium on Software Testing and Analysis, 2018

2017

Heaps don't lie: countering unsoundness with heap snapshots.

Neville Grech, George Fourtounis, Adrian Francalanza, Yannis Smaragdakis

Proc. ACM Program. Lang., 2017

2015

Streams à la carte: Extensible Pipelines with Object Algebras (Artifact).

Aggelos Biboudis, Nick Palladinos, George Fourtounis, Yannis Smaragdakis

Dagstuhl Artifacts Ser., 2015

jUCM: Universal Class Morphing (position paper).

Aggelos Biboudis, George Fourtounis, Yannis Smaragdakis

CoRR, 2015

Structured Program Generation Techniques.

Yannis Smaragdakis, Aggelos Biboudis, George Fourtounis

Proceedings of the Grand Timely Topics in Software Engineering, 2015

Foo: a minimal modern OO calculus.

Prodromos Gerakios, George Fourtounis, Yannis Smaragdakis

Proceedings of the 17th Workshop on Formal Techniques for Java-like Programs, 2015

Streams a la carte: Extensible Pipelines with Object Algebras.

Aggelos Biboudis, Nick Palladinos, George Fourtounis, Yannis Smaragdakis

Proceedings of the 29th European Conference on Object-Oriented Programming, 2015

2014

Ο νοηματικός μετασχηματισμός ως τεχνική υλοποίησης συναρτησιακών γλωσσών προγραμματισμού

Georgios Fourtounis

PhD thesis, 2014

Modular polymorphic defunctionalization.

Georgios Fourtounis, Nikolaos S. Papaspyrou, Panagiotis Theofilopoulos

Comput. Sci. Inf. Syst., 2014

An efficient representation for lazy constructors using 64-bit pointers.

Georgios Fourtounis, Nikolaos Papaspyrou

Proceedings of the 3rd ACM SIGPLAN workshop on Functional high-performance computing, 2014

2013

Supporting Separate Compilation in a Defunctionalizing Compiler.

Georgios Fourtounis, Nikolaos S. Papaspyrou

Proceedings of the 2nd Symposium on Languages, Applications and Technologies, 2013

The Generalized Intensional Transformation for Implementing Lazy Functional Languages.

Georgios Fourtounis, Nikolaos Papaspyrou, Panos Rondogiannis

Proceedings of the Practical Aspects of Declarative Languages, 2013