Static analysis of shape in TensorFlow programs S Lagouvardos, J Dolby, N Grech, A Antoniadis, Y Smaragdakis 34th European Conference on Object-Oriented Programming (ECOOP 2020), 2020 | 47 | 2020 |
Porting doop to soufflé: a tale of inter-engine portability for datalog-based analyses T Antoniadis, K Triantafyllou, Y Smaragdakis Proceedings of the 6th ACM SIGPLAN International Workshop on State Of the …, 2017 | 47 | 2017 |
Static analysis of Java enterprise applications: frameworks and caches, the elephants in the room A Antoniadis, N Filippakis, P Krishnan, R Ramesh, N Allen, ... Proceedings of the 41st ACM SIGPLAN Conference on Programming Language …, 2020 | 35 | 2020 |
Coverage of web application analysis A Antoniadis, R Ramesh, P Krishnan, NJ Allen US Patent 11,580,228, 2023 | | 2023 |
Static Analysis of Shape in TensorFlow Programs (Artifact). S Lagouvardos, J Dolby, N Grech, A Antoniadis, Y Smaragdakis Dagstuhl Artifacts Ser. 6 (2), 06:1-06:3, 2020 | | 2020 |
Performance optimization on Declarative Points-to Analysis using the Souffle Datalog Engine CN Zisis, A Antoniadis | | 2019 |
Combining source code metadata and static analysis results via a compiler plug-in AI Antoniadis | | 2016 |