Georgios Fourtounis

According to our database1, Georgios Fourtounis authored at least 16 papers between 2013 and 2020.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2020
Identifying Java calls in native code via binary scanning.
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.
Proceedings of the ICSE '20: 42nd International Conference on Software Engineering, Seoul, South Korea, 27 June, 2020

2019
Deep Static Modeling of invokedynamic (Artifact).
Dagstuhl Artifacts Ser., 2019

Deep Static Modeling of invokedynamic.
Proceedings of the 33rd European Conference on Object-Oriented Programming, 2019

2018
Shooting from the heap: ultra-scalable static analysis with heap snapshots.
Proceedings of the 27th ACM SIGSOFT International Symposium on Software Testing and Analysis, 2018

Static analysis of Java dynamic proxies.
Proceedings of the 27th ACM SIGSOFT International Symposium on Software Testing and Analysis, 2018

2017
Heaps don't lie: countering unsoundness with heap snapshots.
Proc. ACM Program. Lang., 2017

2015
Streams à la carte: Extensible Pipelines with Object Algebras (Artifact).
Dagstuhl Artifacts Ser., 2015

jUCM: Universal Class Morphing (position paper).
CoRR, 2015

Structured Program Generation Techniques.
Proceedings of the Grand Timely Topics in Software Engineering, 2015

Foo: a minimal modern OO calculus.
Proceedings of the 17th Workshop on Formal Techniques for Java-like Programs, 2015

Streams a la carte: Extensible Pipelines with Object Algebras.
Proceedings of the 29th European Conference on Object-Oriented Programming, 2015

2014
Modular polymorphic defunctionalization.
Comput. Sci. Inf. Syst., 2014

An efficient representation for lazy constructors using 64-bit pointers.
Proceedings of the 3rd ACM SIGPLAN workshop on Functional high-performance computing, 2014

2013
Supporting Separate Compilation in a Defunctionalizing Compiler.
Proceedings of the 2nd Symposium on Languages, Applications and Technologies, 2013

The Generalized Intensional Transformation for Implementing Lazy Functional Languages.
Proceedings of the Practical Aspects of Declarative Languages, 2013


  Loading...