On the recall of static call graph construction in practice L Sui, J Dietrich, A Tahir, G Fourtounis Proceedings of the ACM/IEEE 42nd International Conference on Software …, 2020 | 44 | 2020 |
Heaps don't lie: countering unsoundness with heap snapshots N Grech, G Fourtounis, A Francalanza, Y Smaragdakis Proceedings of the ACM on Programming Languages 1 (OOPSLA), 1-27, 2017 | 41 | 2017 |
Streams à la carte: Extensible pipelines with object algebras A Biboudis, N Palladinos, G Fourtounis, Y Smaragdakis 29th European Conference on Object-Oriented Programming (ECOOP 2015), 2015 | 34 | 2015 |
Shooting from the heap: Ultra-scalable static analysis with heap snapshots N Grech, G Fourtounis, A Francalanza, Y Smaragdakis Proceedings of the 27th ACM SIGSOFT International Symposium on Software …, 2018 | 31 | 2018 |
Static analysis of java dynamic proxies G Fourtounis, G Kastrinis, Y Smaragdakis Proceedings of the 27th ACM SIGSOFT International Symposium on Software …, 2018 | 30 | 2018 |
Identifying Java calls in native code via binary scanning G Fourtounis, L Triantafyllou, Y Smaragdakis Proceedings of the 29th ACM SIGSOFT International Symposium on Software …, 2020 | 17 | 2020 |
Deep Static Modeling of invokedynamic G Fourtounis, Y Smaragdakis 33rd European Conference on Object-Oriented Programming (ECOOP 2019), 2019 | 10 | 2019 |
Structured program generation techniques Y Smaragdakis, A Biboudis, G Fourtounis Grand Timely Topics in Software Engineering: International Summer School …, 2017 | 9 | 2017 |
Supporting separate compilation in a defunctionalizing compiler G Fourtounis, NS Papaspyrou 2nd Symposium on Languages, Applications and Technologies (2013), 2013 | 7 | 2013 |
Modular polymorphic defunctionalization G Fourtounis, NS Papaspyrou, P Theofilopoulos Computer Science and Information Systems 11 (4), 1417-1434, 2014 | 6 | 2014 |
The generalized intensional transformation for implementing lazy functional languages G Fourtounis, N Papaspyrou, P Rondogiannis Practical Aspects of Declarative Languages: 15th International Symposium …, 2013 | 4 | 2013 |
The intensional transformation for functional languages with user-defined data types G Fourtounis, N Papaspyrou, P Rondogiannis Proceedings of the 8th Panhellenic Logic Symposium, 38-42, 2011 | 4 | 2011 |
Formally specifying and analyzing a parallel virtual machine for lazy functional languages using Maude G Fourtounis, PC Ölveczky, N Papaspyrou Proceedings of the fifth international workshop on High-level parallel …, 2011 | 3 | 2011 |
An efficient representation for lazy constructors using 64-bit pointers G Fourtounis, N Papaspyrou Proceedings of the 3rd ACM SIGPLAN workshop on Functional high-performance …, 2014 | 2 | 2014 |
Combining sound source tracking algorithms based on microphone array to improve real-time localization C Ibala, J Vachaudez, G Fourtounis, P Possa, C Valderrama Proceedings of the 19th International Conference Mixed Design of Integrated …, 2012 | 2 | 2012 |
Multi-Core Embedded Systems RC Bose, G Fourtounis, N Harb, L Jolczyk, PDC Possa, C Valderrama Embedded Computing Systems: Applications, Optimization, and Advanced Design …, 2013 | 1 | 2013 |
Modern heap snapshots to the rescue of static analyses TS Livisianos, G Fourtounis | | 2019 |
Declarative type inference and SSA transformation of Android applications IM Tsatiris, G Fourtounis | | 2019 |
Deep Static Modeling of invokedynamic (Artifact) G Fourtounis, Y Smaragdakis Schloss-Dagstuhl-Leibniz Zentrum für Informatik, 2019 | | 2019 |
Fᴏᴏ: a minimal modern OO calculus P Gerakios, G Fourtounis, Y Smaragdakis Proceedings of the 17th Workshop on Formal Techniques for Java-like Programs …, 2015 | | 2015 |